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-3749417-1339112687/watcher-3749417-1339112687 -o /tmp/evaluation-result-3749417-1339112687/solver-3749417-1339112687 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749417-1339112687.opb 922550899 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.81 2.71 2.32 3/177 9852
/proc/meminfo: memFree=26946092/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[startup+0.092487 s]
/proc/loadavg: 2.81 2.71 2.32 3/177 9852
/proc/meminfo: memFree=26946092/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 2.81 2.71 2.32 3/177 9852
/proc/meminfo: memFree=26946092/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300241 s]
/proc/loadavg: 2.81 2.71 2.32 3/177 9852
/proc/meminfo: memFree=26946092/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700242 s]
/proc/loadavg: 2.81 2.71 2.32 3/177 9852
/proc/meminfo: memFree=26946092/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.81 2.71 2.32 3/181 9859
/proc/meminfo: memFree=26682956/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=19748 CPUtime=1.44 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 3647 0 0 0 144 0 0 0 20 0 1 0 377394119 20221952 4284 33554432000 4194304 5208918 140736341386672 140736341384824 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 4937 4284 103 248 0 4686 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40680
[startup+3.10043 s]
/proc/loadavg: 2.81 2.71 2.32 3/181 9859
/proc/meminfo: memFree=26403112/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=24168 CPUtime=3.04 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 3936 0 0 0 304 0 0 0 20 0 1 0 377394119 24748032 5594 33554432000 4194304 5208918 140736341386672 140736341384536 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 6042 5594 103 248 0 5791 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 45100
[startup+6.30035 s]
/proc/loadavg: 2.75 2.70 2.32 3/181 9859
/proc/meminfo: memFree=25677848/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=24168 CPUtime=6.24 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 3936 0 0 0 624 0 0 0 20 0 1 0 377394119 24748032 5594 33554432000 4194304 5208918 140736341386672 140736341384536 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 6042 5594 103 248 0 5791 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 45100
[startup+12.7004 s]
/proc/loadavg: 2.69 2.69 2.32 3/181 9859
/proc/meminfo: memFree=25012916/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=38492 CPUtime=12.64 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 5417 0 0 0 1263 1 0 0 20 0 1 0 377394119 39415808 7869 33554432000 4194304 5208918 140736341386672 140736341384616 4229460 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 9623 7869 103 248 0 9372 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 59424
[startup+25.5004 s]
/proc/loadavg: 2.53 2.66 2.31 3/181 9859
/proc/meminfo: memFree=24992352/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=38888 CPUtime=25.45 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 7103 0 0 0 2542 3 0 0 20 0 1 0 377394119 39821312 9115 33554432000 4194304 5208918 140736341386672 140736341384616 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 9722 9115 103 248 0 9471 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59820
[startup+51.1004 s]
/proc/loadavg: 2.41 2.62 2.31 3/181 9859
/proc/meminfo: memFree=24951792/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=69236 CPUtime=51.04 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 7811 0 0 0 5100 4 0 0 20 0 1 0 377394119 70897664 15325 33554432000 4194304 5208918 140736341386672 140736341384616 4229445 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 17309 15325 103 248 0 17058 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 90168
[startup+102.307 s]
/proc/loadavg: 2.17 2.52 2.29 3/181 9859
/proc/meminfo: memFree=24909232/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=82304 CPUtime=102.24 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 9309 0 0 0 10219 5 0 0 20 0 1 0 377394119 84279296 19618 33554432000 4194304 5208918 140736341386672 140736341382408 4229296 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 20576 19618 104 248 0 20325 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 103236
[startup+162.3 s]
/proc/loadavg: 2.06 2.42 2.27 3/181 9859
/proc/meminfo: memFree=24873192/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 62606 0 0 0 136097 106 0 0 20 0 1 0 377394119 261636096 60596 33554432000 4194304 5208918 140736341386672 140736341384824 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 63876 60596 104 248 0 63625 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 276436
[startup+1422.31 s]
/proc/loadavg: 2.05 2.05 2.08 3/181 9892
/proc/meminfo: memFree=24664664/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=260384 CPUtime=1422.04 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 63666 0 0 0 142095 109 0 0 20 0 1 0 377394119 266633216 62840 33554432000 4194304 5208918 140736341386672 140736341384824 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 65096 62840 104 248 0 64845 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 281316
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.08 3/181 9893
/proc/meminfo: memFree=24680412/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=267040 CPUtime=1482.02 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 67386 0 0 0 148088 114 0 0 20 0 1 0 377394119 273448960 59384 33554432000 4194304 5208918 140736341386672 140736341384824 4229532 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 66760 59384 104 248 0 66509 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 287972
[startup+1542.3 s]
/proc/loadavg: 2.04 2.04 2.07 3/182 9896
/proc/meminfo: memFree=24676304/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=240560 CPUtime=1542.01 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 69614 0 0 0 154083 118 0 0 20 0 1 0 377394119 246333440 59378 33554432000 4194304 5208918 140736341386672 140736341384664 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 60140 59378 104 248 0 59889 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 261492
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.07 3/181 9896
/proc/meminfo: memFree=24660360/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=273928 CPUtime=1602 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 72561 0 0 0 160078 122 0 0 20 0 1 0 377394119 280502272 63154 33554432000 4194304 5208918 140736341386672 140736341383048 4229397 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 68482 63154 104 248 0 68231 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 294860
[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.07 3/181 9896
/proc/meminfo: memFree=24658368/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=276984 CPUtime=1661.99 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 74532 0 0 0 166074 125 0 0 20 0 1 0 377394119 283631616 62894 33554432000 4194304 5208918 140736341386672 140736341384824 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 69246 62894 104 248 0 68995 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 297916
[startup+1722.3 s]
/proc/loadavg: 1.93 2.01 2.06 3/181 10542
/proc/meminfo: memFree=31492008/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=279692 CPUtime=1721.98 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 77243 0 0 0 172067 131 0 0 20 0 1 0 377394119 286404608 65619 33554432000 4194304 5208918 140736341386672 140736341384824 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 69923 65619 104 248 0 69672 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 300624
[startup+1782.3 s]
/proc/loadavg: 1.97 2.00 2.05 3/181 10550
/proc/meminfo: memFree=31496092/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=280720 CPUtime=1781.97 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 79837 0 0 0 178061 136 0 0 20 0 1 0 377394119 287457280 64340 33554432000 4194304 5208918 140736341386672 140736341384824 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 70180 64340 104 248 0 69929 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 301652
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.98 2.00 2.05 3/181 10557
/proc/meminfo: memFree=31472444/32873852 swapFree=6864/6864
[pid=9852] ppid=9850 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9852/stat : 9852 (npSolver-pbo.sh) S 9850 9852 7832 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377394114 9367552 274 33554432000 4194304 5064252 140733237463968 140733237462880 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9852/statm: 2287 274 233 213 0 72 0
[pid=9853] ppid=9852 vsize=2636 CPUtime=0.02 cores=0,2,4,6
/proc/9853/stat : 9853 (npSolver-pbo) S 9852 9852 7832 0 -1 4202496 1342 2395 0 0 0 0 2 0 20 0 1 0 377394114 2699264 285 33554432000 4194304 6004724 140733987345040 140733987340176 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9853/statm: 659 285 148 442 0 213 0
[pid=9858] ppid=9853 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9858/stat : 9858 (satsolver.sh) S 9853 9852 7832 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 377394119 9367552 267 33554432000 4194304 5064252 140733894793920 140733894792832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/9858/statm: 2287 267 226 213 0 72 0
[pid=9859] ppid=9858 vsize=280720 CPUtime=1800.07 cores=0,2,4,6
/proc/9859/stat : 9859 (glucose) R 9858 9852 7832 0 -1 4202496 79847 0 0 0 179871 136 0 0 20 0 1 0 377394119 287457280 69465 33554432000 4194304 5208918 140736341386672 140736341384824 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9859/statm: 70180 69465 104 248 0 69929 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 301652
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 9852 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=30995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=13997
# CPU time returned by wait4() is 0.044992
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1798.73
CPU system time (s): 1.36
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 351740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.030995
system time used= 0.013997
maximum resident set size= 29548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4715
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 8
runsolver used 3.11053 second user time and 9.2066 second system time
The end