Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.46 | 1801.13 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-dano3_3.opb |
MD5SUM | 1c7fb7925778882f8c8001dcd3838f28 |
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 | 404796 |
Total number of constraints | 3709 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 3 |
Number of constraints which are nor clauses,nor cardinality constraints | 3706 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 134217728000 |
Number of bits of the biggest number in a constraint | 37 |
Biggest sum of numbers in a constraint | 569083166190 |
Number of bits of the biggest sum of numbers | 40 |
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 This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 8.89/8.99 c ...done 8.89/8.99 c #vars=404796 #constraints=4934 hasObjective=yes 14.98/15.02 c res. mode=mod 14.98/15.02 c VSIDS like heuristics 14.98/15.02 c complete search running 23.79/23.83 c restart after 401 decisions 27.49/27.58 c nbDecision=500 #constraints=4934 31.48/31.57 c restart after 801 decisions 37.38/37.46 c nbDecision=1000 #constraints=4936 44.18/44.25 c nbDecision=1500 #constraints=5251 46.48/46.54 c restart after 1601 decisions 54.88/54.92 c nbDecision=2000 #constraints=5362 61.27/61.34 c nbDecision=2500 #constraints=5764 69.77/69.90 c nbDecision=3000 #constraints=6244 73.36/73.45 c restart after 3201 decisions 81.26/81.38 c nbDecision=3500 #constraints=6426 89.46/89.58 c nbDecision=4000 #constraints=6747 101.65/101.71 c nbDecision=4500 #constraints=7223 117.85/117.98 c nbDecision=5000 #constraints=7713 135.34/135.42 c nbDecision=5500 #constraints=8201 157.63/157.75 c nbDecision=6000 #constraints=8687 177.33/177.40 c restart after 6401 decisions 183.43/183.58 c nbDecision=6500 #constraints=9082 192.72/192.87 c nbDecision=7000 #constraints=9156 200.52/200.64 c nbDecision=7500 #constraints=9327 204.52/204.61 c nbDecision=8000 #constraints=9420 212.91/213.02 c nbDecision=8500 #constraints=9684 219.71/219.81 c nbDecision=9000 #constraints=9905 227.21/227.35 c nbDecision=9500 #constraints=10132 234.41/234.59 c nbDecision=10000 #constraints=10324 242.30/242.46 c nbDecision=10500 #constraints=10515 252.40/252.57 c nbDecision=11000 #constraints=10744 264.39/264.54 c nbDecision=11500 #constraints=10999 275.39/275.53 c nbDecision=12000 #constraints=11216 293.78/293.91 c nbDecision=12500 #constraints=11547 309.58/309.76 c restart after 12801 decisions 321.88/322.02 c nbDecision=13000 #constraints=11803 335.87/336.04 c nbDecision=13500 #constraints=12060 356.76/356.95 c nbDecision=14000 #constraints=12551 380.56/380.77 c nbDecision=14500 #constraints=13049 414.54/414.71 c nbDecision=15000 #constraints=13544 447.53/447.79 c nbDecision=15500 #constraints=14021 483.01/483.25 c nbDecision=16000 #constraints=14499 521.90/522.17 c nbDecision=16500 #constraints=14988 557.78/558.09 c nbDecision=17000 #constraints=15455 597.78/598.08 c nbDecision=17500 #constraints=15930 639.36/639.60 c nbDecision=18000 #constraints=16407 676.54/676.83 c nbDecision=18500 #constraints=16899 729.42/729.78 c nbDecision=19000 #constraints=17389 788.70/789.02 c nbDecision=19500 #constraints=17877 846.08/846.48 c nbDecision=20000 #constraints=18368 915.86/916.27 c nbDecision=20500 #constraints=18866 989.02/989.45 c nbDecision=21000 #constraints=19353 1068.10/1068.55 c nbDecision=21500 #constraints=19849 1148.27/1148.78 c nbDecision=22000 #constraints=20339 1237.73/1238.24 c nbDecision=22500 #constraints=20832 1317.31/1317.81 c nbDecision=23000 #constraints=21319 1410.37/1410.94 c nbDecision=23500 #constraints=21816 1499.85/1500.42 c nbDecision=24000 #constraints=22304 1602.00/1602.69 c nbDecision=24500 #constraints=22799 1703.17/1703.87 c nbDecision=25000 #constraints=23294 1800.03/1800.71 Received signal 15 1800.13/1800.83 1800.13/1800.83 s UNKNOWN 1800.13/1800.83 1800.13/1800.83 c user time= 1798.96 s 1800.13/1800.83 c system time= 1.20682 s 1800.13/1800.83 c wall clock time=1800.83
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-357266-1176992866 -o ROOT/results/node42/solver-357266-1176992866 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357266-1176992866/instance-357266-1176992866.opb mod 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8013 /proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=1468 CPUtime=0 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147198659 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 367 161 131 317 0 46 0 [startup+0.039262 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8013 /proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=2148 CPUtime=0.03 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 339 0 0 0 3 0 0 0 18 0 1 0 147198659 2199552 321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 537 322 131 317 0 216 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2148 [startup+0.101275 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8013 /proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=3564 CPUtime=0.09 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 147198659 3649536 623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 891 623 131 317 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3564 [startup+0.301312 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8013 /proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=7996 CPUtime=0.29 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 1624 0 0 0 29 0 0 0 19 0 1 0 147198659 8187904 1606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 1999 1606 131 317 0 1678 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7996 [startup+0.701388 s] /proc/loadavg: 1.00 0.99 0.98 3/77 8013 /proc/meminfo: memFree=1505264/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=16872 CPUtime=0.69 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 3580 0 0 0 68 1 0 0 22 0 1 0 147198659 17276928 3562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 4218 3562 131 317 0 3897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16872 [startup+1.50154 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1485544/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=34600 CPUtime=1.49 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 7477 0 0 0 147 2 0 0 25 0 1 0 147198659 35430400 7459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 8650 7459 131 317 0 8329 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34600 [startup+3.10184 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1463912/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=68412 CPUtime=3.09 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 14990 0 0 0 303 6 0 0 25 0 1 0 147198659 70053888 14972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 17103 14972 131 317 0 16782 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 68412 [startup+6.30145 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1402088/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=125300 CPUtime=6.29 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 30145 0 0 0 614 15 0 0 25 0 1 0 147198659 128307200 28906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 31325 28906 131 317 0 31004 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 125300 [startup+12.7017 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1312424/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=204684 CPUtime=12.69 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 49930 0 0 0 1243 26 0 0 25 0 1 0 147198659 209596416 48328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602739 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 51171 48328 137 317 0 50850 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 204684 [startup+25.5011 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1286248/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=230612 CPUtime=25.49 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 56531 0 0 0 2520 29 0 0 25 0 1 0 147198659 236146688 54825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 57653 54825 138 317 0 57332 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 230612 [startup+51.102 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1271016/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=246304 CPUtime=51.08 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 60439 0 0 0 5077 31 0 0 25 0 1 0 147198659 252215296 58699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 61576 58699 170 317 0 61255 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 246304 [startup+102.306 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1207272/2055920 swapFree=4133196/4192956 [pid=8013] ppid=8011 vsize=312972 CPUtime=102.25 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 76379 0 0 0 10188 37 0 0 25 0 1 0 147198659 320483328 74639 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 78243 74639 170 317 0 77922 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 312972 [startup+162.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1154984/2055920 swapFree=4133256/4192956 [pid=8013] ppid=8011 vsize=367228 CPUtime=162.23 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 89490 0 0 0 16179 44 0 0 25 0 1 0 147198659 376041472 87750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 91807 87750 170 317 0 91486 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 367228 [startup+222.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=1083880/2055920 swapFree=4133256/4192956 [pid=8013] ppid=8011 vsize=447760 CPUtime=222.21 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 107353 0 0 0 22171 50 0 0 25 0 1 0 147198659 458506240 105527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 111940 105527 170 317 0 111619 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 447760 [startup+282.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=980776/2055920 swapFree=4133312/4192956 [pid=8013] ppid=8011 vsize=567380 CPUtime=282.19 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 133320 0 0 0 28161 58 0 0 25 0 1 0 147198659 580997120 131448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 141845 131448 170 317 0 141524 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 567380 [startup+342.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=905768/2055920 swapFree=4133312/4192956 [pid=8013] ppid=8011 vsize=661280 CPUtime=342.17 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 151822 0 0 0 34151 66 0 0 25 0 1 0 147198659 677150720 149908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 165320 149908 170 317 0 164999 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 661280 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=867624/2055920 swapFree=4133312/4192956 [pid=8013] ppid=8011 vsize=702608 CPUtime=402.15 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 161397 0 0 0 40145 70 0 0 25 0 1 0 147198659 719470592 159483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 175652 159483 170 317 0 175331 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 702608 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=833128/2055920 swapFree=4133372/4192956 [pid=8013] ppid=8011 vsize=741364 CPUtime=462.13 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 169891 0 0 0 46138 75 0 0 25 0 1 0 147198659 759156736 167977 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 185341 167977 170 317 0 185020 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 741364 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=808296/2055920 swapFree=4133372/4192956 [pid=8013] ppid=8011 vsize=764976 CPUtime=522.1 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 176126 0 0 0 52131 79 0 0 25 0 1 0 147198659 783335424 174212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 191244 174212 170 317 0 190923 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 764976 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=785320/2055920 swapFree=4133432/4192956 [pid=8013] ppid=8011 vsize=786008 CPUtime=582.08 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 181830 0 0 0 58126 82 0 0 25 0 1 0 147198659 804872192 179916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 196502 179916 170 317 0 196181 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 786008 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8014 /proc/meminfo: memFree=763816/2055920 swapFree=4133432/4192956 [pid=8013] ppid=8011 vsize=806152 CPUtime=642.06 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 187188 0 0 0 64121 85 0 0 25 0 1 0 147198659 825499648 185274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 201538 185274 170 317 0 201217 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 806152 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=658600/2055920 swapFree=4133540/4192956 [pid=8013] ppid=8011 vsize=931352 CPUtime=941.94 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 213431 0 0 0 94097 97 0 0 25 0 1 0 147198659 953704448 211517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 232838 211517 170 317 0 232517 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 931352 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=645352/2055920 swapFree=4133540/4192956 [pid=8013] ppid=8011 vsize=945028 CPUtime=1001.92 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 216726 0 0 0 100093 99 0 0 25 0 1 0 147198659 967708672 214812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 236257 214812 170 317 0 235936 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 945028 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=625960/2055920 swapFree=4133600/4192956 [pid=8013] ppid=8011 vsize=970844 CPUtime=1061.9 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 221728 0 0 0 106089 101 0 0 25 0 1 0 147198659 994144256 219680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 242711 219680 170 317 0 242390 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 970844 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=611048/2055920 swapFree=4133600/4192956 [pid=8013] ppid=8011 vsize=987312 CPUtime=1121.87 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 225390 0 0 0 112085 102 0 0 25 0 1 0 147198659 1011007488 223342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 246828 223342 170 317 0 246507 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 987312 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=597352/2055920 swapFree=4133648/4192956 [pid=8013] ppid=8011 vsize=1000668 CPUtime=1181.85 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 228837 0 0 0 118081 104 0 0 25 0 1 0 147198659 1024684032 226789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278901 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 250167 226789 170 317 0 249846 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1000668 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=584296/2055920 swapFree=4133648/4192956 [pid=8013] ppid=8011 vsize=1012312 CPUtime=1241.83 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 232030 0 0 0 124077 106 0 0 25 0 1 0 147198659 1036607488 229982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 253078 229982 170 317 0 252757 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1012312 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=571880/2055920 swapFree=4133704/4192956 [pid=8013] ppid=8011 vsize=1024480 CPUtime=1301.82 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 235129 0 0 0 130074 108 0 0 25 0 1 0 147198659 1049067520 233081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 256120 233081 170 317 0 255799 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1024480 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=560232/2055920 swapFree=4133704/4192956 [pid=8013] ppid=8011 vsize=1035676 CPUtime=1361.79 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 238053 0 0 0 136070 109 0 0 25 0 1 0 147198659 1060532224 236005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604419 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 258919 236005 170 317 0 258598 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1035676 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=549352/2055920 swapFree=4133704/4192956 [pid=8013] ppid=8011 vsize=1045536 CPUtime=1421.77 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 240728 0 0 0 142066 111 0 0 25 0 1 0 147198659 1070628864 238680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593368 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 261384 238680 170 317 0 261063 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1045536 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=538280/2055920 swapFree=4133760/4192956 [pid=8013] ppid=8011 vsize=1056088 CPUtime=1481.74 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 243507 0 0 0 148062 112 0 0 25 0 1 0 147198659 1081434112 241459 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 264022 241459 170 317 0 263701 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1056088 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=527720/2055920 swapFree=4133760/4192956 [pid=8013] ppid=8011 vsize=1066708 CPUtime=1541.72 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 246139 0 0 0 154059 113 0 0 25 0 1 0 147198659 1092308992 244091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 266677 244091 170 317 0 266356 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 1066708 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=516072/2055920 swapFree=4133820/4192956 [pid=8013] ppid=8011 vsize=1077224 CPUtime=1601.7 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 249084 0 0 0 160055 115 0 0 25 0 1 0 147198659 1103077376 247036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 269306 247036 170 317 0 268985 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1077224 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=505832/2055920 swapFree=4133820/4192956 [pid=8013] ppid=8011 vsize=1086660 CPUtime=1661.68 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 251600 0 0 0 166051 117 0 0 25 0 1 0 147198659 1112739840 249552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 271665 249552 170 317 0 271344 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1086660 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=495912/2055920 swapFree=4133820/4192956 [pid=8013] ppid=8011 vsize=1096796 CPUtime=1721.66 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 254077 0 0 0 172047 119 0 0 25 0 1 0 147198659 1123119104 252029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 274199 252029 170 317 0 273878 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1096796 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=485352/2055920 swapFree=4133880/4192956 [pid=8013] ppid=8011 vsize=1106340 CPUtime=1781.63 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 256706 0 0 0 178043 120 0 0 25 0 1 0 147198659 1132892160 254658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 276585 254658 170 317 0 276264 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1106340 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=482408/2055920 swapFree=4133880/4192956 [pid=8013] ppid=8011 vsize=1109172 CPUtime=1800.03 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194304 257422 0 0 0 179883 120 0 0 25 0 1 0 147198659 1135792128 255374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 277293 255374 170 317 0 276972 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1109172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=482408/2055920 swapFree=4133880/4192956 [pid=8013] ppid=8011 vsize=0 CPUtime=1800.33 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194308 257444 0 0 0 179909 124 0 0 25 0 1 0 147198659 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 0 [startup+1801.1 s] /proc/loadavg: 1.00 0.99 0.98 2/78 8016 /proc/meminfo: memFree=482408/2055920 swapFree=4133880/4192956 [pid=8013] ppid=8011 vsize=0 CPUtime=1800.43 /proc/8013/stat : 8013 (oree) R 8011 8013 7628 0 -1 4194308 257444 0 0 0 179909 134 0 0 25 0 1 0 147198659 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/8013/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.13 CPU time (s): 1800.46 CPU user time (s): 1799.09 CPU system time (s): 1.36879 CPU usage (%): 99.963 Max. virtual memory (cumulated for all children) (KiB): 1109300 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.09 system time used= 1.36879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 257444 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= 8 involuntary context switches= 2652 runsolver used 1.91971 second user time and 4.64329 second system time The end
Begin job on node42 on Thu Apr 19 14:27:48 UTC 2007 IDJOB= 357266 IDBENCH= 2329 IDSOLVER= 172 FILE ID= node42/357266-1176992866 PBS_JOBID= 4630465 Free space on /tmp= 66416 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-dano3_3.opb COMMAND LINE= oree /tmp/evaluation/357266-1176992866/instance-357266-1176992866.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-357266-1176992866 -o ROOT/results/node42/solver-357266-1176992866 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357266-1176992866/instance-357266-1176992866.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1c7fb7925778882f8c8001dcd3838f28 RANDOM SEED= 275427789 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.277 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.277 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1505608 kB Buffers: 36416 kB Cached: 424300 kB SwapCached: 18004 kB Active: 128040 kB Inactive: 364328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1505608 kB SwapTotal: 4192956 kB SwapFree: 4133196 kB Dirty: 33708 kB Writeback: 0 kB Mapped: 39024 kB Slab: 43276 kB Committed_AS: 2996388 kB PageTables: 1912 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66416 MiB End job on node42 on Thu Apr 19 14:57:51 UTC 2007