Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.15 | 1802.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb |
MD5SUM | a5c62cef1e86c64304fd5ef232ab5991 |
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 | 107808 |
Total number of constraints | 3904 |
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 | 3904 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1440 |
Number of terms in the objective function | 38688 |
Biggest coefficient in the objective function | 348966092800 |
Number of bits for the biggest coefficient in the objective function | 39 |
Sum of the numbers in the objective function | 299074813804544 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 348966092800 |
Number of bits of the biggest number in a constraint | 39 |
Biggest sum of numbers in a constraint | 299074813804544 |
Number of bits of the biggest sum of numbers | 49 |
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.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 1.19/1.23 c constraints 3904/0 clauses 0/0 units 31808 1.19/1.23 c vars 107808 1.19/1.23 c objective 38688 + 0
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-2681928-1277486149/watcher-2681928-1277486149 -o /tmp/evaluation-result-2681928-1277486149/solver-2681928-1277486149 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681928-1277486149.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 1.01 0.99 3/106 21514 /proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=2416 CPUtime=0 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 295 0 0 0 0 0 0 0 21 0 1 0 122266819 2473984 215 1992294400 134512640 136421960 4287204144 18446744073709551615 135809586 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21514/statm: 604 215 138 467 0 135 0 [startup+0.029873 s] /proc/loadavg: 0.92 1.01 0.99 3/106 21514 /proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=3004 CPUtime=0.02 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 468 0 0 0 2 0 0 0 23 0 1 0 122266819 3076096 355 1992294400 134512640 136421960 4287204144 18446744073709551615 135809561 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21514/statm: 751 355 138 467 0 282 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3004 [startup+0.100886 s] /proc/loadavg: 0.92 1.01 0.99 3/106 21514 /proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=5864 CPUtime=0.09 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 1310 0 0 0 9 0 0 0 23 0 1 0 122266819 6004736 857 1992294400 134512640 136421960 4287204144 18446744073709551615 135153561 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21514/statm: 1466 857 138 467 0 997 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5864 [startup+0.300923 s] /proc/loadavg: 0.92 1.01 0.99 3/106 21514 /proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=8428 CPUtime=0.29 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 1958 0 0 0 29 0 0 0 23 0 1 0 122266819 8630272 1505 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21514/statm: 2107 1505 146 467 0 1638 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8428 [startup+0.700995 s] /proc/loadavg: 0.92 1.01 0.99 3/106 21514 /proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=17272 CPUtime=0.69 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 4165 0 0 0 68 1 0 0 25 0 1 0 122266819 17686528 3712 1992294400 134512640 136421960 4287204144 18446744073709551615 134523830 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/21514/statm: 4318 3712 146 467 0 3849 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17272 [startup+1.50114 s] /proc/loadavg: 0.92 1.01 0.99 2/107 21515 /proc/meminfo: memFree=1801300/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=55996 CPUtime=1.49 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 13813 0 0 0 143 6 0 0 25 0 1 0 122266819 57339904 13360 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 13999 13362 188 467 0 13530 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 55996 [startup+3.10143 s] /proc/loadavg: 0.92 1.01 0.99 2/107 21515 /proc/meminfo: memFree=1707804/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=204032 CPUtime=3.09 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 52046 0 0 0 286 23 0 0 25 0 1 0 122266819 208928768 49472 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 51008 49473 195 467 0 50539 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 204032 [startup+6.30101 s] /proc/loadavg: 0.93 1.01 0.99 2/107 21517 /proc/meminfo: memFree=1465012/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=425148 CPUtime=6.29 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 110329 0 0 0 579 50 0 0 25 0 1 0 122266819 435351552 104806 1992294400 134512640 136421960 4287204144 18446744073709551615 134632335 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 106287 104806 195 467 0 105818 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 425148 [startup+12.7012 s] /proc/loadavg: 0.93 1.01 0.99 2/107 21517 /proc/meminfo: memFree=1037212/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=854796 CPUtime=12.68 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 226043 0 0 0 1166 102 0 0 25 0 1 0 122266819 875311104 212511 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 213699 212512 195 467 0 213230 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 854796 [startup+25.5005 s] /proc/loadavg: 0.95 1.01 0.99 2/107 21517 /proc/meminfo: memFree=496572/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1389688 CPUtime=25.48 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 364043 0 0 0 2345 203 0 0 25 0 1 0 122266819 1423040512 330730 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 347422 330730 217 467 0 346953 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1389688 [startup+51.1012 s] /proc/loadavg: 0.96 1.00 0.99 2/107 21517 /proc/meminfo: memFree=495208/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1391036 CPUtime=51.07 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 364396 0 0 0 4698 409 0 0 25 0 1 0 122266819 1424420864 331083 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 347759 331083 217 467 0 347290 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1391036 [startup+102.308 s] /proc/loadavg: 0.98 1.00 0.99 2/107 21519 /proc/meminfo: memFree=492356/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1394308 CPUtime=102.26 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365102 0 0 0 9480 746 0 0 25 0 1 0 122266819 1427771392 331789 1992294400 134512640 136421960 4287204144 18446744073709551615 135160682 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 348577 331789 217 467 0 348108 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 1394308 [startup+162.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 21521 /proc/meminfo: memFree=491612/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1394968 CPUtime=162.24 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365264 0 0 0 15073 1151 0 0 25 0 1 0 122266819 1428447232 331951 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 348742 331951 217 467 0 348273 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1394968 [startup+222.301 s] /proc/loadavg: 1.05 1.02 1.00 2/107 21521 /proc/meminfo: memFree=490868/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1395628 CPUtime=222.22 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365447 0 0 0 20687 1535 0 0 25 0 1 0 122266819 1429123072 332134 1992294400 134512640 136421960 4287204144 18446744073709551615 134973954 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 348907 332134 217 467 0 348438 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1395628 [startup+282.301 s] /proc/loadavg: 1.05 1.03 1.00 2/107 21523 /proc/meminfo: memFree=490248/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1396288 CPUtime=282.2 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365598 0 0 0 26322 1898 0 0 25 0 1 0 122266819 1429798912 332285 1992294400 134512640 136421960 4287204144 18446744073709551615 135005984 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 349072 332285 217 467 0 348603 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1396288 [startup+342.301 s] /proc/loadavg: 1.13 1.05 1.01 2/107 21525 /proc/meminfo: memFree=488884/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1397560 CPUtime=342.17 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365931 0 0 0 31990 2227 0 0 25 0 1 0 122266819 1431101440 332618 1992294400 134512640 136421960 4287204144 18446744073709551615 135811183 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 349390 332618 217 467 0 348921 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 1397560 [startup+402.301 s] /proc/loadavg: 1.12 1.06 1.00 2/107 21527 /proc/meminfo: memFree=488388/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1398220 CPUtime=402.16 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366082 0 0 0 37635 2581 0 0 25 0 1 0 122266819 1431777280 332769 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 349555 332769 217 467 0 349086 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 1398220 [startup+462.301 s] /proc/loadavg: 1.11 1.06 1.00 2/107 21529 /proc/meminfo: memFree=487768/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1398748 CPUtime=462.14 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366213 0 0 0 43260 2954 0 0 25 0 1 0 122266819 1432317952 332900 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 349687 332900 217 467 0 349218 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 1398748 [startup+522.302 s] /proc/loadavg: 1.10 1.06 1.00 2/107 21529 /proc/meminfo: memFree=487148/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1399388 CPUtime=522.11 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366391 0 0 0 48920 3291 0 0 25 0 1 0 122266819 1432973312 333078 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 349847 333078 217 467 0 349378 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 1399388 [startup+582.302 s] /proc/loadavg: 1.09 1.06 1.00 2/107 21531 /proc/meminfo: memFree=486156/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1400180 CPUtime=582.1 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366567 0 0 0 54576 3634 0 0 25 0 1 0 122266819 1433784320 333254 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 350045 333254 217 467 0 349576 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1400180 [startup+642.301 s] /proc/loadavg: 1.29 1.14 1.03 2/107 21533 /proc/meminfo: memFree=485784/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1400576 CPUtime=642.08 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366675 0 0 0 60236 3972 0 0 25 0 1 0 122266819 1434189824 333362 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 350144 333362 217 467 0 349675 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 1400576 [startup+702.301 s] ################ # More data... # ################ /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368077 0 0 0 99965 6229 0 0 25 0 1 0 122266819 1439977472 334764 1992294400 134512640 136421960 4287204144 18446744073709551615 135686975 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 351557 334764 217 467 0 351088 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1406228 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 21545 /proc/meminfo: memFree=479212/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1406892 CPUtime=1121.92 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368245 0 0 0 105660 6532 0 0 25 0 1 0 122266819 1440657408 334932 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 351723 334932 217 467 0 351254 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1406892 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21547 /proc/meminfo: memFree=478344/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1407684 CPUtime=1181.89 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368455 0 0 0 111342 6847 0 0 25 0 1 0 122266819 1441468416 335142 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 351921 335142 217 467 0 351452 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 1407684 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 21549 /proc/meminfo: memFree=477476/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1408476 CPUtime=1241.87 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368637 0 0 0 117044 7143 0 0 25 0 1 0 122266819 1442279424 335324 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 352119 335324 217 467 0 351650 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1408476 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21551 /proc/meminfo: memFree=475988/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1409944 CPUtime=1301.87 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368986 0 0 0 122750 7437 0 0 25 0 1 0 122266819 1443782656 335673 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 352486 335673 217 467 0 352017 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 1409944 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21553 /proc/meminfo: memFree=475368/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1410604 CPUtime=1361.83 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369152 0 0 0 128422 7761 0 0 25 0 1 0 122266819 1444458496 335839 1992294400 134512640 136421960 4287204144 18446744073709551615 134597614 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 352651 335839 217 467 0 352182 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1410604 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 1.00 2/107 21556 /proc/meminfo: memFree=474376/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1410868 CPUtime=1421.83 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369229 0 0 0 134101 8082 0 0 25 0 1 0 122266819 1444728832 335916 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 352717 335916 217 467 0 352248 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1410868 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 21558 /proc/meminfo: memFree=473756/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1411660 CPUtime=1481.79 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369417 0 0 0 139805 8374 0 0 25 0 1 0 122266819 1445539840 336104 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 352915 336104 217 467 0 352446 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1411660 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21560 /proc/meminfo: memFree=473136/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1412056 CPUtime=1541.78 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369536 0 0 0 145493 8685 0 0 25 0 1 0 122266819 1445945344 336223 1992294400 134512640 136421960 4287204144 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 353014 336223 217 467 0 352545 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1412056 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21562 /proc/meminfo: memFree=471772/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1413512 CPUtime=1601.76 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369897 0 0 0 151194 8982 0 0 25 0 1 0 122266819 1447436288 336584 1992294400 134512640 136421960 4287204144 18446744073709551615 135818467 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 353378 336584 217 467 0 352909 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1413512 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21564 /proc/meminfo: memFree=470904/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1414304 CPUtime=1661.73 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370102 0 0 0 156880 9293 0 0 25 0 1 0 122266819 1448247296 336789 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 353576 336789 217 467 0 353107 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1414304 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21564 /proc/meminfo: memFree=469664/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1415492 CPUtime=1721.72 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370416 0 0 0 162570 9602 0 0 25 0 1 0 122266819 1449463808 337103 1992294400 134512640 136421960 4287204144 18446744073709551615 135006120 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 353873 337103 217 467 0 353404 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1415492 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21566 /proc/meminfo: memFree=468176/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1416944 CPUtime=1781.69 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370773 0 0 0 168284 9885 0 0 25 0 1 0 122266819 1450950656 337460 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 354236 337460 217 467 0 353767 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1416944 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21566 /proc/meminfo: memFree=467804/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/21514/statm: 354369 337545 217 467 0 353900 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1417476 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Sending SIGKILL to -21514 Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 21566 /proc/meminfo: memFree=467804/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01 /proc/21514/stat : 21514 (pbct) S 21512 21514 20789 0 -1 4194304 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135884462 0 16384 4096 16387 18446604436671133568 0 0 17 1 0 0 0 /proc/21514/statm: 354369 337545 217 467 0 353900 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1417476 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 1/108 21567 /proc/meminfo: memFree=467796/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01 /proc/21514/stat : 21514 (pbct) S 21512 21514 20789 0 -1 4194304 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135884462 0 16384 4096 16387 18446604436671133568 0 0 17 1 0 0 0 /proc/21514/statm: 354369 337545 217 467 0 353900 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1417476 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 1/108 21567 /proc/meminfo: memFree=467796/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01 /proc/21514/stat : 21514 (pbct) S 21512 21514 20789 0 -1 4194304 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135884462 0 16384 4096 16387 18446604436671133568 0 0 17 1 0 0 0 /proc/21514/statm: 354369 337545 217 467 0 353900 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1417476 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 1/108 21567 /proc/meminfo: memFree=467796/2059040 swapFree=4136184/4192956 [pid=21514] ppid=21512 vsize=0 CPUtime=1800.09 /proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4195332 370858 0 0 0 170016 9993 0 0 18 0 1 0 122266819 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/21514/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.76 CPU time (s): 1800.15 CPU user time (s): 1700.16 CPU system time (s): 99.9898 CPU usage (%): 99.8555 Max. virtual memory (cumulated for all children) (KiB): 1417476 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1700.16 system time used= 99.9898 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 370858 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= 2 involuntary context switches= 5031 runsolver used 4.05538 second user time and 8.96264 second system time The end
Begin job on node027 at 2010-06-25 19:15:50 IDJOB=2681928 IDBENCH=2372 IDSOLVER=1192 FILE ID=node027/2681928-1277486149 PBS_JOBID= 11190515 Free space on /tmp= 62024 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681928-1277486149/watcher-2681928-1277486149 -o /tmp/evaluation-result-2681928-1277486149/solver-2681928-1277486149 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681928-1277486149.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a5c62cef1e86c64304fd5ef232ab5991 RANDOM SEED=395448940 node027.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 : 2800.261 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 : 5600.52 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 : 2800.261 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: 1822288 kB Buffers: 37628 kB Cached: 109896 kB SwapCached: 9196 kB Active: 18008 kB Inactive: 142636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1822288 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 6604 kB Writeback: 0 kB AnonPages: 11812 kB Mapped: 8412 kB Slab: 54204 kB PageTables: 4132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183048 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62024 MiB End job on node027 at 2010-06-25 19:45:53