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-3695412-1338083762/watcher-3695412-1338083762 -o /tmp/evaluation-result-3695412-1338083762/solver-3695412-1338083762 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695412-1338083762.opb 479421336 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: 2.00 2.00 2.00 2/179 2336
/proc/meminfo: memFree=29923496/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[startup+0.0767109 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2336
/proc/meminfo: memFree=29923496/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100253 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2336
/proc/meminfo: memFree=29923496/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2336
/proc/meminfo: memFree=29923496/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700289 s]
/proc/loadavg: 2.00 2.00 2.00 2/179 2336
/proc/meminfo: memFree=29923496/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2358
/proc/meminfo: memFree=29907648/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=1.42 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 4499 20517 0 0 11 4 122 5 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13844
[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 2361
/proc/meminfo: memFree=29907964/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 13844
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2364
/proc/meminfo: memFree=29902120/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2363] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274500817 9367552 267 33554432000 4194304 5064252 140734510276928 140734510275840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 2287 267 226 213 0 72 0
[pid=2364] ppid=2363 vsize=19884 CPUtime=3.73 cores=1,3,5,7
/proc/2364/stat : 2364 (glucose_static) R 2363 2336 28113 0 -1 4202496 6032 0 0 0 372 1 0 0 20 0 1 0 274500817 20361216 4173 33554432000 4194304 4896791 140733927913888 140733927911416 4203780 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2364/statm: 4971 4173 76 172 0 4797 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 42876
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2364
/proc/meminfo: memFree=29875152/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2363] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274500817 9367552 267 33554432000 4194304 5064252 140734510276928 140734510275840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 2287 267 226 213 0 72 0
[pid=2364] ppid=2363 vsize=16152 CPUtime=10.13 cores=1,3,5,7
/proc/2364/stat : 2364 (glucose_static) R 2363 2336 28113 0 -1 4202496 8709 0 0 0 1010 3 0 0 20 0 1 0 274500817 16539648 3579 33554432000 4194304 4896791 140733927913888 140733927911464 4225671 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2364/statm: 4038 3579 76 172 0 3864 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39144
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 2364
/proc/meminfo: memFree=29909484/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2363] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274500817 9367552 267 33554432000 4194304 5064252 140734510276928 140734510275840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 2287 267 226 213 0 72 0
[pid=2364] ppid=2363 vsize=21592 CPUtime=22.93 cores=1,3,5,7
/proc/2364/stat : 2364 (glucose_static) R 2363 2336 28113 0 -1 4202496 12472 0 0 0 2288 5 0 0 20 0 1 0 274500817 22110208 4814 33554432000 4194304 4896791 140733927913888 140733927911464 4224696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2364/statm: 5398 4814 76 172 0 5224 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 44584
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 2364
/proc/meminfo: memFree=29874116/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2363] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274500817 9367552 267 33554432000 4194304 5064252 140734510276928 140734510275840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 2287 267 226 213 0 72 0
[pid=2364] ppid=2363 vsize=30268 CPUtime=48.52 cores=1,3,5,7
/proc/2364/stat : 2364 (glucose_static) R 2363 2336 28113 0 -1 4202496 19654 0 0 0 4843 9 0 0 20 0 1 0 274500817 30994432 5926 33554432000 4194304 4896791 140733927913888 140733927911416 4225191 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2364/statm: 7567 5926 76 172 0 7393 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 53260
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 2365
/proc/meminfo: memFree=29864248/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2363] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274500817 9367552 267 33554432000 4194304 5064252 140734510276928 140734510275840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 2287 267 226 213 0 72 0
[pid=2364] ppid=2363 vsize=93180 CPUtime=99.72 cores=1,3,5,7
/proc/2364/stat : 2364 (glucose_static) R 2363 2336 28113 0 -1 4202496 27133 0 0 0 9955 17 0 0 20 0 1 0 274500817 95416320 18533 33554432000 4194304 4896791 140733927913888 140733927911096 4225384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2364/statm: 23295 18533 76 172 0 23121 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 116172
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2365
/proc/meminfo: memFree=29894480/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=2.53 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 5099 24964 0 0 12 5 230 6 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2363] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2363/stat : 2363 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274500817 9367552 267 33554432000 4194304 5064252 140734510276928 140734510275840 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 2287 267 226 213 0 72 0
[pid=2364] ppid=2363 vsize=64296 CPUtime=159.7 cores=1,3,5,7
/proc/2364/stat : 2364 (glucose_static) R 2363 2336 28113 0 -1 4202496 34612 0 0 0 15943 27 0 0 20 0 1 0 274500817 65839104 12360 33554432000 4194304 4896791 140733927913888 140733927911416 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2364/statm: 16074 12360 76 172 0 15900 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 87288
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2437
/proc/meminfo: memFree=29950968/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2485
/proc/meminfo: memFree=29875236/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=564.46 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 7480 170548 0 0 17 5 56324 100 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2478] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2478/stat : 2478 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274557024 9367552 266 33554432000 4194304 5064252 140735318195536 140735318194448 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2478/statm: 2287 266 226 213 0 72 0
[pid=2479] ppid=2478 vsize=124120 CPUtime=857.47 cores=1,3,5,7
/proc/2479/stat : 2479 (glucose_static) R 2478 2336 28113 0 -1 4202496 101408 0 0 0 85654 93 0 0 20 0 1 0 274557025 127098880 27411 33554432000 4194304 4896791 140736764204208 140736764199224 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2479/statm: 31030 27411 78 172 0 30856 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 147112
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 2488
/proc/meminfo: memFree=29914100/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=564.46 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 7480 170548 0 0 17 5 56324 100 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2478] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2478/stat : 2478 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274557024 9367552 266 33554432000 4194304 5064252 140735318195536 140735318194448 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2478/statm: 2287 266 226 213 0 72 0
[pid=2479] ppid=2478 vsize=63580 CPUtime=917.45 cores=1,3,5,7
/proc/2479/stat : 2479 (glucose_static) R 2478 2336 28113 0 -1 4202496 104667 0 0 0 91647 98 0 0 20 0 1 0 274557025 65105920 15419 33554432000 4194304 4896791 140736764204208 140736764201784 4204538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2479/statm: 15895 15419 78 172 0 15721 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 86572
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2488
/proc/meminfo: memFree=29853480/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=564.46 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 7480 170548 0 0 17 5 56324 100 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2478] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2478/stat : 2478 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274557024 9367552 266 33554432000 4194304 5064252 140735318195536 140735318194448 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2478/statm: 2287 266 226 213 0 72 0
[pid=2479] ppid=2478 vsize=125448 CPUtime=977.44 cores=1,3,5,7
/proc/2479/stat : 2479 (glucose_static) R 2478 2336 28113 0 -1 4202496 108569 0 0 0 97640 104 0 0 20 0 1 0 274557025 128458752 26735 33554432000 4194304 4896791 140736764204208 140736764201416 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2479/statm: 31362 26735 78 172 0 31188 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 148440
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 2488
/proc/meminfo: memFree=29823488/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=564.46 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 7480 170548 0 0 17 5 56324 100 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2478] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2478/stat : 2478 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274557024 9367552 266 33554432000 4194304 5064252 140735318195536 140735318194448 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2478/statm: 2287 266 226 213 0 72 0
[pid=2479] ppid=2478 vsize=176160 CPUtime=1037.42 cores=1,3,5,7
/proc/2479/stat : 2479 (glucose_static) R 2478 2336 28113 0 -1 4202496 111370 0 0 0 103633 109 0 0 20 0 1 0 274557025 180387840 33879 33554432000 4194304 4896791 140736764204208 140736764201736 4203796 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2479/statm: 44040 33879 78 172 0 43866 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 199152
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 2489
/proc/meminfo: memFree=29810932/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=564.46 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 7480 170548 0 0 17 5 56324 100 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2478] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2478/stat : 2478 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274557024 9367552 266 33554432000 4194304 5064252 140735318195536 140735318194448 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2478/statm: 2287 266 226 213 0 72 0
[pid=2479] ppid=2478 vsize=177112 CPUtime=1097.41 cores=1,3,5,7
/proc/2479/stat : 2479 (glucose_static) R 2478 2336 28113 0 -1 4202496 113877 0 0 0 109628 113 0 0 20 0 1 0 274557025 181362688 39734 33554432000 4194304 4896791 140736764204208 140736764201416 4203826 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2479/statm: 44278 39734 78 172 0 44104 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 200104
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2492
/proc/meminfo: memFree=29933000/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=1662.6 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 8070 285565 0 0 19 6 166020 215 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2491] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2491/stat : 2491 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274666862 9367552 266 33554432000 4194304 5064252 140733305334944 140733305333856 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2491/statm: 2287 266 226 213 0 72 0
[pid=2492] ppid=2491 vsize=34488 CPUtime=59.26 cores=1,3,5,7
/proc/2492/stat : 2492 (glucose_static) R 2491 2336 28113 0 -1 4202496 35213 0 0 0 5913 13 0 0 20 0 1 0 274666862 35315712 8130 33554432000 4194304 4896791 140736459993584 140736459991112 4203820 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2492/statm: 8622 8130 78 172 0 8448 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 57480
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2495
/proc/meminfo: memFree=29940244/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=1736.36 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 8670 325752 0 0 20 6 173378 232 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2494] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2494/stat : 2494 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274674240 9367552 267 33554432000 4194304 5064252 140736288097568 140736288096480 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2494/statm: 2287 267 226 213 0 72 0
[pid=2495] ppid=2494 vsize=44400 CPUtime=45.49 cores=1,3,5,7
/proc/2495/stat : 2495 (glucose_static) R 2494 2336 28113 0 -1 4202496 22995 0 0 0 4540 9 0 0 20 0 1 0 274674240 45465600 8162 33554432000 4194304 4896791 140733736495280 140733736492808 4225376 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2495/statm: 11100 8162 78 172 0 10926 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 67392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2495
/proc/meminfo: memFree=29914412/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=1736.36 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 8670 325752 0 0 20 6 173378 232 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2494] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2494/stat : 2494 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274674240 9367552 267 33554432000 4194304 5064252 140736288097568 140736288096480 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2494/statm: 2287 267 226 213 0 72 0
[pid=2495] ppid=2494 vsize=46132 CPUtime=63.69 cores=1,3,5,7
/proc/2495/stat : 2495 (glucose_static) R 2494 2336 28113 0 -1 4202496 27155 0 0 0 6358 11 0 0 20 0 1 0 274674240 47239168 11078 33554432000 4194304 4896791 140733736495280 140733736492680 4225201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2495/statm: 11533 11078 78 172 0 11359 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69124
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2495
/proc/meminfo: memFree=29914412/32873844 swapFree=7628/7628
[pid=2336] ppid=2334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2336/stat : 2336 (runPb2satCp2.sh) S 2334 2336 28113 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274500561 9367552 275 33554432000 4194304 5064252 140736197101168 140736197100080 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2336/statm: 2287 275 233 213 0 72 0
[pid=2337] ppid=2336 vsize=4696 CPUtime=1736.36 cores=1,3,5,7
/proc/2337/stat : 2337 (pb2sat) S 2336 2336 28113 0 -1 4202496 8670 325752 0 0 20 6 173378 232 20 0 1 0 274500561 4808704 806 33554432000 4194304 5873084 140736229565584 140736229559400 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2337/statm: 1174 806 174 410 0 756 0
[pid=2494] ppid=2337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2494/stat : 2494 (satsolver.sh) S 2337 2336 28113 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274674240 9367552 267 33554432000 4194304 5064252 140736288097568 140736288096480 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2494/statm: 2287 267 226 213 0 72 0
[pid=2495] ppid=2494 vsize=46132 CPUtime=63.69 cores=1,3,5,7
/proc/2495/stat : 2495 (glucose_static) R 2494 2336 28113 0 -1 4202496 27155 0 0 0 6358 11 0 0 20 0 1 0 274674240 47239168 11078 33554432000 4194304 4896791 140733736495280 140733736492680 4225201 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/2495/statm: 11533 11078 78 172 0 11359 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 69124
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1797.57
CPU system time (s): 2.51562
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 218096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.57
system time used= 2.51562
maximum resident set size= 172228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 362567
page faults= 0
swaps= 0
block input operations= 0
block output operations= 28496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 349
involuntary context switches= 2642
runsolver used 3.60345 second user time and 8.85165 second system time
The end