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-3697746-1338131062/watcher-3697746-1338131062 -o /tmp/evaluation-result-3697746-1338131062/solver-3697746-1338131062 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697746-1338131062.opb 49086841 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27740
/proc/meminfo: memFree=28369748/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[startup+0.0636149 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27740
/proc/meminfo: memFree=28369748/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27740
/proc/meminfo: memFree=28369748/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300284 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27740
/proc/meminfo: memFree=28369748/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700391 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27740
/proc/meminfo: memFree=28369748/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50046 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27744
/proc/meminfo: memFree=28199708/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=30340 CPUtime=0.35 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 6276 0 0 0 31 4 0 0 20 0 1 0 279231682 31068160 6765 33554432000 4194304 5992684 140735953749968 140735953744416 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/27741/statm: 7585 6765 172 440 0 7141 0
[pid=27743] ppid=27741 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27743/stat : 27743 (cp2_pre.sh) S 27741 27740 26585 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 279231718 9367552 276 33554432000 4194304 5064252 140734741995584 140734741994288 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27743/statm: 2287 276 234 213 0 72 0
[pid=27744] ppid=27743 vsize=153432 CPUtime=1.12 cores=0,2,4,6
/proc/27744/stat : 27744 (coprocessor) R 27743 27740 26585 0 -1 4202496 28138 0 0 0 107 5 0 0 20 0 1 0 279231718 157114368 37107 33554432000 4194304 6586260 140733315114560 140733315110824 4761021 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/27744/statm: 38358 37107 182 584 0 37770 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 202068
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27744
/proc/meminfo: memFree=28141712/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=30340 CPUtime=2.47 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 6292 34156 0 0 31 4 185 27 20 0 1 0 279231682 31068160 6767 33554432000 4194304 5992684 140735953749968 140735953736232 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/27741/statm: 7585 6767 174 440 0 7141 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 39488
heavy processes:
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27746
/proc/meminfo: memFree=28242456/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=125420 CPUtime=5.72 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) R 27740 27740 26585 0 -1 4202496 14355 50637 0 0 133 85 321 33 20 0 1 0 279231682 128430080 28975 33554432000 4194304 5992684 140735953749968 140735953742680 5044375 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27741/statm: 31355 28975 190 440 0 30911 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 134568
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27749
/proc/meminfo: memFree=27889348/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=59884 CPUtime=6.46 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 15497 51154 0 0 187 102 322 35 20 0 1 0 279231682 61321216 14143 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 14971 14143 191 440 0 14527 0
[pid=27749] ppid=27741 vsize=345980 CPUtime=5.65 cores=0,2,4,6
/proc/27749/stat : 27749 (glucosInc) R 27741 27740 26585 0 -1 4202496 57109 0 0 0 547 18 0 0 20 0 1 0 279232385 354283520 74600 33554432000 4194304 5654031 140733411534976 140733411522792 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27749/statm: 86495 74600 141 357 0 86135 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 415012
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27749
/proc/meminfo: memFree=27883508/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=59884 CPUtime=6.46 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 15497 51154 0 0 187 102 322 35 20 0 1 0 279231682 61321216 14143 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 14971 14143 191 440 0 14527 0
[pid=27749] ppid=27741 vsize=348072 CPUtime=18.45 cores=0,2,4,6
/proc/27749/stat : 27749 (glucosInc) R 27741 27740 26585 0 -1 4202496 57784 0 0 0 1826 19 0 0 20 0 1 0 279232385 356425728 75780 33554432000 4194304 5654031 140733411534976 140733411522792 4216597 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27749/statm: 87018 75780 142 357 0 86658 0
Current children cumulated CPU time (s) 24.91
Current children cumulated vsize (KiB) 417104
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27751
/proc/meminfo: memFree=27925908/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=50664 CPUtime=46.11 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 24396 110363 0 0 323 119 4109 60 20 0 1 0 279231682 51879936 11870 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 12666 11870 191 440 0 12222 0
[pid=27751] ppid=27741 vsize=338616 CPUtime=4.4 cores=0,2,4,6
/proc/27751/stat : 27751 (glucosInc) R 27741 27740 26585 0 -1 4202496 54076 0 0 0 428 12 0 0 20 0 1 0 279236351 346742784 68554 33554432000 4194304 5654031 140735992766272 140735992754088 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27751/statm: 84654 68554 140 357 0 84294 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 398428
[startup+102.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 27753
/proc/meminfo: memFree=27965852/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=48768 CPUtime=63.82 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 33726 165752 0 0 440 134 5730 78 20 0 1 0 279231682 49938432 11396 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 12192 11396 191 440 0 11748 0
[pid=27753] ppid=27741 vsize=301320 CPUtime=37.87 cores=0,2,4,6
/proc/27753/stat : 27753 (glucosInc) R 27741 27740 26585 0 -1 4202496 50601 0 0 0 3775 12 0 0 20 0 1 0 279238122 308551680 62707 33554432000 4194304 5654031 140735771978240 140735771966056 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27753/statm: 75330 62707 142 357 0 74970 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 359236
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27756
/proc/meminfo: memFree=27928056/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=48160 CPUtime=139.26 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 42240 217057 0 0 555 149 13126 96 20 0 1 0 279231682 49315840 11244 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 12040 11244 191 440 0 11596 0
[pid=27755] ppid=27741 vsize=296196 CPUtime=22.37 cores=0,2,4,6
/proc/27755/stat : 27755 (glucosInc) R 27741 27740 26585 0 -1 4202496 48439 0 0 0 2224 13 0 0 20 0 1 0 279245671 303304704 62637 33554432000 4194304 5654031 140734495752912 140734495740728 4214505 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27755/statm: 74049 62637 142 357 0 73689 0
Current children cumulated CPU time (s) 161.63
Current children cumulated vsize (KiB) 353504
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27758
/proc/meminfo: memFree=27927556/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=47940 CPUtime=167.63 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 50255 266616 0 0 668 163 15818 114 20 0 1 0 279231682 49090560 11189 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11985 11189 191 440 0 11541 0
[pid=27758] ppid=27741 vsize=296220 CPUtime=53.94 cores=0,2,4,6
/proc/27758/stat : 27758 (glucosInc) R 27741 27740 26585 0 -1 4202496 47243 0 0 0 5381 13 0 0 20 0 1 0 279248511 303329280 63725 33554432000 4194304 5654031 140736276201104 140736276188920 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27758/statm: 74055 63725 142 357 0 73695 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 353308
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27758
/proc/meminfo: memFree=27927988/32873852 swapFree=6848/6848
################
# More data... #
################
/proc/meminfo: memFree=27445152/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=309348 CPUtime=824.5 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 71866 0 0 0 82381 69 0 0 20 0 1 0 279279441 316772352 74077 33554432000 4194304 5654031 140735115106544 140735115094360 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 77337 74077 142 357 0 76977 0
Current children cumulated CPU time (s) 1301.34
Current children cumulated vsize (KiB) 365428
[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 27832
/proc/meminfo: memFree=27495896/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=361656 CPUtime=884.49 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 72642 0 0 0 88379 70 0 0 20 0 1 0 279279441 370335744 77917 33554432000 4194304 5654031 140735115106544 140735115094360 4215091 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 90414 77917 142 357 0 90054 0
Current children cumulated CPU time (s) 1361.33
Current children cumulated vsize (KiB) 417736
[startup+1422.31 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 27833
/proc/meminfo: memFree=27456956/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=361656 CPUtime=944.48 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 72652 0 0 0 94378 70 0 0 20 0 1 0 279279441 370335744 82526 33554432000 4194304 5654031 140735115106544 140735115094360 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 90414 82526 142 357 0 90054 0
Current children cumulated CPU time (s) 1421.32
Current children cumulated vsize (KiB) 417736
[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 27833
/proc/meminfo: memFree=27492256/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=311568 CPUtime=1004.47 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 73203 0 0 0 100375 72 0 0 20 0 1 0 279279441 319045632 71055 33554432000 4194304 5654031 140735115106544 140735115094360 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 77892 71055 142 357 0 77532 0
Current children cumulated CPU time (s) 1481.31
Current children cumulated vsize (KiB) 367648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 27836
/proc/meminfo: memFree=27446228/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=365448 CPUtime=1064.46 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 75225 0 0 0 106369 77 0 0 20 0 1 0 279279441 374218752 80475 33554432000 4194304 5654031 140735115106544 140735115104328 4215200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 91362 80475 142 357 0 91002 0
Current children cumulated CPU time (s) 1541.3
Current children cumulated vsize (KiB) 421528
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27836
/proc/meminfo: memFree=27414516/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=370528 CPUtime=1124.46 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 77193 0 0 0 112365 81 0 0 20 0 1 0 279279441 379420672 87276 33554432000 4194304 5654031 140735115106544 140735115094360 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 92632 87276 142 357 0 92272 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 426608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27836
/proc/meminfo: memFree=27418772/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=374540 CPUtime=1184.45 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 79936 0 0 0 118356 89 0 0 20 0 1 0 279279441 383528960 89303 33554432000 4194304 5654031 140735115106544 140735115104328 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 93635 89303 142 357 0 93275 0
Current children cumulated CPU time (s) 1661.29
Current children cumulated vsize (KiB) 430620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27837
/proc/meminfo: memFree=27459412/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=377708 CPUtime=1244.43 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 81635 0 0 0 124350 93 0 0 20 0 1 0 279279441 386772992 79761 33554432000 4194304 5654031 140735115106544 140735115094360 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 94427 79761 142 357 0 94067 0
Current children cumulated CPU time (s) 1721.27
Current children cumulated vsize (KiB) 433788
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27838
/proc/meminfo: memFree=27418368/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=378216 CPUtime=1304.41 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 81871 0 0 0 130347 94 0 0 20 0 1 0 279279441 387293184 88882 33554432000 4194304 5654031 140735115106544 140735115094360 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 94554 88882 142 357 0 94194 0
Current children cumulated CPU time (s) 1781.25
Current children cumulated vsize (KiB) 434296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27838
/proc/meminfo: memFree=27412072/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=378348 CPUtime=1323.2 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 81906 0 0 0 132226 94 0 0 20 0 1 0 279279441 387428352 90445 33554432000 4194304 5654031 140735115106544 140735115104328 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 94587 90445 142 357 0 94227 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 434428
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 27838
/proc/meminfo: memFree=27412072/32873852 swapFree=6848/6848
[pid=27740] ppid=27738 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27740/stat : 27740 (npSolver-pbo-It) S 27738 27740 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279231681 9367552 275 33554432000 4194304 5064252 140736982055520 140736982054432 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27740/statm: 2287 275 233 213 0 72 0
[pid=27741] ppid=27740 vsize=46932 CPUtime=476.84 cores=0,2,4,6
/proc/27741/stat : 27741 (npSolver-pbo) S 27740 27740 26585 0 -1 4202496 64535 366921 0 0 870 189 46468 157 20 0 1 0 279231682 48058368 10937 33554432000 4194304 5992684 140735953749968 140735953735800 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/27741/statm: 11733 10937 191 440 0 11289 0
[pid=27813] ppid=27741 vsize=378348 CPUtime=1323.2 cores=0,2,4,6
/proc/27813/stat : 27813 (glucosInc) R 27741 27740 26585 0 -1 4202496 81906 0 0 0 132226 94 0 0 20 0 1 0 279279441 387428352 90445 33554432000 4194304 5654031 140735115106544 140735115104328 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27813/statm: 94587 90445 142 357 0 94227 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 434428
Child status: 0
Real time (s): 1801.11
CPU time (s): 1800.08
CPU user time (s): 1795.66
CPU system time (s): 4.42233
CPU usage (%): 99.9429
Max. virtual memory (cumulated for all children) (KiB): 594100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.66
system time used= 4.42233
maximum resident set size= 461652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 513742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1331440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8131
involuntary context switches= 2077
runsolver used 4.50331 second user time and 17.5133 second system time
The end