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-3747138-1339099989/watcher-3747138-1339099989 -o /tmp/evaluation-result-3747138-1339099989/solver-3747138-1339099989 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747138-1339099989.opb 1098599510 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.08 2.00 1.68 2/178 11524
/proc/meminfo: memFree=26520680/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[startup+0.0852709 s]
/proc/loadavg: 2.08 2.00 1.68 2/178 11524
/proc/meminfo: memFree=26520680/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100153 s]
/proc/loadavg: 2.08 2.00 1.68 2/178 11524
/proc/meminfo: memFree=26520680/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300115 s]
/proc/loadavg: 2.08 2.00 1.68 2/178 11524
/proc/meminfo: memFree=26520680/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700118 s]
/proc/loadavg: 2.08 2.00 1.68 2/178 11524
/proc/meminfo: memFree=26520680/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50017 s]
/proc/loadavg: 2.08 2.00 1.68 3/181 11533
/proc/meminfo: memFree=26508060/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=0.01 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 2070 3307 0 0 1 0 0 0 20 0 1 0 376124318 4603904 712 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11525/statm: 1124 712 178 442 0 678 0
[pid=11533] ppid=11525 vsize=10876 CPUtime=1.44 cores=0,2,4,6
/proc/11533/stat : 11533 (glucosInc) R 11525 11524 11259 0 -1 4202496 2886 0 0 0 144 0 0 0 20 0 1 0 376124322 11137024 2315 33554432000 4194304 5654031 140734168005760 140734167993576 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11533/statm: 2719 2315 141 357 0 2359 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 24520
[startup+3.10019 s]
/proc/loadavg: 2.08 2.00 1.68 3/181 11533
/proc/meminfo: memFree=26504028/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=0.01 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 2070 3307 0 0 1 0 0 0 20 0 1 0 376124318 4603904 712 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11525/statm: 1124 712 178 442 0 678 0
[pid=11533] ppid=11525 vsize=15228 CPUtime=3.04 cores=0,2,4,6
/proc/11533/stat : 11533 (glucosInc) R 11525 11524 11259 0 -1 4202496 3063 0 0 0 304 0 0 0 20 0 1 0 376124322 15593472 3002 33554432000 4194304 5654031 140734168005760 140734167993576 4234964 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11533/statm: 3807 3002 141 357 0 3447 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 28872
[startup+6.30018 s]
/proc/loadavg: 2.07 2.00 1.69 3/181 11535
/proc/meminfo: memFree=26497876/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=3.16 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 2778 6918 0 0 3 1 311 1 20 0 1 0 376124318 4603904 721 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 1124 721 178 442 0 678 0
[pid=11535] ppid=11525 vsize=15216 CPUtime=3.11 cores=0,2,4,6
/proc/11535/stat : 11535 (glucosInc) R 11525 11524 11259 0 -1 4202496 3779 0 0 0 311 0 0 0 20 0 1 0 376124636 15581184 3175 33554432000 4194304 5654031 140737265839280 140737265827096 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11535/statm: 3804 3175 141 357 0 3444 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 28860
[startup+12.7003 s]
/proc/loadavg: 2.07 2.00 1.69 3/181 11539
/proc/meminfo: memFree=26636236/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=10.54 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 4194 15287 0 0 5 1 1046 2 20 0 1 0 376124318 4603904 721 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 1124 721 178 442 0 678 0
[pid=11539] ppid=11525 vsize=13200 CPUtime=2.09 cores=0,2,4,6
/proc/11539/stat : 11539 (glucosInc) R 11525 11524 11259 0 -1 4202496 3586 0 0 0 209 0 0 0 20 0 1 0 376125377 13516800 2945 33554432000 4194304 5654031 140733900132816 140733900120632 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11539/statm: 3300 2945 141 357 0 2940 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 26844
[startup+25.5002 s]
/proc/loadavg: 2.05 2.00 1.69 3/181 11545
/proc/meminfo: memFree=26608308/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=23.59 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 6318 26979 0 0 9 1 2344 5 20 0 1 0 376124318 4603904 721 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 1124 721 178 442 0 678 0
[pid=11545] ppid=11525 vsize=12780 CPUtime=1.83 cores=0,2,4,6
/proc/11545/stat : 11545 (glucosInc) R 11525 11524 11259 0 -1 4202496 2801 0 0 0 183 0 0 0 20 0 1 0 376126684 13086720 2223 33554432000 4194304 5654031 140733754276368 140733754264184 4233002 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11545/statm: 3195 2223 141 357 0 2835 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 26424
[startup+51.1003 s]
/proc/loadavg: 2.03 2.00 1.70 3/181 11547
/proc/meminfo: memFree=26544384/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=36.96 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 7026 32001 0 0 11 1 3678 6 20 0 1 0 376124318 4603904 721 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 1124 721 178 442 0 678 0
[pid=11547] ppid=11525 vsize=26636 CPUtime=14.06 cores=0,2,4,6
/proc/11547/stat : 11547 (glucosInc) R 11525 11524 11259 0 -1 4202496 4188 0 0 0 1405 1 0 0 20 0 1 0 376128021 27275264 5695 33554432000 4194304 5654031 140735438205968 140735438193784 4215374 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11547/statm: 6659 5695 141 357 0 6299 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 40280
[startup+102.306 s]
/proc/loadavg: 2.01 2.00 1.71 3/181 11553
/proc/meminfo: memFree=26602732/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=4496 CPUtime=98.75 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 9150 46418 0 0 15 2 9848 10 20 0 1 0 376124318 4603904 721 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/11525/statm: 1124 721 178 442 0 678 0
[pid=11553] ppid=11525 vsize=13192 CPUtime=3.46 cores=0,2,4,6
/proc/11553/stat : 11553 (glucosInc) R 11525 11524 11259 0 -1 4202496 3546 0 0 0 346 0 0 0 20 0 1 0 376134202 13508608 2943 33554432000 4194304 5654031 140734771519776 140734771507592 4214944 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11553/statm: 3298 2943 141 357 0 2938 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 26836
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/181 11558
/proc/meminfo: memFree=26376672/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=114060 CPUtime=22.14 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 22835 0 0 0 2210 4 0 0 20 0 1 0 376138330 116797440 24120 33554432000 4194304 5654031 140736334521488 140736334519272 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 28515 24120 150 357 0 28155 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 143288
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/181 11558
/proc/meminfo: memFree=26414592/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=115164 CPUtime=82.13 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 23358 0 0 0 8209 4 0 0 20 0 1 0 376138330 117927936 24811 33554432000 4194304 5654031 140736334521488 140736334519272 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 28791 24811 151 357 0 28431 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 144392
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26484112/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1101.96 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 110189 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232984 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 194364
[startup+1302.3 s]
/proc/loadavg: 2.00 2.04 1.96 3/181 11699
/proc/meminfo: memFree=26488336/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1161.95 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 116188 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 194364
[startup+1362.3 s]
/proc/loadavg: 2.08 2.05 1.97 3/181 11700
/proc/meminfo: memFree=26520420/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1221.94 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 122187 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 194364
[startup+1422.31 s]
/proc/loadavg: 2.03 2.03 1.97 3/181 11700
/proc/meminfo: memFree=26520420/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1281.93 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 128186 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 194364
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 1.97 3/181 11700
/proc/meminfo: memFree=26520548/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1341.92 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 134185 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 194364
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 11700
/proc/meminfo: memFree=26476052/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1401.91 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 140184 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4233008 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 194364
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 11700
/proc/meminfo: memFree=26520456/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1461.9 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 146183 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 194364
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/182 11704
/proc/meminfo: memFree=26473784/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1521.89 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 152182 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 194364
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11704
/proc/meminfo: memFree=26467480/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1581.88 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 158181 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 194364
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11704
/proc/meminfo: memFree=26520384/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1641.87 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 164180 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 194364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 11704
/proc/meminfo: memFree=26480108/32873648 swapFree=7376/7376
[pid=11524] ppid=11522 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11524/stat : 11524 (npSolver-pbo-It) S 11522 11524 11259 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376124318 9367552 274 33554432000 4194304 5064252 140735166516848 140735166515760 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11524/statm: 2287 274 233 213 0 72 0
[pid=11525] ppid=11524 vsize=20080 CPUtime=140.04 cores=0,2,4,6
/proc/11525/stat : 11525 (npSolver-pbo) S 11524 11524 11259 0 -1 4202496 16813 57503 0 0 35 4 13952 13 20 0 1 0 376124318 20561920 4693 33554432000 4194304 6004724 140735017858896 140735017844744 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/11525/statm: 5020 4693 181 442 0 4574 0
[pid=11558] ppid=11525 vsize=165136 CPUtime=1659.97 cores=0,2,4,6
/proc/11558/stat : 11558 (glucosInc) R 11525 11524 11259 0 -1 4202496 26082 0 0 0 165990 7 0 0 20 0 1 0 376138330 169099264 36799 33554432000 4194304 5654031 140736334521488 140736334519368 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11558/statm: 41284 36799 151 357 0 40924 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 194364
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.05
CPU user time (s): 1799.79
CPU system time (s): 0.26296
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 194364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.26296
maximum resident set size= 161960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100772
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 813
involuntary context switches= 2348
runsolver used 2.74758 second user time and 7.10592 second system time
The end