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-3754895-1339202806/watcher-3754895-1339202806 -o /tmp/evaluation-result-3754895-1339202806/solver-3754895-1339202806 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754895-1339202806.wbo 1057922756 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23559
/proc/meminfo: memFree=20547196/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[startup+0.034057 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23559
/proc/meminfo: memFree=20547196/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100336 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23559
/proc/meminfo: memFree=20547196/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300235 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23559
/proc/meminfo: memFree=20547196/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 23559
/proc/meminfo: memFree=20547196/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 23563
/proc/meminfo: memFree=20505168/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=26392 CPUtime=1.48 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) R 23559 23559 18714 0 -1 4202496 8698 13909 0 0 31 11 102 4 20 0 1 0 386407410 27025408 5859 33554432000 4194304 6006132 140734935223424 140734935216528 4969855 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 6598 5860 178 443 0 6151 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 35540
[startup+3.10035 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 23571
/proc/meminfo: memFree=20423616/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=219632 CPUtime=3.08 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) R 23559 23559 18714 0 -1 4202496 24061 13909 0 0 185 17 102 4 20 0 1 0 386407410 224903168 48249 33554432000 4194304 6006132 140734935223424 140734935215784 4582397 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 54908 48249 178 443 0 54461 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 228780
[startup+6.30031 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 23571
/proc/meminfo: memFree=20187996/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=612848 CPUtime=6.28 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) R 23559 23559 18714 0 -1 4202496 25389 13909 0 0 496 26 102 4 20 0 1 0 386407410 627556352 106617 33554432000 4194304 6006132 140734935223424 140734935215784 4583664 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 153212 106617 178 443 0 152765 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 621996
[startup+12.7004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 23573
/proc/meminfo: memFree=19034444/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=406924 CPUtime=1.73 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 55079 0 0 0 159 14 0 0 20 0 1 0 386408506 416690176 93022 33554432000 4194304 5208918 140737198074992 140737197024392 4465602 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 101731 93022 70 248 0 101480 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1520068
[startup+25.5004 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 23573
/proc/meminfo: memFree=17941004/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1627240 CPUtime=14.53 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 179242 0 0 0 1387 66 0 0 20 0 1 0 386408506 1666293760 333222 33554432000 4194304 5208918 140737198074992 140737198072840 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 406810 333222 105 248 0 406559 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2740384
[startup+51.1004 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 23625
/proc/meminfo: memFree=25516660/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1640000 CPUtime=40.12 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 182501 0 0 0 3944 68 0 0 20 0 1 0 386408506 1679360000 346693 33554432000 4194304 5208918 140737198074992 140737198071368 4211111 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 410000 346693 105 248 0 409749 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 2753144
[startup+102.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 23626
/proc/meminfo: memFree=25500396/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1652840 CPUtime=91.31 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 186118 0 0 0 9055 76 0 0 20 0 1 0 386408506 1692508160 348907 33554432000 4194304 5208918 140737198074992 140737198072840 4228978 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 413210 348907 105 248 0 412959 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 2765984
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23626
/proc/meminfo: memFree=25464020/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1666028 CPUtime=151.3 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 189121 0 0 0 15046 84 0 0 20 0 1 0 386408506 1706012672 350522 33554432000 4194304 5208918 140737198074992 140737198072840 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 416507 350522 105 248 0 416256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 2779172
[startup+222.3 s]
/proc/loadavg: 2.20 2.07 2.02 3/184 23629
/proc/meminfo: memFree=25465916/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 213657 0 0 0 134903 204 0 0 20 0 1 0 386408506 1801093120 386366 33554432000 4194304 5208918 140737198074992 140737198072840 4229692 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 439720 386366 105 248 0 439469 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 2872024
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 23662
/proc/meminfo: memFree=25060160/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1761492 CPUtime=1411.06 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 214314 0 0 0 140901 205 0 0 20 0 1 0 386408506 1803767808 403886 33554432000 4194304 5208918 140737198074992 140737198071368 4229460 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 440373 403886 105 248 0 440122 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2874636
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23662
/proc/meminfo: memFree=25067944/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1762736 CPUtime=1471.06 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 214992 0 0 0 146893 213 0 0 20 0 1 0 386408506 1805041664 386882 33554432000 4194304 5208918 140737198074992 140737198072840 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 440684 386882 105 248 0 440433 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2875880
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23662
/proc/meminfo: memFree=25010828/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1765696 CPUtime=1531.04 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 215713 0 0 0 152890 214 0 0 20 0 1 0 386408506 1808072704 404977 33554432000 4194304 5208918 140737198074992 140737198072840 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 441424 404977 105 248 0 441173 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2878840
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23662
/proc/meminfo: memFree=25098432/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1767424 CPUtime=1591.03 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 216433 0 0 0 158881 222 0 0 20 0 1 0 386408506 1809842176 386888 33554432000 4194304 5208918 140737198074992 140737198071368 4229374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 441856 386888 105 248 0 441605 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 2880568
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 23663
/proc/meminfo: memFree=24980144/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1769996 CPUtime=1651.03 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 217026 0 0 0 164879 224 0 0 20 0 1 0 386408506 1812475904 402811 33554432000 4194304 5208918 140737198074992 140737198072840 4212899 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 442499 402811 105 248 0 442248 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 2883140
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 23663
/proc/meminfo: memFree=25030792/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1771812 CPUtime=1711.02 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 217858 0 0 0 170871 231 0 0 20 0 1 0 386408506 1814335488 393091 33554432000 4194304 5208918 140737198074992 140737198072840 4229374 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 442953 393091 105 248 0 442702 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2884956
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 23663
/proc/meminfo: memFree=24987188/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1775068 CPUtime=1771.01 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 218639 0 0 0 176869 232 0 0 20 0 1 0 386408506 1817669632 408180 33554432000 4194304 5208918 140737198074992 140737198072840 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 443767 408180 105 248 0 443516 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2888212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 23663
/proc/meminfo: memFree=25034332/32873648 swapFree=7372/7372
[pid=23559] ppid=23557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23559/stat : 23559 (npSolver-wbo.sh) S 23557 23559 18714 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386407410 9367552 274 33554432000 4194304 5064252 140733701778560 140733701777472 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23559/statm: 2287 274 233 213 0 72 0
[pid=23560] ppid=23559 vsize=1094848 CPUtime=10.94 cores=1,3,5,7
/proc/23560/stat : 23560 (npSolver-wbo) S 23559 23559 18714 0 -1 4202496 27351 13909 0 0 863 125 102 4 20 0 1 0 386407410 1121124352 164175 33554432000 4194304 6006132 140734935223424 140734935214832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23560/statm: 273712 164175 180 443 0 273265 0
[pid=23572] ppid=23560 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23572/stat : 23572 (satsolver.sh) S 23560 23559 18714 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386408506 9367552 267 33554432000 4194304 5064252 140736848256720 140736848255632 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23572/statm: 2287 267 226 213 0 72 0
[pid=23573] ppid=23572 vsize=1775960 CPUtime=1789.11 cores=1,3,5,7
/proc/23573/stat : 23573 (glucose) R 23572 23559 18714 0 -1 4202496 219125 0 0 0 178673 238 0 0 20 0 1 0 386408506 1818583040 386803 33554432000 4194304 5208918 140737198074992 140737198071368 4229307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23573/statm: 443990 386803 105 248 0 443739 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2889104
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 23559 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=663530
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=304801
# CPU time returned by wait4() is 10.9683
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.05
CPU user time (s): 1796.38
CPU system time (s): 3.67
CPU usage (%): 99.9795
Max. virtual memory (cumulated for all children) (KiB): 3447904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.66353
system time used= 1.3048
maximum resident set size= 1268000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42237
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1228776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 99
involuntary context switches= 31
runsolver used 10.1215 second user time and 11.5662 second system time
The end