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-3746996-1339109079/watcher-3746996-1339109079 -o /tmp/evaluation-result-3746996-1339109079/solver-3746996-1339109079 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746996-1339109079.opb 1146893325 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: 1.93 2.03 2.15 3/178 25121
/proc/meminfo: memFree=23343420/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[startup+0.105056 s]
/proc/loadavg: 1.93 2.03 2.15 3/178 25121
/proc/meminfo: memFree=23343420/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200349 s]
/proc/loadavg: 1.93 2.03 2.15 3/178 25121
/proc/meminfo: memFree=23343420/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300391 s]
/proc/loadavg: 1.93 2.03 2.15 3/178 25121
/proc/meminfo: memFree=23343420/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700299 s]
/proc/loadavg: 1.93 2.03 2.15 3/178 25121
/proc/meminfo: memFree=23343420/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/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: 1.93 2.03 2.15 3/180 25128
/proc/meminfo: memFree=23296608/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=134424 CPUtime=1.48 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) R 25121 25121 23584 0 -1 4202496 9326 11709 0 0 74 15 55 4 20 0 1 0 377032464 137650176 27168 33554432000 4194304 6004724 140734296254288 140734296247840 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25122/statm: 33606 27168 183 442 0 33160 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 143572
[startup+3.10043 s]
/proc/loadavg: 1.93 2.03 2.15 3/181 25130
/proc/meminfo: memFree=23166444/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 9336 11709 0 0 74 21 55 4 20 0 1 0 377032464 29941760 6995 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25122/statm: 7310 6995 183 442 0 6864 0
[pid=25130] ppid=25122 vsize=124276 CPUtime=1.53 cores=1,3,5,7
/proc/25130/stat : 25130 (glucosInc) R 25122 25121 23584 0 -1 4202496 25567 0 0 0 147 6 0 0 20 0 1 0 377032620 127258624 27342 33554432000 4194304 5654031 140736825384592 140736825382376 4232651 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 31069 27342 141 357 0 30709 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 162664
[startup+6.30043 s]
/proc/loadavg: 1.93 2.03 2.15 3/181 25130
/proc/meminfo: memFree=23160428/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 9336 11709 0 0 74 21 55 4 20 0 1 0 377032464 29941760 6995 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25122/statm: 7310 6995 183 442 0 6864 0
[pid=25130] ppid=25122 vsize=125228 CPUtime=4.73 cores=1,3,5,7
/proc/25130/stat : 25130 (glucosInc) R 25122 25121 23584 0 -1 4202496 25846 0 0 0 467 6 0 0 20 0 1 0 377032620 128233472 28132 33554432000 4194304 5654031 140736825384592 140736825372408 4797458 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 31307 28132 141 357 0 30947 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 163616
[startup+12.7005 s]
/proc/loadavg: 2.02 2.04 2.15 3/181 25130
/proc/meminfo: memFree=23156792/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 9336 11709 0 0 74 21 55 4 20 0 1 0 377032464 29941760 6995 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25122/statm: 7310 6995 183 442 0 6864 0
[pid=25130] ppid=25122 vsize=126684 CPUtime=11.13 cores=1,3,5,7
/proc/25130/stat : 25130 (glucosInc) R 25122 25121 23584 0 -1 4202496 26200 0 0 0 1106 7 0 0 20 0 1 0 377032620 129724416 28997 33554432000 4194304 5654031 140736825384592 140736825372408 4208599 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 31671 28997 141 357 0 31311 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 165072
[startup+25.5004 s]
/proc/loadavg: 2.01 2.04 2.15 3/181 25130
/proc/meminfo: memFree=23154496/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 9336 11709 0 0 74 21 55 4 20 0 1 0 377032464 29941760 6995 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/25122/statm: 7310 6995 183 442 0 6864 0
[pid=25130] ppid=25122 vsize=127348 CPUtime=23.93 cores=1,3,5,7
/proc/25130/stat : 25130 (glucosInc) R 25122 25121 23584 0 -1 4202496 26383 0 0 0 2386 7 0 0 20 0 1 0 377032620 130404352 29691 33554432000 4194304 5654031 140736825384592 140736825372408 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25130/statm: 31837 29691 141 357 0 31477 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 165736
[startup+51.1072 s]
/proc/loadavg: 2.01 2.04 2.15 3/181 25134
/proc/meminfo: memFree=23184984/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=50.69 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 20813 65320 0 0 199 39 4804 27 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25134] ppid=25122 vsize=102848 CPUtime=0.39 cores=1,3,5,7
/proc/25134/stat : 25134 (glucosInc) R 25122 25121 23584 0 -1 4202496 18655 0 0 0 35 4 0 0 20 0 1 0 377037533 105316352 23991 33554432000 4194304 5654031 140736214179744 140736213129096 4797458 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25134/statm: 25712 23992 109 357 0 25352 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 160200
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.14 3/181 25134
/proc/meminfo: memFree=23136700/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=50.69 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 20813 65320 0 0 199 39 4804 27 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25134] ppid=25122 vsize=147116 CPUtime=51.58 cores=1,3,5,7
/proc/25134/stat : 25134 (glucosInc) R 25122 25121 23584 0 -1 4202496 26389 0 0 0 5150 8 0 0 20 0 1 0 377037533 150646784 29691 33554432000 4194304 5654031 140736214179744 140736214167560 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25134/statm: 36779 29691 142 357 0 36419 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 204468
[startup+162.301 s]
/proc/loadavg: 2.03 2.03 2.13 3/181 25136
/proc/meminfo: memFree=23150632/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=151.92 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 26692 94396 0 0 260 46 14845 41 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25136] ppid=25122 vsize=118324 CPUtime=10.34 cores=1,3,5,7
/proc/25136/stat : 25136 (glucosInc) R 25122 25121 23584 0 -1 4202496 23565 0 0 0 1028 6 0 0 20 0 1 0 377047658 121163776 25945 33554432000 4194304 5654031 140735286707600 140735286705384 4215076 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25136/statm: 29581 25945 141 357 0 29221 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 175676
[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.12 3/181 25137
/proc/meminfo: memFree=23140212/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=151.92 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 26692 94396 0 0 260 46 14845 41 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25136] ppid=25122 vsize=123196 CPUtime=70.33 cores=1,3,5,7
/proc/25136/stat : 25136 (glucosInc) R 25122 25121 23584 0 -1 4202496 25512 0 0 0 7026 7 0 0 20 0 1 0 377047658 126152704 28733 33554432000 4194304 5654031 140735286707600 140735286695416 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25136/statm: 30799 28733 142 357 0 30439 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 180548
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.11 3/181 25137
/proc/meminfo: memFree=23102484/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29021036/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1282.3 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 51099 201398 0 0 471 74 127592 93 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25273] ppid=25122 vsize=114680 CPUtime=19.78 cores=1,3,5,7
/proc/25273/stat : 25273 (glucosInc) R 25122 25121 23584 0 -1 4202496 21369 0 0 0 1973 5 0 0 20 0 1 0 377160714 117432320 24624 33554432000 4194304 5654031 140733210064880 140733210052696 4789804 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25273/statm: 28670 24624 142 357 0 28310 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 172032
[startup+1362.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25273
/proc/meminfo: memFree=28987548/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1282.3 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 51099 201398 0 0 471 74 127592 93 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25273] ppid=25122 vsize=146776 CPUtime=79.78 cores=1,3,5,7
/proc/25273/stat : 25273 (glucosInc) R 25122 25121 23584 0 -1 4202496 23484 0 0 0 7971 7 0 0 20 0 1 0 377160714 150298624 33052 33554432000 4194304 5654031 140733210064880 140733210052696 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25273/statm: 36694 33052 142 357 0 36334 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 204128
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25274
/proc/meminfo: memFree=28924236/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1282.3 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 51099 201398 0 0 471 74 127592 93 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25273] ppid=25122 vsize=207472 CPUtime=139.75 cores=1,3,5,7
/proc/25273/stat : 25273 (glucosInc) R 25122 25121 23584 0 -1 4202496 24303 0 0 0 13968 7 0 0 20 0 1 0 377160714 212451328 47413 33554432000 4194304 5654031 140733210064880 140733210052696 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25273/statm: 51868 47413 142 357 0 51508 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 264824
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25274
/proc/meminfo: memFree=28970468/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1282.3 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 51099 201398 0 0 471 74 127592 93 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25273] ppid=25122 vsize=146880 CPUtime=199.74 cores=1,3,5,7
/proc/25273/stat : 25273 (glucosInc) R 25122 25121 23584 0 -1 4202496 24579 0 0 0 19966 8 0 0 20 0 1 0 377160714 150405120 34717 33554432000 4194304 5654031 140733210064880 140733210052696 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25273/statm: 36720 34717 142 357 0 36360 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 204232
[startup+1542.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/182 25327
/proc/meminfo: memFree=29006316/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1282.3 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 51099 201398 0 0 471 74 127592 93 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25273] ppid=25122 vsize=147040 CPUtime=259.74 cores=1,3,5,7
/proc/25273/stat : 25273 (glucosInc) R 25122 25121 23584 0 -1 4202496 24637 0 0 0 25965 9 0 0 20 0 1 0 377160714 150568960 34718 33554432000 4194304 5654031 140733210064880 140733210052696 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25273/statm: 36760 34718 142 357 0 36400 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 204392
[startup+1602.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/181 25371
/proc/meminfo: memFree=29049324/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1556.6 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 57795 226564 0 0 522 79 154956 103 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25351] ppid=25122 vsize=116320 CPUtime=45.4 cores=1,3,5,7
/proc/25351/stat : 25351 (glucosInc) R 25122 25121 23584 0 -1 4202496 22356 0 0 0 4535 5 0 0 20 0 1 0 377188150 119111680 24435 33554432000 4194304 5654031 140735971009296 140735970997112 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 29080 24435 142 357 0 28720 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 173672
[startup+1662.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/181 25371
/proc/meminfo: memFree=29008604/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1556.6 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 57795 226564 0 0 522 79 154956 103 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25351] ppid=25122 vsize=146332 CPUtime=105.39 cores=1,3,5,7
/proc/25351/stat : 25351 (glucosInc) R 25122 25121 23584 0 -1 4202496 22817 0 0 0 10534 5 0 0 20 0 1 0 377188150 149843968 32007 33554432000 4194304 5654031 140735971009296 140735970997112 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 36583 32007 142 357 0 36223 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 203684
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 25378
/proc/meminfo: memFree=28990788/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1556.6 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 57795 226564 0 0 522 79 154956 103 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25351] ppid=25122 vsize=176680 CPUtime=165.38 cores=1,3,5,7
/proc/25351/stat : 25351 (glucosInc) R 25122 25121 23584 0 -1 4202496 23420 0 0 0 16532 6 0 0 20 0 1 0 377188150 180920320 39432 33554432000 4194304 5654031 140735971009296 140735970997112 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 44170 39432 142 357 0 43810 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 234032
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25390
/proc/meminfo: memFree=28975204/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1556.6 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 57795 226564 0 0 522 79 154956 103 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25351] ppid=25122 vsize=176680 CPUtime=225.37 cores=1,3,5,7
/proc/25351/stat : 25351 (glucosInc) R 25122 25121 23584 0 -1 4202496 23422 0 0 0 22531 6 0 0 20 0 1 0 377188150 180920320 40456 33554432000 4194304 5654031 140735971009296 140735970997112 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 44170 40456 142 357 0 43810 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 234032
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25392
/proc/meminfo: memFree=28986744/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1556.6 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 57795 226564 0 0 522 79 154956 103 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25351] ppid=25122 vsize=176680 CPUtime=243.47 cores=1,3,5,7
/proc/25351/stat : 25351 (glucosInc) R 25122 25121 23584 0 -1 4202496 23422 0 0 0 24341 6 0 0 20 0 1 0 377188150 180920320 40456 33554432000 4194304 5654031 140735971009296 140735970997112 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 44170 40456 142 357 0 43810 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 234032
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25392
/proc/meminfo: memFree=28986744/32873844 swapFree=7900/7900
[pid=25121] ppid=25119 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25121/stat : 25121 (npSolver-pbo-It) S 25119 25121 23584 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 377032464 9367552 275 33554432000 4194304 5064252 140736458940160 140736458939072 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25121/statm: 2287 275 233 213 0 72 0
[pid=25122] ppid=25121 vsize=48204 CPUtime=1556.6 cores=1,3,5,7
/proc/25122/stat : 25122 (npSolver-pbo) S 25121 25121 23584 0 -1 4202496 57795 226564 0 0 522 79 154956 103 20 0 1 0 377032464 49360896 11736 33554432000 4194304 6004724 140734296254288 140734296240136 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/25122/statm: 12051 11736 183 442 0 11605 0
[pid=25351] ppid=25122 vsize=176680 CPUtime=243.47 cores=1,3,5,7
/proc/25351/stat : 25351 (glucosInc) R 25122 25121 23584 0 -1 4202496 23422 0 0 0 24341 6 0 0 20 0 1 0 377188150 180920320 40456 33554432000 4194304 5654031 140735971009296 140735970997112 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25351/statm: 44170 40456 142 357 0 43810 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 234032
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.12
CPU user time (s): 1798.21
CPU system time (s): 1.90771
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 264852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.21
system time used= 1.90771
maximum resident set size= 202244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308163
page faults= 0
swaps= 0
block input operations= 0
block output operations= 662560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3610
involuntary context switches= 2085
runsolver used 3.06253 second user time and 8.40372 second system time
The end