Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.01 | 1800.52 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-pipex.opb |
MD5SUM | 3e6a99258fbc02bc052cab2d6151884d |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 788263 |
Best CPU time to get the best result obtained on this benchmark | 6.32104 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 788263 |
Optimality of the best value was proved | YES |
Number of variables | 48 |
Total number of constraints | 25 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 48 |
Biggest coefficient in the objective function | 107865 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 2514082 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 107865 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 2514082 |
Number of bits of the biggest sum of numbers | 22 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.05 c 48 25 0 0 0 0 0 0 0.00/0.05 c 128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50+8 ~x17+11 ~x16+19 ~x15+24 ~x14+27 ~x13+41 ~x12+59 ~x11+40 ~x10+50 x9+40 x8+30 x7+31 x6+23 x5+18 x4+14 x3+10 x2-0=439 0.00/0.05 c 128 ~x1545+64 ~x1544+32 ~x1543+16 ~x1542+8 ~x1541+4 ~x1540+2 ~x1539+1 ~x1538+8 ~x33+11 ~x32+19 ~x31+24 ~x30+27 ~x29+41 ~x28+59 ~x27+40 ~x26+50 x25+40 x24+30 x23+31 x22+23 x21+18 x20+14 x19+10 x18-0=414 0.00/0.09 c 128 ~x3033+64 ~x3032+32 ~x3031+16 ~x3030+8 ~x3029+4 ~x3028+2 ~x3027+1 ~x3026+8 ~x49+11 ~x48+19 ~x47+24 ~x46+27 ~x45+41 ~x44+59 ~x43+40 ~x42+50 x41+40 x40+30 x39+31 x38+23 x37+18 x36+14 x35+10 x34-0=404 0.00/0.12 c 128 ~x4521+64 ~x4520+32 ~x4519+16 ~x4518+8 ~x4517+4 ~x4516+2 ~x4515+1 ~x4514+8 x17+11 x16+19 x15+24 x14+27 x13+41 x12+59 x11+40 x10+50 ~x9+40 ~x8+30 ~x7+31 ~x6+23 ~x5+18 ~x4+14 ~x3+10 ~x2-0=426 0.00/0.19 c 128 ~x6009+64 ~x6008+32 ~x6007+16 ~x6006+8 ~x6005+4 ~x6004+2 ~x6003+1 ~x6002+8 x33+11 x32+19 x31+24 x30+27 x29+41 x28+59 x27+40 x26+50 ~x25+40 ~x24+30 ~x23+31 ~x22+23 ~x21+18 ~x20+14 ~x19+10 ~x18-0=401 0.00/0.19 c 128 ~x7497+64 ~x7496+32 ~x7495+16 ~x7494+8 ~x7493+4 ~x7492+2 ~x7491+1 ~x7490+8 x49+11 x48+19 x47+24 x46+27 x45+41 x44+59 x43+40 x42+50 ~x41+40 ~x40+30 ~x39+31 ~x38+23 ~x37+18 ~x36+14 ~x35+10 ~x34-0=391 0.00/0.23 c 1024 ~x8988+512 ~x8987+256 ~x8986+128 ~x8985+64 ~x8984+32 ~x8983+16 ~x8982+8 ~x8981+4 ~x8980+2 ~x8979+1 ~x8978+90 ~x17+91 ~x16+99 ~x15+102 ~x14+113 ~x13+121 ~x12+141 ~x11+120 ~x10+152 ~x9+144 ~x8+138 ~x7+131 ~x6+129 ~x5+122 ~x4+116 ~x3+110 ~x2-0=3516 0.00/0.28 c 1024 ~x11161+512 ~x11160+256 ~x11159+128 ~x11158+64 ~x11157+32 ~x11156+16 ~x11155+8 ~x11154+4 ~x11153+2 ~x11152+1 ~x11151+90 ~x33+91 ~x32+99 ~x31+102 ~x30+113 ~x29+121 ~x28+141 ~x27+120 ~x26+152 ~x25+144 ~x24+138 ~x23+131 ~x22+129 ~x21+122 ~x20+116 ~x19+110 ~x18-0=3266 0.00/0.33 c 1024 ~x13334+512 ~x13333+256 ~x13332+128 ~x13331+64 ~x13330+32 ~x13329+16 ~x13328+8 ~x13327+4 ~x13326+2 ~x13325+1 ~x13324+90 ~x49+91 ~x48+99 ~x47+102 ~x46+113 ~x45+121 ~x44+141 ~x43+120 ~x42+152 ~x41+144 ~x40+138 ~x39+131 ~x38+129 ~x37+122 ~x36+116 ~x35+110 ~x34-0=3166 0.00/0.96 o 867187 0.00/0.96 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4177640 23.67/23.78 o 820810 24.08/24.14 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6297981 79.56/79.67 o 786580 79.56/79.67 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6315096 112.45/112.52 o 858303 112.45/112.52 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4182082 139.04/139.11 o 812584 139.04/139.11 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6302094 160.24/160.32 o 808249 160.24/160.32 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6304261 229.32/229.49 o 834685 229.72/229.86 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4193891 242.32/242.42 o 899070 242.32/242.42 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4161699 267.52/267.69 o 818522 267.52/267.69 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6299125 330.50/330.68 o 914347 330.50/330.68 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4154060 357.09/357.21 o 875512 357.09/357.21 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4173478 535.74/535.94 o 895120 535.74/535.94 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4163674 587.53/587.76 o 831174 587.53/587.76 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6292799 604.12/604.39 o 850787 604.12/604.39 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4185840 697.10/697.33 o 812674 697.10/697.33 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6302049 805.77/806.09 o 849786 805.77/806.09 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4186341 935.84/936.19 o 823927 935.84/936.19 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6296422 962.54/962.84 o 903453 962.54/962.84 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4159507 1092.11/1092.45 o 812065 1092.11/1092.45 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6302353 1126.79/1127.19 o 824504 1126.79/1127.19 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6296134 1215.07/1215.43 o 888963 1215.07/1215.43 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=4166752 1336.33/1336.74 o 806207 1336.33/1336.74 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6305282 1378.92/1379.38 o 828526 1378.92/1379.38 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6294123 1433.01/1433.43 o 792910 1433.01/1433.43 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6311931 1511.10/1511.53 o 817783 1511.10/1511.53 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6299494 1528.59/1529.05 o 831070 1528.59/1529.05 c 2097152 ~x15790+1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x20+32380 ~x19+25300 ~x18+60840 ~x17+60515 ~x16+57123 ~x15+59976 ~x14+71416 ~x13+79134 ~x12+84459 ~x11+69240 ~x10+39520 ~x9+36000 ~x8+23460 ~x7+23580 ~x6+28280 ~x5+29280 ~x4+22040 ~x3+18700 ~x2-0=6292851 1614.17/1614.62 o 875775 1614.17/1614.62 c 1048576 ~x15789+524288 ~x15788+262144 ~x15787+131072 ~x15786+65536 ~x15785+32768 ~x15784+16384 ~x15783+8192 ~x15782+4096 ~x15781+2048 ~x15780+1024 ~x15779+512 ~x15778+256 ~x15777+128 ~x15776+64 ~x15775+32 ~x15774+16 ~x15773+8 ~x15772+4 ~x15771+2 ~x15770+1 ~x15769+74790 ~x49+75640 ~x48+68112 ~x47+71298 ~x46+88931 ~x45+93896 ~x44+107865 ~x43+83880 ~x42+48640 ~x41+46080 ~x40+26220 ~x39+26200 ~x38+36120 ~x37+32940 ~x36+30160 ~x35+22000 ~x34+51210 ~x33+52780 ~x32+63954 ~x31+69258 ~x30+75484 ~x29+84821 ~x28+97290 ~x27+76200 ~x26+25840 ~x25+25920 ~x24+33120 ~x23+35270 ~x22+33540 ~x21+35380 ~x
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674566-1276792310/watcher-2674566-1276792310 -o /tmp/evaluation-result-2674566-1276792310/solver-2674566-1276792310 -C 1800 -W 2000 -M 1800 run HOME/instance-2674566-1276792310.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.98 0.99 3/106 24096 /proc/meminfo: memFree=1856004/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [startup+0.109052 s] /proc/loadavg: 0.99 0.98 0.99 3/106 24096 /proc/meminfo: memFree=1856004/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.201062 s] /proc/loadavg: 0.99 0.98 0.99 3/106 24096 /proc/meminfo: memFree=1856004/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301072 s] /proc/loadavg: 0.99 0.98 0.99 3/106 24096 /proc/meminfo: memFree=1856004/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701119 s] /proc/loadavg: 0.99 0.98 0.99 3/106 24096 /proc/meminfo: memFree=1856004/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50119 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24099 /proc/meminfo: memFree=1837016/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=24996 CPUtime=1.48 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 6754 0 0 0 145 3 0 0 25 0 1 0 54834938 25595904 5150 1992294400 134512640 134902295 4293508896 18446744073709551615 4160561581 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6249 5150 269 96 0 5461 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 33696 [startup+3.10135 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24099 /proc/meminfo: memFree=1835776/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=24996 CPUtime=3.08 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 6754 0 0 0 305 3 0 0 25 0 1 0 54834938 25595904 5150 1992294400 134512640 134902295 4293508896 18446744073709551615 4160537241 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6249 5150 269 96 0 5461 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33696 [startup+6.30068 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24099 /proc/meminfo: memFree=1835652/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=25136 CPUtime=6.28 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 6769 0 0 0 625 3 0 0 25 0 1 0 54834938 25739264 5165 1992294400 134512640 134902295 4293508896 18446744073709551615 4160570373 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6284 5165 269 96 0 5496 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 33836 [startup+12.7013 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24099 /proc/meminfo: memFree=1834660/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=26080 CPUtime=12.68 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 7006 0 0 0 1265 3 0 0 25 0 1 0 54834938 26705920 5402 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567552 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6520 5402 269 96 0 5732 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 34780 [startup+25.5006 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24099 /proc/meminfo: memFree=1835404/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=25236 CPUtime=25.47 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 9352 0 0 0 2543 4 0 0 25 0 1 0 54834938 25841664 5205 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567506 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6309 5205 269 96 0 5521 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 33936 [startup+51.1013 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24099 /proc/meminfo: memFree=1831808/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=28808 CPUtime=51.07 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 10236 0 0 0 5102 5 0 0 25 0 1 0 54834938 29499392 6089 1992294400 134512640 134902295 4293508896 18446744073709551615 4160537240 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7202 6089 269 96 0 6414 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 37508 [startup+102.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24101 /proc/meminfo: memFree=1832180/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=28280 CPUtime=102.26 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 13845 0 0 0 10218 8 0 0 25 0 1 0 54834938 28958720 5950 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567422 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7070 5950 269 96 0 6282 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 36980 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24103 /proc/meminfo: memFree=1835032/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=25236 CPUtime=162.24 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 21132 0 0 0 16211 13 0 0 25 0 1 0 54834938 25841664 5208 1992294400 134512640 134902295 4293508896 18446744073709551615 4160558476 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6309 5208 269 96 0 5521 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33936 [startup+222.309 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24105 /proc/meminfo: memFree=1825980/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=34500 CPUtime=222.23 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 23408 0 0 0 22207 16 0 0 25 0 1 0 54834938 35328000 7484 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567422 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 8625 7484 269 96 0 7837 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 43200 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24107 /proc/meminfo: memFree=1833544/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=26960 CPUtime=282.21 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 30653 0 0 0 28200 21 0 0 25 0 1 0 54834938 27607040 5623 1992294400 134512640 134902295 4293508896 18446744073709551615 4160556394 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6740 5623 269 96 0 5952 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 35660 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24107 /proc/meminfo: memFree=1833420/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=26936 CPUtime=342.19 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 34714 0 0 0 34195 24 0 0 25 0 1 0 54834938 27582464 5599 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567509 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6734 5599 269 96 0 5946 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35636 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24109 /proc/meminfo: memFree=1829328/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=30816 CPUtime=402.17 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 38390 0 0 0 40191 26 0 0 25 0 1 0 54834938 31555584 6615 1992294400 134512640 134902295 4293508896 18446744073709551615 4160549352 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7704 6615 269 96 0 6916 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 39516 [startup+462.301 s] ################ # More data... # ################ /proc/24098/statm: 7552 6462 269 96 0 6764 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 38908 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24131 /proc/meminfo: memFree=1827840/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=31900 CPUtime=1181.97 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 78235 0 0 0 118134 63 0 0 25 0 1 0 54834938 32665600 6850 1992294400 134512640 134902295 4293508896 18446744073709551615 4160570365 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7975 6850 269 96 0 7187 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 40600 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24131 /proc/meminfo: memFree=1830196/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=29348 CPUtime=1241.96 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 82243 0 0 0 124130 66 0 0 25 0 1 0 54834938 30052352 6206 1992294400 134512640 134902295 4293508896 18446744073709551615 4160558608 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7337 6206 269 96 0 6549 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 38048 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24133 /proc/meminfo: memFree=1822508/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=36904 CPUtime=1301.94 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 84124 0 0 0 130126 68 0 0 25 0 1 0 54834938 37789696 8087 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567422 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 9226 8087 269 96 0 8438 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 45604 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24135 /proc/meminfo: memFree=1830692/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=28416 CPUtime=1361.93 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 87609 0 0 0 136121 72 0 0 25 0 1 0 54834938 29097984 6034 1992294400 134512640 134902295 4293508896 18446744073709551615 4160556647 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7104 6034 269 96 0 6316 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 37116 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24137 /proc/meminfo: memFree=1828088/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=31288 CPUtime=1421.92 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 91314 0 0 0 142118 74 0 0 25 0 1 0 54834938 32038912 6692 1992294400 134512640 134902295 4293508896 18446744073709551615 4160537256 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7822 6692 269 96 0 7034 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 39988 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24139 /proc/meminfo: memFree=1826600/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=32624 CPUtime=1481.9 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 95345 0 0 0 148114 76 0 0 25 0 1 0 54834938 33406976 7047 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567520 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 8156 7047 269 96 0 7368 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 41324 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/108 24139 /proc/meminfo: memFree=1831808/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=27224 CPUtime=1541.89 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 100755 0 0 0 154108 81 0 0 25 0 1 0 54834938 27877376 5705 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567584 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 6806 5705 269 96 0 6018 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 35924 [startup+1602.3 s] /proc/loadavg: 1.07 1.00 1.00 2/108 24141 /proc/meminfo: memFree=1824120/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=34992 CPUtime=1601.87 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 102696 0 0 0 160105 82 0 0 25 0 1 0 54834938 35831808 7646 1992294400 134512640 134902295 4293508896 18446744073709551615 4160556088 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 8748 7646 269 96 0 7960 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 43692 [startup+1662.3 s] /proc/loadavg: 1.03 1.00 1.00 2/108 24143 /proc/meminfo: memFree=1827468/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=31724 CPUtime=1661.85 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 106444 0 0 0 166100 85 0 0 25 0 1 0 54834938 32485376 6819 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567608 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 7931 6819 269 96 0 7143 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 40424 [startup+1722.3 s] /proc/loadavg: 1.01 1.00 1.00 2/108 24145 /proc/meminfo: memFree=1819904/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=39140 CPUtime=1721.84 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 108281 0 0 0 172096 88 0 0 25 0 1 0 54834938 40079360 8656 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567584 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 9785 8656 269 96 0 8997 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 47840 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24156 /proc/meminfo: memFree=1810604/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=48144 CPUtime=1781.81 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 110552 0 0 0 178091 90 0 0 25 0 1 0 54834938 49299456 10927 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567422 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 12036 10927 269 96 0 11248 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 56844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/108 24156 /proc/meminfo: memFree=1808744/2059040 swapFree=4135688/4192956 [pid=24096] ppid=24094 vsize=8700 CPUtime=0 /proc/24096/stat : 24096 (run) S 24094 24096 23664 0 -1 4202496 389 134 0 0 0 0 0 0 21 0 1 0 54834938 8908800 251 1992294400 4194304 4922060 140737422805328 18446744073709551615 216120532101 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24096/statm: 2175 251 211 178 0 68 0 [pid=24098] ppid=24096 vsize=50104 CPUtime=1800.01 /proc/24098/stat : 24098 (PBPASSolver) R 24096 24096 23664 0 -1 4202496 110994 0 0 0 179911 90 0 0 25 0 1 0 54834938 51306496 11369 1992294400 134512640 134902295 4293508896 18446744073709551615 4160567422 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/24098/statm: 12526 11369 269 96 0 11738 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 58804 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24096 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=1999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.01 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.52 CPU time (s): 1800.01 CPU user time (s): 1799.11 CPU system time (s): 0.9 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (KiB): 58804 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.000999 system time used= 0.001999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 523 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 4 runsolver used 2.80857 second user time and 8.66868 second system time The end
Begin job on node002 at 2010-06-17 18:31:50 IDJOB=2674566 IDBENCH=1513 IDSOLVER=1174 FILE ID=node002/2674566-1276792310 PBS_JOBID= 11176616 Free space on /tmp= 62568 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-pipex.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674566-1276792310/watcher-2674566-1276792310 -o /tmp/evaluation-result-2674566-1276792310/solver-2674566-1276792310 -C 1800 -W 2000 -M 1800 run HOME/instance-2674566-1276792310.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 3e6a99258fbc02bc052cab2d6151884d RANDOM SEED=1072319627 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.242 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1856524 kB Buffers: 27368 kB Cached: 81760 kB SwapCached: 10520 kB Active: 17020 kB Inactive: 105248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1856524 kB SwapTotal: 4192956 kB SwapFree: 4135688 kB Dirty: 644 kB Writeback: 0 kB AnonPages: 11680 kB Mapped: 9408 kB Slab: 58448 kB PageTables: 3976 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182336 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62568 MiB End job on node002 at 2010-06-17 19:01:52