Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.24 | 1800.96 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb |
MD5SUM | a644593dc228e712d5b0d277ee939168 |
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 | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 31125091123200 |
Number of bits for the biggest coefficient in the objective function | 45 |
Sum of the numbers in the objective function | 14624065344515792 |
Number of bits of the sum of numbers in the objective function | 54 |
Biggest number in a constraint | 31125091123200 |
Number of bits of the biggest number in a constraint | 45 |
Biggest sum of numbers in a constraint | 14624065344515792 |
Number of bits of the biggest sum of numbers | 54 |
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 1.10/1.18 c constraints 3312/0 clauses 0/0 units 32080 1.10/1.18 c vars 103872 1.10/1.18 c objective 37632 + 0 1800.09/1800.81 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-2668329-1276537749/watcher-2668329-1276537749 -o /tmp/evaluation-result-2668329-1276537749/solver-2668329-1276537749 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668329-1276537749.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: 2.23 2.03 1.66 3/106 30452 /proc/meminfo: memFree=1805628/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=2488 CPUtime=0 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 303 0 0 0 0 0 0 0 20 0 1 0 29378419 2547712 226 1992294400 134512640 136485738 4294766912 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30452/statm: 622 226 151 482 0 138 0 [startup+0.106673 s] /proc/loadavg: 2.23 2.03 1.66 3/106 30452 /proc/meminfo: memFree=1805628/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=5936 CPUtime=0.09 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 1304 0 0 0 9 0 0 0 20 0 1 0 29378419 6078464 854 1992294400 134512640 136485738 4294766912 18446744073709551615 135411152 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30452/statm: 1484 854 151 482 0 1000 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5936 [startup+0.20169 s] /proc/loadavg: 2.23 2.03 1.66 3/106 30452 /proc/meminfo: memFree=1805628/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=6080 CPUtime=0.19 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 1398 0 0 0 19 0 0 0 20 0 1 0 29378419 6225920 948 1992294400 134512640 136485738 4294766912 18446744073709551615 135565571 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30452/statm: 1520 948 157 482 0 1036 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6080 [startup+0.301709 s] /proc/loadavg: 2.23 2.03 1.66 3/106 30452 /proc/meminfo: memFree=1805628/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=8236 CPUtime=0.29 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 1924 0 0 0 28 1 0 0 20 0 1 0 29378419 8433664 1474 1992294400 134512640 136485738 4294766912 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30452/statm: 2059 1475 157 482 0 1575 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8236 [startup+0.701782 s] /proc/loadavg: 2.23 2.03 1.66 3/106 30452 /proc/meminfo: memFree=1805628/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=16684 CPUtime=0.69 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 4027 0 0 0 67 2 0 0 21 0 1 0 29378419 17084416 3578 1992294400 134512640 136485738 4294766912 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/30452/statm: 4171 3578 157 482 0 3687 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16684 [startup+1.50093 s] /proc/loadavg: 2.23 2.03 1.66 2/107 30453 /proc/meminfo: memFree=1784664/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=60312 CPUtime=1.49 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 14947 0 0 0 141 8 0 0 23 0 1 0 29378419 61759488 14497 1992294400 134512640 136485738 4294766912 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 15078 14498 193 482 0 14594 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 60312 [startup+3.10123 s] /proc/loadavg: 2.21 2.03 1.66 2/107 30453 /proc/meminfo: memFree=1682984/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=199076 CPUtime=3.09 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 50725 0 0 0 286 23 0 0 25 0 1 0 29378419 203853824 48154 1992294400 134512640 136485738 4294766912 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 49769 48155 197 482 0 49285 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 199076 [startup+6.30082 s] /proc/loadavg: 2.21 2.03 1.66 2/107 30453 /proc/meminfo: memFree=1467100/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=394376 CPUtime=6.29 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 102365 0 0 0 581 48 0 0 25 0 1 0 29378419 403841024 96845 1992294400 134512640 136485738 4294766912 18446744073709551615 135559961 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 98594 96846 197 482 0 98110 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 394376 [startup+12.701 s] /proc/loadavg: 2.11 2.02 1.66 2/107 30453 /proc/meminfo: memFree=1071292/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=765044 CPUtime=12.69 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 202548 0 0 0 1176 93 0 0 25 0 1 0 29378419 783405056 189019 1992294400 134512640 136485738 4294766912 18446744073709551615 135346726 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 191261 189020 197 482 0 190777 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 765044 [startup+25.5014 s] /proc/loadavg: 1.87 1.97 1.64 2/107 30453 /proc/meminfo: memFree=419300/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1448372 CPUtime=25.48 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 379944 0 0 0 2351 197 0 0 25 0 1 0 29378419 1483132928 345999 1992294400 134512640 136485738 4294766912 18446744073709551615 135260413 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 362093 345999 228 482 0 361609 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1448372 [startup+51.1011 s] /proc/loadavg: 1.57 1.89 1.63 2/107 30455 /proc/meminfo: memFree=417564/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1450468 CPUtime=51.07 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 380466 0 0 0 4700 407 0 0 25 0 1 0 29378419 1485279232 346392 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 362617 346392 228 482 0 362133 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 1450468 [startup+102.302 s] /proc/loadavg: 1.23 1.73 1.59 2/107 30455 /proc/meminfo: memFree=415704/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1452192 CPUtime=102.25 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 380919 0 0 0 9492 733 0 0 25 0 1 0 29378419 1487044608 346845 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 363048 346845 228 482 0 362564 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1452192 [startup+162.302 s] /proc/loadavg: 1.09 1.61 1.55 2/107 30457 /proc/meminfo: memFree=414216/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1453644 CPUtime=162.22 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 381293 0 0 0 15119 1103 0 0 25 0 1 0 29378419 1488531456 347219 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 363411 347219 228 482 0 362927 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1453644 [startup+222.309 s] /proc/loadavg: 1.03 1.49 1.51 2/107 30459 /proc/meminfo: memFree=412976/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1454832 CPUtime=222.21 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 381598 0 0 0 20777 1444 0 0 25 0 1 0 29378419 1489747968 347524 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 363708 347524 228 482 0 363224 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 1454832 [startup+282.301 s] /proc/loadavg: 1.01 1.40 1.48 2/107 30461 /proc/meminfo: memFree=411860/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1455900 CPUtime=282.18 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 381856 0 0 0 26421 1797 0 0 25 0 1 0 29378419 1490841600 347782 1992294400 134512640 136485738 4294766912 18446744073709551615 135044339 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 363975 347782 228 482 0 363491 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 1455900 [startup+342.301 s] /proc/loadavg: 1.00 1.33 1.45 2/107 30461 /proc/meminfo: memFree=410372/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1457404 CPUtime=342.15 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 382224 0 0 0 32093 2122 0 0 25 0 1 0 29378419 1492381696 348150 1992294400 134512640 136485738 4294766912 18446744073709551615 135045779 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 364351 348150 228 482 0 363867 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 1457404 [startup+402.301 s] /proc/loadavg: 1.00 1.26 1.42 2/107 30463 /proc/meminfo: memFree=408884/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1458856 CPUtime=402.13 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 382600 0 0 0 37801 2412 0 0 25 0 1 0 29378419 1493868544 348526 1992294400 134512640 136485738 4294766912 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 364714 348526 228 482 0 364230 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 1458856 [startup+462.301 s] /proc/loadavg: 1.00 1.21 1.39 2/107 30465 /proc/meminfo: memFree=407768/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1459912 CPUtime=462.1 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 382862 0 0 0 43523 2687 0 0 25 0 1 0 29378419 1494949888 348788 1992294400 134512640 136485738 4294766912 18446744073709551615 135044309 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 364978 348788 228 482 0 364494 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 1459912 [startup+522.301 s] /proc/loadavg: 1.00 1.17 1.36 2/107 30467 /proc/meminfo: memFree=406528/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1461140 CPUtime=522.09 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 383151 0 0 0 49232 2977 0 0 25 0 1 0 29378419 1496207360 349077 1992294400 134512640 136485738 4294766912 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 365285 349077 228 482 0 364801 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 1461140 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.34 2/107 30469 /proc/meminfo: memFree=405164/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1462460 CPUtime=582.07 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 383494 0 0 0 54940 3267 0 0 25 0 1 0 29378419 1497559040 349420 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 365615 349420 228 482 0 365131 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1462460 [startup+642.3 s] /proc/loadavg: 1.00 1.11 1.31 2/107 30469 /proc/meminfo: memFree=401072/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1466700 CPUtime=642.04 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 384504 0 0 0 60630 3574 0 0 25 0 1 0 29378419 1501900800 350430 1992294400 134512640 136485738 4294766912 18446744073709551615 134616000 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 366675 350430 228 482 0 366191 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 1466700 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 1.00 1.04 1.23 2/107 30486 /proc/meminfo: memFree=395988/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1471220 CPUtime=881.94 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 385673 0 0 0 83543 4651 0 0 25 0 1 0 29378419 1506529280 351599 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 367805 351599 228 482 0 367321 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 1471220 [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.21 2/107 30486 /proc/meminfo: memFree=394624/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1472540 CPUtime=941.91 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 386022 0 0 0 89231 4960 0 0 25 0 1 0 29378419 1507880960 351948 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 368135 351948 228 482 0 367651 0 Current children cumulated CPU time (s) 941.91 Current children cumulated vsize (KiB) 1472540 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.20 2/107 30488 /proc/meminfo: memFree=393136/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1474260 CPUtime=1001.88 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 386376 0 0 0 94945 5243 0 0 25 0 1 0 29378419 1509642240 352302 1992294400 134512640 136485738 4294766912 18446744073709551615 135025013 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 368565 352302 228 482 0 368081 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 1474260 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.18 2/107 30490 /proc/meminfo: memFree=391772/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1475448 CPUtime=1061.86 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 386701 0 0 0 100701 5485 0 0 25 0 1 0 29378419 1510858752 352627 1992294400 134512640 136485738 4294766912 18446744073709551615 135039079 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 368862 352627 228 482 0 368378 0 Current children cumulated CPU time (s) 1061.86 Current children cumulated vsize (KiB) 1475448 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 30492 /proc/meminfo: memFree=390160/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1477164 CPUtime=1121.84 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 387122 0 0 0 106440 5744 0 0 25 0 1 0 29378419 1512615936 353048 1992294400 134512640 136485738 4294766912 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 369291 353048 228 482 0 368807 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1477164 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.16 2/107 30494 /proc/meminfo: memFree=388548/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1478616 CPUtime=1181.82 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 387496 0 0 0 112153 6029 0 0 25 0 1 0 29378419 1514102784 353422 1992294400 134512640 136485738 4294766912 18446744073709551615 135184895 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 369654 353422 228 482 0 369170 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 1478616 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 30494 /proc/meminfo: memFree=386068/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1480996 CPUtime=1241.79 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 388120 0 0 0 117882 6297 0 0 25 0 1 0 29378419 1516539904 354046 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 370249 354046 228 482 0 369765 0 Current children cumulated CPU time (s) 1241.79 Current children cumulated vsize (KiB) 1480996 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.13 3/107 30496 /proc/meminfo: memFree=385076/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1481924 CPUtime=1301.76 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 388360 0 0 0 123622 6554 0 0 25 0 1 0 29378419 1517490176 354286 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 370481 354286 228 482 0 369997 0 Current children cumulated CPU time (s) 1301.76 Current children cumulated vsize (KiB) 1481924 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 30498 /proc/meminfo: memFree=383960/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1482980 CPUtime=1361.74 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 388614 0 0 0 129351 6823 0 0 25 0 1 0 29378419 1518571520 354540 1992294400 134512640 136485738 4294766912 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 370745 354540 228 482 0 370261 0 Current children cumulated CPU time (s) 1361.74 Current children cumulated vsize (KiB) 1482980 [startup+1422.3 s] /proc/loadavg: 1.08 1.02 1.11 2/107 30500 /proc/meminfo: memFree=382720/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1484300 CPUtime=1421.73 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 388937 0 0 0 135067 7106 0 0 25 0 1 0 29378419 1519923200 354863 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 371075 354863 228 482 0 370591 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 1484300 [startup+1482.3 s] /proc/loadavg: 1.03 1.01 1.10 2/107 30505 /proc/meminfo: memFree=380860/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1486024 CPUtime=1481.7 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 389278 0 0 0 140802 7368 0 0 25 0 1 0 29378419 1521688576 355204 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 371506 355204 228 482 0 371022 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 1486024 [startup+1542.31 s] /proc/loadavg: 1.01 1.00 1.09 2/107 30505 /proc/meminfo: memFree=379868/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1486948 CPUtime=1541.68 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 389539 0 0 0 146555 7613 0 0 25 0 1 0 29378419 1522634752 355465 1992294400 134512640 136485738 4294766912 18446744073709551615 134660785 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 371737 355465 228 482 0 371253 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1486948 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 30507 /proc/meminfo: memFree=379124/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1487740 CPUtime=1601.64 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 389715 0 0 0 152320 7844 0 0 25 0 1 0 29378419 1523445760 355641 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 371935 355641 228 482 0 371451 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 1487740 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 30509 /proc/meminfo: memFree=378008/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1488664 CPUtime=1661.62 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 389982 0 0 0 158073 8089 0 0 25 0 1 0 29378419 1524391936 355908 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 372166 355908 228 482 0 371682 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 1488664 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30511 /proc/meminfo: memFree=376644/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1489988 CPUtime=1721.61 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 390311 0 0 0 163801 8360 0 0 25 0 1 0 29378419 1525747712 356237 1992294400 134512640 136485738 4294766912 18446744073709551615 135044106 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 372497 356237 228 482 0 372013 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 1489988 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30513 /proc/meminfo: memFree=375528/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1491176 CPUtime=1781.58 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 390616 0 0 0 169537 8621 0 0 25 0 1 0 29378419 1526964224 356542 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 372794 356542 228 482 0 372310 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 1491176 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30513 /proc/meminfo: memFree=373916/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=1492772 CPUtime=1800.09 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4202496 391011 0 0 0 171304 8705 0 0 25 0 1 0 29378419 1528598528 356937 1992294400 134512640 136485738 4294766912 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30452/statm: 373193 356937 228 482 0 372709 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 1492772 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.07 2/107 30513 /proc/meminfo: memFree=373916/2059040 swapFree=4140428/4192956 [pid=30452] ppid=30450 vsize=0 CPUtime=1800.18 /proc/30452/stat : 30452 (pbct) R 30450 30452 29818 0 -1 4194308 391011 0 0 0 171304 8714 0 0 25 0 1 0 29378419 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/30452/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.96 CPU time (s): 1800.24 CPU user time (s): 1713.04 CPU system time (s): 87.1967 CPU usage (%): 99.9601 Max. virtual memory (cumulated for all children) (KiB): 1492772 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1713.04 system time used= 87.1967 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 391011 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= 5110 runsolver used 3.12752 second user time and 8.35073 second system time The end
Begin job on node007 at 2010-06-14 19:49:10 IDJOB=2668329 IDBENCH=2356 IDSOLVER=1170 FILE ID=node007/2668329-1276537749 PBS_JOBID= 11173456 Free space on /tmp= 62480 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-A2C1S1.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668329-1276537749/watcher-2668329-1276537749 -o /tmp/evaluation-result-2668329-1276537749/solver-2668329-1276537749 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668329-1276537749.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a644593dc228e712d5b0d277ee939168 RANDOM SEED=158325997 node007.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.264 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.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 : 3000.264 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1806156 kB Buffers: 65012 kB Cached: 107944 kB SwapCached: 5788 kB Active: 83612 kB Inactive: 102156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1806156 kB SwapTotal: 4192956 kB SwapFree: 4140428 kB Dirty: 6380 kB Writeback: 0 kB AnonPages: 11428 kB Mapped: 12928 kB Slab: 45404 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180472 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= 62480 MiB End job on node007 at 2010-06-14 20:19:13