Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.13 | 1800.62 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-markshare1_1.opb |
MD5SUM | 83e0e1e1c048d12c4488c7f5a723c62c |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 221 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 221 |
Optimality of the best value was proved | NO |
Number of variables | 280 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 130 |
Number of terms in the objective function | 180 |
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 | 6442450938 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 536870912 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 6442450938 |
Number of bits of the biggest sum of numbers | 33 |
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... 0.00/0.00 c ...done 0.00/0.00 c #vars=280 #constraints=18 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.29/0.36 c restart after 401 decisions 0.29/0.36 c nbDecision=500 #constraints=253 0.79/0.84 c restart after 801 decisions 0.89/0.94 c nbDecision=1000 #constraints=537 2.29/2.39 c nbDecision=1500 #constraints=1039 2.69/2.78 c restart after 1601 decisions 3.69/3.76 c nbDecision=2000 #constraints=1381 6.39/6.46 c nbDecision=2500 #constraints=1881 10.08/10.11 c nbDecision=3000 #constraints=2381 12.00/12.01 c restart after 3201 decisions 13.49/13.50 c nbDecision=3500 #constraints=2706 19.88/19.91 c nbDecision=4000 #constraints=3205 27.19/27.28 c nbDecision=4500 #constraints=3706 35.09/35.12 c nbDecision=5000 #constraints=4204 44.57/44.67 c nbDecision=5500 #constraints=4705 55.67/55.79 c nbDecision=6000 #constraints=5207 65.27/65.39 c restart after 6401 decisions 65.67/65.75 c nbDecision=6500 #constraints=5607 79.77/79.86 c nbDecision=7000 #constraints=6048 95.76/95.82 c nbDecision=7500 #constraints=6548 113.56/113.64 c nbDecision=8000 #constraints=7048 131.06/131.11 c nbDecision=8500 #constraints=7548 149.15/149.25 c nbDecision=9000 #constraints=8049 169.25/169.40 c nbDecision=9500 #constraints=8548 189.74/189.83 c nbDecision=10000 #constraints=9046 211.74/211.81 c nbDecision=10500 #constraints=9548 232.63/232.74 c nbDecision=11000 #constraints=10048 257.52/257.66 c nbDecision=11500 #constraints=10547 278.71/278.87 c nbDecision=12000 #constraints=11048 301.61/301.73 c nbDecision=12500 #constraints=11549 323.50/323.60 c restart after 12801 decisions 327.20/327.32 c nbDecision=13000 #constraints=11881 364.29/364.45 c nbDecision=13500 #constraints=12381 398.48/398.63 c nbDecision=14000 #constraints=12883 433.98/434.14 c nbDecision=14500 #constraints=13382 472.17/472.34 c nbDecision=15000 #constraints=13882 510.26/510.48 c nbDecision=15500 #constraints=14383 544.85/545.01 c nbDecision=16000 #constraints=14882 579.33/579.58 c nbDecision=16500 #constraints=15385 624.82/625.00 c nbDecision=17000 #constraints=15882 667.71/667.97 c nbDecision=17500 #constraints=16382 713.50/713.78 c nbDecision=18000 #constraints=16882 757.79/758.02 c nbDecision=18500 #constraints=17382 801.98/802.22 c nbDecision=19000 #constraints=17881 843.16/843.49 c nbDecision=19500 #constraints=18382 889.95/890.23 c nbDecision=20000 #constraints=18884 934.64/934.91 c nbDecision=20500 #constraints=19382 978.03/978.33 c nbDecision=21000 #constraints=19884 1035.42/1035.71 c nbDecision=21500 #constraints=20383 1088.19/1088.57 c nbDecision=22000 #constraints=20883 1139.69/1140.03 c nbDecision=22500 #constraints=21383 1191.98/1192.39 c nbDecision=23000 #constraints=21884 1242.56/1242.90 c nbDecision=23500 #constraints=22383 1294.05/1294.40 c nbDecision=24000 #constraints=22883 1350.22/1350.66 c nbDecision=24500 #constraints=23382 1404.91/1405.31 c nbDecision=25000 #constraints=23882 1457.60/1458.02 c nbDecision=25500 #constraints=24382 1470.80/1471.20 c restart after 25601 decisions 1506.28/1506.77 c nbDecision=26000 #constraints=24717 1573.37/1573.86 c nbDecision=26500 #constraints=25218 1641.14/1641.64 c nbDecision=27000 #constraints=25717 1716.43/1716.98 c nbDecision=27500 #constraints=26218 1790.60/1791.15 c nbDecision=28000 #constraints=26718 1800.01/1800.50 Received signal 15 1800.01/1800.58 1800.01/1800.58 s UNKNOWN 1800.01/1800.58 1800.01/1800.58 c user time= 1799.64 s 1800.01/1800.58 c system time= 0.460929 s 1800.01/1800.58 c wall clock time=1800.59
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-357260-1176992697 -o ROOT/results/node15/solver-357260-1176992697 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357260-1176992697/instance-357260-1176992697.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: 0.84 0.94 0.96 3/77 17433 /proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=1468 CPUtime=0 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 147187435 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134827826 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 367 167 131 317 0 46 0 [startup+0.077524 s] /proc/loadavg: 0.84 0.94 0.96 3/77 17433 /proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=1860 CPUtime=0.07 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 286 0 0 0 7 0 0 0 18 0 1 0 147187435 1904640 268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 465 268 139 317 0 144 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1860 [startup+0.101526 s] /proc/loadavg: 0.84 0.94 0.96 3/77 17433 /proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=1992 CPUtime=0.1 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 320 0 0 0 10 0 0 0 18 0 1 0 147187435 2039808 302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 498 302 139 317 0 177 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1992 [startup+0.301544 s] /proc/loadavg: 0.84 0.94 0.96 3/77 17433 /proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=2776 CPUtime=0.29 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 525 0 0 0 29 0 0 0 19 0 1 0 147187435 2842624 507 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271317 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 694 507 139 317 0 373 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2776 [startup+0.701581 s] /proc/loadavg: 0.84 0.94 0.96 3/77 17433 /proc/meminfo: memFree=1654648/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=4088 CPUtime=0.69 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 856 0 0 0 69 0 0 0 23 0 1 0 147187435 4186112 838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 1022 838 139 317 0 701 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4088 [startup+1.50165 s] /proc/loadavg: 0.84 0.94 0.96 2/78 17434 /proc/meminfo: memFree=1651056/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=5924 CPUtime=1.49 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 1316 0 0 0 149 0 0 0 25 0 1 0 147187435 6066176 1298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 1481 1298 139 317 0 1160 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5924 [startup+3.1018 s] /proc/loadavg: 0.84 0.94 0.96 2/78 17434 /proc/meminfo: memFree=1648624/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=8616 CPUtime=3.09 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 1963 0 0 0 309 0 0 0 25 0 1 0 147187435 8822784 1945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 2154 1945 139 317 0 1833 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8616 [startup+6.30209 s] /proc/loadavg: 0.85 0.94 0.96 2/78 17434 /proc/meminfo: memFree=1644336/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=12100 CPUtime=6.29 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 2879 0 0 0 628 1 0 0 25 0 1 0 147187435 12390400 2861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 3025 2861 170 317 0 2704 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12100 [startup+12.7017 s] /proc/loadavg: 0.87 0.94 0.96 2/78 17434 /proc/meminfo: memFree=1639280/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=17052 CPUtime=12.69 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 4009 0 0 0 1267 2 0 0 25 0 1 0 147187435 17461248 3991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 4263 3991 170 317 0 3942 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17052 [startup+25.5019 s] /proc/loadavg: 0.89 0.94 0.96 2/78 17434 /proc/meminfo: memFree=1634032/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=22004 CPUtime=25.49 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 5272 0 0 0 2546 3 0 0 25 0 1 0 147187435 22532096 5254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 5501 5254 170 317 0 5180 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 22004 [startup+51.1012 s] /proc/loadavg: 0.93 0.94 0.96 2/78 17434 /proc/meminfo: memFree=1625712/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=31296 CPUtime=51.08 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 7374 0 0 0 5104 4 0 0 25 0 1 0 147187435 32047104 7356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 7824 7356 170 317 0 7503 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 31296 [startup+102.306 s] /proc/loadavg: 0.97 0.95 0.96 2/78 17434 /proc/meminfo: memFree=1615728/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=41024 CPUtime=102.26 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 9819 0 0 0 10220 6 0 0 25 0 1 0 147187435 42008576 9801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 10256 9801 170 317 0 9935 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 41024 [startup+162.301 s] /proc/loadavg: 0.99 0.96 0.96 2/78 17434 /proc/meminfo: memFree=1605360/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=52348 CPUtime=162.25 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 12479 0 0 0 16216 9 0 0 25 0 1 0 147187435 53604352 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 13087 12404 170 317 0 12766 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 52348 [startup+222.302 s] /proc/loadavg: 0.99 0.96 0.96 2/78 17434 /proc/meminfo: memFree=1596656/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=60940 CPUtime=222.23 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 14621 0 0 0 22212 11 0 0 25 0 1 0 147187435 62402560 14546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604154 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 15235 14546 170 317 0 14914 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 60940 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1588208/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=70300 CPUtime=282.21 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 16746 0 0 0 28208 13 0 0 25 0 1 0 147187435 71987200 16671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 17575 16671 170 317 0 17254 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 70300 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1582448/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=76240 CPUtime=342.2 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 18158 0 0 0 34205 15 0 0 25 0 1 0 147187435 78069760 18083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 19060 18083 170 317 0 18739 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 76240 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1577904/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=81252 CPUtime=402.18 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 19376 0 0 0 40202 16 0 0 25 0 1 0 147187435 83202048 19301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 20313 19301 170 317 0 19992 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 81252 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1573232/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=85984 CPUtime=462.16 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 20469 0 0 0 46199 17 0 0 25 0 1 0 147187435 88047616 20394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 21496 20394 170 317 0 21175 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 85984 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1569264/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=89524 CPUtime=522.15 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 21467 0 0 0 52196 19 0 0 25 0 1 0 147187435 91672576 21392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 22381 21392 170 317 0 22060 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 89524 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1564592/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=93788 CPUtime=582.13 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 22633 0 0 0 58192 21 0 0 25 0 1 0 147187435 96038912 22558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 23447 22558 170 317 0 23126 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 93788 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17434 /proc/meminfo: memFree=1561072/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=96944 CPUtime=642.12 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 23489 0 0 0 64190 22 0 0 25 0 1 0 147187435 99270656 23414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 24236 23414 170 317 0 23915 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 96944 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1546096/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=117460 CPUtime=882.05 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 28423 0 0 0 88177 28 0 0 25 0 1 0 147187435 120279040 27410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 29365 27410 170 317 0 29044 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 117460 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1541616/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=122020 CPUtime=942.03 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 29551 0 0 0 94174 29 0 0 25 0 1 0 147187435 124948480 28241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 30505 28241 170 317 0 30184 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 122020 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1538480/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=124912 CPUtime=1002.02 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 30381 0 0 0 100171 31 0 0 25 0 1 0 147187435 127909888 29038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 31228 29038 170 317 0 30907 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 124912 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1535536/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=127900 CPUtime=1062 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 31201 0 0 0 106168 32 0 0 25 0 1 0 147187435 130969600 29759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 31975 29759 170 317 0 31654 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 127900 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1532080/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=132252 CPUtime=1121.99 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 32296 0 0 0 112166 33 0 0 25 0 1 0 147187435 135426048 30623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 33063 30623 170 317 0 32742 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 132252 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1528432/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=136796 CPUtime=1181.97 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 33414 0 0 0 118163 34 0 0 25 0 1 0 147187435 140079104 31510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 34199 31510 170 317 0 33878 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 136796 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1525360/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=139796 CPUtime=1241.96 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 34261 0 0 0 124160 36 0 0 25 0 1 0 147187435 143151104 32291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 34949 32291 170 317 0 34628 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 139796 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1522096/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=142536 CPUtime=1301.95 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 35073 0 0 0 130158 37 0 0 25 0 1 0 147187435 145956864 33103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 35634 33103 170 317 0 35313 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 142536 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1519152/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=145416 CPUtime=1361.93 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 35854 0 0 0 136155 38 0 0 25 0 1 0 147187435 148905984 33851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 36354 33851 170 317 0 36033 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 145416 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1516016/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=148308 CPUtime=1421.91 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 36624 0 0 0 142152 39 0 0 25 0 1 0 147187435 151867392 34621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 37077 34621 170 317 0 36756 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 148308 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1513136/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=152348 CPUtime=1481.89 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 37583 0 0 0 148149 40 0 0 25 0 1 0 147187435 156004352 35382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 38087 35382 170 317 0 37766 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 152348 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1510512/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=154444 CPUtime=1541.87 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 38226 0 0 0 154146 41 0 0 25 0 1 0 147187435 158150656 36025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 38611 36025 170 317 0 38290 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 154444 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1508464/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=156400 CPUtime=1601.86 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 38783 0 0 0 160144 42 0 0 25 0 1 0 147187435 160153600 36549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 39100 36549 170 317 0 38779 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 156400 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1506096/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=158784 CPUtime=1661.85 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 39396 0 0 0 166141 44 0 0 25 0 1 0 147187435 162594816 37129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 39696 37129 170 317 0 39375 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 158784 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.96 2/78 17436 /proc/meminfo: memFree=1503920/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=161004 CPUtime=1721.83 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 40039 0 0 0 172138 45 0 0 25 0 1 0 147187435 164868096 37673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 40251 37673 170 317 0 39930 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 161004 [startup+1782.3 s] /proc/loadavg: 1.04 0.99 0.97 3/78 17436 /proc/meminfo: memFree=1501744/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=163104 CPUtime=1781.81 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 40612 0 0 0 178136 45 0 0 25 0 1 0 147187435 167018496 38213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 40776 38213 170 317 0 40455 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 163104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.03 0.99 0.97 2/78 17436 /proc/meminfo: memFree=1501168/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=163496 CPUtime=1800.01 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194304 40760 0 0 0 179955 46 0 0 25 0 1 0 147187435 167419904 38361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 40874 38361 170 317 0 40553 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 163496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.03 0.99 0.97 2/79 17437 /proc/meminfo: memFree=1574504/2055920 swapFree=4169120/4192956 [pid=17433] ppid=17431 vsize=0 CPUtime=1800.11 /proc/17433/stat : 17433 (oree) R 17431 17433 17090 0 -1 4194308 40776 0 0 0 179964 47 0 0 25 0 1 0 147187435 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/17433/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.13 CPU user time (s): 1799.65 CPU system time (s): 0.485926 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 163496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.65 system time used= 0.485926 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40776 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= 1319 runsolver used 2.14267 second user time and 4.40733 second system time The end
Begin job on node15 on Thu Apr 19 14:24:58 UTC 2007 IDJOB= 357260 IDBENCH= 2323 IDSOLVER= 172 FILE ID= node15/357260-1176992697 PBS_JOBID= 4630463 Free space on /tmp= 66483 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-markshare1_1.opb COMMAND LINE= oree /tmp/evaluation/357260-1176992697/instance-357260-1176992697.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-357260-1176992697 -o ROOT/results/node15/solver-357260-1176992697 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357260-1176992697/instance-357260-1176992697.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 83e0e1e1c048d12c4488c7f5a723c62c RANDOM SEED= 678269807 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.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.227 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.227 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: 1655120 kB Buffers: 36828 kB Cached: 292060 kB SwapCached: 2544 kB Active: 217732 kB Inactive: 134024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1655120 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1412 kB Writeback: 0 kB Mapped: 30164 kB Slab: 34564 kB Committed_AS: 6275676 kB PageTables: 1868 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= 66483 MiB End job on node15 on Thu Apr 19 14:55:01 UTC 2007