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-3714386-1338215944/watcher-3714386-1338215944 -o /tmp/evaluation-result-3714386-1338215944/solver-3714386-1338215944 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714386-1338215944.wbo 1469643609 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.02 3/179 1474
/proc/meminfo: memFree=30618808/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[startup+0.0209261 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 1474
/proc/meminfo: memFree=30618808/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 1474
/proc/meminfo: memFree=30618808/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300219 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 1474
/proc/meminfo: memFree=30618808/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 1474
/proc/meminfo: memFree=30618808/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 1488
/proc/meminfo: memFree=30610320/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=2816 CPUtime=0.03 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 691 5777 0 0 1 0 1 1 20 0 1 0 287718895 2883584 375 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 704 375 163 439 0 261 0
[pid=1487] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1487/stat : 1487 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287718900 9367552 266 33554432000 4194304 5064252 140736426543984 140736426542896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1487/statm: 2287 266 226 213 0 72 0
[pid=1488] ppid=1487 vsize=10032 CPUtime=1.44 cores=0,2,4,6
/proc/1488/stat : 1488 (glucose) R 1487 1474 27515 0 -1 4202496 2475 0 0 0 144 0 0 0 20 0 1 0 287718900 10272768 1948 33554432000 4194304 5208918 140734971822400 140734971820248 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1488/statm: 2508 1948 96 248 0 2257 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31144
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 1488
/proc/meminfo: memFree=30607964/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=2816 CPUtime=0.03 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 691 5777 0 0 1 0 1 1 20 0 1 0 287718895 2883584 375 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 704 375 163 439 0 261 0
[pid=1487] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1487/stat : 1487 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287718900 9367552 266 33554432000 4194304 5064252 140736426543984 140736426542896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1487/statm: 2287 266 226 213 0 72 0
[pid=1488] ppid=1487 vsize=15388 CPUtime=3.04 cores=0,2,4,6
/proc/1488/stat : 1488 (glucose) R 1487 1474 27515 0 -1 4202496 3077 0 0 0 304 0 0 0 20 0 1 0 287718900 15757312 3020 33554432000 4194304 5208918 140734971822400 140734971820344 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1488/statm: 3847 3020 96 248 0 3596 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 36500
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 1488
/proc/meminfo: memFree=30604056/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=2816 CPUtime=0.03 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 691 5777 0 0 1 0 1 1 20 0 1 0 287718895 2883584 375 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 704 375 163 439 0 261 0
[pid=1487] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1487/stat : 1487 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287718900 9367552 266 33554432000 4194304 5064252 140736426543984 140736426542896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1487/statm: 2287 266 226 213 0 72 0
[pid=1488] ppid=1487 vsize=15388 CPUtime=6.24 cores=0,2,4,6
/proc/1488/stat : 1488 (glucose) R 1487 1474 27515 0 -1 4202496 3297 0 0 0 624 0 0 0 20 0 1 0 287718900 15757312 3232 33554432000 4194304 5208918 140734971822400 140734971820344 4229338 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1488/statm: 3847 3232 96 248 0 3596 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 36500
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 1488
/proc/meminfo: memFree=30610772/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=2816 CPUtime=0.03 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 691 5777 0 0 1 0 1 1 20 0 1 0 287718895 2883584 375 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 704 375 163 439 0 261 0
[pid=1487] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1487/stat : 1487 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 287718900 9367552 266 33554432000 4194304 5064252 140736426543984 140736426542896 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1487/statm: 2287 266 226 213 0 72 0
[pid=1488] ppid=1487 vsize=18344 CPUtime=12.64 cores=0,2,4,6
/proc/1488/stat : 1488 (glucose) R 1487 1474 27515 0 -1 4202496 4082 0 0 0 1263 1 0 0 20 0 1 0 287718900 18784256 3956 33554432000 4194304 5208918 140734971822400 140734971820264 4229219 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1488/statm: 4586 3956 96 248 0 4335 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 39456
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 1495
/proc/meminfo: memFree=30588124/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=11144 CPUtime=8.22 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 3057 0 0 0 822 0 0 0 20 0 1 0 287720623 11411456 2376 33554432000 4194304 5208918 140736327898128 140736327895992 4228924 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 2786 2376 96 248 0 2535 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 32784
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 1495
/proc/meminfo: memFree=30577324/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=18728 CPUtime=33.81 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 4758 0 0 0 3381 0 0 0 20 0 1 0 287720623 19177472 4135 33554432000 4194304 5208918 140736327898128 140736327896072 4229512 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 4682 4135 101 248 0 4431 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 40368
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.01 3/184 1499
/proc/meminfo: memFree=30559192/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=37300 CPUtime=85 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 6203 0 0 0 8500 0 0 0 20 0 1 0 287720623 38195200 8099 33554432000 4194304 5208918 140736327898128 140736327896072 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 9325 8099 101 248 0 9074 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 58940
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 1499
/proc/meminfo: memFree=30552680/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 1533
/proc/meminfo: memFree=30453312/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=99920 CPUtime=1344.8 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 9865 0 0 0 134476 4 0 0 20 0 1 0 287720623 102318080 23581 33554432000 4194304 5208918 140736327898128 140736327895992 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 24980 23581 102 248 0 24729 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 121560
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1533
/proc/meminfo: memFree=30405596/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=99920 CPUtime=1404.8 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 9865 0 0 0 140476 4 0 0 20 0 1 0 287720623 102318080 23581 33554432000 4194304 5208918 140736327898128 140736327895992 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 24980 23581 102 248 0 24729 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 121560
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1533
/proc/meminfo: memFree=30413664/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=99920 CPUtime=1464.78 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 9865 0 0 0 146474 4 0 0 20 0 1 0 287720623 102318080 23581 33554432000 4194304 5208918 140736327898128 140736327895992 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 24980 23581 102 248 0 24729 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 121560
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1533
/proc/meminfo: memFree=30419188/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=100720 CPUtime=1524.77 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 10074 0 0 0 152473 4 0 0 20 0 1 0 287720623 103137280 23781 33554432000 4194304 5208918 140736327898128 140736327895992 4212869 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 25180 23781 102 248 0 24929 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 122360
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1533
/proc/meminfo: memFree=30451088/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=102160 CPUtime=1584.76 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 10449 0 0 0 158472 4 0 0 20 0 1 0 287720623 104611840 24141 33554432000 4194304 5208918 140736327898128 140736327895992 4229028 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 25540 24141 102 248 0 25289 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 123800
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 1534
/proc/meminfo: memFree=30450900/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=102160 CPUtime=1644.75 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 10449 0 0 0 164471 4 0 0 20 0 1 0 287720623 104611840 24141 33554432000 4194304 5208918 140736327898128 140736327895992 4229053 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 25540 24141 102 248 0 25289 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 123800
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1534
/proc/meminfo: memFree=30410128/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=103600 CPUtime=1704.74 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 10839 0 0 0 170470 4 0 0 20 0 1 0 287720623 106086400 24501 33554432000 4194304 5208918 140736327898128 140736327895992 4229032 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 25900 24501 102 248 0 25649 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 125240
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 1596
/proc/meminfo: memFree=29855016/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=103600 CPUtime=1764.74 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 10839 0 0 0 176469 5 0 0 20 0 1 0 287720623 106086400 24501 33554432000 4194304 5208918 140736327898128 140736327895992 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 25900 24501 102 248 0 25649 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 125240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.12 2.03 2.01 3/183 1596
/proc/meminfo: memFree=29847328/32873844 swapFree=7900/7900
[pid=1474] ppid=1472 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1474/stat : 1474 (npSolver-wbo-I.) S 1472 1474 27515 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 287718895 9367552 274 33554432000 4194304 5064252 140735270790048 140735270788960 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1474/statm: 2287 274 233 213 0 72 0
[pid=1475] ppid=1474 vsize=3344 CPUtime=17.25 cores=0,2,4,6
/proc/1475/stat : 1475 (npSolver-wbo) S 1474 1474 27515 0 -1 4202496 990 12937 0 0 2 0 1719 4 20 0 1 0 287718895 3424256 448 33554432000 4194304 5990268 140734935175184 140734935166624 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1475/statm: 836 448 164 439 0 393 0
[pid=1494] ppid=1475 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1494/stat : 1494 (satsolver.sh) S 1475 1474 27515 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287720622 9367552 266 33554432000 4194304 5064252 140735327293472 140735327292384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/1494/statm: 2287 266 226 213 0 72 0
[pid=1495] ppid=1494 vsize=103600 CPUtime=1782.84 cores=0,2,4,6
/proc/1495/stat : 1495 (glucose) R 1494 1474 27515 0 -1 4202496 10839 0 0 0 178279 5 0 0 20 0 1 0 287720623 106086400 24501 33554432000 4194304 5208918 140736327898128 140736327895992 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1495/statm: 25900 24501 102 248 0 25649 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 125240
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1800.02
CPU system time (s): 0.108983
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 125240
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.02
system time used= 0.108983
maximum resident set size= 98004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 67
involuntary context switches= 2185
runsolver used 5.86511 second user time and 19.536 second system time
The end