Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.06 | 1800.64 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb |
MD5SUM | 5d1a4fe23dd6bae39a646bf16e233a2d |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 159425264299921103 |
Best CPU time to get the best result obtained on this benchmark | 1800.33 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 168760139499919105 |
Optimality of the best value was proved | NO |
Number of variables | 6363 |
Total number of constraints | 785 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 785 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 141 |
Number of terms in the objective function | 3774 |
Biggest coefficient in the objective function | 3604480000000000 |
Number of bits for the biggest coefficient in the objective function | 52 |
Sum of the numbers in the objective function | 483609165299803395 |
Number of bits of the sum of numbers in the objective function | 59 |
Biggest number in a constraint | 3604480000000000 |
Number of bits of the biggest number in a constraint | 52 |
Biggest sum of numbers in a constraint | 483609165299803395 |
Number of bits of the biggest sum of numbers | 59 |
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.00 c PB/CT 0.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.04/0.09 c constraints 705/0 clauses 80/0 units 0 0.04/0.09 c vars 6363 0.04/0.09 c objective 3774 + 0 1800.02/1800.61 s UNKNOWN
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-2668744-1276572414/watcher-2668744-1276572414 -o /tmp/evaluation-result-2668744-1276572414/solver-2668744-1276572414 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668744-1276572414.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.92 0.98 1.06 3/106 1325 /proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=2208 CPUtime=0 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 260 0 0 0 0 0 0 0 20 0 1 0 32842822 2260992 183 1992294400 134512640 136485738 4288926128 18446744073709551615 135346650 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 552 183 151 482 0 68 0 [startup+0.0487861 s] /proc/loadavg: 0.92 0.98 1.06 3/106 1325 /proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=3016 CPUtime=0.04 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 480 0 0 0 4 0 0 0 20 0 1 0 32842822 3088384 403 1992294400 134512640 136485738 4288926128 18446744073709551615 135177538 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1325/statm: 754 404 156 482 0 270 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 3016 [startup+0.101795 s] /proc/loadavg: 0.92 0.98 1.06 3/106 1325 /proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=5380 CPUtime=0.09 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 1025 0 0 0 9 0 0 0 20 0 1 0 32842822 5509120 949 1992294400 134512640 136485738 4288926128 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 1345 950 194 482 0 861 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5380 [startup+0.30183 s] /proc/loadavg: 0.92 0.98 1.06 3/106 1325 /proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=22964 CPUtime=0.29 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 5408 0 0 0 26 3 0 0 20 0 1 0 32842822 23515136 5298 1992294400 134512640 136485738 4288926128 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 5741 5299 198 482 0 5257 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22964 [startup+0.701898 s] /proc/loadavg: 0.92 0.98 1.06 3/106 1325 /proc/meminfo: memFree=1767612/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=49804 CPUtime=0.69 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 12484 0 0 0 62 7 0 0 21 0 1 0 32842822 50999296 11968 1992294400 134512640 136485738 4288926128 18446744073709551615 134725694 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 12451 11968 198 482 0 11967 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 49804 [startup+1.50104 s] /proc/loadavg: 0.92 0.98 1.06 2/107 1326 /proc/meminfo: memFree=1705356/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=121732 CPUtime=1.49 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 31454 0 0 0 134 15 0 0 23 0 1 0 32842822 124653568 30004 1992294400 134512640 136485738 4288926128 18446744073709551615 135857123 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 30433 30004 199 482 0 29949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 121732 [startup+3.10131 s] /proc/loadavg: 0.92 0.98 1.06 2/107 1326 /proc/meminfo: memFree=1633312/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=139372 CPUtime=3.09 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 35795 0 0 0 286 23 0 0 25 0 1 0 32842822 142716928 33788 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 34843 33788 228 482 0 34359 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 139372 [startup+6.30086 s] /proc/loadavg: 0.93 0.98 1.06 2/107 1326 /proc/meminfo: memFree=1632568/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=139504 CPUtime=6.29 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 35846 0 0 0 587 42 0 0 25 0 1 0 32842822 142852096 33839 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 34876 33839 228 482 0 34392 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 139504 [startup+12.701 s] /proc/loadavg: 0.93 0.98 1.06 2/107 1326 /proc/meminfo: memFree=1631824/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=140040 CPUtime=12.69 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 35967 0 0 0 1202 67 0 0 25 0 1 0 32842822 143400960 33960 1992294400 134512640 136485738 4288926128 18446744073709551615 135037865 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 35010 33960 228 482 0 34526 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 140040 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 1.06 2/107 1326 /proc/meminfo: memFree=1630956/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=141056 CPUtime=25.49 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 36214 0 0 0 2439 110 0 0 25 0 1 0 32842822 144441344 34207 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 35264 34207 228 482 0 34780 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 141056 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 1.05 2/107 1328 /proc/meminfo: memFree=1627484/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=144408 CPUtime=51.08 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 37073 0 0 0 4905 203 0 0 25 0 1 0 32842822 147873792 35066 1992294400 134512640 136485738 4288926128 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 36102 35066 228 482 0 35618 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 144408 [startup+102.309 s] /proc/loadavg: 0.98 0.98 1.05 2/107 1330 /proc/meminfo: memFree=1620912/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=150704 CPUtime=102.27 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 38637 0 0 0 9839 388 0 0 25 0 1 0 32842822 154320896 36630 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 37676 36630 228 482 0 37192 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 150704 [startup+162.302 s] /proc/loadavg: 0.99 0.98 1.04 2/107 1330 /proc/meminfo: memFree=1613224/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=158436 CPUtime=162.24 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 40576 0 0 0 15622 602 0 0 25 0 1 0 32842822 162238464 38569 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 39609 38569 228 482 0 39125 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 158436 [startup+222.301 s] /proc/loadavg: 0.99 0.98 1.04 2/107 1332 /proc/meminfo: memFree=1612728/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=158980 CPUtime=222.22 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 40667 0 0 0 21387 835 0 0 25 0 1 0 32842822 162795520 38660 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 39745 38660 228 482 0 39261 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 158980 [startup+282.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 1334 /proc/meminfo: memFree=1610248/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=161384 CPUtime=282.2 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 41273 0 0 0 27164 1056 0 0 25 0 1 0 32842822 165257216 39266 1992294400 134512640 136485738 4288926128 18446744073709551615 135044106 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 40346 39266 228 482 0 39862 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 161384 [startup+342.301 s] /proc/loadavg: 0.99 0.98 1.03 2/107 1336 /proc/meminfo: memFree=1607272/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=164444 CPUtime=342.18 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 42032 0 0 0 32944 1274 0 0 25 0 1 0 32842822 168390656 40025 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 41111 40025 228 482 0 40627 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 164444 [startup+402.302 s] /proc/loadavg: 0.99 0.98 1.02 2/107 1336 /proc/meminfo: memFree=1607148/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=164840 CPUtime=402.16 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 42123 0 0 0 38732 1484 0 0 25 0 1 0 32842822 168796160 40116 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 41210 40116 228 482 0 40726 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 164840 [startup+462.301 s] /proc/loadavg: 0.99 0.98 1.01 2/107 1338 /proc/meminfo: memFree=1602932/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=168760 CPUtime=462.14 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 43100 0 0 0 44510 1704 0 0 25 0 1 0 32842822 172810240 41093 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 42190 41093 228 482 0 41706 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 168760 [startup+522.302 s] /proc/loadavg: 0.99 0.98 1.01 2/107 1340 /proc/meminfo: memFree=1598096/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=173464 CPUtime=522.12 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44301 0 0 0 50302 1910 0 0 25 0 1 0 32842822 177627136 42294 1992294400 134512640 136485738 4288926128 18446744073709551615 135047540 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 43366 42294 228 482 0 42882 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 173464 [startup+582.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 1342 /proc/meminfo: memFree=1598096/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=173464 CPUtime=582.1 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44301 0 0 0 56106 2104 0 0 25 0 1 0 32842822 177627136 42294 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 43366 42294 228 482 0 42882 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 173464 [startup+642.301 s] /proc/loadavg: 0.99 0.98 1.00 2/107 1344 /proc/meminfo: memFree=1598096/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=173464 CPUtime=642.09 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44302 0 0 0 61896 2313 0 0 25 0 1 0 32842822 177627136 42295 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 43366 42295 228 482 0 42882 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 173464 [startup+702.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.03 1.00 1.00 2/107 1348 /proc/meminfo: memFree=1595616/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=175976 CPUtime=822.02 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 44869 0 0 0 79237 2965 0 0 25 0 1 0 32842822 180199424 42862 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 43994 42862 228 482 0 43510 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 175976 [startup+882.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 1350 /proc/meminfo: memFree=1586316/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=185244 CPUtime=882.01 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47188 0 0 0 84991 3210 0 0 25 0 1 0 32842822 189689856 45181 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46311 45181 228 482 0 45827 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 185244 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1352 /proc/meminfo: memFree=1586316/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=185244 CPUtime=941.98 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47188 0 0 0 90769 3429 0 0 25 0 1 0 32842822 189689856 45181 1992294400 134512640 136485738 4288926128 18446744073709551615 134882833 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46311 45181 228 482 0 45827 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 185244 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1352 /proc/meminfo: memFree=1584704/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=186712 CPUtime=1001.96 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47580 0 0 0 96565 3631 0 0 25 0 1 0 32842822 191193088 45573 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46678 45573 228 482 0 46194 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 186712 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1354 /proc/meminfo: memFree=1583960/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=187600 CPUtime=1061.95 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47751 0 0 0 102383 3812 0 0 25 0 1 0 32842822 192102400 45744 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46900 45744 228 482 0 46416 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 187600 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1356 /proc/meminfo: memFree=1583712/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=187776 CPUtime=1121.93 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47785 0 0 0 108195 3998 0 0 25 0 1 0 32842822 192282624 45778 1992294400 134512640 136485738 4288926128 18446744073709551615 135037862 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46944 45778 228 482 0 46460 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 187776 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1358 /proc/meminfo: memFree=1583712/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=187776 CPUtime=1181.91 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47785 0 0 0 113996 4195 0 0 25 0 1 0 32842822 192282624 45778 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46944 45778 228 482 0 46460 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 187776 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1360 /proc/meminfo: memFree=1583464/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=187776 CPUtime=1241.89 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 47785 0 0 0 119767 4422 0 0 25 0 1 0 32842822 192282624 45778 1992294400 134512640 136485738 4288926128 18446744073709551615 135044912 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 46944 45778 228 482 0 46460 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 187776 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1360 /proc/meminfo: memFree=1581976/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=189228 CPUtime=1301.87 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 48166 0 0 0 125571 4616 0 0 25 0 1 0 32842822 193769472 46159 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 47307 46159 228 482 0 46823 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 189228 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1362 /proc/meminfo: memFree=1580116/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=190960 CPUtime=1361.85 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 48605 0 0 0 131359 4826 0 0 25 0 1 0 32842822 195543040 46598 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 47740 46598 228 482 0 47256 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 190960 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1364 /proc/meminfo: memFree=1580116/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=190960 CPUtime=1421.84 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 48605 0 0 0 137154 5030 0 0 25 0 1 0 32842822 195543040 46598 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 47740 46598 228 482 0 47256 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 190960 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1366 /proc/meminfo: memFree=1576768/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=194396 CPUtime=1481.81 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 49458 0 0 0 142928 5253 0 0 25 0 1 0 32842822 199061504 47451 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 48599 47451 228 482 0 48115 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 194396 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1368 /proc/meminfo: memFree=1576768/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=194396 CPUtime=1541.79 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 49458 0 0 0 148705 5474 0 0 25 0 1 0 32842822 199061504 47451 1992294400 134512640 136485738 4288926128 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 48599 47451 228 482 0 48115 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 194396 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1368 /proc/meminfo: memFree=1576768/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=194396 CPUtime=1601.77 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 49458 0 0 0 154487 5690 0 0 25 0 1 0 32842822 199061504 47451 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 48599 47451 228 482 0 48115 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 194396 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1371 /proc/meminfo: memFree=1566352/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=204772 CPUtime=1661.76 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52020 0 0 0 160307 5869 0 0 25 0 1 0 32842822 209686528 50013 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 51193 50013 228 482 0 50709 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 204772 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1373 /proc/meminfo: memFree=1565608/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=205548 CPUtime=1721.73 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52188 0 0 0 166097 6076 0 0 25 0 1 0 32842822 210481152 50181 1992294400 134512640 136485738 4288926128 18446744073709551615 134886623 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 51387 50181 228 482 0 50903 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 205548 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1375 /proc/meminfo: memFree=1565112/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=205704 CPUtime=1781.72 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52243 0 0 0 171964 6208 0 0 25 0 1 0 32842822 210640896 50236 1992294400 134512640 136485738 4288926128 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 51426 50236 228 482 0 50942 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 205704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1375 /proc/meminfo: memFree=1565112/2059040 swapFree=4136088/4192956 [pid=1325] ppid=1323 vsize=205704 CPUtime=1800.02 /proc/1325/stat : 1325 (pbct) R 1323 1325 32726 0 -1 4202496 52245 0 0 0 173730 6272 0 0 25 0 1 0 32842822 210640896 50238 1992294400 134512640 136485738 4288926128 18446744073709551615 135038022 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1325/statm: 51426 50238 228 482 0 50942 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 205704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.06 CPU user time (s): 1737.3 CPU system time (s): 62.7505 CPU usage (%): 99.9676 Max. virtual memory (cumulated for all children) (KiB): 205704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1737.3 system time used= 62.7505 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52245 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= 1 involuntary context switches= 24471 runsolver used 2.91756 second user time and 8.5627 second system time The end
Begin job on node014 at 2010-06-15 05:26:54 IDJOB=2668744 IDBENCH=2529 IDSOLVER=1170 FILE ID=node014/2668744-1276572414 PBS_JOBID= 11173509 Free space on /tmp= 62572 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668744-1276572414/watcher-2668744-1276572414 -o /tmp/evaluation-result-2668744-1276572414/solver-2668744-1276572414 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668744-1276572414.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5d1a4fe23dd6bae39a646bf16e233a2d RANDOM SEED=234136115 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1768140 kB Buffers: 69292 kB Cached: 131236 kB SwapCached: 11636 kB Active: 85448 kB Inactive: 129848 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1768140 kB SwapTotal: 4192956 kB SwapFree: 4136088 kB Dirty: 2248 kB Writeback: 0 kB AnonPages: 12028 kB Mapped: 9376 kB Slab: 53856 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182944 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 node014 at 2010-06-15 05:56:57