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-3754827-1339203634/watcher-3754827-1339203634 -o /tmp/evaluation-result-3754827-1339203634/solver-3754827-1339203634 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754827-1339203634.wbo 515376998 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.09 2.06 2.07 3/176 5121
/proc/meminfo: memFree=25927256/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[startup+0.079238 s]
/proc/loadavg: 2.09 2.06 2.07 3/176 5121
/proc/meminfo: memFree=25927256/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100316 s]
/proc/loadavg: 2.09 2.06 2.07 3/176 5121
/proc/meminfo: memFree=25927256/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30031 s]
/proc/loadavg: 2.09 2.06 2.07 3/176 5121
/proc/meminfo: memFree=25927256/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700372 s]
/proc/loadavg: 2.09 2.06 2.07 3/176 5121
/proc/meminfo: memFree=25927256/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 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.09 2.06 2.07 3/180 5135
/proc/meminfo: memFree=25694412/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=119908 CPUtime=0.71 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 21977 0 0 0 66 5 0 0 20 0 1 0 386488906 122785792 24418 33554432000 4194304 5208918 140733495058160 140733495055832 4228924 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5135/statm: 29977 24418 104 248 0 29726 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 228532
[startup+3.10035 s]
/proc/loadavg: 2.09 2.06 2.07 3/180 5135
/proc/meminfo: memFree=25544040/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=121104 CPUtime=2.31 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 22288 0 0 0 224 7 0 0 20 0 1 0 386488906 124010496 25240 33554432000 4194304 5208918 140733495058160 140733495056008 4211049 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5135/statm: 30276 25240 105 248 0 30025 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 229728
[startup+6.30035 s]
/proc/loadavg: 2.08 2.06 2.07 3/180 5135
/proc/meminfo: memFree=25278732/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=122800 CPUtime=5.52 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 22722 0 0 0 544 8 0 0 20 0 1 0 386488906 125747200 26185 33554432000 4194304 5208918 140733495058160 140733495056120 4211156 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5135/statm: 30700 26185 105 248 0 30449 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 231424
[startup+12.7004 s]
/proc/loadavg: 2.07 2.05 2.07 3/180 5135
/proc/meminfo: memFree=24877708/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=124908 CPUtime=11.91 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 23255 0 0 0 1183 8 0 0 20 0 1 0 386488906 127905792 27229 33554432000 4194304 5208918 140733495058160 140733495056008 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5135/statm: 31227 27229 105 248 0 30976 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 233532
[startup+25.5065 s]
/proc/loadavg: 2.06 2.05 2.07 3/180 5135
/proc/meminfo: memFree=23835144/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=127324 CPUtime=24.71 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 24409 0 0 0 2463 8 0 0 20 0 1 0 386488906 130379776 26777 33554432000 4194304 5208918 140733495058160 140733495056248 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5135/statm: 31831 26777 105 248 0 31580 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 235948
[startup+51.1004 s]
/proc/loadavg: 2.04 2.05 2.06 3/181 5157
/proc/meminfo: memFree=21829800/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=127764 CPUtime=50.3 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 24513 0 0 0 5022 8 0 0 20 0 1 0 386488906 130830336 27392 33554432000 4194304 5208918 140733495058160 140733495055912 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5135/statm: 31941 27392 105 248 0 31690 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 236388
[startup+102.3 s]
/proc/loadavg: 2.95 2.25 2.13 4/181 5158
/proc/meminfo: memFree=13063080/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=136608 CPUtime=101.49 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 27846 0 0 0 10139 10 0 0 20 0 1 0 386488906 139886592 30145 33554432000 4194304 5208918 140733495058160 140733495055992 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5135/statm: 34152 30145 105 248 0 33901 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 245232
[startup+162.3 s]
/proc/loadavg: 4.27 2.75 2.30 2/181 5158
/proc/meminfo: memFree=9389168/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=138620 CPUtime=161.48 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 29465 0 0 0 16137 11 0 0 20 0 1 0 386488906 141946880 30685 33554432000 4194304 5208918 140733495058160 140733495056248 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5135/statm: 34655 30685 105 248 0 34404 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 247244
[startup+222.3 s]
/proc/loadavg: 4.69 3.14 2.47 2/181 5159
/proc/meminfo: memFree=5830848/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=90328 CPUtime=0.74 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 7006 5724 0 0 62 8 3 1 20 0 1 0 386488829 92495872 15738 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 22582 15738 178 443 0 22135 0
[pid=5134] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5134/stat : 5134 (satsolver.sh) S 5122 5121 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386488906 9367552 267 33554432000 4194304 5064252 140735015373440 140735015372352 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5134/statm: 2287 267 226 213 0 72 0
[pid=5135] ppid=5134 vsize=141824 CPUtime=221.48 cores=0,2,4,6
/proc/5135/stat : 5135 (glucose) R 5134 5121 982 0 -1 4202496 31456 0 0 0 22135 13 0 0 20 0 1 0 386488906 145227776 31602 33554432000 4194304 5208918 140733495058160 140733495056008 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5135/statm: 35456 31602 105 248 0 35205 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 250448
[startup+282.307 s]
/proc/loadavg: 4.85 3.46 2.62 3/181 5166
/proc/meminfo: memFree=5588748/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=73948 CPUtime=242.34 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 12100 42572 0 0 117 15 24071 31 20 0 1 0 386488829 75722752 11163 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 18487 11163 178 443 0 18040 0
[pid=5165] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5165/stat : 5165 (satsolver.sh) S 5122 5121 982 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 386513071 9367552 266 33554432000 4194304 5064252 140737416299024 140737416297936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5165/statm: 2287 266 226 213 0 72 0
[pid=5166] ppid=5165 vsize=124828 CPUtime=39.85 cores=0,2,4,6
/proc/5166/stat : 5166 (glucose) R 5165 5121 982 0 -1 4202496 24305 0 0 0 3972 13 0 0 20 0 1 0 386513071 127823872 27861 33554432000 4194304 5208918 140734026160032 140734026157880 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5166/statm: 31207 27861 105 248 0 30956 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 217072
Solver just ended. Dumping a history of the last processes samples
[startup+283.3 s]
/proc/loadavg: 4.85 3.46 2.62 2/181 5166
/proc/meminfo: memFree=5588252/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=73948 CPUtime=242.34 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 12100 42572 0 0 117 15 24071 31 20 0 1 0 386488829 75722752 11163 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 18487 11163 178 443 0 18040 0
[pid=5165] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5165/stat : 5165 (satsolver.sh) S 5122 5121 982 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 386513071 9367552 266 33554432000 4194304 5064252 140737416299024 140737416297936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5165/statm: 2287 266 226 213 0 72 0
[pid=5166] ppid=5165 vsize=125244 CPUtime=40.85 cores=0,2,4,6
/proc/5166/stat : 5166 (glucose) R 5165 5121 982 0 -1 4202496 24366 0 0 0 4072 13 0 0 20 0 1 0 386513071 128249856 27922 33554432000 4194304 5208918 140734026160032 140734026157880 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5166/statm: 31311 27922 105 248 0 31060 0
Current children cumulated CPU time (s) 283.19
Current children cumulated vsize (KiB) 217488
[startup+296.1 s]
/proc/loadavg: 4.88 3.54 2.65 2/181 5166
/proc/meminfo: memFree=5591532/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=73948 CPUtime=242.34 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 12100 42572 0 0 117 15 24071 31 20 0 1 0 386488829 75722752 11163 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 18487 11163 178 443 0 18040 0
[pid=5165] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5165/stat : 5165 (satsolver.sh) S 5122 5121 982 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 386513071 9367552 266 33554432000 4194304 5064252 140737416299024 140737416297936 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5165/statm: 2287 266 226 213 0 72 0
[pid=5166] ppid=5165 vsize=126300 CPUtime=53.64 cores=0,2,4,6
/proc/5166/stat : 5166 (glucose) R 5165 5121 982 0 -1 4202496 25403 0 0 0 5351 13 0 0 20 0 1 0 386513071 129331200 26897 33554432000 4194304 5208918 140734026160032 140734026158120 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5166/statm: 31575 26897 105 248 0 31324 0
Current children cumulated CPU time (s) 295.98
Current children cumulated vsize (KiB) 218544
[startup+299.3 s]
/proc/loadavg: 4.88 3.54 2.65 2/181 5208
/proc/meminfo: memFree=5764072/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=12472 CPUtime=299.03 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 21227 113055 0 0 139 18 29670 76 20 0 1 0 386488829 12771328 2362 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 3118 2362 178 443 0 2671 0
Current children cumulated CPU time (s) 299.03
Current children cumulated vsize (KiB) 21620
[startup+302.5 s]
/proc/loadavg: 4.81 3.54 2.66 2/181 5250
/proc/meminfo: memFree=5763320/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=12472 CPUtime=301.39 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 25671 136436 0 0 150 19 29887 83 20 0 1 0 386488829 12771328 2362 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 3118 2362 178 443 0 2671 0
[pid=5249] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5249/stat : 5249 (satsolver.sh) S 5122 5121 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386518979 9367552 267 33554432000 4194304 5064252 140737287915472 140737287914384 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5249/statm: 2287 267 226 213 0 72 0
[pid=5250] ppid=5249 vsize=12020 CPUtime=0.98 cores=0,2,4,6
/proc/5250/stat : 5250 (glucose) R 5249 5121 982 0 -1 4202496 3405 0 0 0 98 0 0 0 20 0 1 0 386518979 12308480 2484 33554432000 4194304 5208918 140733344652896 140733344650984 4211670 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5250/statm: 3005 2484 104 248 0 2754 0
Current children cumulated CPU time (s) 302.37
Current children cumulated vsize (KiB) 42788
[startup+304.1 s]
/proc/loadavg: 4.81 3.54 2.66 2/181 5250
/proc/meminfo: memFree=5761080/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=12472 CPUtime=303.75 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 27893 148959 0 0 155 20 30112 88 20 0 1 0 386488829 12771328 2362 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 3118 2362 178 443 0 2671 0
Current children cumulated CPU time (s) 303.75
Current children cumulated vsize (KiB) 21620
[startup+304.9 s]
/proc/loadavg: 4.81 3.54 2.66 2/179 5269
/proc/meminfo: memFree=5769620/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=12472 CPUtime=304.78 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 30163 163263 0 0 160 21 30205 92 20 0 1 0 386488829 12771328 2362 33554432000 4194304 6006132 140737359805248 140737359796144 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 3118 2362 178 443 0 2671 0
Current children cumulated CPU time (s) 304.78
Current children cumulated vsize (KiB) 21620
[startup+305.3 s]
/proc/loadavg: 4.99 3.60 2.68 2/181 5285
/proc/meminfo: memFree=5761708/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=12472 CPUtime=304.83 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 31289 165641 0 0 163 21 30206 93 20 0 1 0 386488829 12771328 2362 33554432000 4194304 6006132 140737359805248 140737359796656 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 3118 2362 178 443 0 2671 0
[pid=5284] ppid=5122 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5284/stat : 5284 (satsolver.sh) S 5122 5121 982 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386519324 9367552 267 33554432000 4194304 5064252 140736478357920 140736478356832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5284/statm: 2287 267 226 213 0 72 0
[pid=5285] ppid=5284 vsize=9104 CPUtime=0.33 cores=0,2,4,6
/proc/5285/stat : 5285 (glucose) R 5284 5121 982 0 -1 4202496 2362 0 0 0 33 0 0 0 20 0 1 0 386519324 9322496 2023 33554432000 4194304 5208918 140735120233440 140735120231400 4229328 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5285/statm: 2276 2023 104 248 0 2025 0
Current children cumulated CPU time (s) 305.16
Current children cumulated vsize (KiB) 39872
[startup+305.407 s]
/proc/loadavg: 4.99 3.60 2.68 2/181 5285
/proc/meminfo: memFree=5761708/32873852 swapFree=7632/7632
[pid=5121] ppid=5119 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5121/stat : 5121 (npSolver-wbo.sh) S 5119 5121 982 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386488828 9367552 275 33554432000 4194304 5064252 140736071976592 140736071975504 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5121/statm: 2287 275 233 213 0 72 0
[pid=5122] ppid=5121 vsize=12472 CPUtime=305.28 cores=0,2,4,6
/proc/5122/stat : 5122 (npSolver-wbo) S 5121 5121 982 0 -1 4202496 31362 170510 0 0 163 21 30249 95 20 0 1 0 386488829 12771328 2362 33554432000 4194304 6006132 140737359805248 140737359797232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 1 0 0
/proc/5122/statm: 3118 2362 178 443 0 2671 0
Current children cumulated CPU time (s) 305.28
Current children cumulated vsize (KiB) 21620
Child status: 0
Real time (s): 305.412
CPU time (s): 305.308
CPU user time (s): 304.131
CPU system time (s): 1.17682
CPU usage (%): 99.9658
Max. virtual memory (cumulated for all children) (KiB): 298264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.131
system time used= 1.17682
maximum resident set size= 157376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203420
page faults= 0
swaps= 0
block input operations= 8
block output operations= 223176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1248
involuntary context switches= 672
runsolver used 0.940856 second user time and 1.48477 second system time
The end