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-3694643-1338163904/watcher-3694643-1338163904 -o /tmp/evaluation-result-3694643-1338163904/solver-3694643-1338163904 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694643-1338163904.opb 193077110 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 2.01 2.00 3/177 17873
/proc/meminfo: memFree=31113924/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[startup+0.040047 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17873
/proc/meminfo: memFree=31113924/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100267 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17873
/proc/meminfo: memFree=31113924/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17873
/proc/meminfo: memFree=31113924/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 17873
/proc/meminfo: memFree=31113924/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/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 2.01 2.00 3/181 17880
/proc/meminfo: memFree=30940108/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=77516 CPUtime=0.93 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 7059 4445 0 0 67 20 5 1 20 0 1 0 282514915 79376384 11950 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17874/statm: 19379 11950 183 410 0 18961 0
[pid=17879] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17879/stat : 17879 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 282515011 9367552 266 33554432000 4194304 5064252 140733565788512 140733565787424 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17879/statm: 2287 266 226 213 0 72 0
[pid=17880] ppid=17879 vsize=134040 CPUtime=0.53 cores=0,2,4,6
/proc/17880/stat : 17880 (glucose_static) R 17879 17873 17405 0 -1 4202496 21649 0 0 0 48 5 0 0 20 0 1 0 282515012 137256960 27549 33554432000 4194304 4896791 140736589289184 140733565787448 4208930 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17880/statm: 33510 27549 72 172 0 33336 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 229852
[startup+3.10036 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 17880
/proc/meminfo: memFree=30772704/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=77516 CPUtime=0.93 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 7059 4445 0 0 67 20 5 1 20 0 1 0 282514915 79376384 11950 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17874/statm: 19379 11950 183 410 0 18961 0
[pid=17879] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17879/stat : 17879 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 282515011 9367552 266 33554432000 4194304 5064252 140733565788512 140733565787424 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17879/statm: 2287 266 226 213 0 72 0
[pid=17880] ppid=17879 vsize=119096 CPUtime=2.12 cores=0,2,4,6
/proc/17880/stat : 17880 (glucose_static) R 17879 17873 17405 0 -1 4202496 23385 0 0 0 207 5 0 0 20 0 1 0 282515012 121954304 26610 33554432000 4194304 4896791 140736589289184 140736589286392 4225029 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17880/statm: 29774 26610 78 172 0 29600 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 214908
[startup+6.3004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 17882
/proc/meminfo: memFree=30098700/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=77516 CPUtime=0.93 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 7059 4445 0 0 67 20 5 1 20 0 1 0 282514915 79376384 11950 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17874/statm: 19379 11950 183 410 0 18961 0
[pid=17879] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17879/stat : 17879 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 282515011 9367552 266 33554432000 4194304 5064252 140733565788512 140733565787424 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17879/statm: 2287 266 226 213 0 72 0
[pid=17880] ppid=17879 vsize=119888 CPUtime=5.32 cores=0,2,4,6
/proc/17880/stat : 17880 (glucose_static) R 17879 17873 17405 0 -1 4202496 23595 0 0 0 527 5 0 0 20 0 1 0 282515012 122765312 26820 33554432000 4194304 4896791 140736589289184 140736589286392 4224684 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17880/statm: 29972 26820 78 172 0 29798 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 215700
[startup+12.7004 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 17885
/proc/meminfo: memFree=30048992/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76408 CPUtime=7.38 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 13380 29270 0 0 126 28 575 9 20 0 1 0 282514915 78241792 11705 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19102 11705 183 410 0 18684 0
[pid=17884] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17884/stat : 17884 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282515655 9367552 267 33554432000 4194304 5064252 140737060394048 140737060392960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17884/statm: 2287 267 226 213 0 72 0
[pid=17885] ppid=17884 vsize=119992 CPUtime=5.28 cores=0,2,4,6
/proc/17885/stat : 17885 (glucose_static) R 17884 17873 17405 0 -1 4202496 24754 0 0 0 522 6 0 0 20 0 1 0 282515656 122871808 26862 33554432000 4194304 4896791 140735412720976 140735412718184 4225488 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17885/statm: 29998 26862 78 172 0 29824 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 214696
[startup+25.5004 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 17885
/proc/meminfo: memFree=30035620/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76408 CPUtime=7.38 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 13380 29270 0 0 126 28 575 9 20 0 1 0 282514915 78241792 11705 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19102 11705 183 410 0 18684 0
[pid=17884] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17884/stat : 17884 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282515655 9367552 267 33554432000 4194304 5064252 140737060394048 140737060392960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17884/statm: 2287 267 226 213 0 72 0
[pid=17885] ppid=17884 vsize=121324 CPUtime=18.08 cores=0,2,4,6
/proc/17885/stat : 17885 (glucose_static) R 17884 17873 17405 0 -1 4202496 25314 0 0 0 1802 6 0 0 20 0 1 0 282515656 124235776 27702 33554432000 4194304 4896791 140735412720976 140735412718184 4205054 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17885/statm: 30331 27702 78 172 0 30157 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 216028
[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 17885
/proc/meminfo: memFree=30035560/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76408 CPUtime=7.38 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 13380 29270 0 0 126 28 575 9 20 0 1 0 282514915 78241792 11705 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19102 11705 183 410 0 18684 0
[pid=17884] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17884/stat : 17884 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282515655 9367552 267 33554432000 4194304 5064252 140737060394048 140737060392960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17884/statm: 2287 267 226 213 0 72 0
[pid=17885] ppid=17884 vsize=122832 CPUtime=43.67 cores=0,2,4,6
/proc/17885/stat : 17885 (glucose_static) R 17884 17873 17405 0 -1 4202496 25742 0 0 0 4360 7 0 0 20 0 1 0 282515656 125779968 27452 33554432000 4194304 4896791 140735412720976 140735412718184 4225029 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17885/statm: 30708 27452 78 172 0 30534 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 217536
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 17885
/proc/meminfo: memFree=30031164/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76408 CPUtime=7.38 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 13380 29270 0 0 126 28 575 9 20 0 1 0 282514915 78241792 11705 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19102 11705 183 410 0 18684 0
[pid=17884] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17884/stat : 17884 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 282515655 9367552 267 33554432000 4194304 5064252 140737060394048 140737060392960 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17884/statm: 2287 267 226 213 0 72 0
[pid=17885] ppid=17884 vsize=124164 CPUtime=94.85 cores=0,2,4,6
/proc/17885/stat : 17885 (glucose_static) R 17884 17873 17405 0 -1 4202496 26503 0 0 0 9478 7 0 0 20 0 1 0 282515656 127143936 28411 33554432000 4194304 4896791 140735412720976 140735412718184 4224963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17885/statm: 31041 28411 78 172 0 30867 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 218868
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 17886
/proc/meminfo: memFree=30020984/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76408 CPUtime=7.38 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 13380 29270 0 0 126 28 575 9 20 0 1 0 282514915 78241792 11705 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19102 11705 183 410 0 18684 0
[pid=17884] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17885/stat : 17885 (glucose_static) R 17884 17873 17405 0 -1 4202496 42861 0 0 0 135423 28 0 0 20 0 1 0 282515656 164614144 36134 33554432000 4194304 4896791 140735412720976 140735412718184 4224921 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17885/statm: 40189 36134 78 172 0 40015 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 255460
[startup+1422.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 17900
/proc/meminfo: memFree=30002120/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=118056 CPUtime=16.67 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 21855 0 0 0 1662 5 0 0 20 0 1 0 282655477 120889344 25715 33554432000 4194304 4896791 140734930006656 140734930003864 4224983 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17900/statm: 29514 25715 78 172 0 29340 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 212756
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 17901
/proc/meminfo: memFree=29993132/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=118980 CPUtime=76.65 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 22059 0 0 0 7660 5 0 0 20 0 1 0 282655477 121835520 26430 33554432000 4194304 4896791 140734930006656 140734930003976 4225134 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 29745 26430 78 172 0 29571 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 213680
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 17901
/proc/meminfo: memFree=30015844/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=119432 CPUtime=136.64 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 22169 0 0 0 13659 5 0 0 20 0 1 0 282655477 122298368 27051 33554432000 4194304 4896791 140734930006656 140734930003864 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 29858 27051 78 172 0 29684 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 214132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17901
/proc/meminfo: memFree=30007592/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=121568 CPUtime=196.62 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 23168 0 0 0 19656 6 0 0 20 0 1 0 282655477 124485632 28088 33554432000 4194304 4896791 140734930006656 140734930003864 4224963 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 30392 28088 78 172 0 30218 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 216268
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17901
/proc/meminfo: memFree=29997356/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=141204 CPUtime=256.61 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 23900 0 0 0 25654 7 0 0 20 0 1 0 282655477 144592896 29314 33554432000 4194304 4896791 140734930006656 140734930003864 4224983 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 35301 29314 78 172 0 35127 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 235904
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 17904
/proc/meminfo: memFree=29999520/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=123596 CPUtime=316.6 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 25408 0 0 0 31651 9 0 0 20 0 1 0 282655477 126562304 27575 33554432000 4194304 4896791 140734930006656 140734930003864 4224684 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 30899 27575 78 172 0 30725 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 218296
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 17904
/proc/meminfo: memFree=29994076/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=125052 CPUtime=376.58 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 26008 0 0 0 37649 9 0 0 20 0 1 0 282655477 128053248 27824 33554432000 4194304 4896791 140734930006656 140734930003864 4225148 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 31263 27824 78 172 0 31089 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 219752
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 17945
/proc/meminfo: memFree=30947652/32873844 swapFree=6080/6080
[pid=17873] ppid=17871 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17873/stat : 17873 (runPb2satCp2.sh) S 17871 17873 17405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 282514915 9367552 275 33554432000 4194304 5064252 140735486970096 140735486969008 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17873/statm: 2287 275 233 213 0 72 0
[pid=17874] ppid=17873 vsize=76404 CPUtime=1405.2 cores=0,2,4,6
/proc/17874/stat : 17874 (pb2sat) S 17873 17873 17405 0 -1 4202496 19288 74077 0 0 183 35 140261 41 20 0 1 0 282514915 78237696 11192 33554432000 4194304 5873084 140735272250672 140735272244488 5124602 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17874/statm: 19101 11192 183 410 0 18683 0
[pid=17899] ppid=17874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17899/stat : 17899 (satsolver.sh) S 17874 17873 17405 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 282655476 9367552 267 33554432000 4194304 5064252 140733523219472 140733523218384 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17899/statm: 2287 267 226 213 0 72 0
[pid=17900] ppid=17899 vsize=125184 CPUtime=394.87 cores=0,2,4,6
/proc/17900/stat : 17900 (glucose_static) R 17899 17873 17405 0 -1 4202496 26053 0 0 0 39478 9 0 0 20 0 1 0 282655477 128188416 28380 33554432000 4194304 4896791 140734930006656 140734930003864 4225008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17900/statm: 31296 28380 78 172 0 31122 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 219884
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17873 and gives
# childrusage.ru_utime.tv_sec=1404
# childrusage.ru_utime.tv_usec=455490
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=774882
# CPU time returned by wait4() is 1405.23
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.22
CPU system time (s): 0.85
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 287168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1404.46
system time used= 0.774882
maximum resident set size= 184284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 242576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95
involuntary context switches= 1896
runsolver used 3.56446 second user time and 8.98163 second system time
The end