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-3754981-1339188807/watcher-3754981-1339188807 -o /tmp/evaluation-result-3754981-1339188807/solver-3754981-1339188807 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754981-1339188807.wbo 750302929 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.00 2.00 2.00 3/177 25388
/proc/meminfo: memFree=31285472/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[startup+0.0172741 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25388
/proc/meminfo: memFree=31285472/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100348 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25388
/proc/meminfo: memFree=31285472/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25388
/proc/meminfo: memFree=31285472/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 25388
/proc/meminfo: memFree=31285472/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25409
/proc/meminfo: memFree=31258056/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=37908 CPUtime=0.3 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 4897 6120 0 0 18 4 7 1 20 0 1 0 385006147 38817792 7611 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 9477 7611 178 443 0 9030 0
[pid=25404] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25404/stat : 25404 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385006228 9367552 267 33554432000 4194304 5064252 140735333165056 140735333163968 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25404/statm: 2287 267 226 213 0 72 0
[pid=25405] ppid=25404 vsize=35008 CPUtime=0.67 cores=0,2,4,6
/proc/25405/stat : 25405 (glucose) R 25404 25388 22577 0 -1 4202496 7930 0 0 0 66 1 0 0 20 0 1 0 385006228 35848192 7574 33554432000 4194304 5208918 140736453304560 140736453302408 4211888 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25405/statm: 8752 7574 104 248 0 8501 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 91212
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25409
/proc/meminfo: memFree=31234288/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=37908 CPUtime=0.3 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 4897 6120 0 0 18 4 7 1 20 0 1 0 385006147 38817792 7611 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 9477 7611 178 443 0 9030 0
[pid=25404] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25404/stat : 25404 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385006228 9367552 267 33554432000 4194304 5064252 140735333165056 140735333163968 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25404/statm: 2287 267 226 213 0 72 0
[pid=25405] ppid=25404 vsize=35404 CPUtime=2.27 cores=0,2,4,6
/proc/25405/stat : 25405 (glucose) R 25404 25388 22577 0 -1 4202496 8163 0 0 0 226 1 0 0 20 0 1 0 385006228 36253696 7801 33554432000 4194304 5208918 140736453304560 140736453302408 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25405/statm: 8851 7801 104 248 0 8600 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 91608
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25423
/proc/meminfo: memFree=31234024/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=37908 CPUtime=4.63 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 7854 18376 0 0 32 6 416 9 20 0 1 0 385006147 38817792 7478 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 9477 7478 179 443 0 9030 0
[pid=25422] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25422/stat : 25422 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385006660 9367552 267 33554432000 4194304 5064252 140733318472880 140733318471792 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25422/statm: 2287 267 226 213 0 72 0
[pid=25423] ppid=25422 vsize=30860 CPUtime=1.15 cores=0,2,4,6
/proc/25423/stat : 25423 (glucose) R 25422 25388 22577 0 -1 4202496 6606 0 0 0 115 0 0 0 20 0 1 0 385006661 31600640 6990 33554432000 4194304 5208918 140735347181616 140735347179576 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25423/statm: 7715 6990 104 248 0 7464 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 87064
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25437
/proc/meminfo: memFree=31274264/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=11.03 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 10295 29868 0 0 44 8 1035 16 20 0 1 0 385006147 21815296 4919 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4919 180 443 0 4879 0
[pid=25436] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25436/stat : 25436 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385007302 9367552 266 33554432000 4194304 5064252 140736828644752 140736828643664 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25436/statm: 2287 266 226 213 0 72 0
[pid=25437] ppid=25436 vsize=27820 CPUtime=1.13 cores=0,2,4,6
/proc/25437/stat : 25437 (glucose) R 25436 25388 22577 0 -1 4202496 5944 0 0 0 112 1 0 0 20 0 1 0 385007303 28487680 6040 33554432000 4194304 5208918 140733232083056 140733232080808 4211182 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25437/statm: 6955 6040 104 248 0 6704 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 67420
[startup+25.5065 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25444
/proc/meminfo: memFree=31270988/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=30544 CPUtime=10.77 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 6813 0 0 0 1076 1 0 0 20 0 1 0 385007620 31277056 6455 33554432000 4194304 5208918 140733605019696 140733605017784 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 7636 6455 96 248 0 7385 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 70144
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25536
/proc/meminfo: memFree=31258488/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=38072 CPUtime=36.35 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 8259 0 0 0 3634 1 0 0 20 0 1 0 385007620 38985728 7769 33554432000 4194304 5208918 140733605019696 140733605017688 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 9518 7769 96 248 0 9267 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 77672
[startup+102.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 25629
/proc/meminfo: memFree=31246144/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=52508 CPUtime=87.54 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 9508 0 0 0 8752 2 0 0 20 0 1 0 385007620 53768192 12075 33554432000 4194304 5208918 140733605019696 140733605017640 4211561 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 13127 12075 96 248 0 12876 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 92108
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25700
/proc/meminfo: memFree=31203720/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=82964 CPUtime=447.49 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 11944 0 0 0 44745 4 0 0 20 0 1 0 385007620 84955136 18664 33554432000 4194304 5208918 140733605019696 140733605017640 4211732 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 20741 18664 96 248 0 20490 0
Current children cumulated CPU time (s) 461.68
Current children cumulated vsize (KiB) 122564
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25734
/proc/meminfo: memFree=31201000/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=82964 CPUtime=507.48 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 11946 0 0 0 50744 4 0 0 20 0 1 0 385007620 84955136 19688 33554432000 4194304 5208918 140733605019696 140733605017640 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 20741 19688 96 248 0 20490 0
Current children cumulated CPU time (s) 521.67
Current children cumulated vsize (KiB) 122564
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 25734
/proc/meminfo: memFree=31168852/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=82964 CPUtime=567.47 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 11946 0 0 0 56743 4 0 0 20 0 1 0 385007620 84955136 19688 33554432000 4194304 5208918 140733605019696 140733605017640 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 20741 19688 96 248 0 20490 0
Current children cumulated CPU time (s) 581.66
Current children cumulated vsize (KiB) 122564
[startup+642.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 25734
/proc/meminfo: memFree=31168852/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=82964 CPUtime=627.46 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 11946 0 0 0 62742 4 0 0 20 0 1 0 385007620 84955136 19688 33554432000 4194304 5208918 140733605019696 140733605017640 4229556 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 20741 19688 96 248 0 20490 0
Current children cumulated CPU time (s) 641.65
Current children cumulated vsize (KiB) 122564
[startup+702.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 25735
/proc/meminfo: memFree=31168424/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=82964 CPUtime=687.45 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 11946 0 0 0 68741 4 0 0 20 0 1 0 385007620 84955136 19688 33554432000 4194304 5208918 140733605019696 140733605017640 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 20741 19688 96 248 0 20490 0
Current children cumulated CPU time (s) 701.64
Current children cumulated vsize (KiB) 122564
[startup+762.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25800
/proc/meminfo: memFree=30929088/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=14.19 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12219 39197 0 0 48 8 1341 22 20 0 1 0 385006147 21815296 4920 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4920 181 443 0 4879 0
[pid=25443] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25443/stat : 25443 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385007619 9367552 267 33554432000 4194304 5064252 140733212682784 140733212681696 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25443/statm: 2287 267 226 213 0 72 0
[pid=25444] ppid=25443 vsize=82964 CPUtime=747.44 cores=0,2,4,6
/proc/25444/stat : 25444 (glucose) R 25443 25388 22577 0 -1 4202496 11946 0 0 0 74740 4 0 0 20 0 1 0 385007620 84955136 19688 33554432000 4194304 5208918 140733605019696 140733605017640 4211537 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25444/statm: 20741 19688 96 248 0 20490 0
Current children cumulated CPU time (s) 761.63
Current children cumulated vsize (KiB) 122564
Solver just ended. Dumping a history of the last processes samples
[startup+764.9 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25807
/proc/meminfo: memFree=31005228/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=763 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12364 54894 0 0 48 9 76209 34 20 0 1 0 385006147 21815296 4921 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4921 182 443 0 4879 0
[pid=25806] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25806/stat : 25806 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385082511 9367552 266 33554432000 4194304 5064252 140733894597440 140733894596352 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25806/statm: 2287 266 226 213 0 72 0
[pid=25807] ppid=25806 vsize=9324 CPUtime=1.25 cores=0,2,4,6
/proc/25807/stat : 25807 (glucose) R 25806 25388 22577 0 -1 4202496 2352 0 0 0 125 0 0 0 20 0 1 0 385082511 9547776 1669 33554432000 4194304 5208918 140736185158528 140736185156472 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25807/statm: 2331 1669 96 248 0 2080 0
Current children cumulated CPU time (s) 764.25
Current children cumulated vsize (KiB) 48924
[startup+766.5 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25807
/proc/meminfo: memFree=31003740/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=763 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12364 54894 0 0 48 9 76209 34 20 0 1 0 385006147 21815296 4921 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4921 182 443 0 4879 0
[pid=25806] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25806/stat : 25806 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385082511 9367552 266 33554432000 4194304 5064252 140733894597440 140733894596352 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25806/statm: 2287 266 226 213 0 72 0
[pid=25807] ppid=25806 vsize=11996 CPUtime=2.85 cores=0,2,4,6
/proc/25807/stat : 25807 (glucose) R 25806 25388 22577 0 -1 4202496 2632 0 0 0 285 0 0 0 20 0 1 0 385082511 12283904 1938 33554432000 4194304 5208918 140736185158528 140736185156472 4229512 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25807/statm: 2999 1938 96 248 0 2748 0
Current children cumulated CPU time (s) 765.85
Current children cumulated vsize (KiB) 51596
[startup+766.907 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25807
/proc/meminfo: memFree=31002500/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=763 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12364 54894 0 0 48 9 76209 34 20 0 1 0 385006147 21815296 4921 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4921 182 443 0 4879 0
[pid=25806] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25806/stat : 25806 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385082511 9367552 266 33554432000 4194304 5064252 140733894597440 140733894596352 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25806/statm: 2287 266 226 213 0 72 0
[pid=25807] ppid=25806 vsize=11996 CPUtime=3.25 cores=0,2,4,6
/proc/25807/stat : 25807 (glucose) R 25806 25388 22577 0 -1 4202496 2775 0 0 0 325 0 0 0 20 0 1 0 385082511 12283904 2081 33554432000 4194304 5208918 140736185158528 140736185156472 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25807/statm: 2999 2081 96 248 0 2748 0
Current children cumulated CPU time (s) 766.25
Current children cumulated vsize (KiB) 51596
[startup+767.1 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25807
/proc/meminfo: memFree=31002500/32873852 swapFree=6864/6864
[pid=25388] ppid=25386 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25388/stat : 25388 (npSolver-wbo.sh) S 25386 25388 22577 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385006147 9367552 275 33554432000 4194304 5064252 140734721427360 140734721426272 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25388/statm: 2287 275 233 213 0 72 0
[pid=25389] ppid=25388 vsize=21304 CPUtime=763 cores=0,2,4,6
/proc/25389/stat : 25389 (npSolver-wbo) S 25388 25388 22577 0 -1 4202496 12364 54894 0 0 48 9 76209 34 20 0 1 0 385006147 21815296 4921 33554432000 4194304 6006132 140736637072832 140736637064240 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 48 0 0
/proc/25389/statm: 5326 4921 182 443 0 4879 0
[pid=25806] ppid=25389 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25806/stat : 25806 (satsolver.sh) S 25389 25388 22577 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385082511 9367552 266 33554432000 4194304 5064252 140733894597440 140733894596352 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25806/statm: 2287 266 226 213 0 72 0
[pid=25807] ppid=25806 vsize=11996 CPUtime=3.45 cores=0,2,4,6
/proc/25807/stat : 25807 (glucose) R 25806 25388 22577 0 -1 4202496 2775 0 0 0 345 0 0 0 20 0 1 0 385082511 12283904 2081 33554432000 4194304 5208918 140736185158528 140736185156472 4229712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25807/statm: 2999 2081 96 248 0 2748 0
Current children cumulated CPU time (s) 766.45
Current children cumulated vsize (KiB) 51596
Child status: 0
Real time (s): 767.158
CPU time (s): 766.524
CPU user time (s): 766.077
CPU system time (s): 0.447931
CPU usage (%): 99.9175
Max. virtual memory (cumulated for all children) (KiB): 122564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 766.077
system time used= 0.447931
maximum resident set size= 78792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74431
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 499
involuntary context switches= 944
runsolver used 1.71974 second user time and 4.10637 second system time
The end