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-3701036-1338135882/watcher-3701036-1338135882 -o /tmp/evaluation-result-3701036-1338135882/solver-3701036-1338135882 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701036-1338135882.opb 1872379737 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.07 2.03 2.01 2/179 23057
/proc/meminfo: memFree=28638988/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[startup+0.042357 s]
/proc/loadavg: 2.07 2.03 2.01 2/179 23057
/proc/meminfo: memFree=28638988/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 2.07 2.03 2.01 2/179 23057
/proc/meminfo: memFree=28638988/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300173 s]
/proc/loadavg: 2.07 2.03 2.01 2/179 23057
/proc/meminfo: memFree=28638988/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700158 s]
/proc/loadavg: 2.07 2.03 2.01 2/179 23057
/proc/meminfo: memFree=28638988/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 23064
/proc/meminfo: memFree=28614312/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=21640 CPUtime=1.48 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) R 23057 23057 21157 0 -1 4202496 5457 18440 0 0 21 17 105 5 20 0 1 0 279715533 22159360 4428 33554432000 4194304 5992684 140735271936912 140735271930944 5044368 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 5410 4428 187 440 0 4966 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 30788
[startup+3.1003 s]
/proc/loadavg: 2.07 2.03 2.01 3/183 23071
/proc/meminfo: memFree=28530964/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=83080 CPUtime=2.06 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 7985 18440 0 0 72 24 105 5 20 0 1 0 279715533 85073920 13645 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20770 13645 188 440 0 20326 0
[pid=23070] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23070/stat : 23070 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279715742 9367552 267 33554432000 4194304 5064252 140736091709888 140736091708800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23070/statm: 2287 267 226 213 0 72 0
[pid=23071] ppid=23070 vsize=123580 CPUtime=1 cores=0,2,4,6
/proc/23071/stat : 23071 (glucose) R 23070 23057 21157 0 -1 4202496 23860 0 0 0 94 6 0 0 20 0 1 0 279715742 126545920 27234 33554432000 4194304 5208918 140736551222832 140736551220680 4465602 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23071/statm: 30895 27234 104 248 0 30644 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 224956
[startup+6.30036 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 23071
/proc/meminfo: memFree=28422472/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=83080 CPUtime=2.06 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 7985 18440 0 0 72 24 105 5 20 0 1 0 279715533 85073920 13645 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20770 13645 188 440 0 20326 0
[pid=23070] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23070/stat : 23070 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279715742 9367552 267 33554432000 4194304 5064252 140736091709888 140736091708800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23070/statm: 2287 267 226 213 0 72 0
[pid=23071] ppid=23070 vsize=125048 CPUtime=4.2 cores=0,2,4,6
/proc/23071/stat : 23071 (glucose) R 23070 23057 21157 0 -1 4202496 24332 0 0 0 414 6 0 0 20 0 1 0 279715742 128049152 27706 33554432000 4194304 5208918 140736551222832 140736551220680 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23071/statm: 31262 27706 104 248 0 31011 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 226424
[startup+12.7004 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 23071
/proc/meminfo: memFree=28424096/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=83080 CPUtime=2.06 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 7985 18440 0 0 72 24 105 5 20 0 1 0 279715533 85073920 13645 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20770 13645 188 440 0 20326 0
[pid=23070] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23070/stat : 23070 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279715742 9367552 267 33554432000 4194304 5064252 140736091709888 140736091708800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23070/statm: 2287 267 226 213 0 72 0
[pid=23071] ppid=23070 vsize=125708 CPUtime=10.6 cores=0,2,4,6
/proc/23071/stat : 23071 (glucose) R 23070 23057 21157 0 -1 4202496 24521 0 0 0 1054 6 0 0 20 0 1 0 279715742 128724992 27895 33554432000 4194304 5208918 140736551222832 140736551220680 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23071/statm: 31427 27895 104 248 0 31176 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 227084
[startup+25.5004 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 23071
/proc/meminfo: memFree=28421560/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=83080 CPUtime=2.06 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 7985 18440 0 0 72 24 105 5 20 0 1 0 279715533 85073920 13645 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20770 13645 188 440 0 20326 0
[pid=23070] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23070/stat : 23070 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279715742 9367552 267 33554432000 4194304 5064252 140736091709888 140736091708800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23070/statm: 2287 267 226 213 0 72 0
[pid=23071] ppid=23070 vsize=126236 CPUtime=23.4 cores=0,2,4,6
/proc/23071/stat : 23071 (glucose) R 23070 23057 21157 0 -1 4202496 24629 0 0 0 2334 6 0 0 20 0 1 0 279715742 129265664 28514 33554432000 4194304 5208918 140736551222832 140736551220680 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23071/statm: 31559 28514 104 248 0 31308 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 227612
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23071
/proc/meminfo: memFree=28416224/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=83080 CPUtime=2.06 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 7985 18440 0 0 72 24 105 5 20 0 1 0 279715533 85073920 13645 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20770 13645 188 440 0 20326 0
[pid=23070] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23070/stat : 23070 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279715742 9367552 267 33554432000 4194304 5064252 140736091709888 140736091708800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23070/statm: 2287 267 226 213 0 72 0
[pid=23071] ppid=23070 vsize=128092 CPUtime=48.99 cores=0,2,4,6
/proc/23071/stat : 23071 (glucose) R 23070 23057 21157 0 -1 4202496 25069 0 0 0 4893 6 0 0 20 0 1 0 279715742 131166208 29465 33554432000 4194304 5208918 140736551222832 140736551220504 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23071/statm: 32023 29465 104 248 0 31772 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 229468
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23071
/proc/meminfo: memFree=28409596/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=83080 CPUtime=2.06 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 7985 18440 0 0 72 24 105 5 20 0 1 0 279715533 85073920 13645 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 20770 13645 188 440 0 20326 0
[pid=23070] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23070/stat : 23070 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279715742 9367552 267 33554432000 4194304 5064252 140736091709888 140736091708800 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23070/statm: 2287 267 226 213 0 72 0
[pid=23071] ppid=23070 vsize=129556 CPUtime=100.19 cores=0,2,4,6
/proc/23071/stat : 23071 (glucose) R 23070 23057 21157 0 -1 4202496 25976 0 0 0 10012 7 0 0 20 0 1 0 279715742 132665344 29887 33554432000 4194304 5208918 140736551222832 140736551220680 4213121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23071/statm: 32389 29887 104 248 0 32138 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 230932
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 23079
/proc/meminfo: memFree=28410284/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=122828 CPUtime=37.23 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 26189 0 0 0 3717 6 0 0 20 0 1 0 279728039 125775872 29546 33554432000 4194304 5208918 140735501185424 140735501183176 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 30707 29546 104 248 0 30456 0
Current children cumulated CPU time (s) 162.24
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23089
/proc/meminfo: memFree=28386948/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=154328 CPUtime=1237.01 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 40703 0 0 0 123677 24 0 0 20 0 1 0 279728039 158031872 33183 33554432000 4194304 5208918 140735501185424 140735501183272 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 38582 33183 104 248 0 38331 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 251420
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23089
/proc/meminfo: memFree=28375968/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=154900 CPUtime=1297 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 40855 0 0 0 129676 24 0 0 20 0 1 0 279728039 158617600 34868 33554432000 4194304 5208918 140735501185424 140735501183272 4229316 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 38725 34868 104 248 0 38474 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 251992
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23089
/proc/meminfo: memFree=28378052/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=136196 CPUtime=1356.99 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 41324 0 0 0 135674 25 0 0 20 0 1 0 279728039 139464704 32853 33554432000 4194304 5208918 140735501185424 140735501183272 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 34049 32853 104 248 0 33798 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 233288
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23093
/proc/meminfo: memFree=28369000/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=155440 CPUtime=1416.98 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 41952 0 0 0 141673 25 0 0 20 0 1 0 279728039 159170560 33977 33554432000 4194304 5208918 140735501185424 140735501183272 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 38860 33977 104 248 0 38609 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 252532
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 23093
/proc/meminfo: memFree=28364664/32873648 swapFree=7120/7120
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=155936 CPUtime=1476.97 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 42087 0 0 0 147671 26 0 0 20 0 1 0 279728039 159678464 34623 33554432000 4194304 5208918 140735501185424 140735501181800 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 38984 34623 104 248 0 38733 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 253028
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 23093
/proc/meminfo: memFree=28361544/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=156764 CPUtime=1536.96 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 43177 0 0 0 153669 27 0 0 20 0 1 0 279728039 160526336 34240 33554432000 4194304 5208918 140735501185424 140735501183576 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 39191 34240 104 248 0 38940 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 253856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23093
/proc/meminfo: memFree=28357052/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=157488 CPUtime=1596.95 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 43924 0 0 0 159667 28 0 0 20 0 1 0 279728039 161267712 33519 33554432000 4194304 5208918 140735501185424 140735501183576 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 39372 33519 104 248 0 39121 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 254580
[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 23152
/proc/meminfo: memFree=28511500/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=157916 CPUtime=1656.94 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 44447 0 0 0 165665 29 0 0 20 0 1 0 279728039 161705984 35567 33554432000 4194304 5208918 140735501185424 140735501183272 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 39479 35567 104 248 0 39228 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 255008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 23159
/proc/meminfo: memFree=28630360/32873648 swapFree=7116/7116
[pid=23057] ppid=23055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23057/stat : 23057 (npSolver-pbo.sh) S 23055 23057 21157 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279715533 9367552 275 33554432000 4194304 5064252 140733726330768 140733726329680 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23057/statm: 2287 275 233 213 0 72 0
[pid=23058] ppid=23057 vsize=78796 CPUtime=125.01 cores=0,2,4,6
/proc/23058/stat : 23058 (npSolver-pbo) S 23057 23057 21157 0 -1 4202496 13271 51403 0 0 129 31 12311 30 20 0 1 0 279715533 80687104 12094 33554432000 4194304 5992684 140735271936912 140735271929232 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23058/statm: 19699 12094 188 440 0 19255 0
[pid=23078] ppid=23058 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23078/stat : 23078 (satsolver.sh) S 23058 23057 21157 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279728038 9367552 266 33554432000 4194304 5064252 140736897691104 140736897690016 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23078/statm: 2287 266 226 213 0 72 0
[pid=23079] ppid=23078 vsize=158080 CPUtime=1675.05 cores=0,2,4,6
/proc/23079/stat : 23079 (glucose) R 23078 23057 21157 0 -1 4202496 44475 0 0 0 167474 31 0 0 20 0 1 0 279728039 161873920 36106 33554432000 4194304 5208918 140735501185424 140735501183272 4229479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23079/statm: 39520 36106 104 248 0 39269 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 255172
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.15
CPU system time (s): 0.932858
CPU usage (%): 99.9818
Max. virtual memory (cumulated for all children) (KiB): 284932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.932858
maximum resident set size= 177664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110127
page faults= 0
swaps= 0
block input operations= 0
block output operations= 181192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 653
involuntary context switches= 2314
runsolver used 2.80657 second user time and 7.14391 second system time
The end