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-3753602-1339190030/watcher-3753602-1339190030 -o /tmp/evaluation-result-3753602-1339190030/solver-3753602-1339190030 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753602-1339190030.wbo 1485827307 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.00 2.00 2.00 3/179 10302
/proc/meminfo: memFree=30610396/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[startup+0.082307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10302
/proc/meminfo: memFree=30610396/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100247 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10302
/proc/meminfo: memFree=30610396/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10302
/proc/meminfo: memFree=30610396/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 10302
/proc/meminfo: memFree=30610396/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10319
/proc/meminfo: memFree=30594468/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20756 CPUtime=0.23 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 4070 5959 0 0 12 2 8 1 20 0 1 0 385130318 21254144 4727 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10303/statm: 5189 4727 179 443 0 4742 0
[pid=10315] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10315/stat : 10315 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385130344 9367552 267 33554432000 4194304 5064252 140734737442880 140734737441792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10315/statm: 2287 267 226 213 0 72 0
[pid=10316] ppid=10315 vsize=22772 CPUtime=1.23 cores=1,3,5,7
/proc/10316/stat : 10316 (glucose) R 10315 10302 8666 0 -1 4202496 5424 0 0 0 122 1 0 0 20 0 1 0 385130344 23318528 4985 33554432000 4194304 5208918 140734419980464 140734419978424 4211182 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10316/statm: 5693 4985 105 248 0 5442 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 61824
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10323
/proc/meminfo: memFree=30565472/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20756 CPUtime=2.67 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 6333 14872 0 0 22 4 236 5 20 0 1 0 385130318 21254144 4727 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5189 4727 179 443 0 4742 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 29904
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10333
/proc/meminfo: memFree=30577148/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20756 CPUtime=4.95 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 8596 23744 0 0 31 5 449 10 20 0 1 0 385130318 21254144 4727 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5189 4727 179 443 0 4742 0
Current children cumulated CPU time (s) 4.95
Current children cumulated vsize (KiB) 29904
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10372
/proc/meminfo: memFree=30578188/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20756 CPUtime=11.24 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 13121 41848 0 0 50 7 1048 19 20 0 1 0 385130318 21254144 4727 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5189 4727 179 443 0 4742 0
[pid=10371] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10371/stat : 10371 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385131508 9367552 267 33554432000 4194304 5064252 140733512573600 140733512572512 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10371/statm: 2287 267 226 213 0 72 0
[pid=10372] ppid=10371 vsize=21176 CPUtime=0.79 cores=1,3,5,7
/proc/10372/stat : 10372 (glucose) R 10371 10302 8666 0 -1 4202496 5113 0 0 0 79 0 0 0 20 0 1 0 385131508 21684224 4746 33554432000 4194304 5208918 140734094155680 140734094153528 4607488 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10372/statm: 5294 4746 105 248 0 5043 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 60228
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10456
/proc/meminfo: memFree=30578728/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20756 CPUtime=24.38 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 31217 107660 0 0 119 15 2251 53 20 0 1 0 385130318 21254144 4727 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5189 4727 179 443 0 4742 0
[pid=10455] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10455/stat : 10455 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385132822 9367552 267 33554432000 4194304 5064252 140734347370880 140734347369792 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10455/statm: 2287 267 226 213 0 72 0
[pid=10456] ppid=10455 vsize=20648 CPUtime=0.44 cores=1,3,5,7
/proc/10456/stat : 10456 (glucose) R 10455 10302 8666 0 -1 4202496 4851 0 0 0 44 0 0 0 20 0 1 0 385132823 21143552 4485 33554432000 4194304 5208918 140735302471488 140734347369816 4229335 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10456/statm: 5162 4485 103 248 0 4911 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 59700
[startup+51.1004 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 10575
/proc/meminfo: memFree=30576132/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20756 CPUtime=49.3 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 56099 202156 0 0 215 25 4587 103 20 0 1 0 385130318 21254144 4727 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5189 4727 179 443 0 4742 0
[pid=10574] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10574/stat : 10574 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385135338 9367552 267 33554432000 4194304 5064252 140734997242912 140734997241824 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10574/statm: 2287 267 226 213 0 72 0
[pid=10575] ppid=10574 vsize=20736 CPUtime=0.9 cores=1,3,5,7
/proc/10575/stat : 10575 (glucose) R 10574 10302 8666 0 -1 4202496 5090 0 0 0 89 1 0 0 20 0 1 0 385135338 21233664 4548 33554432000 4194304 5208918 140736333540448 140736333538408 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10575/statm: 5184 4548 103 248 0 4933 0
Current children cumulated CPU time (s) 50.2
Current children cumulated vsize (KiB) 59788
[startup+102.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 10842
/proc/meminfo: memFree=30491704/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=37544 CPUtime=86.01 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 124447 435037 0 0 443 51 7885 222 20 0 1 0 385130318 38445056 7768 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 9386 7768 180 443 0 8939 0
[pid=10841] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10841/stat : 10841 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385139063 9367552 266 33554432000 4194304 5064252 140734419590000 140734419588912 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10841/statm: 2287 266 226 213 0 72 0
[pid=10842] ppid=10841 vsize=89576 CPUtime=14.84 cores=1,3,5,7
/proc/10842/stat : 10842 (glucose) R 10841 10302 8666 0 -1 4202496 17867 0 0 0 1482 2 0 0 20 0 1 0 385139063 91725824 19893 33554432000 4194304 5208918 140735685374288 140735685372136 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10842/statm: 22394 19893 95 248 0 22143 0
Current children cumulated CPU time (s) 100.85
Current children cumulated vsize (KiB) 145416
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 10849
/proc/meminfo: memFree=30495332/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=37460 CPUtime=134.46 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 127229 460616 0 0 457 53 12689 247 20 0 1 0 385130318 38359040 7800 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 9365 7800 180 443 0 8918 0
[pid=10848] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10848/stat : 10848 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385143907 9367552 267 33554432000 4194304 5064252 140736337966176 140736337965088 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10848/statm: 2287 267 226 213 0 72 0
[pid=10849] ppid=10848 vsize=87288 CPUtime=26.39 cores=1,3,5,7
/proc/10849/stat : 10849 (glucose) R 10848 10302 8666 0 -1 4202496 16834 0 0 0 2637 2 0 0 20 0 1 0 385143907 89382912 18897 33554432000 4194304 5208918 140737403988352 140737403986312 4211577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10849/statm: 21822 18897 95 248 0 21571 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 143044
[startup+222.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 10856
/proc/meminfo: memFree=30471084/32873648 swapFree=7376/7376
################
# More data... #
################
/proc/12067/statm: 2287 266 226 213 0 72 0
[pid=12068] ppid=12067 vsize=58900 CPUtime=25.81 cores=1,3,5,7
/proc/12068/stat : 12068 (glucose) R 12067 10302 8666 0 -1 4202496 12043 0 0 0 2580 1 0 0 20 0 1 0 385221965 60313600 13746 33554432000 4194304 5208918 140736013869856 140736013867816 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12068/statm: 14725 13746 95 248 0 14474 0
Current children cumulated CPU time (s) 940.64
Current children cumulated vsize (KiB) 98072
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 12086
/proc/meminfo: memFree=30313032/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=952.15 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175179 883819 0 0 664 82 93815 654 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12074] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12074/stat : 12074 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385225699 9367552 267 33554432000 4194304 5064252 140735175066608 140735175065520 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12074/statm: 2287 267 226 213 0 72 0
[pid=12075] ppid=12074 vsize=48500 CPUtime=48.47 cores=1,3,5,7
/proc/12075/stat : 12075 (glucose) R 12074 10302 8666 0 -1 4202496 8773 0 0 0 4846 1 0 0 20 0 1 0 385225699 49664000 11454 33554432000 4194304 5208918 140735755184592 140735755182536 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12075/statm: 12125 11454 96 248 0 11874 0
Current children cumulated CPU time (s) 1000.62
Current children cumulated vsize (KiB) 87672
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30347428/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=19288 CPUtime=8.61 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3025 0 0 0 861 0 0 0 20 0 1 0 385235686 19750912 4276 33554432000 4194304 5208918 140733481388240 140733481386328 4213190 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 4822 4276 96 248 0 4571 0
Current children cumulated CPU time (s) 1060.6
Current children cumulated vsize (KiB) 58460
Solver just ended. Dumping a history of the last processes samples
[startup+1075.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30337496/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=21.4 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3640 0 0 0 2140 0 0 0 20 0 1 0 385235686 22691840 4869 33554432000 4194304 5208918 140733481388240 140733481386184 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 4869 102 248 0 5289 0
Current children cumulated CPU time (s) 1073.39
Current children cumulated vsize (KiB) 61332
[startup+1081.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30327504/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=27.8 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3990 0 0 0 2780 0 0 0 20 0 1 0 385235686 22691840 5086 33554432000 4194304 5208918 140733481388240 140733481386184 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 5086 103 248 0 5289 0
Current children cumulated CPU time (s) 1079.79
Current children cumulated vsize (KiB) 61332
[startup+1083.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30335696/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=29.4 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3990 0 0 0 2940 0 0 0 20 0 1 0 385235686 22691840 5086 33554432000 4194304 5208918 140733481388240 140733481386328 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 5086 103 248 0 5289 0
Current children cumulated CPU time (s) 1081.39
Current children cumulated vsize (KiB) 61332
[startup+1084.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30335696/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=31 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3990 0 0 0 3100 0 0 0 20 0 1 0 385235686 22691840 5086 33554432000 4194304 5208918 140733481388240 140733481386328 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 5086 103 248 0 5289 0
Current children cumulated CPU time (s) 1082.99
Current children cumulated vsize (KiB) 61332
[startup+1085.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30335696/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=31.8 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3990 0 0 0 3180 0 0 0 20 0 1 0 385235686 22691840 5086 33554432000 4194304 5208918 140733481388240 140733481386328 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 5086 103 248 0 5289 0
Current children cumulated CPU time (s) 1083.79
Current children cumulated vsize (KiB) 61332
[startup+1085.71 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30335696/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=32.01 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3990 0 0 0 3201 0 0 0 20 0 1 0 385235686 22691840 5086 33554432000 4194304 5208918 140733481388240 140733481386328 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 5086 103 248 0 5289 0
Current children cumulated CPU time (s) 1084
Current children cumulated vsize (KiB) 61332
[startup+1085.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12093
/proc/meminfo: memFree=30335696/32873648 swapFree=7376/7376
[pid=10302] ppid=10300 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10302/stat : 10302 (npSolver-wbo-It) S 10300 10302 8666 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 385130318 9367552 275 33554432000 4194304 5064252 140733264945408 140733264944320 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10302/statm: 2287 275 233 213 0 72 0
[pid=10303] ppid=10302 vsize=20876 CPUtime=1051.99 cores=1,3,5,7
/proc/10303/stat : 10303 (npSolver-wbo) S 10302 10302 8666 0 -1 4202496 175282 897236 0 0 664 82 103791 662 20 0 1 0 385130318 21377024 4784 33554432000 4194304 6006132 140733457603008 140733457594400 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/10303/statm: 5219 4784 181 443 0 4772 0
[pid=12092] ppid=10303 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12092/stat : 12092 (satsolver.sh) S 10303 10302 8666 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385235686 9367552 267 33554432000 4194304 5064252 140735242553920 140735242552832 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12092/statm: 2287 267 226 213 0 72 0
[pid=12093] ppid=12092 vsize=22160 CPUtime=32.1 cores=1,3,5,7
/proc/12093/stat : 12093 (glucose) R 12092 10302 8666 0 -1 4202496 3990 0 0 0 3210 0 0 0 20 0 1 0 385235686 22691840 5086 33554432000 4194304 5208918 140733481388240 140733481386328 4229688 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12093/statm: 5540 5086 103 248 0 5289 0
Current children cumulated CPU time (s) 1084.09
Current children cumulated vsize (KiB) 61332
Child status: 0
Real time (s): 1085.85
CPU time (s): 1084.18
CPU user time (s): 1076.71
CPU system time (s): 7.47386
CPU usage (%): 99.8467
Max. virtual memory (cumulated for all children) (KiB): 154116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1076.71
system time used= 7.47386
maximum resident set size= 93188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1080390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1001040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11716
involuntary context switches= 2028
runsolver used 1.68274 second user time and 4.83226 second system time
The end