Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.14 | 1800.65 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb |
MD5SUM | 72b327feddced7495a083616b5e4ecd7 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 13898 |
Total number of constraints | 672 |
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 | 656 |
Minimum length of a constraint | 7 |
Maximum length of a constraint | 1500 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 13421772800 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 53690300878 |
Number of bits of the biggest sum of numbers | 36 |
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.19/0.29 c constraints 672/0 clauses 0/0 units 5363 0.19/0.29 c vars 13898 0.19/0.29 c objective 30 + 0 1800.08/1800.60 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-2668368-1276563964/watcher-2668368-1276563964 -o /tmp/evaluation-result-2668368-1276563964/solver-2668368-1276563964 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668368-1276563964.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: 1.00 1.00 1.00 3/106 31379 /proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=2340 CPUtime=0 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 292 0 0 0 0 0 0 0 22 0 1 0 32000362 2396160 214 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31379/statm: 585 214 156 482 0 101 0 [startup+0.101128 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31379 /proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=4328 CPUtime=0.09 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 781 0 0 0 9 0 0 0 22 0 1 0 32000362 4431872 703 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31379/statm: 1082 703 157 482 0 598 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4328 [startup+0.201135 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31379 /proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=6388 CPUtime=0.19 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 1293 0 0 0 19 0 0 0 22 0 1 0 32000362 6541312 1215 1992294400 134512640 136485738 4288295664 18446744073709551615 135178839 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31379/statm: 1597 1216 157 482 0 1113 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6388 [startup+0.301143 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31379 /proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=8756 CPUtime=0.29 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 1847 0 0 0 29 0 0 0 22 0 1 0 32000362 8966144 1769 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 2189 1771 193 482 0 1705 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8756 [startup+0.701175 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31379 /proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=41292 CPUtime=0.69 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 10177 0 0 0 64 5 0 0 24 0 1 0 32000362 42283008 9725 1992294400 134512640 136485738 4288295664 18446744073709551615 135689025 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 10323 9726 197 482 0 9839 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 41292 [startup+1.50124 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31380 /proc/meminfo: memFree=1756744/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=91928 CPUtime=1.49 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 23573 0 0 0 139 10 0 0 25 0 1 0 32000362 94134272 22315 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 22982 22315 197 482 0 22498 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91928 [startup+3.10037 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31380 /proc/meminfo: memFree=1695116/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=206960 CPUtime=3.09 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 54182 0 0 0 287 22 0 0 25 0 1 0 32000362 211927040 51063 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 51740 51066 199 482 0 51256 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 206960 [startup+6.30063 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31380 /proc/meminfo: memFree=1569504/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=259200 CPUtime=6.29 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 67368 0 0 0 598 31 0 0 25 0 1 0 32000362 265420800 62828 1992294400 134512640 136485738 4288295664 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 64800 62828 228 482 0 64316 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 259200 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31380 /proc/meminfo: memFree=1568264/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=260268 CPUtime=12.69 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 67616 0 0 0 1228 41 0 0 25 0 1 0 32000362 266514432 63076 1992294400 134512640 136485738 4288295664 18446744073709551615 135039355 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 65067 63076 228 482 0 64583 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 260268 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31380 /proc/meminfo: memFree=1565040/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=263568 CPUtime=25.49 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 68448 0 0 0 2490 59 0 0 25 0 1 0 32000362 269893632 63908 1992294400 134512640 136485738 4288295664 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 65892 63908 228 482 0 65408 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 263568 [startup+51.1013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31382 /proc/meminfo: memFree=1561196/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=267708 CPUtime=51.08 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 69475 0 0 0 5012 96 0 0 25 0 1 0 32000362 274132992 64935 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 66927 64935 228 482 0 66443 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 267708 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31382 /proc/meminfo: memFree=1549168/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=279276 CPUtime=102.26 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 72379 0 0 0 10069 157 0 0 25 0 1 0 32000362 285978624 67839 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 69819 67839 228 482 0 69335 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 279276 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31384 /proc/meminfo: memFree=1535032/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=293468 CPUtime=162.24 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 75902 0 0 0 15991 233 0 0 25 0 1 0 32000362 300511232 71362 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 73367 71362 228 482 0 72883 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 293468 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31386 /proc/meminfo: memFree=1512712/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=315672 CPUtime=222.23 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 81444 0 0 0 21915 308 0 0 25 0 1 0 32000362 323248128 76904 1992294400 134512640 136485738 4288295664 18446744073709551615 135040782 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 78918 76904 228 482 0 78434 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 315672 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31388 /proc/meminfo: memFree=1501056/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=327156 CPUtime=282.21 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 84352 0 0 0 27846 375 0 0 25 0 1 0 32000362 335007744 79812 1992294400 134512640 136485738 4288295664 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 81789 79812 228 482 0 81305 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 327156 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31388 /proc/meminfo: memFree=1483200/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=344980 CPUtime=342.19 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 88776 0 0 0 33774 445 0 0 25 0 1 0 32000362 353259520 84236 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 86245 84236 228 482 0 85761 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 344980 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31390 /proc/meminfo: memFree=1465096/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=363604 CPUtime=402.18 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 93360 0 0 0 39699 519 0 0 25 0 1 0 32000362 372330496 88820 1992294400 134512640 136485738 4288295664 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 90901 88820 228 482 0 90417 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 363604 [startup+462.302 s] /proc/loadavg: 1.07 1.02 1.00 2/107 31395 /proc/meminfo: memFree=1446992/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=380648 CPUtime=462.16 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 97639 0 0 0 45631 585 0 0 25 0 1 0 32000362 389783552 93099 1992294400 134512640 136485738 4288295664 18446744073709551615 135725412 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 95162 93099 228 482 0 94678 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 380648 [startup+522.302 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31397 /proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=384344 CPUtime=522.14 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98583 0 0 0 51562 652 0 0 25 0 1 0 32000362 393568256 94043 1992294400 134512640 136485738 4288295664 18446744073709551615 135050961 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 96086 94043 228 482 0 95602 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 384344 [startup+582.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 31399 /proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=384344 CPUtime=582.13 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98583 0 0 0 57490 723 0 0 25 0 1 0 32000362 393568256 94043 1992294400 134512640 136485738 4288295664 18446744073709551615 135725429 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 96086 94043 228 482 0 95602 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 384344 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31399 /proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=384344 CPUtime=642.11 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98583 0 0 0 63423 788 0 0 25 0 1 0 32000362 393568256 94043 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 96086 94043 228 482 0 95602 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 384344 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31407 /proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=384344 CPUtime=882.05 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98586 0 0 0 87164 1041 0 0 25 0 1 0 32000362 393568256 94046 1992294400 134512640 136485738 4288295664 18446744073709551615 135173511 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 96086 94046 228 482 0 95602 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 384344 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31407 /proc/meminfo: memFree=1433600/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=394268 CPUtime=942.02 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 101077 0 0 0 93104 1098 0 0 25 0 1 0 32000362 403730432 96537 1992294400 134512640 136485738 4288295664 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 98567 96537 228 482 0 98083 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 394268 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31409 /proc/meminfo: memFree=1416116/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=411444 CPUtime=1002.01 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 105394 0 0 0 99038 1163 0 0 25 0 1 0 32000362 421318656 100854 1992294400 134512640 136485738 4288295664 18446744073709551615 134880991 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 102861 100854 228 482 0 102377 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 411444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31411 /proc/meminfo: memFree=1409792/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1061.99 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 104967 1232 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 134992641 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102441 228 482 0 103963 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 417788 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31413 /proc/meminfo: memFree=1409792/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1121.98 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 110899 1299 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102441 228 482 0 103963 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 417788 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31415 /proc/meminfo: memFree=1409668/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1181.95 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 116825 1370 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 135183923 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102441 228 482 0 103963 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 417788 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31415 /proc/meminfo: memFree=1409420/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1241.93 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 122759 1434 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 135039031 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102441 228 482 0 103963 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 417788 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31417 /proc/meminfo: memFree=1409296/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1301.92 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 128687 1505 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102444 228 482 0 103963 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 417788 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31419 /proc/meminfo: memFree=1409296/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1361.9 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 134621 1569 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102444 228 482 0 103963 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 417788 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31421 /proc/meminfo: memFree=1409296/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1421.89 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 140555 1634 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102444 228 482 0 103963 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 417788 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31423 /proc/meminfo: memFree=1409172/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=417788 CPUtime=1481.86 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 146496 1690 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104447 102444 228 482 0 103963 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 417788 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31423 /proc/meminfo: memFree=1408180/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=418988 CPUtime=1541.86 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107282 0 0 0 152435 1751 0 0 25 0 1 0 32000362 429043712 102742 1992294400 134512640 136485738 4288295664 18446744073709551615 135040785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 104747 102742 228 482 0 104263 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 418988 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31425 /proc/meminfo: memFree=1405824/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=421248 CPUtime=1601.83 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 158359 1824 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 105312 103302 228 482 0 104828 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 421248 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31427 /proc/meminfo: memFree=1405700/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=421248 CPUtime=1661.82 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 164293 1889 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135039336 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 105312 103302 228 482 0 104828 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 421248 [startup+1722.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 31429 /proc/meminfo: memFree=1405700/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=421248 CPUtime=1721.8 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 170223 1957 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135293332 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 105312 103302 228 482 0 104828 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 421248 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31431 /proc/meminfo: memFree=1405452/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=421248 CPUtime=1781.78 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 176151 2027 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 105312 103302 228 482 0 104828 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 421248 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31431 /proc/meminfo: memFree=1405452/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=421248 CPUtime=1800.08 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 177963 2045 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 105312 103302 228 482 0 104828 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 421248 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 1.02 1.01 1.00 2/107 31431 /proc/meminfo: memFree=1405452/2059040 swapFree=4140192/4192956 [pid=31379] ppid=31377 vsize=421248 CPUtime=1800.08 /proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 177963 2045 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31379/statm: 105312 103302 228 482 0 104828 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 421248 Child status: 0 Real time (s): 1800.65 CPU time (s): 1800.14 CPU user time (s): 1779.63 CPU system time (s): 20.5019 CPU usage (%): 99.9714 Max. virtual memory (cumulated for all children) (KiB): 421248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1779.63 system time used= 20.5019 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 107842 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= 17362 runsolver used 2.95755 second user time and 8.5197 second system time The end
Begin job on node003 at 2010-06-15 03:06:04 IDJOB=2668368 IDBENCH=2498 IDSOLVER=1170 FILE ID=node003/2668368-1276563964 PBS_JOBID= 11173499 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-danoint.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668368-1276563964/watcher-2668368-1276563964 -o /tmp/evaluation-result-2668368-1276563964/solver-2668368-1276563964 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668368-1276563964.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 72b327feddced7495a083616b5e4ecd7 RANDOM SEED=835017238 node003.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.251 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.50 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.251 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1821256 kB Buffers: 51264 kB Cached: 108108 kB SwapCached: 5848 kB Active: 71128 kB Inactive: 100968 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1821256 kB SwapTotal: 4192956 kB SwapFree: 4140192 kB Dirty: 2900 kB Writeback: 0 kB AnonPages: 11384 kB Mapped: 13048 kB Slab: 43756 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182744 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= 62572 MiB End job on node003 at 2010-06-15 03:36:07