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-3694837-1338052948/watcher-3694837-1338052948 -o /tmp/evaluation-result-3694837-1338052948/solver-3694837-1338052948 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694837-1338052948.opb 1156886951 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.12 2.09 2.02 2/172 9893
/proc/meminfo: memFree=28936984/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[startup+0.00882703 s]
/proc/loadavg: 2.12 2.09 2.02 2/172 9893
/proc/meminfo: memFree=28936984/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100371 s]
/proc/loadavg: 2.12 2.09 2.02 2/172 9893
/proc/meminfo: memFree=28936984/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300322 s]
/proc/loadavg: 2.12 2.09 2.02 2/172 9893
/proc/meminfo: memFree=28936984/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70031 s]
/proc/loadavg: 2.12 2.09 2.02 2/172 9893
/proc/meminfo: memFree=28936984/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50047 s]
/proc/loadavg: 2.12 2.09 2.02 3/184 9920
/proc/meminfo: memFree=28852944/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=6340 CPUtime=0.07 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 2384 1430 0 0 6 1 0 0 20 0 1 0 271419173 6492160 1030 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 1585 1030 172 410 0 1167 0
[pid=9904] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9904/stat : 9904 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271419182 9367552 267 33554432000 4194304 5064252 140735891874784 140735891873696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9904/statm: 2287 267 226 213 0 72 0
[pid=9905] ppid=9904 vsize=34872 CPUtime=1.4 cores=1,3,5,7
/proc/9905/stat : 9905 (glucose_static) R 9904 9893 9863 0 -1 4202496 7913 0 0 0 139 1 0 0 20 0 1 0 271419182 35708928 7670 33554432000 4194304 4896791 140734592145328 140734592142840 4225540 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 8718 7670 78 172 0 8544 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 59508
[startup+3.10047 s]
/proc/loadavg: 2.11 2.09 2.02 3/184 9920
/proc/meminfo: memFree=28851108/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=6340 CPUtime=0.07 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 2384 1430 0 0 6 1 0 0 20 0 1 0 271419173 6492160 1030 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 1585 1030 172 410 0 1167 0
[pid=9904] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9904/stat : 9904 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271419182 9367552 267 33554432000 4194304 5064252 140735891874784 140735891873696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9904/statm: 2287 267 226 213 0 72 0
[pid=9905] ppid=9904 vsize=35244 CPUtime=2.99 cores=1,3,5,7
/proc/9905/stat : 9905 (glucose_static) R 9904 9893 9863 0 -1 4202496 9635 0 0 0 298 1 0 0 20 0 1 0 271419182 36089856 8067 33554432000 4194304 4896791 140734592145328 140734592142840 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9905/statm: 8811 8067 78 172 0 8637 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 59880
[startup+6.30044 s]
/proc/loadavg: 2.11 2.09 2.02 3/184 9923
/proc/meminfo: memFree=28843732/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=4.27 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 4370 13053 0 0 12 2 410 3 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9922] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9922/stat : 9922 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271419602 9367552 267 33554432000 4194304 5064252 140735375566560 140735375565472 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9922/statm: 2287 267 226 213 0 72 0
[pid=9923] ppid=9922 vsize=32236 CPUtime=1.99 cores=1,3,5,7
/proc/9923/stat : 9923 (glucose_static) R 9922 9893 9863 0 -1 4202496 8829 0 0 0 197 2 0 0 20 0 1 0 271419602 33009664 7422 33554432000 4194304 4896791 140736554265104 140736554262616 4224802 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 8059 7422 78 172 0 7885 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 62484
[startup+12.7004 s]
/proc/loadavg: 2.09 2.09 2.02 3/184 9926
/proc/meminfo: memFree=28834140/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=4.27 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 4370 13053 0 0 12 2 410 3 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9922] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9922/stat : 9922 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271419602 9367552 267 33554432000 4194304 5064252 140735375566560 140735375565472 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9922/statm: 2287 267 226 213 0 72 0
[pid=9923] ppid=9922 vsize=33308 CPUtime=8.39 cores=1,3,5,7
/proc/9923/stat : 9923 (glucose_static) R 9922 9893 9863 0 -1 4202496 12633 0 0 0 836 3 0 0 20 0 1 0 271419602 34107392 7698 33554432000 4194304 4896791 140736554265104 140736554262632 4225517 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 8327 7698 78 172 0 8153 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 63556
[startup+25.5004 s]
/proc/loadavg: 2.08 2.08 2.01 3/184 9926
/proc/meminfo: memFree=28825596/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=4.27 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 4370 13053 0 0 12 2 410 3 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9922] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9922/stat : 9922 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271419602 9367552 267 33554432000 4194304 5064252 140735375566560 140735375565472 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9922/statm: 2287 267 226 213 0 72 0
[pid=9923] ppid=9922 vsize=42356 CPUtime=21.18 cores=1,3,5,7
/proc/9923/stat : 9923 (glucose_static) R 9922 9893 9863 0 -1 4202496 18729 0 0 0 2113 5 0 0 20 0 1 0 271419602 43372544 9821 33554432000 4194304 4896791 140736554265104 140736554262312 4224921 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 10589 9821 78 172 0 10415 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 72604
[startup+51.1004 s]
/proc/loadavg: 2.11 2.09 2.02 3/184 9926
/proc/meminfo: memFree=28805392/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=4.27 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 4370 13053 0 0 12 2 410 3 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9922] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9922/stat : 9922 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271419602 9367552 267 33554432000 4194304 5064252 140735375566560 140735375565472 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9922/statm: 2287 267 226 213 0 72 0
[pid=9923] ppid=9922 vsize=64532 CPUtime=46.78 cores=1,3,5,7
/proc/9923/stat : 9923 (glucose_static) R 9922 9893 9863 0 -1 4202496 26772 0 0 0 4669 9 0 0 20 0 1 0 271419602 66080768 13741 33554432000 4194304 4896791 140736554265104 140736554262312 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 16133 13741 78 172 0 15959 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 94780
[startup+102.307 s]
/proc/loadavg: 2.08 2.09 2.02 3/183 9926
/proc/meminfo: memFree=28762172/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=4.27 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 4370 13053 0 0 12 2 410 3 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9922] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9922/stat : 9922 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271419602 9367552 267 33554432000 4194304 5064252 140735375566560 140735375565472 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9922/statm: 2287 267 226 213 0 72 0
[pid=9923] ppid=9922 vsize=69632 CPUtime=97.97 cores=1,3,5,7
/proc/9923/stat : 9923 (glucose_static) R 9922 9893 9863 0 -1 4202496 39420 0 0 0 9782 15 0 0 20 0 1 0 271419602 71303168 14758 33554432000 4194304 4896791 140736554265104 140736554262632 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9923/statm: 17408 14758 78 172 0 17234 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 99880
[startup+162.3 s]
/proc/loadavg: 2.03 2.07 2.01 3/183 9926
/proc/meminfo: memFree=28728820/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=4.27 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 4370 13053 0 0 12 2 410 3 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9922] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 121509 0 0 0 125056 108 0 0 20 0 1 0 271436211 182341632 38569 33554432000 4194304 4896791 140737027819104 140737027816312 4205328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 44517 38569 78 172 0 44343 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 208316
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9941
/proc/meminfo: memFree=28472188/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=179168 CPUtime=1311.63 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 123751 0 0 0 131051 112 0 0 20 0 1 0 271436211 183468032 37826 33554432000 4194304 4896791 140737027819104 140737027816328 4203950 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 44792 37826 78 172 0 44618 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 209416
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9941
/proc/meminfo: memFree=28478736/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=180688 CPUtime=1371.62 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 125971 0 0 0 137046 116 0 0 20 0 1 0 271436211 185024512 39752 33554432000 4194304 4896791 140737027819104 140737027816312 4203877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 45172 39752 78 172 0 44998 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 210936
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9941
/proc/meminfo: memFree=28485156/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=182440 CPUtime=1431.6 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 128256 0 0 0 143040 120 0 0 20 0 1 0 271436211 186818560 43772 33554432000 4194304 4896791 140737027819104 140737027816632 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 45610 43772 78 172 0 45436 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 212688
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 9944
/proc/meminfo: memFree=28473964/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=234112 CPUtime=1491.59 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 130844 0 0 0 149033 126 0 0 20 0 1 0 271436211 239730688 46505 33554432000 4194304 4896791 140737027819104 140737027816312 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 58528 46505 78 172 0 58354 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 264360
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9944
/proc/meminfo: memFree=28489656/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=186904 CPUtime=1551.59 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 133793 0 0 0 155029 130 0 0 20 0 1 0 271436211 191389696 38408 33554432000 4194304 4896791 140737027819104 140737027816312 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 46726 38408 78 172 0 46552 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 217152
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9945
/proc/meminfo: memFree=28432160/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=243292 CPUtime=1611.56 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 137825 0 0 0 161022 134 0 0 20 0 1 0 271436211 249131008 57472 33554432000 4194304 4896791 140737027819104 140737027816312 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 60823 57472 78 172 0 60649 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 273540
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 9945
/proc/meminfo: memFree=28352604/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=326432 CPUtime=1629.76 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 138731 0 0 0 162841 135 0 0 20 0 1 0 271436211 334266368 68598 33554432000 4194304 4896791 140737027819104 140737027816360 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 81608 68598 78 172 0 81434 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 356680
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 9945
/proc/meminfo: memFree=28352604/32873844 swapFree=7612/7612
[pid=9893] ppid=9891 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9893/stat : 9893 (runPb2satCp2.sh) S 9891 9893 9863 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271419173 9367552 275 33554432000 4194304 5064252 140737293764784 140737293763696 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 2287 275 233 213 0 72 0
[pid=9894] ppid=9893 vsize=11952 CPUtime=170.31 cores=1,3,5,7
/proc/9894/stat : 9894 (pb2sat) S 9893 9893 9863 0 -1 4202496 6424 66235 0 0 19 3 16982 27 20 0 1 0 271419173 12238848 2402 33554432000 4194304 5873084 140735611382320 140735611376136 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9894/statm: 2988 2402 172 410 0 2570 0
[pid=9928] ppid=9894 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9928/stat : 9928 (satsolver.sh) S 9894 9893 9863 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271436211 9367552 267 33554432000 4194304 5064252 140733395731632 140733395730544 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9928/statm: 2287 267 226 213 0 72 0
[pid=9929] ppid=9928 vsize=326432 CPUtime=1629.76 cores=1,3,5,7
/proc/9929/stat : 9929 (glucose_static) R 9928 9893 9863 0 -1 4202496 138731 0 0 0 162841 135 0 0 20 0 1 0 271436211 334266368 68598 33554432000 4194304 4896791 140737027819104 140737027816360 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9929/statm: 81608 68598 78 172 0 81434 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 356680
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9893 and gives
# childrusage.ru_utime.tv_sec=170
# childrusage.ru_utime.tv_usec=27151
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=310952
# CPU time returned by wait4() is 170.338
# 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.51
CPU time (s): 1800.07
CPU user time (s): 1798.42
CPU system time (s): 1.65
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 356680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.027
system time used= 0.310952
maximum resident set size= 98548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 21584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 192
runsolver used 4.90725 second user time and 9.67653 second system time
The end