Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.07 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-agg.opb |
MD5SUM | 4f19aa044e880280faec0077a2509ba8 |
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 | 4890 |
Total number of constraints | 363 |
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 | 363 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 540 |
Number of terms in the objective function | 3930 |
Biggest coefficient in the objective function | 5373004087296 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 556141355997381 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 22763326668800000 |
Number of bits of the biggest number in a constraint | 55 |
Biggest sum of numbers in a constraint | 46271983665442689 |
Number of bits of the biggest sum of numbers | 56 |
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.21 c constraints 363/0 clauses 0/0 units 369 0.19/0.21 c vars 4890 0.19/0.21 c objective 3820 + -98551774156837 1800.02/1800.71 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-2668361-1276556705/watcher-2668361-1276556705 -o /tmp/evaluation-result-2668361-1276556705/solver-2668361-1276556705 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668361-1276556705.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 0.99 3/106 1993 /proc/meminfo: memFree=1807764/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=2352 CPUtime=0 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 279 0 0 0 0 0 0 0 20 0 1 0 31272099 2408448 201 1992294400 134512640 136485738 4293036464 18446744073709551615 135869175 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1993/statm: 588 201 151 482 0 104 0 [startup+0.0667759 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1993 /proc/meminfo: memFree=1807764/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=3412 CPUtime=0.06 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 554 0 0 0 6 0 0 0 20 0 1 0 31272099 3493888 476 1992294400 134512640 136485738 4293036464 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1993/statm: 853 476 157 482 0 369 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3412 [startup+0.100781 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1993 /proc/meminfo: memFree=1807764/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=4072 CPUtime=0.09 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 718 0 0 0 9 0 0 0 20 0 1 0 31272099 4169728 640 1992294400 134512640 136485738 4293036464 18446744073709551615 135411185 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1993/statm: 1018 640 157 482 0 534 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4072 [startup+0.300817 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1993 /proc/meminfo: memFree=1807764/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=15064 CPUtime=0.29 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 3474 0 0 0 28 1 0 0 20 0 1 0 31272099 15425536 3396 1992294400 134512640 136485738 4293036464 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 3766 3398 197 482 0 3282 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15064 [startup+0.700889 s] /proc/loadavg: 0.92 0.98 0.99 3/106 1993 /proc/meminfo: memFree=1807764/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=45844 CPUtime=0.69 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 11426 0 0 0 66 3 0 0 21 0 1 0 31272099 46944256 10909 1992294400 134512640 136485738 4293036464 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 11461 10910 197 482 0 10977 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 45844 [startup+1.50103 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1994 /proc/meminfo: memFree=1744888/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=97500 CPUtime=1.49 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 25044 0 0 0 140 9 0 0 23 0 1 0 31272099 99840000 23786 1992294400 134512640 136485738 4293036464 18446744073709551615 134651003 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 24375 23786 197 482 0 23891 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 97500 [startup+3.10132 s] /proc/loadavg: 0.92 0.98 0.99 2/107 1994 /proc/meminfo: memFree=1680904/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=223952 CPUtime=3.09 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 58525 0 0 0 286 23 0 0 25 0 1 0 31272099 229326848 54204 1992294400 134512640 136485738 4293036464 18446744073709551615 134949176 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 55988 54204 210 482 0 55504 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 223952 [startup+6.30089 s] /proc/loadavg: 0.93 0.98 0.99 2/107 1994 /proc/meminfo: memFree=1573272/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=242952 CPUtime=6.29 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 63202 0 0 0 596 33 0 0 25 0 1 0 31272099 248782848 58623 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 60738 58623 227 482 0 60254 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 242952 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 1994 /proc/meminfo: memFree=1572404/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=244008 CPUtime=12.69 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 63461 0 0 0 1210 59 0 0 25 0 1 0 31272099 249864192 58882 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 61002 58882 228 482 0 60518 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 244008 [startup+25.5003 s] /proc/loadavg: 0.95 0.98 0.99 2/107 1994 /proc/meminfo: memFree=1566452/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=249628 CPUtime=25.48 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 64891 0 0 0 2425 123 0 0 25 0 1 0 31272099 255619072 60312 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 62407 60312 228 482 0 61923 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 249628 [startup+51.1009 s] /proc/loadavg: 0.96 0.98 0.99 2/107 1994 /proc/meminfo: memFree=1553308/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=262944 CPUtime=51.07 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 68189 0 0 0 4871 236 0 0 25 0 1 0 31272099 269254656 63610 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 65736 63610 228 482 0 65252 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 262944 [startup+102.308 s] /proc/loadavg: 0.98 0.98 0.99 2/107 1996 /proc/meminfo: memFree=1535204/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=280792 CPUtime=102.26 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 72645 0 0 0 9823 403 0 0 25 0 1 0 31272099 287531008 68066 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 70198 68066 228 482 0 69714 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 280792 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 1998 /proc/meminfo: memFree=1521564/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=294572 CPUtime=162.22 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 76051 0 0 0 15698 524 0 0 25 0 1 0 31272099 301641728 71472 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 73643 71472 228 482 0 73159 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 294572 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2000 /proc/meminfo: memFree=1520076/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=296288 CPUtime=222.2 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 76410 0 0 0 21519 701 0 0 25 0 1 0 31272099 303398912 71831 1992294400 134512640 136485738 4293036464 18446744073709551615 135044875 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 74072 71831 228 482 0 73588 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 296288 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2000 /proc/meminfo: memFree=1519952/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=296288 CPUtime=282.18 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 76413 0 0 0 27333 885 0 0 25 0 1 0 31272099 303398912 71834 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 74072 71834 228 482 0 73588 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 296288 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2002 /proc/meminfo: memFree=1517596/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=298996 CPUtime=342.16 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 77053 0 0 0 33211 1005 0 0 25 0 1 0 31272099 306171904 72474 1992294400 134512640 136485738 4293036464 18446744073709551615 135860795 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 74749 72474 228 482 0 74265 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 298996 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2004 /proc/meminfo: memFree=1499492/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=317152 CPUtime=402.14 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 81513 0 0 0 39126 1088 0 0 25 0 1 0 31272099 324763648 76934 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 79288 76934 228 482 0 78804 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 317152 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2006 /proc/meminfo: memFree=1499492/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=317152 CPUtime=462.11 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 81520 0 0 0 45074 1137 0 0 25 0 1 0 31272099 324763648 76941 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 79288 76941 228 482 0 78804 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 317152 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 2008 /proc/meminfo: memFree=1492548/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=324476 CPUtime=522.09 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 83291 0 0 0 51029 1180 0 0 25 0 1 0 31272099 332263424 78712 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 81119 78712 228 482 0 80635 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 324476 [startup+582.301 s] /proc/loadavg: 1.03 1.00 1.00 2/107 2011 /proc/meminfo: memFree=1476800/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=340004 CPUtime=582.06 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 87128 0 0 0 56986 1220 0 0 25 0 1 0 31272099 348164096 82549 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 85001 82549 228 482 0 84517 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 340004 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 2014 /proc/meminfo: memFree=1472088/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=344432 CPUtime=642.05 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 88212 0 0 0 62922 1283 0 0 25 0 1 0 31272099 352698368 83633 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 86108 83633 228 482 0 85624 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 344432 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2020 /proc/meminfo: memFree=1465640/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=350708 CPUtime=881.94 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 89801 0 0 0 86724 1470 0 0 25 0 1 0 31272099 359124992 85222 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 87677 85222 228 482 0 87193 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 350708 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2022 /proc/meminfo: memFree=1465640/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=350708 CPUtime=941.93 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 89801 0 0 0 92680 1513 0 0 25 0 1 0 31272099 359124992 85222 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 87677 85222 228 482 0 87193 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 350708 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2024 /proc/meminfo: memFree=1465640/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=350708 CPUtime=1001.9 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 89805 0 0 0 98632 1558 0 0 25 0 1 0 31272099 359124992 85226 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 87677 85226 228 482 0 87193 0 Current children cumulated CPU time (s) 1001.9 Current children cumulated vsize (KiB) 350708 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2026 /proc/meminfo: memFree=1464524/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=351916 CPUtime=1061.88 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 90081 0 0 0 104599 1589 0 0 25 0 1 0 31272099 360361984 85502 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 87979 85502 228 482 0 87495 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 351916 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2028 /proc/meminfo: memFree=1451504/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=364720 CPUtime=1121.85 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 93336 0 0 0 110557 1628 0 0 25 0 1 0 31272099 373473280 88757 1992294400 134512640 136485738 4293036464 18446744073709551615 135173440 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 91180 88757 228 482 0 90696 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 364720 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2028 /proc/meminfo: memFree=1447288/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1181.83 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94348 0 0 0 116495 1688 0 0 25 0 1 0 31272099 377712640 89769 1992294400 134512640 136485738 4293036464 18446744073709551615 134882248 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89769 228 482 0 91731 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 368860 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2030 /proc/meminfo: memFree=1447288/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1241.81 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94356 0 0 0 122442 1739 0 0 25 0 1 0 31272099 377712640 89777 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89777 228 482 0 91731 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 368860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2033 /proc/meminfo: memFree=1447288/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1301.8 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94356 0 0 0 128400 1780 0 0 25 0 1 0 31272099 377712640 89777 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89777 228 482 0 91731 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 368860 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2035 /proc/meminfo: memFree=1447288/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1361.77 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94356 0 0 0 134362 1815 0 0 25 0 1 0 31272099 377712640 89777 1992294400 134512640 136485738 4293036464 18446744073709551615 134880552 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89777 228 482 0 91731 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 368860 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2037 /proc/meminfo: memFree=1447164/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1421.75 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94359 0 0 0 140326 1849 0 0 25 0 1 0 31272099 377712640 89780 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89780 228 482 0 91731 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 368860 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2037 /proc/meminfo: memFree=1447164/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1481.72 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94366 0 0 0 146293 1879 0 0 25 0 1 0 31272099 377712640 89787 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89787 228 482 0 91731 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 368860 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2039 /proc/meminfo: memFree=1447164/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1541.7 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94367 0 0 0 152230 1940 0 0 25 0 1 0 31272099 377712640 89788 1992294400 134512640 136485738 4293036464 18446744073709551615 134883969 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89788 228 482 0 91731 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 368860 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2041 /proc/meminfo: memFree=1447040/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1601.68 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94368 0 0 0 158181 1987 0 0 25 0 1 0 31272099 377712640 89789 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89789 228 482 0 91731 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 368860 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2043 /proc/meminfo: memFree=1447040/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1661.66 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94368 0 0 0 164141 2025 0 0 25 0 1 0 31272099 377712640 89789 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89789 228 482 0 91731 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 368860 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2045 /proc/meminfo: memFree=1447040/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1721.63 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94375 0 0 0 170106 2057 0 0 25 0 1 0 31272099 377712640 89796 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89796 228 482 0 91731 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 368860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2045 /proc/meminfo: memFree=1446916/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1781.61 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94379 0 0 0 176073 2088 0 0 25 0 1 0 31272099 377712640 89800 1992294400 134512640 136485738 4293036464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89800 228 482 0 91731 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 368860 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2047 /proc/meminfo: memFree=1446916/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1800.02 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94386 0 0 0 177890 2112 0 0 25 0 1 0 31272099 377712640 89807 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89807 228 482 0 91731 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 368860 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 2047 /proc/meminfo: memFree=1446916/2059040 swapFree=4136716/4192956 [pid=1993] ppid=1991 vsize=368860 CPUtime=1800.02 /proc/1993/stat : 1993 (pbct) R 1991 1993 1641 0 -1 4202496 94386 0 0 0 177890 2112 0 0 25 0 1 0 31272099 377712640 89807 1992294400 134512640 136485738 4293036464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1993/statm: 92215 89807 228 482 0 91731 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 368860 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.07 CPU user time (s): 1778.91 CPU system time (s): 21.1608 CPU usage (%): 99.9618 Max. virtual memory (cumulated for all children) (KiB): 368860 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1778.91 system time used= 21.1608 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94386 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= 16627 runsolver used 2.96255 second user time and 8.5177 second system time The end
Begin job on node012 at 2010-06-15 01:05:05 IDJOB=2668361 IDBENCH=2457 IDSOLVER=1170 FILE ID=node012/2668361-1276556705 PBS_JOBID= 11173496 Free space on /tmp= 62504 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-agg.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668361-1276556705/watcher-2668361-1276556705 -o /tmp/evaluation-result-2668361-1276556705/solver-2668361-1276556705 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668361-1276556705.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4f19aa044e880280faec0077a2509ba8 RANDOM SEED=588405772 node012.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1808168 kB Buffers: 49956 kB Cached: 121640 kB SwapCached: 9652 kB Active: 75572 kB Inactive: 108756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1808168 kB SwapTotal: 4192956 kB SwapFree: 4136716 kB Dirty: 2752 kB Writeback: 0 kB AnonPages: 11036 kB Mapped: 9344 kB Slab: 44640 kB PageTables: 4012 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181988 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= 62500 MiB End job on node012 at 2010-06-15 01:35:08