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-3696009-1338095811/watcher-3696009-1338095811 -o /tmp/evaluation-result-3696009-1338095811/solver-3696009-1338095811 -C 1800 -W 1900 -M 15500 HOME/runPb2sat.sh HOME/instance-3696009-1338095811.opb 1904535025 HOME HOME
running on 4 cores: 1,3,5,7
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: 1.92 1.98 1.99 3/178 6571
/proc/meminfo: memFree=30918308/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[startup+0.05821 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 6571
/proc/meminfo: memFree=30918308/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 6571
/proc/meminfo: memFree=30918308/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300162 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 6571
/proc/meminfo: memFree=30918308/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 6571
/proc/meminfo: memFree=30918308/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/182 6578
/proc/meminfo: memFree=30836372/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=52520 CPUtime=1.05 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 12145 0 0 0 103 2 0 0 20 0 1 0 275707208 53780480 10983 33554432000 4194304 4896791 140735608470672 140735608468184 4223975 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 13130 10983 78 172 0 12956 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 92900
[startup+3.10022 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30836116/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=52856 CPUtime=2.65 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 12410 0 0 0 263 2 0 0 20 0 1 0 275707208 54124544 11556 33554432000 4194304 4896791 140735608470672 140735608467992 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 13214 11556 78 172 0 13040 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 93236
[startup+6.30037 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30831592/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=53452 CPUtime=5.85 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 12964 0 0 0 583 2 0 0 20 0 1 0 275707208 54734848 11741 33554432000 4194304 4896791 140735608470672 140735608468184 4224795 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 13363 11741 78 172 0 13189 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 93832
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30827304/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=54632 CPUtime=12.26 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 14459 0 0 0 1223 3 0 0 20 0 1 0 275707208 55943168 12268 33554432000 4194304 4896791 140735608470672 140735608466408 4203806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 13658 12268 78 172 0 13484 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 95012
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30825432/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=63404 CPUtime=25.05 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 17318 0 0 0 2501 4 0 0 20 0 1 0 275707208 64925696 12821 33554432000 4194304 4896791 140735608470672 140735608468184 4203856 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 15851 12821 78 172 0 15677 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 103784
[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30819100/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=65136 CPUtime=50.65 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 20757 0 0 0 5059 6 0 0 20 0 1 0 275707208 66699264 13901 33554432000 4194304 4896791 140735608470672 140735608468184 4203826 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 16284 13901 78 172 0 16110 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 105516
[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30806096/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=68320 CPUtime=101.84 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 24340 0 0 0 10177 7 0 0 20 0 1 0 275707208 69959680 14746 33554432000 4194304 4896791 140735608470672 140735608467880 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 17080 14746 78 172 0 16906 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 108700
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 6579
/proc/meminfo: memFree=30802108/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 6638
/proc/meminfo: memFree=30477040/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=153800 CPUtime=1421.61 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 45903 0 0 0 142132 29 0 0 20 0 1 0 275707208 157491200 31852 33554432000 4194304 4896791 140735608470672 140735608468200 4204125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 38450 31852 78 172 0 38276 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 194180
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6638
/proc/meminfo: memFree=30482384/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=123100 CPUtime=1481.58 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 46705 0 0 0 148128 30 0 0 20 0 1 0 275707208 126054400 26198 33554432000 4194304 4896791 140735608470672 140735608466344 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 30775 26198 78 172 0 30601 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 163480
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6639
/proc/meminfo: memFree=30454600/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=155136 CPUtime=1541.58 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 47768 0 0 0 154127 31 0 0 20 0 1 0 275707208 158859264 31157 33554432000 4194304 4896791 140735608470672 140735608467880 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 38784 31157 78 172 0 38610 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 195516
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6639
/proc/meminfo: memFree=30466288/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=22084 CPUtime=0.42 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 4257 1976 0 0 34 6 2 0 20 0 1 0 275707165 22614016 5095 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6572/statm: 5521 5095 180 410 0 5103 0
[pid=6577] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6577/stat : 6577 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 275707208 9367552 267 33554432000 4194304 5064252 140733662000640 140733661999552 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6577/statm: 2287 267 226 213 0 72 0
[pid=6578] ppid=6577 vsize=124992 CPUtime=1601.57 cores=1,3,5,7
/proc/6578/stat : 6578 (glucose_static) R 6577 6571 5734 0 -1 4202496 48722 0 0 0 160125 32 0 0 20 0 1 0 275707208 127991808 27199 33554432000 4194304 4896791 140735608470672 140735608466344 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6578/statm: 31248 27199 78 172 0 31074 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 165372
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6642
/proc/meminfo: memFree=30514520/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=38400 CPUtime=1621.46 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 7709 51857 0 0 59 9 162044 34 20 0 1 0 275707165 39321600 8923 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6572/statm: 9600 8923 180 410 0 9182 0
[pid=6641] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6641/stat : 6641 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275869342 9367552 266 33554432000 4194304 5064252 140736886211440 140736886210352 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6641/statm: 2287 266 226 213 0 72 0
[pid=6642] ppid=6641 vsize=51052 CPUtime=40.51 cores=1,3,5,7
/proc/6642/stat : 6642 (glucose_static) R 6641 6571 5734 0 -1 4202496 17221 0 0 0 4047 4 0 0 20 0 1 0 275869342 52277248 11592 33554432000 4194304 4896791 140734372064848 140734372062360 4204062 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6642/statm: 12763 11592 78 172 0 12589 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 107748
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 6642
/proc/meminfo: memFree=30490556/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=38400 CPUtime=1621.46 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 7709 51857 0 0 59 9 162044 34 20 0 1 0 275707165 39321600 8923 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6572/statm: 9600 8923 180 410 0 9182 0
[pid=6641] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6641/stat : 6641 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275869342 9367552 266 33554432000 4194304 5064252 140736886211440 140736886210352 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6641/statm: 2287 266 226 213 0 72 0
[pid=6642] ppid=6641 vsize=61768 CPUtime=100.49 cores=1,3,5,7
/proc/6642/stat : 6642 (glucose_static) R 6641 6571 5734 0 -1 4202496 20484 0 0 0 10044 5 0 0 20 0 1 0 275869342 63250432 14523 33554432000 4194304 4896791 140734372064848 140734372061992 4203740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6642/statm: 15442 14523 78 172 0 15268 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 118464
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 6642
/proc/meminfo: memFree=30487936/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=38400 CPUtime=1621.46 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 7709 51857 0 0 59 9 162044 34 20 0 1 0 275707165 39321600 8923 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6572/statm: 9600 8923 180 410 0 9182 0
[pid=6641] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6641/stat : 6641 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275869342 9367552 266 33554432000 4194304 5064252 140736886211440 140736886210352 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6641/statm: 2287 266 226 213 0 72 0
[pid=6642] ppid=6641 vsize=74772 CPUtime=160.49 cores=1,3,5,7
/proc/6642/stat : 6642 (glucose_static) R 6641 6571 5734 0 -1 4202496 21788 0 0 0 16042 7 0 0 20 0 1 0 275869342 76566528 16481 33554432000 4194304 4896791 140734372064848 140734372061992 4203799 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6642/statm: 18693 16481 78 172 0 18519 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 131468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6642
/proc/meminfo: memFree=30489304/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=38400 CPUtime=1621.46 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 7709 51857 0 0 59 9 162044 34 20 0 1 0 275707165 39321600 8923 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6572/statm: 9600 8923 180 410 0 9182 0
[pid=6641] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6641/stat : 6641 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275869342 9367552 266 33554432000 4194304 5064252 140736886211440 140736886210352 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6641/statm: 2287 266 226 213 0 72 0
[pid=6642] ppid=6641 vsize=63184 CPUtime=178.59 cores=1,3,5,7
/proc/6642/stat : 6642 (glucose_static) R 6641 6571 5734 0 -1 4202496 21956 0 0 0 17852 7 0 0 20 0 1 0 275869342 64700416 14496 33554432000 4194304 4896791 140734372064848 140734372062424 4203903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6642/statm: 15796 14496 78 172 0 15622 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 119880
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 6642
/proc/meminfo: memFree=30489304/32873648 swapFree=6860/6860
[pid=6571] ppid=6569 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6571/stat : 6571 (runPb2sat.sh) S 6569 6571 5734 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 275707164 9367552 274 33554432000 4194304 5064252 140733891341456 140733891340368 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6571/statm: 2287 274 233 213 0 72 0
[pid=6572] ppid=6571 vsize=38400 CPUtime=1621.46 cores=1,3,5,7
/proc/6572/stat : 6572 (pb2sat) S 6571 6571 5734 0 -1 4202496 7709 51857 0 0 59 9 162044 34 20 0 1 0 275707165 39321600 8923 33554432000 4194304 5873084 140734780840512 140734780834328 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6572/statm: 9600 8923 180 410 0 9182 0
[pid=6641] ppid=6572 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6641/stat : 6641 (satsolver.sh) S 6572 6571 5734 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275869342 9367552 266 33554432000 4194304 5064252 140736886211440 140736886210352 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/6641/statm: 2287 266 226 213 0 72 0
[pid=6642] ppid=6641 vsize=63184 CPUtime=178.59 cores=1,3,5,7
/proc/6642/stat : 6642 (glucose_static) R 6641 6571 5734 0 -1 4202496 21956 0 0 0 17852 7 0 0 20 0 1 0 275869342 64700416 14496 33554432000 4194304 4896791 140734372064848 140734372062424 4203903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6642/statm: 15796 14496 78 172 0 15622 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 119880
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.56
CPU system time (s): 0.514921
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 226544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.514921
maximum resident set size= 160884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102
involuntary context switches= 1924
runsolver used 3.49447 second user time and 8.79766 second system time
The end