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-3755338-1339193600/watcher-3755338-1339193600 -o /tmp/evaluation-result-3755338-1339193600/solver-3755338-1339193600 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755338-1339193600.wbo 59778110 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.01 2.00 2.00 2/179 27440
/proc/meminfo: memFree=28545528/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[startup+0.0715711 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 27440
/proc/meminfo: memFree=28545528/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 27440
/proc/meminfo: memFree=28545528/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300243 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 27440
/proc/meminfo: memFree=28545528/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70024 s]
/proc/loadavg: 2.01 2.00 2.00 2/179 27440
/proc/meminfo: memFree=28545528/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 27447
/proc/meminfo: memFree=28540156/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=3088 CPUtime=0.16 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 1445 2691 0 0 2 0 14 0 20 0 1 0 385488540 3162112 375 33554432000 4194304 6006132 140733666036112 140733666030304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27441/statm: 772 375 158 443 0 325 0
[pid=27446] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27446/stat : 27446 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385488558 9367552 266 33554432000 4194304 5064252 140733229182544 140733229181456 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27446/statm: 2287 266 226 213 0 72 0
[pid=27447] ppid=27446 vsize=12808 CPUtime=1.31 cores=0,2,4,6
/proc/27447/stat : 27447 (glucose) R 27446 27440 23680 0 -1 4202496 2891 0 0 0 131 0 0 0 20 0 1 0 385488558 13115392 1730 33554432000 4194304 5208918 140734042655792 140734042653736 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27447/statm: 3202 1730 96 248 0 2951 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34192
[startup+3.10029 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 27447
/proc/meminfo: memFree=28531472/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=3088 CPUtime=0.16 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 1445 2691 0 0 2 0 14 0 20 0 1 0 385488540 3162112 375 33554432000 4194304 6006132 140733666036112 140733666030304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27441/statm: 772 375 158 443 0 325 0
[pid=27446] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27446/stat : 27446 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385488558 9367552 266 33554432000 4194304 5064252 140733229182544 140733229181456 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27446/statm: 2287 266 226 213 0 72 0
[pid=27447] ppid=27446 vsize=12808 CPUtime=2.9 cores=0,2,4,6
/proc/27447/stat : 27447 (glucose) R 27446 27440 23680 0 -1 4202496 3437 0 0 0 290 0 0 0 20 0 1 0 385488558 13115392 2782 33554432000 4194304 5208918 140734042655792 140734042653736 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27447/statm: 3202 2782 96 248 0 2951 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 34192
[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 27447
/proc/meminfo: memFree=28527380/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=3088 CPUtime=0.16 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 1445 2691 0 0 2 0 14 0 20 0 1 0 385488540 3162112 375 33554432000 4194304 6006132 140733666036112 140733666030304 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27441/statm: 772 375 158 443 0 325 0
[pid=27446] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27446/stat : 27446 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385488558 9367552 266 33554432000 4194304 5064252 140733229182544 140733229181456 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27446/statm: 2287 266 226 213 0 72 0
[pid=27447] ppid=27446 vsize=22604 CPUtime=6.11 cores=0,2,4,6
/proc/27447/stat : 27447 (glucose) R 27446 27440 23680 0 -1 4202496 4342 0 0 0 610 1 0 0 20 0 1 0 385488558 23146496 5198 33554432000 4194304 5208918 140734042655792 140734042653784 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27447/statm: 5651 5198 96 248 0 5400 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 43988
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27454
/proc/meminfo: memFree=28513864/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=9.58 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 2547 10823 0 0 5 2 948 3 20 0 1 0 385488540 7229440 1315 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1315 167 443 0 1318 0
[pid=27453] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27453/stat : 27453 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385489500 9367552 266 33554432000 4194304 5064252 140736198130608 140736198129520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27453/statm: 2287 266 226 213 0 72 0
[pid=27454] ppid=27453 vsize=30436 CPUtime=3.09 cores=0,2,4,6
/proc/27454/stat : 27454 (glucose) R 27453 27440 23680 0 -1 4202496 6057 0 0 0 308 1 0 0 20 0 1 0 385489501 31166464 6520 33554432000 4194304 5208918 140734622130800 140734622128744 4211521 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27454/statm: 7609 6520 96 248 0 7358 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 55792
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27454
/proc/meminfo: memFree=28546724/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=9.58 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 2547 10823 0 0 5 2 948 3 20 0 1 0 385488540 7229440 1315 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1315 167 443 0 1318 0
[pid=27453] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27453/stat : 27453 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385489500 9367552 266 33554432000 4194304 5064252 140736198130608 140736198129520 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27453/statm: 2287 266 226 213 0 72 0
[pid=27454] ppid=27453 vsize=36808 CPUtime=15.89 cores=0,2,4,6
/proc/27454/stat : 27454 (glucose) R 27453 27440 23680 0 -1 4202496 8032 0 0 0 1587 2 0 0 20 0 1 0 385489501 37691392 8697 33554432000 4194304 5208918 140734622130800 140734622128664 4211668 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27454/statm: 9202 8697 96 248 0 8951 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 62164
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=28525176/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=42.96 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3467 32987 0 0 7 2 4273 14 20 0 1 0 385488540 7229440 1315 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1315 167 443 0 1318 0
[pid=27467] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27467/stat : 27467 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385492839 9367552 266 33554432000 4194304 5064252 140735675517872 140735675516784 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27467/statm: 2287 266 226 213 0 72 0
[pid=27468] ppid=27467 vsize=17696 CPUtime=8.1 cores=0,2,4,6
/proc/27468/stat : 27468 (glucose) R 27467 27440 23680 0 -1 4202496 4231 0 0 0 810 0 0 0 20 0 1 0 385492839 18120704 3973 33554432000 4194304 5208918 140737323586128 140737323583992 4211871 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27468/statm: 4424 3973 96 248 0 4173 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 43052
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27468
/proc/meminfo: memFree=28510844/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.86 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3474 39081 0 0 7 3 6361 15 20 0 1 0 385488540 7229440 1315 33554432000 4194304 6006132 140733666036112 140733666027008 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1315 167 443 0 1318 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 16208
[startup+70.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27475
/proc/meminfo: memFree=28523188/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.88 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3549 41921 0 0 7 3 6362 16 20 0 1 0 385488540 7229440 1316 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1316 168 443 0 1318 0
[pid=27474] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27474/stat : 27474 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494931 9367552 267 33554432000 4194304 5064252 140737224252096 140737224251008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27474/statm: 2287 267 226 213 0 72 0
[pid=27475] ppid=27474 vsize=12428 CPUtime=6.38 cores=0,2,4,6
/proc/27475/stat : 27475 (glucose) R 27474 27440 23680 0 -1 4202496 2902 0 0 0 638 0 0 0 20 0 1 0 385494932 12726272 2580 33554432000 4194304 5208918 140735476415600 140735476413544 4231508 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27475/statm: 3107 2580 96 248 0 2856 0
Current children cumulated CPU time (s) 70.26
Current children cumulated vsize (KiB) 37784
[startup+73.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27475
/proc/meminfo: memFree=28569936/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.88 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3549 41921 0 0 7 3 6362 16 20 0 1 0 385488540 7229440 1316 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1316 168 443 0 1318 0
[pid=27474] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27474/stat : 27474 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494931 9367552 267 33554432000 4194304 5064252 140737224252096 140737224251008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27474/statm: 2287 267 226 213 0 72 0
[pid=27475] ppid=27474 vsize=17828 CPUtime=9.57 cores=0,2,4,6
/proc/27475/stat : 27475 (glucose) R 27474 27440 23680 0 -1 4202496 3889 0 0 0 957 0 0 0 20 0 1 0 385494932 18255872 4045 33554432000 4194304 5208918 140735476415600 140735476413464 4229374 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27475/statm: 4457 4045 102 248 0 4206 0
Current children cumulated CPU time (s) 73.45
Current children cumulated vsize (KiB) 43184
[startup+74.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27475
/proc/meminfo: memFree=28567020/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.88 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3549 41921 0 0 7 3 6362 16 20 0 1 0 385488540 7229440 1316 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1316 168 443 0 1318 0
[pid=27474] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27474/stat : 27474 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494931 9367552 267 33554432000 4194304 5064252 140737224252096 140737224251008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27474/statm: 2287 267 226 213 0 72 0
[pid=27475] ppid=27474 vsize=17828 CPUtime=10.37 cores=0,2,4,6
/proc/27475/stat : 27475 (glucose) R 27474 27440 23680 0 -1 4202496 3889 0 0 0 1037 0 0 0 20 0 1 0 385494932 18255872 4045 33554432000 4194304 5208918 140735476415600 140735476413464 4229466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27475/statm: 4457 4045 102 248 0 4206 0
Current children cumulated CPU time (s) 74.25
Current children cumulated vsize (KiB) 43184
[startup+74.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27475
/proc/meminfo: memFree=28567020/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.88 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3549 41921 0 0 7 3 6362 16 20 0 1 0 385488540 7229440 1316 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1316 168 443 0 1318 0
[pid=27474] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27474/stat : 27474 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494931 9367552 267 33554432000 4194304 5064252 140737224252096 140737224251008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27474/statm: 2287 267 226 213 0 72 0
[pid=27475] ppid=27474 vsize=17828 CPUtime=10.78 cores=0,2,4,6
/proc/27475/stat : 27475 (glucose) R 27474 27440 23680 0 -1 4202496 3890 0 0 0 1078 0 0 0 20 0 1 0 385494932 18255872 4046 33554432000 4194304 5208918 140735476415600 140735476413464 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27475/statm: 4457 4046 102 248 0 4206 0
Current children cumulated CPU time (s) 74.66
Current children cumulated vsize (KiB) 43184
[startup+74.9003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27475
/proc/meminfo: memFree=28567020/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.88 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3549 41921 0 0 7 3 6362 16 20 0 1 0 385488540 7229440 1316 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1316 168 443 0 1318 0
[pid=27474] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27474/stat : 27474 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494931 9367552 267 33554432000 4194304 5064252 140737224252096 140737224251008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27474/statm: 2287 267 226 213 0 72 0
[pid=27475] ppid=27474 vsize=17828 CPUtime=10.97 cores=0,2,4,6
/proc/27475/stat : 27475 (glucose) R 27474 27440 23680 0 -1 4202496 3890 0 0 0 1097 0 0 0 20 0 1 0 385494932 18255872 4046 33554432000 4194304 5208918 140735476415600 140735476413464 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27475/statm: 4457 4046 102 248 0 4206 0
Current children cumulated CPU time (s) 74.85
Current children cumulated vsize (KiB) 43184
[startup+75.0003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 27475
/proc/meminfo: memFree=28567020/32873844 swapFree=7372/7372
[pid=27440] ppid=27438 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27440/stat : 27440 (npSolver-wbo.sh) S 27438 27440 23680 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385488540 9367552 275 33554432000 4194304 5064252 140734083053104 140734083052016 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27440/statm: 2287 275 233 213 0 72 0
[pid=27441] ppid=27440 vsize=7060 CPUtime=63.88 cores=0,2,4,6
/proc/27441/stat : 27441 (npSolver-wbo) S 27440 27440 23680 0 -1 4202496 3549 41921 0 0 7 3 6362 16 20 0 1 0 385488540 7229440 1316 33554432000 4194304 6006132 140733666036112 140733666027520 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27441/statm: 1765 1316 168 443 0 1318 0
[pid=27474] ppid=27441 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27474/stat : 27474 (satsolver.sh) S 27441 27440 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385494931 9367552 267 33554432000 4194304 5064252 140737224252096 140737224251008 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27474/statm: 2287 267 226 213 0 72 0
[pid=27475] ppid=27474 vsize=17828 CPUtime=11.07 cores=0,2,4,6
/proc/27475/stat : 27475 (glucose) R 27474 27440 23680 0 -1 4202496 3890 0 0 0 1107 0 0 0 20 0 1 0 385494932 18255872 4046 33554432000 4194304 5208918 140735476415600 140735476413464 4229776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27475/statm: 4457 4046 102 248 0 4206 0
Current children cumulated CPU time (s) 74.95
Current children cumulated vsize (KiB) 43184
Child status: 0
Real time (s): 75.0412
CPU time (s): 75.0266
CPU user time (s): 74.8076
CPU system time (s): 0.218966
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 62164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.8076
system time used= 0.218966
maximum resident set size= 34828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53086
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 209
involuntary context switches= 135
runsolver used 0.121981 second user time and 0.293955 second system time
The end