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-3697903-1338310761/watcher-3697903-1338310761 -o /tmp/evaluation-result-3697903-1338310761/solver-3697903-1338310761 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697903-1338310761.opb 586245497 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: 0.08 0.63 5.22 1/171 31570
/proc/meminfo: memFree=29382764/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[startup+0.0751149 s]
/proc/loadavg: 0.08 0.63 5.22 1/171 31570
/proc/meminfo: memFree=29382764/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100213 s]
/proc/loadavg: 0.08 0.63 5.22 1/171 31570
/proc/meminfo: memFree=29382764/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 0.08 0.63 5.22 1/171 31570
/proc/meminfo: memFree=29382764/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700182 s]
/proc/loadavg: 0.08 0.63 5.22 1/171 31570
/proc/meminfo: memFree=29382764/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 0.08 0.63 5.22 3/179 31587
/proc/meminfo: memFree=29341904/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=67820 CPUtime=1.49 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) R 31570 31570 31540 0 -1 4202496 3791 0 0 0 147 2 0 0 20 0 1 0 297200651 69447680 9912 33554432000 4194304 5992684 140733316861616 140733316857736 4524607 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/31571/statm: 16955 9912 146 440 0 16511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76968
[startup+3.10016 s]
/proc/loadavg: 0.08 0.63 5.22 3/180 31600
/proc/meminfo: memFree=29304212/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=133356 CPUtime=3.08 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) R 31570 31570 31540 0 -1 4202496 4355 0 0 0 305 3 0 0 20 0 1 0 297200651 136556544 20153 33554432000 4194304 5992684 140733316861616 140733316857736 4374664 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/31571/statm: 33339 20153 146 440 0 32895 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 142504
[startup+6.30027 s]
/proc/loadavg: 0.39 0.69 5.21 3/180 31606
/proc/meminfo: memFree=29199896/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=265408 CPUtime=6.28 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) R 31570 31570 31540 0 -1 4202496 5202 0 0 0 622 6 0 0 20 0 1 0 297200651 271777792 42909 33554432000 4194304 5992684 140733316861616 140733316857352 4749568 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/31571/statm: 66352 42909 146 440 0 65908 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 274556
[startup+12.7004 s]
/proc/loadavg: 0.60 0.73 5.20 3/182 31612
/proc/meminfo: memFree=28435032/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=275736 CPUtime=7.75 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 8541 0 0 0 737 38 0 0 20 0 1 0 297200651 282353664 55214 33554432000 4194304 5992684 140733316861616 140733316856064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/31571/statm: 68934 55214 170 440 0 68490 0
[pid=31609] ppid=31571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31609/stat : 31609 (cp2_pre.sh) S 31571 31570 31540 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 297201429 9367552 276 33554432000 4194304 5064252 140733206265184 140733206263888 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31609/statm: 2287 276 234 213 0 72 0
[pid=31610] ppid=31609 vsize=580832 CPUtime=4.9 cores=0,2,4,6
/proc/31610/stat : 31610 (coprocessor) R 31609 31570 31540 0 -1 4202496 105775 0 0 0 468 22 0 0 20 0 1 0 297201429 594771968 132409 33554432000 4194304 6586260 140734188896544 140734188892808 4498526 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/31610/statm: 145208 132409 170 584 0 144620 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 874864
[startup+25.5003 s]
/proc/loadavg: 0.91 0.79 5.15 3/182 31614
/proc/meminfo: memFree=28359316/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=275736 CPUtime=7.75 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 8541 0 0 0 737 38 0 0 20 0 1 0 297200651 282353664 55214 33554432000 4194304 5992684 140733316861616 140733316856064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 1 0 0
/proc/31571/statm: 68934 55214 170 440 0 68490 0
[pid=31609] ppid=31571 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31609/stat : 31609 (cp2_pre.sh) S 31571 31570 31540 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 297201429 9367552 276 33554432000 4194304 5064252 140733206265184 140733206263888 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31609/statm: 2287 276 234 213 0 72 0
[pid=31610] ppid=31609 vsize=582624 CPUtime=17.7 cores=0,2,4,6
/proc/31610/stat : 31610 (coprocessor) R 31609 31570 31540 0 -1 4202496 106409 0 0 0 1748 22 0 0 20 0 1 0 297201429 596606976 135087 33554432000 4194304 6586260 140734188896544 140734188892568 4758322 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/31610/statm: 145656 135087 182 584 0 145068 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 876656
[startup+51.1003 s]
/proc/loadavg: 1.42 0.92 5.07 3/182 31621
/proc/meminfo: memFree=28502336/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=280180 CPUtime=45.86 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) R 31570 31570 31540 0 -1 4202496 10050 111901 0 0 815 340 3360 71 20 0 1 0 297200651 286904320 56378 33554432000 4194304 5992684 140733316861616 140733316855800 5179696 0 0 4096 0 0 0 0 17 0 0 0 7 0 0
/proc/31571/statm: 70045 56378 179 440 0 69601 0
[pid=31621] ppid=31571 vsize=353632 CPUtime=4.89 cores=0,2,4,6
/proc/31621/stat : 31621 (glucosInc) S 31571 31570 31540 0 -1 4202496 36528 0 0 0 479 10 0 0 20 0 1 0 297204885 362119168 69728 33554432000 4194304 5654031 140734373019808 140734373018120 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31621/statm: 88408 69728 146 357 0 88048 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 642960
[startup+102.307 s]
/proc/loadavg: 1.79 1.10 4.91 3/182 31649
/proc/meminfo: memFree=28355020/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=285896 CPUtime=52.74 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 12611 149467 0 0 843 446 3840 145 20 0 1 0 297200651 292757504 57727 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71474 57727 189 440 0 71030 0
[pid=31626] ppid=31571 vsize=412252 CPUtime=49.21 cores=0,2,4,6
/proc/31626/stat : 31626 (glucosInc) R 31571 31570 31540 0 -1 4202496 50639 0 0 0 4904 17 0 0 20 0 1 0 297205959 422146048 87273 33554432000 4194304 5654031 140735278815312 140735278803128 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31626/statm: 103063 87273 141 357 0 102703 0
Current children cumulated CPU time (s) 101.95
Current children cumulated vsize (KiB) 707296
[startup+162.3 s]
/proc/loadavg: 1.92 1.26 4.73 3/181 31651
/proc/meminfo: memFree=28331896/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=285896 CPUtime=52.74 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 12611 149467 0 0 843 446 3840 145 20 0 1 0 297200651 292757504 57727 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71474 57727 189 440 0 71030 0
[pid=31626] ppid=31571 vsize=423692 CPUtime=109.19 cores=0,2,4,6
/proc/31626/stat : 31626 (glucosInc) R 31571 31570 31540 0 -1 4202496 53954 0 0 0 10899 20 0 0 20 0 1 0 297205959 433860608 94727 33554432000 4194304 5654031 140735278815312 140735278803128 4214996 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31626/statm: 105923 94727 141 357 0 105563 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 718736
[startup+222.3 s]
/proc/loadavg: 1.97 1.39 4.55 3/181 31651
/proc/meminfo: memFree=28313456/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=285896 CPUtime=52.74 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 12611 149467 0 0 843 446 3840 145 20 0 1 0 297200651 292757504 57727 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71474 57727 189 440 0 71030 0
[pid=31626] ppid=31571 vsize=430452 CPUtime=169.15 cores=0,2,4,6
/proc/31626/stat : 31626 (glucosInc) R 31571 31570 31540 0 -1 4202496 56695 0 0 0 16889 26 0 0 20 0 1 0 297205959 440782848 92087 33554432000 4194304 5654031 140735278815312 140735278803128 4232380 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31626/statm: 107613 92087 141 357 0 107253 0
Current children cumulated CPU time (s) 221.89
Current children cumulated vsize (KiB) 725496
[startup+282.3 s]
/proc/loadavg: 1.99 1.50 4.39 3/181 31652
/proc/meminfo: memFree=28289204/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=28192656/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=437348 CPUtime=213.58 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 57869 0 0 0 21327 31 0 0 20 0 1 0 297303513 447844352 101004 33554432000 4194304 5654031 140734734572576 140734734560392 4232784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 109337 101004 141 357 0 108977 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 732536
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.79 3/181 31666
/proc/meminfo: memFree=28170416/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=441304 CPUtime=273.57 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 59251 0 0 0 27322 35 0 0 20 0 1 0 297303513 451895296 102734 33554432000 4194304 5654031 140734734572576 140734734560392 4232916 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 110326 102734 141 357 0 109966 0
Current children cumulated CPU time (s) 1301.62
Current children cumulated vsize (KiB) 736492
[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 2.74 3/181 31666
/proc/meminfo: memFree=28200572/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=445328 CPUtime=333.55 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 60704 0 0 0 33314 41 0 0 20 0 1 0 297303513 456015872 93414 33554432000 4194304 5654031 140734734572576 140734734560392 4215910 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 111332 93414 141 357 0 110972 0
Current children cumulated CPU time (s) 1361.6
Current children cumulated vsize (KiB) 740516
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.69 3/181 31666
/proc/meminfo: memFree=28216572/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=448032 CPUtime=393.55 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 61602 0 0 0 39311 44 0 0 20 0 1 0 297303513 458784768 99074 33554432000 4194304 5654031 140734734572576 140734734560392 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 112008 99074 141 357 0 111648 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 743220
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.64 3/181 31667
/proc/meminfo: memFree=28077008/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=452108 CPUtime=453.53 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 62935 0 0 0 45306 47 0 0 20 0 1 0 297303513 462958592 103263 33554432000 4194304 5654031 140734734572576 140734734560392 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 113027 103263 141 357 0 112667 0
Current children cumulated CPU time (s) 1481.58
Current children cumulated vsize (KiB) 747296
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.60 3/181 31667
/proc/meminfo: memFree=28114664/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=455116 CPUtime=513.52 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 63889 0 0 0 51301 51 0 0 20 0 1 0 297303513 466038784 105392 33554432000 4194304 5654031 140734734572576 140734734560392 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 113779 105392 141 357 0 113419 0
Current children cumulated CPU time (s) 1541.57
Current children cumulated vsize (KiB) 750304
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.56 3/181 31667
/proc/meminfo: memFree=28166828/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=458668 CPUtime=573.51 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 65293 0 0 0 57296 55 0 0 20 0 1 0 297303513 469676032 103079 33554432000 4194304 5654031 140734734572576 140734734560392 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 114667 103079 141 357 0 114307 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 753856
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.53 3/181 31667
/proc/meminfo: memFree=28176432/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=459240 CPUtime=633.49 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 65730 0 0 0 63291 58 0 0 20 0 1 0 297303513 470261760 101751 33554432000 4194304 5654031 140734734572576 140734734560392 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 114810 101751 141 357 0 114450 0
Current children cumulated CPU time (s) 1661.54
Current children cumulated vsize (KiB) 754428
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.49 3/181 31667
/proc/meminfo: memFree=28078804/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=461904 CPUtime=693.48 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 66171 0 0 0 69290 58 0 0 20 0 1 0 297303513 472989696 112412 33554432000 4194304 5654031 140734734572576 140734734560392 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 115476 112412 141 357 0 115116 0
Current children cumulated CPU time (s) 1721.53
Current children cumulated vsize (KiB) 757092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.46 3/181 31668
/proc/meminfo: memFree=28112088/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=465100 CPUtime=753.48 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 67452 0 0 0 75284 64 0 0 20 0 1 0 297303513 476262400 112516 33554432000 4194304 5654031 140734734572576 140734734560392 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 116275 112516 141 357 0 115915 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 760288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 2.00 2.00 2.45 3/181 31668
/proc/meminfo: memFree=28130748/32873844 swapFree=7900/7900
[pid=31570] ppid=31568 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31570/stat : 31570 (npSolver-pbo-It) S 31568 31570 31540 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297200651 9367552 275 33554432000 4194304 5064252 140733281784288 140733281783200 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31570/statm: 2287 275 233 213 0 72 0
[pid=31571] ppid=31570 vsize=286040 CPUtime=1028.05 cores=0,2,4,6
/proc/31571/stat : 31571 (npSolver-pbo) S 31570 31570 31540 0 -1 4202496 15924 224028 0 0 856 446 101253 250 20 0 1 0 297200651 292904960 57764 33554432000 4194304 5992684 140733316861616 140733316847448 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 8 0 0
/proc/31571/statm: 71510 57764 189 440 0 71066 0
[pid=31662] ppid=31571 vsize=465952 CPUtime=771.98 cores=0,2,4,6
/proc/31662/stat : 31662 (glucosInc) R 31571 31570 31540 0 -1 4202496 68221 0 0 0 77129 69 0 0 20 0 1 0 297303513 477134848 98314 33554432000 4194304 5654031 140734734572576 140734734560392 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31662/statm: 116488 98314 141 357 0 116128 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 761140
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.81
CPU time (s): 1800.07
CPU user time (s): 1792.39
CPU system time (s): 7.67383
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 1105032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.39
system time used= 7.67383
maximum resident set size= 622736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308552
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2257744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1061
involuntary context switches= 1930
runsolver used 3.21251 second user time and 9.33858 second system time
The end