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-3695348-1338088352/watcher-3695348-1338088352 -o /tmp/evaluation-result-3695348-1338088352/solver-3695348-1338088352 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3695348-1338088352.opb 1320480443 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: 0.97 1.05 1.44 3/174 9102
/proc/meminfo: memFree=30032560/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[startup+0.0112051 s]
/proc/loadavg: 0.97 1.05 1.44 3/174 9102
/proc/meminfo: memFree=30032560/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/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: 0.97 1.05 1.44 3/174 9102
/proc/meminfo: memFree=30032560/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 0.97 1.05 1.44 3/174 9102
/proc/meminfo: memFree=30032560/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700292 s]
/proc/loadavg: 0.97 1.05 1.44 3/174 9102
/proc/meminfo: memFree=30032560/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 0.97 1.05 1.44 3/181 9120
/proc/meminfo: memFree=30012852/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=12728 CPUtime=1.3 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 4247 6286 0 0 17 28 84 1 20 0 1 0 274962550 13033472 2667 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3182 2667 175 410 0 2764 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 21876
[startup+3.10043 s]
/proc/loadavg: 0.97 1.05 1.44 3/183 9123
/proc/meminfo: memFree=29982796/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=12728 CPUtime=1.3 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 4247 6286 0 0 17 28 84 1 20 0 1 0 274962550 13033472 2667 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9104/statm: 3182 2667 175 410 0 2764 0
[pid=9122] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9122/stat : 9122 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274962682 9367552 267 33554432000 4194304 5064252 140733450096240 140733450095152 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9122/statm: 2287 267 226 213 0 72 0
[pid=9123] ppid=9122 vsize=28824 CPUtime=1.77 cores=1,3,5,7
/proc/9123/stat : 9123 (glucose_static) R 9122 9102 9063 0 -1 4202496 6315 0 0 0 176 1 0 0 20 0 1 0 274962683 29515776 6475 33554432000 4194304 4896791 140737082143232 140737082140360 4224706 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9123/statm: 7206 6475 78 172 0 7032 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 59848
[startup+6.30034 s]
/proc/loadavg: 1.05 1.07 1.45 3/183 9129
/proc/meminfo: memFree=29979776/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=5.47 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 6570 21318 0 0 21 28 491 7 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
Current children cumulated CPU time (s) 5.47
Current children cumulated vsize (KiB) 24464
[startup+12.7004 s]
/proc/loadavg: 1.13 1.08 1.45 3/183 9138
/proc/meminfo: memFree=29977540/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=9.26 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 9024 35519 0 0 25 28 862 11 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9137] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9137/stat : 9137 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 274963478 9367552 267 33554432000 4194304 5064252 140736238860704 140736238859616 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9137/statm: 2287 267 226 213 0 72 0
[pid=9138] ppid=9137 vsize=32240 CPUtime=3.4 cores=1,3,5,7
/proc/9138/stat : 9138 (glucose_static) R 9137 9102 9063 0 -1 4202496 6623 0 0 0 340 0 0 0 20 0 1 0 274963479 33013760 6787 33554432000 4194304 4896791 140733220076064 140733220073384 4225029 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9138/statm: 8060 6787 78 172 0 7886 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 65852
[startup+25.5004 s]
/proc/loadavg: 1.32 1.13 1.46 3/183 9144
/proc/meminfo: memFree=29974800/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=17.36 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 11473 51719 0 0 30 29 1662 15 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9143] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9143/stat : 9143 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274964288 9367552 267 33554432000 4194304 5064252 140736744343088 140736744342000 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9143/statm: 2287 267 226 213 0 72 0
[pid=9144] ppid=9143 vsize=33076 CPUtime=8.1 cores=1,3,5,7
/proc/9144/stat : 9144 (glucose_static) R 9143 9102 9063 0 -1 4202496 7836 0 0 0 809 1 0 0 20 0 1 0 274964288 33869824 6983 33554432000 4194304 4896791 140737446114496 140737446111704 4224983 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9144/statm: 8269 6983 78 172 0 8095 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 66688
[startup+51.1004 s]
/proc/loadavg: 1.55 1.20 1.47 3/183 9147
/proc/meminfo: memFree=29967472/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=46.28 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 12653 63611 0 0 32 29 4547 20 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9146] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9146/stat : 9146 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274967181 9367552 266 33554432000 4194304 5064252 140733807571296 140733807570208 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9146/statm: 2287 266 226 213 0 72 0
[pid=9147] ppid=9146 vsize=32444 CPUtime=4.78 cores=1,3,5,7
/proc/9147/stat : 9147 (glucose_static) R 9146 9102 9063 0 -1 4202496 6546 0 0 0 477 1 0 0 20 0 1 0 274967181 33222656 7338 33554432000 4194304 4896791 140733664524096 140733664521304 4225148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9147/statm: 8111 7338 78 172 0 7937 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 66056
[startup+102.307 s]
/proc/loadavg: 1.80 1.32 1.49 3/183 9150
/proc/meminfo: memFree=29954280/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=73.92 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 13835 74258 0 0 34 29 7305 24 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9149] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9149/stat : 9149 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 274969947 9367552 267 33554432000 4194304 5064252 140736455231152 140736455230064 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9149/statm: 2287 267 226 213 0 72 0
[pid=9150] ppid=9149 vsize=36300 CPUtime=28.32 cores=1,3,5,7
/proc/9150/stat : 9150 (glucose_static) R 9149 9102 9063 0 -1 4202496 8505 0 0 0 2829 3 0 0 20 0 1 0 274969947 37171200 8297 33554432000 4194304 4896791 140734885183168 140734885180376 4224802 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9150/statm: 9075 8297 78 172 0 8901 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 69912
[startup+162.3 s]
/proc/loadavg: 1.93 1.44 1.52 3/183 9153
/proc/meminfo: memFree=29950392/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=151.19 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 15061 87386 0 0 36 29 15023 31 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9152] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9152/stat : 9152 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 274977676 9367552 266 33554432000 4194304 5064252 140733552259408 140733552258320 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9152/statm: 2287 266 226 213 0 72 0
[pid=9153] ppid=9152 vsize=33460 CPUtime=11.02 cores=1,3,5,7
/proc/9153/stat : 9153 (glucose_static) R 9152 9102 9063 0 -1 4202496 7588 0 0 0 1100 2 0 0 20 0 1 0 274977676 34263040 7588 33554432000 4194304 4896791 140735309603232 140735309600440 4203877 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9153/statm: 8365 7588 78 172 0 8191 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 67072
[startup+222.3 s]
/proc/loadavg: 1.97 1.54 1.55 3/183 9153
/proc/meminfo: memFree=29941976/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.84 3/183 9240
/proc/meminfo: memFree=29920260/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=48924 CPUtime=131.82 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 19861 0 0 0 13174 8 0 0 20 0 1 0 275091595 50098176 11153 33554432000 4194304 4896791 140735579534816 140735579532392 4203877 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 12231 11153 78 172 0 12057 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 82536
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.85 3/183 9240
/proc/meminfo: memFree=29911340/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=59128 CPUtime=191.8 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 24014 0 0 0 19168 12 0 0 20 0 1 0 275091595 60547072 14024 33554432000 4194304 4896791 140735579534816 140735579532024 4224708 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 14782 14024 78 172 0 14608 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 92740
[startup+1542.3 s]
/proc/loadavg: 2.05 1.99 1.86 3/183 9241
/proc/meminfo: memFree=29905956/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=74512 CPUtime=251.78 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 26650 0 0 0 25164 14 0 0 20 0 1 0 275091595 76300288 15472 33554432000 4194304 4896791 140735579534816 140735579532024 4224963 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 18628 15472 78 172 0 18454 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 108124
[startup+1602.3 s]
/proc/loadavg: 2.02 1.99 1.87 3/183 9241
/proc/meminfo: memFree=29892252/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=77272 CPUtime=311.77 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 28760 0 0 0 31160 17 0 0 20 0 1 0 275091595 79126528 16197 33554432000 4194304 4896791 140735579534816 140735579532024 4224684 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 19318 16197 78 172 0 19144 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 110884
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.87 3/184 9244
/proc/meminfo: memFree=29889588/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=68092 CPUtime=371.76 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 30905 0 0 0 37157 19 0 0 20 0 1 0 275091595 69726208 16006 33554432000 4194304 4896791 140735579534816 140735579532392 4203799 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 17023 16006 78 172 0 16849 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 101704
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/183 9244
/proc/meminfo: memFree=29874704/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=82184 CPUtime=431.75 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 33141 0 0 0 43153 22 0 0 20 0 1 0 275091595 84156416 19014 33554432000 4194304 4896791 140735579534816 140735579532024 4224706 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 20546 19014 78 172 0 20372 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 115796
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.88 3/183 9244
/proc/meminfo: memFree=29862180/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=103804 CPUtime=491.75 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 35680 0 0 0 49150 25 0 0 20 0 1 0 275091595 106295296 21805 33554432000 4194304 4896791 140735579534816 140735579530488 4204566 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 25951 21805 78 172 0 25777 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 137416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 1.99 1.89 3/183 9244
/proc/meminfo: memFree=29854332/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=86244 CPUtime=509.95 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 36728 0 0 0 50969 26 0 0 20 0 1 0 275091595 88313856 19018 33554432000 4194304 4896791 140735579534816 140735579532024 4224898 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 21561 19018 78 172 0 21387 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 119856
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 1.99 1.89 3/183 9244
/proc/meminfo: memFree=29854332/32873648 swapFree=7116/7116
[pid=9102] ppid=9100 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9102/stat : 9102 (runPb2satCp2.sh) S 9100 9102 9063 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274962550 9367552 275 33554432000 4194304 5064252 140736745933488 140736745932400 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9102/statm: 2287 275 233 213 0 72 0
[pid=9104] ppid=9102 vsize=15316 CPUtime=1290.12 cores=1,3,5,7
/proc/9104/stat : 9104 (pb2sat) S 9102 9102 9063 0 -1 4202496 19922 190771 0 0 45 30 128840 97 20 0 1 0 274962550 15683584 3191 33554432000 4194304 5873084 140737446121296 140737446115112 5124602 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9104/statm: 3829 3191 175 410 0 3411 0
[pid=9239] ppid=9104 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9239/stat : 9239 (satsolver.sh) S 9104 9102 9063 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 275091594 9367552 266 33554432000 4194304 5064252 140736151087872 140736151086784 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9239/statm: 2287 266 226 213 0 72 0
[pid=9240] ppid=9239 vsize=86244 CPUtime=509.95 cores=1,3,5,7
/proc/9240/stat : 9240 (glucose_static) R 9239 9102 9063 0 -1 4202496 36728 0 0 0 50969 26 0 0 20 0 1 0 275091595 88313856 19018 33554432000 4194304 4896791 140735579534816 140735579532024 4224898 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9240/statm: 21561 19018 78 172 0 21387 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 119856
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1798.55
CPU system time (s): 1.55176
CPU usage (%): 99.9774
Max. virtual memory (cumulated for all children) (KiB): 156092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.55
system time used= 1.55176
maximum resident set size= 107180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 133152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313
involuntary context switches= 3004
runsolver used 2.82557 second user time and 7.29689 second system time
The end