runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752966-1339197145/watcher-3752966-1339197145 -o /tmp/evaluation-result-3752966-1339197145/solver-3752966-1339197145 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752966-1339197145.wbo 1966514012 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.95 1.96 3/179 4772
/proc/meminfo: memFree=23770536/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[startup+0.043102 s]
/proc/loadavg: 2.00 1.95 1.96 3/179 4772
/proc/meminfo: memFree=23770536/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100285 s]
/proc/loadavg: 2.00 1.95 1.96 3/179 4772
/proc/meminfo: memFree=23770536/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 2.00 1.95 1.96 3/179 4772
/proc/meminfo: memFree=23770536/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700246 s]
/proc/loadavg: 2.00 1.95 1.96 3/179 4772
/proc/meminfo: memFree=23770536/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 1.95 1.96 3/183 4800
/proc/meminfo: memFree=23760660/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=2836 CPUtime=0.03 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1385 1865 0 0 1 0 2 0 20 0 1 0 385838565 2904064 332 33554432000 4194304 6006132 140735348733904 140735348728096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4773/statm: 709 332 158 443 0 262 0
[pid=4778] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4778/stat : 4778 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385838570 9367552 267 33554432000 4194304 5064252 140735963363392 140735963362304 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4778/statm: 2287 267 226 213 0 72 0
[pid=4779] ppid=4778 vsize=15048 CPUtime=1.43 cores=0,2,4,6
/proc/4779/stat : 4779 (glucose) R 4778 4772 699 0 -1 4202496 4801 0 0 0 143 0 0 0 20 0 1 0 385838570 15409152 2667 33554432000 4194304 5208918 140736028190240 140736028188200 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4779/statm: 3762 2667 96 248 0 3511 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 36180
[startup+3.10038 s]
/proc/loadavg: 2.00 1.95 1.96 3/183 4821
/proc/meminfo: memFree=23735004/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=2836 CPUtime=0.03 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1385 1865 0 0 1 0 2 0 20 0 1 0 385838565 2904064 332 33554432000 4194304 6006132 140735348733904 140735348728096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4773/statm: 709 332 158 443 0 262 0
[pid=4778] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4778/stat : 4778 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385838570 9367552 267 33554432000 4194304 5064252 140735963363392 140735963362304 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4778/statm: 2287 267 226 213 0 72 0
[pid=4779] ppid=4778 vsize=22208 CPUtime=3.03 cores=0,2,4,6
/proc/4779/stat : 4779 (glucose) R 4778 4772 699 0 -1 4202496 5856 0 0 0 302 1 0 0 20 0 1 0 385838570 22740992 5100 33554432000 4194304 5208918 140736028190240 140736028188328 4229466 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4779/statm: 5552 5100 96 248 0 5301 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 43340
[startup+6.30035 s]
/proc/loadavg: 2.00 1.95 1.96 3/183 4884
/proc/meminfo: memFree=23709528/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=2836 CPUtime=0.03 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1385 1865 0 0 1 0 2 0 20 0 1 0 385838565 2904064 332 33554432000 4194304 6006132 140735348733904 140735348728096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4773/statm: 709 332 158 443 0 262 0
[pid=4778] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4778/stat : 4778 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385838570 9367552 267 33554432000 4194304 5064252 140735963363392 140735963362304 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4778/statm: 2287 267 226 213 0 72 0
[pid=4779] ppid=4778 vsize=40884 CPUtime=6.23 cores=0,2,4,6
/proc/4779/stat : 4779 (glucose) R 4778 4772 699 0 -1 4202496 6951 0 0 0 621 2 0 0 20 0 1 0 385838570 41865216 9769 33554432000 4194304 5208918 140736028190240 140736028188328 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4779/statm: 10221 9769 96 248 0 9970 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 62016
[startup+12.7004 s]
/proc/loadavg: 2.00 1.95 1.96 3/183 5017
/proc/meminfo: memFree=23708968/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=2836 CPUtime=0.03 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1385 1865 0 0 1 0 2 0 20 0 1 0 385838565 2904064 332 33554432000 4194304 6006132 140735348733904 140735348728096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4773/statm: 709 332 158 443 0 262 0
[pid=4778] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4778/stat : 4778 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385838570 9367552 267 33554432000 4194304 5064252 140735963363392 140735963362304 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4778/statm: 2287 267 226 213 0 72 0
[pid=4779] ppid=4778 vsize=59740 CPUtime=12.63 cores=0,2,4,6
/proc/4779/stat : 4779 (glucose) R 4778 4772 699 0 -1 4202496 7022 0 0 0 1261 2 0 0 20 0 1 0 385838570 61173760 14439 33554432000 4194304 5208918 140736028190240 140736028188184 4229406 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4779/statm: 14935 14439 96 248 0 14684 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 80872
[startup+25.5004 s]
/proc/loadavg: 2.00 1.95 1.96 3/183 5284
/proc/meminfo: memFree=23708212/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=2836 CPUtime=0.03 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1385 1865 0 0 1 0 2 0 20 0 1 0 385838565 2904064 332 33554432000 4194304 6006132 140735348733904 140735348728096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4773/statm: 709 332 158 443 0 262 0
[pid=4778] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4778/stat : 4778 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385838570 9367552 267 33554432000 4194304 5064252 140735963363392 140735963362304 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4778/statm: 2287 267 226 213 0 72 0
[pid=4779] ppid=4778 vsize=59740 CPUtime=25.43 cores=0,2,4,6
/proc/4779/stat : 4779 (glucose) R 4778 4772 699 0 -1 4202496 7210 0 0 0 2540 3 0 0 20 0 1 0 385838570 61173760 14483 33554432000 4194304 5208918 140736028190240 140736028188328 4229504 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4779/statm: 14935 14483 96 248 0 14684 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 80872
[startup+51.1004 s]
/proc/loadavg: 2.00 1.96 1.96 3/183 5802
/proc/meminfo: memFree=23671976/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=2836 CPUtime=0.03 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1385 1865 0 0 1 0 2 0 20 0 1 0 385838565 2904064 332 33554432000 4194304 6006132 140735348733904 140735348728096 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4773/statm: 709 332 158 443 0 262 0
[pid=4778] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4778/stat : 4778 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385838570 9367552 267 33554432000 4194304 5064252 140735963363392 140735963362304 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4778/statm: 2287 267 226 213 0 72 0
[pid=4779] ppid=4778 vsize=109060 CPUtime=51.02 cores=0,2,4,6
/proc/4779/stat : 4779 (glucose) R 4778 4772 699 0 -1 4202496 8091 0 0 0 5096 6 0 0 20 0 1 0 385838570 111677440 24338 33554432000 4194304 5208918 140736028190240 140736028188232 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4779/statm: 27265 24338 96 248 0 27014 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 130192
[startup+102.307 s]
/proc/loadavg: 2.00 1.96 1.96 4/183 6022
/proc/meminfo: memFree=23603992/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=90.55 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 1885 15870 0 0 2 1 9038 14 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6021] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6021/stat : 6021 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385847623 9367552 267 33554432000 4194304 5064252 140736606179632 140736606178544 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6021/statm: 2287 267 226 213 0 72 0
[pid=6022] ppid=6021 vsize=45100 CPUtime=11.71 cores=0,2,4,6
/proc/6022/stat : 6022 (glucose) R 6021 4772 699 0 -1 4202496 6684 0 0 0 1170 1 0 0 20 0 1 0 385847623 46182400 10775 33554432000 4194304 5208918 140735261411488 140735261409432 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6022/statm: 11275 10775 96 248 0 11024 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67560
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.96 3/183 6029
/proc/meminfo: memFree=23558916/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=145.13 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 2361 27946 0 0 2 1 14490 20 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6028] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 6194
/proc/meminfo: memFree=23293728/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1345.97 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 12833 277738 0 0 22 4 134421 150 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6193] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6193/stat : 6193 (satsolver.sh) S 4773 4772 699 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385973188 9367552 267 33554432000 4194304 5064252 140737286346112 140737286345024 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6193/statm: 2287 267 226 213 0 72 0
[pid=6194] ppid=6193 vsize=45104 CPUtime=16.05 cores=0,2,4,6
/proc/6194/stat : 6194 (glucose) R 6193 4772 699 0 -1 4202496 6339 0 0 0 1603 2 0 0 20 0 1 0 385973188 46186496 10777 33554432000 4194304 5208918 140736968810784 140736968808872 4229449 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6194/statm: 11276 10777 96 248 0 11025 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 67564
[startup+1422.31 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 6201
/proc/meminfo: memFree=23371148/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1403.49 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 13309 288985 0 0 23 4 140166 156 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6200] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6200/stat : 6200 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385978940 9367552 267 33554432000 4194304 5064252 140733577699328 140733577698240 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6200/statm: 2287 267 226 213 0 72 0
[pid=6201] ppid=6200 vsize=63960 CPUtime=18.53 cores=0,2,4,6
/proc/6201/stat : 6201 (glucose) R 6200 4772 699 0 -1 4202496 7198 0 0 0 1851 2 0 0 20 0 1 0 385978941 65495040 13552 33554432000 4194304 5208918 140737111146608 140737111144552 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6201/statm: 15990 13552 96 248 0 15739 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 86420
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 6208
/proc/meminfo: memFree=23508580/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1458.73 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 13785 301559 0 0 24 4 145683 162 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6207] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6207/stat : 6207 (satsolver.sh) S 4773 4772 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385984466 9367552 267 33554432000 4194304 5064252 140734567440480 140734567439392 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6207/statm: 2287 267 226 213 0 72 0
[pid=6208] ppid=6207 vsize=63960 CPUtime=23.28 cores=0,2,4,6
/proc/6208/stat : 6208 (glucose) R 6207 4772 699 0 -1 4202496 7633 0 0 0 2325 3 0 0 20 0 1 0 385984466 65495040 15447 33554432000 4194304 5208918 140734742180400 140734742178344 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6208/statm: 15990 15447 96 248 0 15739 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 86420
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 6215
/proc/meminfo: memFree=23207728/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1513.59 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 14261 312785 0 0 25 4 151161 169 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6214] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6214/stat : 6214 (satsolver.sh) S 4773 4772 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385989952 9367552 267 33554432000 4194304 5064252 140733696460368 140733696459280 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6214/statm: 2287 267 226 213 0 72 0
[pid=6215] ppid=6214 vsize=63960 CPUtime=28.41 cores=0,2,4,6
/proc/6215/stat : 6215 (glucose) R 6214 4772 699 0 -1 4202496 6982 0 0 0 2838 3 0 0 20 0 1 0 385989953 65495040 15502 33554432000 4194304 5208918 140736004486272 140736004484216 4211834 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6215/statm: 15990 15502 96 248 0 15739 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 86420
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 6223
/proc/meminfo: memFree=23271236/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1570.15 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 14737 324136 0 0 25 4 156811 175 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6222] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6222/stat : 6222 (satsolver.sh) S 4773 4772 699 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385995611 9367552 267 33554432000 4194304 5064252 140737390052448 140737390051360 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6222/statm: 2287 267 226 213 0 72 0
[pid=6223] ppid=6222 vsize=63956 CPUtime=31.82 cores=0,2,4,6
/proc/6223/stat : 6223 (glucose) R 6222 4772 699 0 -1 4202496 8279 0 0 0 3180 2 0 0 20 0 1 0 385995611 65490944 15457 33554432000 4194304 5208918 140737217951920 140737217949864 4211719 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6223/statm: 15989 15457 96 248 0 15738 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 86416
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 6233
/proc/meminfo: memFree=23340220/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1623.97 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 15213 336279 0 0 26 4 162186 181 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6229] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6229/stat : 6229 (satsolver.sh) S 4773 4772 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386000994 9367552 267 33554432000 4194304 5064252 140736951909952 140736951908864 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6229/statm: 2287 267 226 213 0 72 0
[pid=6230] ppid=6229 vsize=63960 CPUtime=37.99 cores=0,2,4,6
/proc/6230/stat : 6230 (glucose) R 6229 4772 699 0 -1 4202496 7462 0 0 0 3796 3 0 0 20 0 1 0 386000994 65495040 15495 33554432000 4194304 5208918 140736790473536 140736790471480 4211537 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6230/statm: 15990 15495 96 248 0 15739 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 86420
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 6240
/proc/meminfo: memFree=23439572/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1679.43 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 15689 348209 0 0 27 5 167722 189 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6239] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6239/stat : 6239 (satsolver.sh) S 4773 4772 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386006540 9367552 265 33554432000 4194304 5064252 140734905205536 140734905204448 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6239/statm: 2287 265 226 213 0 72 0
[pid=6240] ppid=6239 vsize=63960 CPUtime=42.53 cores=0,2,4,6
/proc/6240/stat : 6240 (glucose) R 6239 4772 699 0 -1 4202496 5863 0 0 0 4251 2 0 0 20 0 1 0 386006540 65495040 15457 33554432000 4194304 5208918 140733252540720 140733252538664 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6240/statm: 15990 15457 96 248 0 15739 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 86420
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 6247
/proc/meminfo: memFree=23241664/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1736.24 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 16165 358835 0 0 28 5 173396 195 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6246] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6246/stat : 6246 (satsolver.sh) S 4773 4772 699 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386012221 9367552 266 33554432000 4194304 5064252 140735998872800 140735998871712 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6246/statm: 2287 266 226 213 0 72 0
[pid=6247] ppid=6246 vsize=63956 CPUtime=45.72 cores=0,2,4,6
/proc/6247/stat : 6247 (glucose) R 6246 4772 699 0 -1 4202496 8888 0 0 0 4569 3 0 0 20 0 1 0 386012221 65490944 15502 33554432000 4194304 5208918 140734285254800 140734285252888 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6247/statm: 15989 15502 96 248 0 15738 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 86416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 6254
/proc/meminfo: memFree=23613940/32873648 swapFree=7376/7376
[pid=4772] ppid=4770 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4772/stat : 4772 (npSolver-wbo-It) S 4770 4772 699 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385838564 9367552 275 33554432000 4194304 5064252 140733365356304 140733365355216 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4772/statm: 2287 275 233 213 0 72 0
[pid=4773] ppid=4772 vsize=4164 CPUtime=1792.93 cores=0,2,4,6
/proc/4773/stat : 4773 (npSolver-wbo) S 4772 4772 699 0 -1 4202496 16641 371364 0 0 29 5 179058 201 20 0 1 0 385838565 4263936 683 33554432000 4194304 6006132 140735348733904 140735348725264 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4773/statm: 1041 683 177 443 0 594 0
[pid=6253] ppid=4773 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6253/stat : 6253 (satsolver.sh) S 4773 4772 699 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386017891 9367552 267 33554432000 4194304 5064252 140733804427280 140733804426192 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6253/statm: 2287 267 226 213 0 72 0
[pid=6254] ppid=6253 vsize=45100 CPUtime=7.13 cores=0,2,4,6
/proc/6254/stat : 6254 (glucose) R 6253 4772 699 0 -1 4202496 6388 0 0 0 711 2 0 0 20 0 1 0 386017892 46182400 9593 33554432000 4194304 5208918 140733549509504 140733549507448 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6254/statm: 11275 9593 96 248 0 11024 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 67560
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1797.99
CPU system time (s): 2.09368
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 161012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.09368
maximum resident set size= 111956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 395384
page faults= 0
swaps= 0
block input operations= 0
block output operations= 46656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1153
involuntary context switches= 2181
runsolver used 6.26205 second user time and 17.1924 second system time
The end