Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.11 | 1800.64 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_500_3__212_366__8.opb |
MD5SUM | c120d8f4dcbc5272249a5c279ae2547e |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 95378 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
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 | 12498 |
Total number of constraints | 2000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 1502 |
Number of constraints which are nor clauses,nor cardinality constraints | 498 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 169 |
Number of terms in the objective function | 12000 |
Biggest coefficient in the objective function | 114804 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 410482992 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 114804 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 410482992 |
Number of bits of the biggest sum of numbers | 29 |
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.09/0.15 c constraints 2000/0 clauses 0/0 units 0 0.09/0.15 c vars 12498 0.09/0.15 c objective 12000 + 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-2669497-1276690584/watcher-2669497-1276690584 -o /tmp/evaluation-result-2669497-1276690584/solver-2669497-1276690584 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669497-1276690584.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.01 1.00 3/106 10598 /proc/meminfo: memFree=1745576/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=2488 CPUtime=0 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 305 0 0 0 0 0 0 0 25 0 1 0 44659771 2547712 228 1992294400 134512640 136485738 4293862016 18446744073709551615 135178844 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10598/statm: 622 228 149 482 0 138 0 [startup+0.101049 s] /proc/loadavg: 1.00 1.01 1.00 3/106 10598 /proc/meminfo: memFree=1745576/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=4792 CPUtime=0.09 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 901 0 0 0 9 0 0 0 25 0 1 0 44659771 4907008 791 1992294400 134512640 136485738 4293862016 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/10598/statm: 1198 791 153 482 0 714 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4792 [startup+0.201057 s] /proc/loadavg: 1.00 1.01 1.00 3/106 10598 /proc/meminfo: memFree=1745576/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=10460 CPUtime=0.19 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 2312 0 0 0 18 1 0 0 25 0 1 0 44659771 10711040 2202 1992294400 134512640 136485738 4293862016 18446744073709551615 135350462 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 2615 2203 197 482 0 2131 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 10460 [startup+0.301066 s] /proc/loadavg: 1.00 1.01 1.00 3/106 10598 /proc/meminfo: memFree=1745576/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=17476 CPUtime=0.29 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 4059 0 0 0 28 1 0 0 25 0 1 0 44659771 17895424 3949 1992294400 134512640 136485738 4293862016 18446744073709551615 135177849 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 4369 3950 197 482 0 3885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17476 [startup+0.701104 s] /proc/loadavg: 1.00 1.01 1.00 3/106 10598 /proc/meminfo: memFree=1745576/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=44352 CPUtime=0.69 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 10977 0 0 0 65 4 0 0 25 0 1 0 44659771 45416448 10494 1992294400 134512640 136485738 4293862016 18446744073709551615 134741661 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 11088 10495 197 482 0 10604 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 44352 [startup+1.50118 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10599 /proc/meminfo: memFree=1679600/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=93804 CPUtime=1.49 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 24247 0 0 0 141 8 0 0 25 0 1 0 44659771 96055296 22830 1992294400 134512640 136485738 4293862016 18446744073709551615 134724984 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 23451 22831 197 482 0 22967 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 93804 [startup+3.10133 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10599 /proc/meminfo: memFree=1596148/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=238756 CPUtime=3.09 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 62079 0 0 0 285 24 0 0 25 0 1 0 44659771 244486144 57918 1992294400 134512640 136485738 4293862016 18446744073709551615 135868543 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 59689 57918 210 482 0 59205 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 238756 [startup+6.30063 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10599 /proc/meminfo: memFree=1497568/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=256012 CPUtime=6.29 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 66395 0 0 0 572 57 0 0 25 0 1 0 44659771 262156288 61976 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 64003 61976 227 482 0 63519 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 256012 [startup+12.7012 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10599 /proc/meminfo: memFree=1497196/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=256420 CPUtime=12.69 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 66475 0 0 0 1136 133 0 0 25 0 1 0 44659771 262574080 62056 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 64105 62056 227 482 0 63621 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 256420 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10601 /proc/meminfo: memFree=1496700/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=257200 CPUtime=25.48 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 66616 0 0 0 2275 273 0 0 25 0 1 0 44659771 263372800 62197 1992294400 134512640 136485738 4293862016 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 64300 62197 227 482 0 63816 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 257200 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10601 /proc/meminfo: memFree=1495956/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=257748 CPUtime=51.08 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 66771 0 0 0 4536 572 0 0 25 0 1 0 44659771 263933952 62352 1992294400 134512640 136485738 4293862016 18446744073709551615 135024728 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 64437 62352 227 482 0 63953 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 257748 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10603 /proc/meminfo: memFree=1494220/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=259332 CPUtime=102.27 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 67180 0 0 0 9057 1170 0 0 25 0 1 0 44659771 265555968 62761 1992294400 134512640 136485738 4293862016 18446744073709551615 134887157 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 64833 62761 227 482 0 64349 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 259332 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10603 /proc/meminfo: memFree=1492732/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=260652 CPUtime=162.25 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 67523 0 0 0 14375 1850 0 0 25 0 1 0 44659771 266907648 63104 1992294400 134512640 136485738 4293862016 18446744073709551615 134886553 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 65163 63104 227 482 0 64679 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 260652 [startup+222.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10605 /proc/meminfo: memFree=1491492/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=261972 CPUtime=222.23 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 67854 0 0 0 19700 2523 0 0 25 0 1 0 44659771 268259328 63435 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 65493 63435 227 482 0 65009 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 261972 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10607 /proc/meminfo: memFree=1490500/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=263028 CPUtime=282.21 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 68108 0 0 0 25031 3190 0 0 25 0 1 0 44659771 269340672 63689 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 65757 63689 227 482 0 65273 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 263028 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10609 /proc/meminfo: memFree=1489756/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=263764 CPUtime=342.19 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 68298 0 0 0 30381 3838 0 0 25 0 1 0 44659771 270094336 63879 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 65941 63879 227 482 0 65457 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 263764 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10611 /proc/meminfo: memFree=1488764/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=264688 CPUtime=402.17 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 68506 0 0 0 35723 4494 0 0 25 0 1 0 44659771 271040512 64087 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 66172 64087 227 482 0 65688 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 264688 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10611 /proc/meminfo: memFree=1488268/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=265216 CPUtime=462.17 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 68654 0 0 0 41083 5134 0 0 25 0 1 0 44659771 271581184 64235 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 66304 64235 227 482 0 65820 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 265216 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10613 /proc/meminfo: memFree=1487524/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=265744 CPUtime=522.15 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 68812 0 0 0 46447 5768 0 0 25 0 1 0 44659771 272121856 64393 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 66436 64393 227 482 0 65952 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 265744 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10615 /proc/meminfo: memFree=1487028/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=266364 CPUtime=582.13 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 68949 0 0 0 51804 6409 0 0 25 0 1 0 44659771 272756736 64530 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 66591 64530 227 482 0 66107 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 266364 [startup+642.301 s] /proc/loadavg: 1.13 1.03 1.01 2/107 10617 /proc/meminfo: memFree=1486532/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=266892 CPUtime=642.11 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69067 0 0 0 57163 7048 0 0 25 0 1 0 44659771 273297408 64648 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 66723 64648 227 482 0 66239 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 266892 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.07 1.05 1.01 2/107 10623 /proc/meminfo: memFree=1484672/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=268476 CPUtime=882.05 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69481 0 0 0 78633 9572 0 0 25 0 1 0 44659771 274919424 65062 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67119 65062 227 482 0 66635 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 268476 [startup+942.301 s] /proc/loadavg: 1.07 1.06 1.01 2/107 10625 /proc/meminfo: memFree=1484300/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=269052 CPUtime=942.02 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69583 0 0 0 84011 10191 0 0 25 0 1 0 44659771 275509248 65164 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67263 65164 227 482 0 66779 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 269052 [startup+1002.3 s] /proc/loadavg: 1.09 1.07 1.01 2/107 10627 /proc/meminfo: memFree=1483928/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=269316 CPUtime=1002 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69662 0 0 0 89392 10808 0 0 25 0 1 0 44659771 275779584 65243 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67329 65243 227 482 0 66845 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 269316 [startup+1062.3 s] /proc/loadavg: 1.04 1.06 1.01 2/107 10627 /proc/meminfo: memFree=1483556/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=269580 CPUtime=1061.98 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69751 0 0 0 94782 11416 0 0 25 0 1 0 44659771 276049920 65332 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67395 65332 227 482 0 66911 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 269580 [startup+1122.3 s] /proc/loadavg: 1.01 1.04 1.00 2/107 10629 /proc/meminfo: memFree=1483060/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=269976 CPUtime=1121.96 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69846 0 0 0 100167 12029 0 0 25 0 1 0 44659771 276455424 65427 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67494 65427 227 482 0 67010 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 269976 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/107 10631 /proc/meminfo: memFree=1482812/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=270240 CPUtime=1181.95 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 69925 0 0 0 105564 12631 0 0 25 0 1 0 44659771 276725760 65506 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67560 65506 227 482 0 67076 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 270240 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10633 /proc/meminfo: memFree=1482316/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=270636 CPUtime=1241.93 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70003 0 0 0 110936 13257 0 0 25 0 1 0 44659771 277131264 65584 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67659 65584 227 482 0 67175 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 270636 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10635 /proc/meminfo: memFree=1481944/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=270900 CPUtime=1301.91 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70094 0 0 0 116330 13861 0 0 25 0 1 0 44659771 277401600 65675 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67725 65675 227 482 0 67241 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 270900 [startup+1362.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 10635 /proc/meminfo: memFree=1481572/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=271296 CPUtime=1361.89 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70171 0 0 0 121701 14488 0 0 25 0 1 0 44659771 277807104 65752 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67824 65752 227 482 0 67340 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 271296 [startup+1422.3 s] /proc/loadavg: 1.01 1.02 1.00 2/107 10637 /proc/meminfo: memFree=1481324/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=271560 CPUtime=1421.88 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70256 0 0 0 127093 15095 0 0 25 0 1 0 44659771 278077440 65837 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67890 65837 227 482 0 67406 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 271560 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 10639 /proc/meminfo: memFree=1480952/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=271956 CPUtime=1481.86 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70345 0 0 0 132472 15714 0 0 25 0 1 0 44659771 278482944 65926 1992294400 134512640 136485738 4293862016 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 67989 65926 227 482 0 67505 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 271956 [startup+1542.31 s] /proc/loadavg: 1.00 1.01 1.00 2/107 10641 /proc/meminfo: memFree=1480332/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=272632 CPUtime=1541.85 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70495 0 0 0 137847 16338 0 0 25 0 1 0 44659771 279175168 66076 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68158 66076 227 482 0 67674 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 272632 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10643 /proc/meminfo: memFree=1480332/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=272632 CPUtime=1601.83 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70500 0 0 0 143235 16948 0 0 25 0 1 0 44659771 279175168 66081 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68158 66081 227 482 0 67674 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 272632 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10643 /proc/meminfo: memFree=1480084/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=273028 CPUtime=1661.81 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70589 0 0 0 148622 17559 0 0 25 0 1 0 44659771 279580672 66170 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68257 66170 227 482 0 67773 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 273028 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10645 /proc/meminfo: memFree=1479588/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=273292 CPUtime=1721.79 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70670 0 0 0 153997 18182 0 0 25 0 1 0 44659771 279851008 66251 1992294400 134512640 136485738 4293862016 18446744073709551615 134992474 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68323 66251 227 482 0 67839 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 273292 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10647 /proc/meminfo: memFree=1478968/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=273688 CPUtime=1781.77 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70769 0 0 0 159382 18795 0 0 25 0 1 0 44659771 280256512 66350 1992294400 134512640 136485738 4293862016 18446744073709551615 135024608 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68422 66350 227 482 0 67938 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 273688 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 10647 /proc/meminfo: memFree=1478844/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=273820 CPUtime=1800.08 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70793 0 0 0 161018 18990 0 0 25 0 1 0 44659771 280391680 66374 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68455 66374 227 482 0 67971 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 273820 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.00 1.00 1.00 2/107 10647 /proc/meminfo: memFree=1478844/2059040 swapFree=4135932/4192956 [pid=10598] ppid=10596 vsize=273820 CPUtime=1800.08 /proc/10598/stat : 10598 (pbct) R 10596 10598 10241 0 -1 4202496 70793 0 0 0 161018 18990 0 0 25 0 1 0 44659771 280391680 66374 1992294400 134512640 136485738 4293862016 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10598/statm: 68455 66374 227 482 0 67971 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 273820 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.11 CPU user time (s): 1610.18 CPU system time (s): 189.934 CPU usage (%): 99.9709 Max. virtual memory (cumulated for all children) (KiB): 273820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1610.18 system time used= 189.934 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 70793 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= 4937 runsolver used 2.89756 second user time and 8.5807 second system time The end
Begin job on node015 at 2010-06-16 14:16:24 IDJOB=2669497 IDBENCH=71865 IDSOLVER=1170 FILE ID=node015/2669497-1276690584 PBS_JOBID= 11172603 Free space on /tmp= 62584 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_500_3__212_366__8.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669497-1276690584/watcher-2669497-1276690584 -o /tmp/evaluation-result-2669497-1276690584/solver-2669497-1276690584 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669497-1276690584.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c120d8f4dcbc5272249a5c279ae2547e RANDOM SEED=1543692387 node015.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.244 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.48 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.244 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1745980 kB Buffers: 116752 kB Cached: 116400 kB SwapCached: 10876 kB Active: 105472 kB Inactive: 141856 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1745980 kB SwapTotal: 4192956 kB SwapFree: 4135932 kB Dirty: 2392 kB Writeback: 0 kB AnonPages: 12604 kB Mapped: 9408 kB Slab: 43952 kB PageTables: 4116 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180836 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= 62580 MiB End job on node015 at 2010-06-16 14:46:27