Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.17 | 1800.8 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-modszk1.opb |
MD5SUM | 73a69ec0478725312d0c26d36222113a |
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 | 48602 |
Total number of constraints | 686 |
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 | 686 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 600 |
Number of terms in the objective function | 29700 |
Biggest coefficient in the objective function | 197378980184064000 |
Number of bits for the biggest coefficient in the objective function | 58 |
Sum of the numbers in the objective function | 14554406665136992500 |
Number of bits of the sum of numbers in the objective function | 64 |
Biggest number in a constraint | 197378980184064000 |
Number of bits of the biggest number in a constraint | 58 |
Biggest sum of numbers in a constraint | 14554406665136992500 |
Number of bits of the biggest sum of numbers | 64 |
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.39/0.44 c constraints 686/0 clauses 0/0 units 0 0.39/0.44 c vars 48602 0.39/0.44 c objective 29700 + 0 1800.08/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-2668346-1276549891/watcher-2668346-1276549891 -o /tmp/evaluation-result-2668346-1276549891/solver-2668346-1276549891 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668346-1276549891.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 1.01 3/106 1378 /proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=2208 CPUtime=0 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 30590653 2260992 191 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1378/statm: 552 191 151 482 0 68 0 [startup+0.0238919 s] /proc/loadavg: 0.92 0.98 1.01 3/106 1378 /proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=2752 CPUtime=0.02 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 378 0 0 0 2 0 0 0 20 0 1 0 30590653 2818048 300 1992294400 134512640 136485738 4288434944 18446744073709551615 134531137 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1378/statm: 688 300 151 482 0 204 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2752 [startup+0.100907 s] /proc/loadavg: 0.92 0.98 1.01 3/106 1378 /proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=4080 CPUtime=0.09 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 862 0 0 0 9 0 0 0 20 0 1 0 30590653 4177920 637 1992294400 134512640 136485738 4288434944 18446744073709551615 135857008 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1378/statm: 1020 637 153 482 0 536 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4080 [startup+0.300946 s] /proc/loadavg: 0.92 0.98 1.01 3/106 1378 /proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=7788 CPUtime=0.29 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 1782 0 0 0 29 0 0 0 20 0 1 0 30590653 7974912 1558 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/1378/statm: 1947 1558 155 482 0 1463 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7788 [startup+0.701024 s] /proc/loadavg: 0.92 0.98 1.01 3/106 1378 /proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=31500 CPUtime=0.69 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 7635 0 0 0 66 3 0 0 21 0 1 0 30590653 32256000 7410 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 7875 7411 197 482 0 7391 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 31500 [startup+1.50118 s] /proc/loadavg: 0.92 0.98 1.01 2/107 1379 /proc/meminfo: memFree=1753472/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=88048 CPUtime=1.49 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 22139 0 0 0 139 10 0 0 23 0 1 0 30590653 90161152 21173 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 22012 21174 197 482 0 21528 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 88048 [startup+3.1005 s] /proc/loadavg: 0.92 0.98 1.01 2/107 1379 /proc/meminfo: memFree=1682544/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=190872 CPUtime=3.09 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 49162 0 0 0 287 22 0 0 25 0 1 0 30590653 195452928 46719 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 47718 46719 197 482 0 47234 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 190872 [startup+6.30112 s] /proc/loadavg: 0.93 0.98 1.01 2/107 1379 /proc/meminfo: memFree=1474348/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=399996 CPUtime=6.29 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 104860 0 0 0 583 46 0 0 25 0 1 0 30590653 409595904 98699 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 99999 98700 197 482 0 99515 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 399996 [startup+12.7004 s] /proc/loadavg: 0.93 0.98 1.01 2/107 1379 /proc/meminfo: memFree=1122560/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=714736 CPUtime=12.68 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 185788 0 0 0 1182 86 0 0 25 0 1 0 30590653 731889664 170473 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 178684 170473 228 482 0 178200 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 714736 [startup+25.5009 s] /proc/loadavg: 0.95 0.98 1.01 2/107 1379 /proc/meminfo: memFree=1112020/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=724720 CPUtime=25.48 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 188250 0 0 0 2436 112 0 0 25 0 1 0 30590653 742113280 172935 1992294400 134512640 136485738 4288434944 18446744073709551615 134880504 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 181180 172935 228 482 0 180696 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 724720 [startup+51.1009 s] /proc/loadavg: 0.96 0.98 1.01 2/107 1381 /proc/meminfo: memFree=1100488/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=736516 CPUtime=51.07 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 191120 0 0 0 4964 143 0 0 25 0 1 0 30590653 754192384 175805 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 184129 175805 228 482 0 183645 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 736516 [startup+102.309 s] /proc/loadavg: 0.98 0.98 1.00 2/107 1381 /proc/meminfo: memFree=1085732/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=751492 CPUtime=102.26 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 194758 0 0 0 10037 189 0 0 25 0 1 0 30590653 769527808 179443 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 187873 179443 228 482 0 187389 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 751492 [startup+162.302 s] /proc/loadavg: 1.06 1.00 1.00 2/107 1386 /proc/meminfo: memFree=1072836/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=763972 CPUtime=162.23 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 197900 0 0 0 15988 235 0 0 25 0 1 0 30590653 782307328 182585 1992294400 134512640 136485738 4288434944 18446744073709551615 135185143 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 190993 182585 228 482 0 190509 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 763972 [startup+222.301 s] /proc/loadavg: 1.02 1.00 1.00 2/107 1388 /proc/meminfo: memFree=1059444/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=777784 CPUtime=222.21 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 201199 0 0 0 21943 278 0 0 25 0 1 0 30590653 796450816 185884 1992294400 134512640 136485738 4288434944 18446744073709551615 134880521 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 194446 185884 228 482 0 193962 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 777784 [startup+282.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 1390 /proc/meminfo: memFree=1048036/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=789696 CPUtime=282.19 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 204054 0 0 0 27899 320 0 0 25 0 1 0 30590653 808648704 188739 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 197424 188739 228 482 0 196940 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 789696 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1390 /proc/meminfo: memFree=1040844/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=797492 CPUtime=342.17 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 205832 0 0 0 33860 357 0 0 25 0 1 0 30590653 816631808 190517 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 199373 190517 228 482 0 198889 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 797492 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1392 /proc/meminfo: memFree=1031296/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=807020 CPUtime=402.15 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 208223 0 0 0 39819 396 0 0 25 0 1 0 30590653 826388480 192908 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 201755 192908 228 482 0 201271 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 807020 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1394 /proc/meminfo: memFree=1023856/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=814612 CPUtime=462.12 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 210078 0 0 0 45784 428 0 0 25 0 1 0 30590653 834162688 194763 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 203653 194763 228 482 0 203169 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 814612 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1396 /proc/meminfo: memFree=1017656/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=821544 CPUtime=522.1 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 211751 0 0 0 51751 459 0 0 25 0 1 0 30590653 841261056 196436 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 205386 196436 228 482 0 204902 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 821544 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1398 /proc/meminfo: memFree=1012200/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=826456 CPUtime=582.08 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 213014 0 0 0 57716 492 0 0 25 0 1 0 30590653 846290944 197699 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 206614 197699 228 482 0 206130 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 826456 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1398 /proc/meminfo: memFree=1006868/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=831608 CPUtime=642.07 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214328 0 0 0 63682 525 0 0 25 0 1 0 30590653 851566592 199013 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 207902 199013 228 482 0 207418 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 831608 [startup+702.301 s] ################ # More data... # ################ [startup+882.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1406 /proc/meminfo: memFree=1005256/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=833460 CPUtime=881.98 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214750 0 0 0 87510 688 0 0 25 0 1 0 30590653 853463040 199435 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 208365 199435 228 482 0 207881 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 833460 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1406 /proc/meminfo: memFree=1005132/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=833460 CPUtime=941.96 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214755 0 0 0 93473 723 0 0 25 0 1 0 30590653 853463040 199440 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 208365 199440 228 482 0 207881 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 833460 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1408 /proc/meminfo: memFree=1004884/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=833700 CPUtime=1001.94 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214809 0 0 0 99441 753 0 0 25 0 1 0 30590653 853708800 199494 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 208425 199494 228 482 0 207941 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 833700 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1410 /proc/meminfo: memFree=1002156/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=836588 CPUtime=1061.92 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215488 0 0 0 105412 780 0 0 25 0 1 0 30590653 856666112 200173 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 209147 200173 228 482 0 208663 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 836588 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1412 /proc/meminfo: memFree=1000916/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=837676 CPUtime=1121.9 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215779 0 0 0 111375 815 0 0 25 0 1 0 30590653 857780224 200464 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 209419 200464 228 482 0 208935 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 837676 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1414 /proc/meminfo: memFree=1000916/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=837676 CPUtime=1181.87 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215786 0 0 0 117342 845 0 0 25 0 1 0 30590653 857780224 200471 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 209419 200471 228 482 0 208935 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 837676 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1414 /proc/meminfo: memFree=1000668/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=837676 CPUtime=1241.86 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215790 0 0 0 123310 876 0 0 25 0 1 0 30590653 857780224 200475 1992294400 134512640 136485738 4288434944 18446744073709551615 134874588 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 209419 200475 228 482 0 208935 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 837676 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1416 /proc/meminfo: memFree=999428/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=838996 CPUtime=1301.83 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 216074 0 0 0 129281 902 0 0 25 0 1 0 30590653 859131904 200759 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 209749 200759 228 482 0 209265 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 838996 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1418 /proc/meminfo: memFree=997196/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=842164 CPUtime=1361.82 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 216643 0 0 0 135253 929 0 0 25 0 1 0 30590653 862375936 201328 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 210541 201328 228 482 0 210057 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 842164 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1420 /proc/meminfo: memFree=992608/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=846644 CPUtime=1421.8 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 217776 0 0 0 141227 953 0 0 25 0 1 0 30590653 866963456 202461 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 211661 202461 228 482 0 211177 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 846644 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1422 /proc/meminfo: memFree=985788/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=853668 CPUtime=1481.77 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 219494 0 0 0 147193 984 0 0 25 0 1 0 30590653 874156032 204179 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 213417 204179 228 482 0 212933 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 853668 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1422 /proc/meminfo: memFree=980704/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=858528 CPUtime=1541.75 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 220740 0 0 0 153162 1013 0 0 25 0 1 0 30590653 879132672 205425 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 214632 205425 228 482 0 214148 0 Current children cumulated CPU time (s) 1541.75 Current children cumulated vsize (KiB) 858528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1424 /proc/meminfo: memFree=977108/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=862144 CPUtime=1601.73 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221649 0 0 0 159138 1035 0 0 25 0 1 0 30590653 882835456 206334 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 215536 206334 228 482 0 215052 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 862144 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1426 /proc/meminfo: memFree=975868/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=863200 CPUtime=1661.71 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221915 0 0 0 165106 1065 0 0 25 0 1 0 30590653 883916800 206600 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 215800 206600 228 482 0 215316 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 863200 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1428 /proc/meminfo: memFree=975868/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=863200 CPUtime=1721.69 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221915 0 0 0 171058 1111 0 0 25 0 1 0 30590653 883916800 206600 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 215800 206600 228 482 0 215316 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 863200 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1430 /proc/meminfo: memFree=975496/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=863444 CPUtime=1781.67 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221950 0 0 0 177021 1146 0 0 25 0 1 0 30590653 884166656 206635 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 215861 206635 228 482 0 215377 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 863444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 1430 /proc/meminfo: memFree=975496/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=863444 CPUtime=1800.08 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221950 0 0 0 178852 1156 0 0 25 0 1 0 30590653 884166656 206635 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 215861 206635 228 482 0 215377 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 863444 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 1430 /proc/meminfo: memFree=975496/2059040 swapFree=4136184/4192956 [pid=1378] ppid=1376 vsize=863444 CPUtime=1800.08 /proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221950 0 0 0 178852 1156 0 0 25 0 1 0 30590653 884166656 206635 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/1378/statm: 215861 206635 228 482 0 215377 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 863444 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.17 CPU user time (s): 1788.52 CPU system time (s): 11.6462 CPU usage (%): 99.965 Max. virtual memory (cumulated for all children) (KiB): 863444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.52 system time used= 11.6462 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221950 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= 6508 runsolver used 3.15852 second user time and 8.32173 second system time The end
Begin job on node011 at 2010-06-14 23:11:31 IDJOB=2668346 IDBENCH=2416 IDSOLVER=1170 FILE ID=node011/2668346-1276549891 PBS_JOBID= 11173475 Free space on /tmp= 62264 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-modszk1.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668346-1276549891/watcher-2668346-1276549891 -o /tmp/evaluation-result-2668346-1276549891/solver-2668346-1276549891 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668346-1276549891.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a RANDOM SEED=436858944 node011.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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1805096 kB Buffers: 59692 kB Cached: 117660 kB SwapCached: 9764 kB Active: 82000 kB Inactive: 107640 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1805096 kB SwapTotal: 4192956 kB SwapFree: 4136184 kB Dirty: 4008 kB Writeback: 8 kB AnonPages: 10992 kB Mapped: 9280 kB Slab: 42580 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181792 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= 62260 MiB End job on node011 at 2010-06-14 23:41:34