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-3702529-1338138996/watcher-3702529-1338138996 -o /tmp/evaluation-result-3702529-1338138996/solver-3702529-1338138996 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702529-1338138996.opb 582957311 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.03 2.00 2/178 10875
/proc/meminfo: memFree=30874656/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[startup+0.104356 s]
/proc/loadavg: 2.00 2.03 2.00 2/178 10875
/proc/meminfo: memFree=30874656/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200261 s]
/proc/loadavg: 2.00 2.03 2.00 2/178 10875
/proc/meminfo: memFree=30874656/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300332 s]
/proc/loadavg: 2.00 2.03 2.00 2/178 10875
/proc/meminfo: memFree=30874656/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700304 s]
/proc/loadavg: 2.00 2.03 2.00 2/178 10875
/proc/meminfo: memFree=30874656/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 10879
/proc/meminfo: memFree=30700800/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=30340 CPUtime=0.36 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 6239 0 0 0 32 4 0 0 20 0 1 0 280026387 31068160 6727 33554432000 4194304 5992684 140734097120384 140734097114832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10876/statm: 7585 6727 172 440 0 7141 0
[pid=10878] ppid=10876 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10878/stat : 10878 (cp2_pre.sh) S 10876 10875 9266 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 280026424 9367552 277 33554432000 4194304 5064252 140734771170560 140734771169264 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10878/statm: 2287 277 234 213 0 72 0
[pid=10879] ppid=10878 vsize=165088 CPUtime=1.12 cores=0,2,4,6
/proc/10879/stat : 10879 (coprocessor) R 10878 10875 9266 0 -1 4202496 27906 0 0 0 106 6 0 0 20 0 1 0 280026424 169050112 39941 33554432000 4194304 6586260 140733689005968 140733689002232 5509081 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/10879/statm: 41272 39941 184 584 0 40684 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 213724
[startup+3.10029 s]
/proc/loadavg: 2.00 2.03 2.00 3/182 10879
/proc/meminfo: memFree=30646400/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=30340 CPUtime=2.43 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 6255 33053 0 0 32 4 179 28 20 0 1 0 280026387 31068160 6729 33554432000 4194304 5992684 140734097120384 140734097106648 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10876/statm: 7585 6729 174 440 0 7141 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 39488
heavy processes:
[startup+6.30034 s]
/proc/loadavg: 2.00 2.03 2.00 3/180 10889
/proc/meminfo: memFree=30779796/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=191008 CPUtime=6.27 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) R 10875 10875 9266 0 -1 4202496 15566 77771 0 0 152 81 350 44 20 0 1 0 280026387 195592192 30974 33554432000 4194304 5992684 140734097120384 140734097113096 5186391 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10876/statm: 47752 30974 204 440 0 47308 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 200156
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.00 3/181 10891
/proc/meminfo: memFree=30387324/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=59936 CPUtime=6.91 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 15780 78287 0 0 198 96 351 46 20 0 1 0 280026387 61374464 14132 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10876/statm: 14984 14132 205 440 0 14540 0
[pid=10891] ppid=10876 vsize=348792 CPUtime=5.75 cores=0,2,4,6
/proc/10891/stat : 10891 (glucosInc) R 10876 10875 9266 0 -1 4202496 57088 0 0 0 561 14 0 0 20 0 1 0 280027081 357163008 74804 33554432000 4194304 5654031 140734966737536 140734966735144 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10891/statm: 87198 74804 141 357 0 86838 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 417876
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 10893
/proc/meminfo: memFree=30586680/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=50812 CPUtime=24.9 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 22619 136333 0 0 336 114 1973 67 20 0 1 0 280026387 52031488 11884 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10876/statm: 12703 11884 206 440 0 12259 0
[pid=10893] ppid=10876 vsize=173828 CPUtime=0.57 cores=0,2,4,6
/proc/10893/stat : 10893 (glucosInc) R 10876 10875 9266 0 -1 4202496 28830 0 0 0 51 6 0 0 20 0 1 0 280028878 177999872 38287 33554432000 4194304 5654031 140734859094880 140734858044232 4225056 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10893/statm: 43490 38289 109 357 0 43130 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 233788
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 10895
/proc/meminfo: memFree=30436116/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=50428 CPUtime=40.08 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 29747 191116 0 0 472 132 3317 87 20 0 1 0 280026387 51638272 11788 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10876/statm: 12607 11788 206 440 0 12163 0
[pid=10895] ppid=10876 vsize=339792 CPUtime=11 cores=0,2,4,6
/proc/10895/stat : 10895 (glucosInc) R 10876 10875 9266 0 -1 4202496 54544 0 0 0 1084 16 0 0 20 0 1 0 280030396 347947008 71648 33554432000 4194304 5654031 140734619232240 140734619230024 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10895/statm: 84948 71648 140 357 0 84588 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 399368
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 10899
/proc/meminfo: memFree=30460444/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=49296 CPUtime=93.54 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 43332 301235 0 0 727 166 8333 128 20 0 1 0 280026387 50479104 11505 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 12324 11505 206 440 0 11880 0
[pid=10899] ppid=10876 vsize=300288 CPUtime=7.36 cores=0,2,4,6
/proc/10899/stat : 10899 (glucosInc) R 10876 10875 9266 0 -1 4202496 49425 0 0 0 723 13 0 0 20 0 1 0 280035880 307494912 64058 33554432000 4194304 5654031 140736650515728 140736650513512 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10899/statm: 75072 64058 140 357 0 74712 0
Current children cumulated CPU time (s) 100.9
Current children cumulated vsize (KiB) 358732
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 10943
/proc/meminfo: memFree=30909560/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=49296 CPUtime=93.54 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 43332 301235 0 0 727 166 8333 128 20 0 1 0 280026387 50479104 11505 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 12324 11505 206 440 0 11880 0
[pid=10899] ppid=10876 vsize=435524 CPUtime=67.34 cores=0,2,4,6
/proc/10899/stat : 10899 (glucosInc) R 10876 10875 9266 0 -1 4202496 57176 0 0 0 6705 29 0 0 20 0 1 0 280035880 445976576 86921 33554432000 4194304 5654031 140736650515728 140736650513512 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10899/statm: 108881 86921 140 357 0 108521 0
Current children cumulated CPU time (s) 160.88
Current children cumulated vsize (KiB) 493968
[startup+222.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 10947
/proc/meminfo: memFree=30878536/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=49296 CPUtime=93.54 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 43332 301235 0 0 727 166 8333 128 20 0 1 0 280026387 50479104 11505 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 12324 11505 206 440 0 11880 0
[pid=10899] ppid=10876 vsize=356440 CPUtime=127.32 cores=0,2,4,6
/proc/10899/stat : 10899 (glucosInc) R 10876 10875 9266 0 -1 4202496 63323 0 0 0 12684 48 0 0 20 0 1 0 280035880 364994560 80554 33554432000 4194304 5654031 140736650515728 140736650513752 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10899/statm: 89110 80554 140 357 0 88750 0
Current children cumulated CPU time (s) 220.86
Current children cumulated vsize (KiB) 414884
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 10951
/proc/meminfo: memFree=31045576/32873648 swapFree=6852/6852
################
# More data... #
################
/proc/meminfo: memFree=30916348/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=341968 CPUtime=784.49 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 59909 0 0 0 78410 39 0 0 20 0 1 0 280078146 350175232 74387 33554432000 4194304 5654031 140734576214896 140734576202712 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 85492 74387 141 357 0 85132 0
Current children cumulated CPU time (s) 1300.62
Current children cumulated vsize (KiB) 397496
[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 10968
/proc/meminfo: memFree=30913020/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=344040 CPUtime=844.47 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 61322 0 0 0 84403 44 0 0 20 0 1 0 280078146 352296960 77428 33554432000 4194304 5654031 140734576214896 140734576202712 4217744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 86010 77428 141 357 0 85650 0
Current children cumulated CPU time (s) 1360.6
Current children cumulated vsize (KiB) 399568
[startup+1422.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/182 10972
/proc/meminfo: memFree=30896928/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=344040 CPUtime=904.47 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 61516 0 0 0 90403 44 0 0 20 0 1 0 280078146 352296960 80177 33554432000 4194304 5654031 140734576214896 140734576202712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 86010 80177 141 357 0 85650 0
Current children cumulated CPU time (s) 1420.6
Current children cumulated vsize (KiB) 399568
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 10972
/proc/meminfo: memFree=30944796/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=293952 CPUtime=964.46 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 61972 0 0 0 96400 46 0 0 20 0 1 0 280078146 301006848 67588 33554432000 4194304 5654031 140734576214896 140734576202712 4232755 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 73488 67588 141 357 0 73128 0
Current children cumulated CPU time (s) 1480.59
Current children cumulated vsize (KiB) 349480
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10972
/proc/meminfo: memFree=30923360/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=345528 CPUtime=1024.46 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 62827 0 0 0 102399 47 0 0 20 0 1 0 280078146 353820672 73041 33554432000 4194304 5654031 140734576214896 140734576202712 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 86382 73041 141 357 0 86022 0
Current children cumulated CPU time (s) 1540.59
Current children cumulated vsize (KiB) 401056
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10972
/proc/meminfo: memFree=30896880/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=348060 CPUtime=1084.42 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 63134 0 0 0 108395 47 0 0 20 0 1 0 280078146 356413440 77921 33554432000 4194304 5654031 140734576214896 140734576202712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 87015 77921 141 357 0 86655 0
Current children cumulated CPU time (s) 1600.55
Current children cumulated vsize (KiB) 403588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10972
/proc/meminfo: memFree=30930200/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=297972 CPUtime=1144.41 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 63764 0 0 0 114393 48 0 0 20 0 1 0 280078146 305123328 68602 33554432000 4194304 5654031 140734576214896 140734576202712 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 74493 68602 141 357 0 74133 0
Current children cumulated CPU time (s) 1660.54
Current children cumulated vsize (KiB) 353500
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10972
/proc/meminfo: memFree=30916520/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=348060 CPUtime=1204.4 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 64085 0 0 0 120391 49 0 0 20 0 1 0 280078146 356413440 72500 33554432000 4194304 5654031 140734576214896 140734576202712 4215395 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 87015 72500 141 357 0 86655 0
Current children cumulated CPU time (s) 1720.53
Current children cumulated vsize (KiB) 403588
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10973
/proc/meminfo: memFree=30932620/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=297972 CPUtime=1264.39 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 64743 0 0 0 126388 51 0 0 20 0 1 0 280078146 305123328 67289 33554432000 4194304 5654031 140734576214896 140734576202712 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 74493 67289 141 357 0 74133 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (KiB) 353500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10973
/proc/meminfo: memFree=30940908/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=300360 CPUtime=1283.9 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 64922 0 0 0 128339 51 0 0 20 0 1 0 280078146 307568640 69001 33554432000 4194304 5654031 140734576214896 140734576202712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 75090 69001 141 357 0 74730 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 355888
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10973
/proc/meminfo: memFree=30940908/32873648 swapFree=6852/6852
[pid=10875] ppid=10873 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10875/stat : 10875 (npSolver-pbo-It) S 10873 10875 9266 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280026387 9367552 274 33554432000 4194304 5064252 140737385299280 140737385298192 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10875/statm: 2287 274 233 213 0 72 0
[pid=10876] ppid=10875 vsize=46380 CPUtime=516.13 cores=0,2,4,6
/proc/10876/stat : 10876 (npSolver-pbo) S 10875 10875 9266 0 -1 4202496 89054 663559 0 0 1490 264 49562 297 20 0 1 0 280026387 47493120 10776 33554432000 4194304 5992684 140734097120384 140734097106216 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10876/statm: 11595 10776 206 440 0 11151 0
[pid=10962] ppid=10876 vsize=300360 CPUtime=1283.9 cores=0,2,4,6
/proc/10962/stat : 10962 (glucosInc) R 10876 10875 9266 0 -1 4202496 64922 0 0 0 128339 51 0 0 20 0 1 0 280078146 307568640 69001 33554432000 4194304 5654031 140734576214896 140734576202712 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10962/statm: 75090 69001 141 357 0 74730 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 355888
Child status: 0
Real time (s): 1801.82
CPU time (s): 1800.08
CPU user time (s): 1793.93
CPU system time (s): 6.14406
CPU usage (%): 99.9033
Max. virtual memory (cumulated for all children) (KiB): 627472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.93
system time used= 6.14407
maximum resident set size= 486528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 817914
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2279328
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14391
involuntary context switches= 2190
runsolver used 2.74358 second user time and 7.11292 second system time
The end