Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.11 | 1800.59 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib2003/normalized-mps-v2-20-10-vpm2.opb |
MD5SUM | f81823d3f3bf1b9e5d936e06c7f51a9c |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 117 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 117 |
Optimality of the best value was proved | NO |
Number of variables | 2754 |
Total number of constraints | 444 |
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 | 444 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 84 |
Number of terms in the objective function | 168 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 504 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 819200 |
Number of bits of the biggest number in a constraint | 20 |
Biggest sum of numbers in a constraint | 4941871 |
Number of bits of the biggest sum of numbers | 23 |
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.03 c ...done 0.00/0.03 c #vars=2754 #constraints=487 hasObjective=yes 0.00/0.03 c res. mode=mod 0.00/0.03 c VSIDS like heuristics 0.00/0.03 c complete search running 0.04/0.08 c restart after 401 decisions 0.04/0.09 c nbDecision=500 #constraints=536 0.09/0.13 c restart after 801 decisions 0.09/0.16 c nbDecision=1000 #constraints=613 0.19/0.21 c nbDecision=1500 #constraints=652 0.19/0.22 c restart after 1601 decisions 0.19/0.27 c nbDecision=2000 #constraints=695 0.29/0.33 c nbDecision=2500 #constraints=727 0.39/0.42 c nbDecision=3000 #constraints=802 0.49/0.53 c restart after 3201 decisions 0.49/0.57 c nbDecision=3500 #constraints=886 0.59/0.65 c nbDecision=4000 #constraints=951 0.69/0.71 c nbDecision=4500 #constraints=994 0.69/0.78 c nbDecision=5000 #constraints=1051 0.79/0.86 c nbDecision=5500 #constraints=1106 0.89/0.94 c nbDecision=6000 #constraints=1165 1.00/1.01 c restart after 6401 decisions 1.00/1.04 c nbDecision=6500 #constraints=1236 1.09/1.12 c nbDecision=7000 #constraints=1304 1.19/1.20 c nbDecision=7500 #constraints=1368 1.19/1.28 c nbDecision=8000 #constraints=1447 1.29/1.37 c nbDecision=8500 #constraints=1521 1.39/1.46 c nbDecision=9000 #constraints=1578 1.49/1.56 c nbDecision=9500 #constraints=1651 1.59/1.67 c nbDecision=10000 #constraints=1742 1.79/1.81 c nbDecision=10500 #constraints=1847 1.89/1.95 c nbDecision=11000 #constraints=1955 1.99/2.09 c nbDecision=11500 #constraints=2064 2.19/2.21 c nbDecision=12000 #constraints=2137 2.29/2.36 c nbDecision=12500 #constraints=2228 2.39/2.43 c restart after 12801 decisions 2.49/2.50 c nbDecision=13000 #constraints=2303 2.59/2.66 c nbDecision=13500 #constraints=2362 2.79/2.85 c nbDecision=14000 #constraints=2429 2.99/3.05 c nbDecision=14500 #constraints=2490 3.20/3.26 c nbDecision=15000 #constraints=2550 3.39/3.49 c nbDecision=15500 #constraints=2610 3.89/3.93 c nbDecision=16000 #constraints=2716 4.30/4.35 c nbDecision=16500 #constraints=2851 4.99/5.06 c nbDecision=17000 #constraints=2998 5.69/5.77 c nbDecision=17500 #constraints=3154 6.59/6.66 c nbDecision=18000 #constraints=3295 7.79/7.85 c nbDecision=18500 #constraints=3461 8.69/8.80 c nbDecision=19000 #constraints=3589 9.09/9.15 c nbDecision=19500 #constraints=3620 9.29/9.32 c nbDecision=20000 #constraints=3655 9.59/9.69 c nbDecision=20500 #constraints=3697 9.89/9.91 c nbDecision=21000 #constraints=3719 10.19/10.27 c nbDecision=21500 #constraints=3769 10.29/10.40 c nbDecision=22000 #constraints=3796 10.49/10.57 c nbDecision=22500 #constraints=3836 10.79/10.86 c nbDecision=23000 #constraints=3883 10.99/11.04 c nbDecision=23500 #constraints=3928 11.19/11.23 c nbDecision=24000 #constraints=3966 11.59/11.63 c nbDecision=24500 #constraints=4037 11.89/11.91 c nbDecision=25000 #constraints=4089 12.19/12.23 c nbDecision=25500 #constraints=4144 12.29/12.30 c restart after 25601 decisions 13.09/13.13 c nbDecision=26000 #constraints=4198 13.29/13.40 c nbDecision=26500 #constraints=4235 13.89/13.92 c nbDecision=27000 #constraints=4303 14.09/14.20 c nbDecision=27500 #constraints=4342 14.38/14.45 c nbDecision=28000 #constraints=4378 14.68/14.79 c nbDecision=28500 #constraints=4420 15.08/15.17 c nbDecision=29000 #constraints=4475 15.48/15.53 c nbDecision=29500 #constraints=4513 16.18/16.23 c nbDecision=30000 #constraints=4590 16.39/16.48 c nbDecision=30500 #constraints=4626 17.78/17.80 c nbDecision=31000 #constraints=4709 17.98/18.08 c nbDecision=31500 #constraints=4741 18.28/18.37 c nbDecision=32000 #constraints=4783 18.59/18.66 c nbDecision=32500 #constraints=4835 18.88/18.92 c nbDecision=33000 #constraints=4867 19.18/19.29 c nbDecision=33500 #constraints=4913 19.88/19.90 c nbDecision=34000 #constraints=4970 20.18/20.26 c nbDecision=34500 #constraints=4998 20.48/20.59 c nbDecision=35000 #constraints=5054 20.98/21.00 c nbDecision=35500 #constraints=5094 21.38/21.43 c nbDecision=36000 #constraints=5153 21.58/21.61 c nbDecision=36500 #constraints=5213 21.68/21.79 c nbDecision=37000 #constraints=5260 22.28/22.35 c nbDecision=37500 #constraints=5306 22.58/22.65 c nbDecision=38000 #constraints=5361 22.88/22.91 c nbDecision=38500 #constraints=5409 23.28/23.31 c nbDecision=39000 #constraints=5471 23.48/23.55 c nbDecision=39500 #constraints=5533 25.19/25.30 c nbDecision=40000 #constraints=5631 26.19/26.27 c nbDecision=40500 #constraints=5707 26.79/26.83 c nbDecision=41000 #constraints=5760 27.79/27.86 c nbDecision=41500 #constraints=5861 28.38/28.44 c nbDecision=42000 #constraints=5925 28.98/29.09 c nbDecision=42500 #constraints=6009 29.48/29.59 c nbDecision=43000 #constraints=6050 29.98/30.00 c nbDecision=43500 #constraints=6079 30.38/30.47 c nbDecision=44000 #constraints=6113 30.88/30.95 c nbDecision=44500 #constraints=6147 31.28/31.37 c nbDecision=45000 #constraints=6182 31.68/31.80 c nbDecision=45500 #constraints=6219 32.28/32.34 c nbDecision=46000 #constraints=6356 32.58/32.62 c nbDecision=46500 #constraints=6456 32.98/33.08 c nbDecision=47000 #constraints=6518 33.69/33.73 c nbDecision=47500 #constraints=6747 34.78/34.84 c nbDecision=48000 #constraints=7099 36.19/36.22 c nbDecision=48500 #constraints=7434 37.78/37.86 c nbDecision=49000 #constraints=7802 39.88/39.96 c nbDecision=49500 #constraints=8200 42.37/42.46 c nbDecision=50000 #constraints=8615 45.68/45.76 c nbDecision=50500 #constraints=9040 49.57/49.62 c nbDecision=51000 #constraints=9474 50.88/50.90 c restart after 51201 decisions 52.48/52.54 c nbDecision=51500 #constraints=9660 53.18/53.28 c nbDecision=52000 #constraints=9694 54.08/54.17 c nbDecision=52500 #constraints=9830 55.58/55.68 c nbDecision=53000 #constraints=9978 57.97/58.06 c nbDecision=53500 #constraints=10422 59.88/59.99 c nbDecision=54000 #constraints=10598 61.08/61.13 c nbDecision=54500 #constraints=10631 61.88/61.92 c nbDecision=55000 #constraints=10648 63.08/63.17 c nbDecision=55500 #constraints=10757 64.57/64.66 c nbDecision=56000 #constraints=11092 65.57/65.67 c nbDecision=56500 #constraints=11281 67.08/67.15 c nbDecision=57000 #constraints=11649 69.07/69.18 c nbDecision=57500 #constraints=11879 72.27/72.37 c nbDecision=58000 #constraints=12006 74.97/75.08 c nbDecision=58500 #constraints=12419 78.27/78.38 c nbDecision=59000 #constraints=12832 81.77/81.83 c nbDecision=59500 #constraints=13229 85.77/85.85 c nbDecision=60000 #constraints=13647 90.67/90.71 c nbDecision=60500 #constraints=14069 95.67/95.73 c nbDecision=61000 #constraints=14467 101.57/101.64 c nbDecision=61500 #constraints=14886 107.36/107.45 c nbDecision=62000 #constraints=15278 114.27/114.32 c nbDecision=62500 #constraints=15672 122.76/122.86 c nbDecision=63000 #constraints=16065 136.75/136.84 c nbDecision=63500 #constraints=16540 152.65/152.73 c nbDecision=64000 #constraints=17020 170.45/170.57 c nbDecision=64500 #constraints=17503 187.84/187.95 c nbDecision=65000 #constraints=17965 206.34/206.43 c nbDecision=65500 #constraints=18439 225.44/225.59 c nbDecision=66000 #constraints=18908 248.33/248.40 c nbDecision=66500 #constraints=19383 272.32/272.40 c nbDecision=67000 #constraints=19866 299.02/299.11 c nbDecision=67500 #constraints=20352 325.80/325.90 c nbDecision=68000 #constraints=20836 351.60/351.76 c nbDecision=68500 #constraints=21312 383.59/383.76 c nbDecision=69000 #constraints=21801 411.89/412.04 c nbDecision=69500 #constraints=22272 440.08/440.24 c nbDecision=70000 #constraints=22754 472.57/472.80 c nbDecision=70500 #constraints=23235 505.27/505.49 c nbDecision=71000 #constraints=23712 540.46/540.63 c nbDecision=71500 #constraints=24196 577.25/577.40 c nbDecision=72000 #constraints=24685 612.44/612.62 c nbDecision=72500 #constraints=25169 657.03/657.27 c nbDecision=73000 #constraints=25656 697.32/697.52 c nbDecision=73500 #constraints=26142 743.61/743.82 c nbDecision=74000 #constraints=26629 787.50/787.73 c nbDecision=74500 #constraints=27112 832.78/833.00 c nbDecision=75000 #constraints=27590 880.58/880.88 c nbDecision=75500 #constraints=28071 935.26/935.51 c nbDecision=76000 #constraints=28559 981.15/981.50 c nbDecision=76500 #constraints=29031 1029.74/1030.07 c nbDecision=77000 #constraints=29522 1086.83/1087.10 c nbDecision=77500 #constraints=30011 1130.82/1131.10 c nbDecision=78000 #constraints=30453 1166.30/1166.67 c nbDecision=78500 #constraints=30902 1208.39/1208.79 c nbDecision=79000 #constraints=31378 1257.99/1258.38 c nbDecision=79500 #constraints=31846 1311.27/1311.66 c nbDecision=80000 #constraints=32341 1366.15/1366.59 c nbDecision=80500 #constraints=32824 1421.85/1422.30 c nbDecision=81000 #constraints=33310 1484.43/1484.83 c nbDecision=81500 #constraints=33792 1543.71/1544.12 c nbDecision=82000 #constraints=34272 1604.30/1604.77 c nbDecision=82500 #constraints=34757 1662.38/1662.89 c nbDecision=83000 #constraints=35239 1725.47/1725.98 c nbDecision=83500 #constraints=35714 1783.36/1783.82 c nbDecision=84000 #constraints=36186 1800.02/1800.50 Received signal 15 1800.02/1800.54 1800.02/1800.54 s UNKNOWN 1800.02/1800.54 1800.02/1800.54 c user time= 1799.5 s 1800.02/1800.54 c system time= 0.562914 s 1800.02/1800.54 c wall clock time=1800.54
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-356856-1176845469 -o ROOT/results/node15/solver-356856-1176845469 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356856-1176845469/instance-356856-1176845469.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.92 0.98 0.99 3/77 1419 /proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=1468 CPUtime=0 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 132464573 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 367 162 131 317 0 46 0 [startup+0.051425 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1419 /proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=2480 CPUtime=0.04 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 429 0 0 0 4 0 0 0 18 0 1 0 132464573 2539520 411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 620 411 139 317 0 299 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2480 [startup+0.101429 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1419 /proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=2480 CPUtime=0.09 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 476 0 0 0 9 0 0 0 18 0 1 0 132464573 2539520 458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 620 458 170 317 0 299 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2480 [startup+0.301447 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1419 /proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=2740 CPUtime=0.29 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 549 0 0 0 29 0 0 0 19 0 1 0 132464573 2805760 531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 685 531 170 317 0 364 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2740 [startup+0.701485 s] /proc/loadavg: 0.92 0.98 0.99 3/77 1419 /proc/meminfo: memFree=1706744/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=3396 CPUtime=0.69 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 701 0 0 0 69 0 0 0 22 0 1 0 132464573 3477504 683 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 849 683 170 317 0 528 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3396 [startup+1.50156 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1704112/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=4872 CPUtime=1.49 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 1068 0 0 0 149 0 0 0 25 0 1 0 132464573 4988928 1050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385340 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 1218 1050 170 317 0 897 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4872 [startup+3.1017 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1701872/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=7088 CPUtime=3.09 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 1603 0 0 0 308 1 0 0 25 0 1 0 132464573 7258112 1585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 1772 1585 170 317 0 1451 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7088 [startup+6.302 s] /proc/loadavg: 0.93 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1699384/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=8964 CPUtime=6.29 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 2039 0 0 0 628 1 0 0 25 0 1 0 132464573 9179136 2021 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 2241 2021 170 317 0 1920 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8964 [startup+12.7026 s] /proc/loadavg: 0.94 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1697272/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=10824 CPUtime=12.69 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 2529 0 0 0 1268 1 0 0 25 0 1 0 132464573 11083776 2511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 2706 2511 170 317 0 2385 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10824 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1693624/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=14568 CPUtime=25.49 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 3408 0 0 0 2547 2 0 0 25 0 1 0 132464573 14917632 3390 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 3642 3390 170 317 0 3321 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 14568 [startup+51.1011 s] /proc/loadavg: 0.96 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1660408/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=48992 CPUtime=51.08 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 11839 0 0 0 5100 8 0 0 25 0 1 0 132464573 50167808 11763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 12248 11763 170 317 0 11927 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 48992 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 1420 /proc/meminfo: memFree=1633272/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=77336 CPUtime=102.27 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 18502 0 0 0 10213 14 0 0 25 0 1 0 132464573 79192064 18426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 19334 18426 170 317 0 19013 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 77336 [startup+162.301 s] /proc/loadavg: 1.05 1.00 1.00 2/78 1420 /proc/meminfo: memFree=1616824/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=95376 CPUtime=162.25 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 22734 0 0 0 16208 17 0 0 25 0 1 0 132464573 97665024 22543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 23844 22543 170 317 0 23523 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 95376 [startup+222.302 s] /proc/loadavg: 1.07 1.01 1.00 2/78 1420 /proc/meminfo: memFree=1603832/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=108720 CPUtime=222.24 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 25950 0 0 0 22204 20 0 0 25 0 1 0 132464573 111329280 25759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 27180 25759 170 317 0 26859 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 108720 [startup+282.301 s] /proc/loadavg: 1.07 1.02 1.00 2/78 1420 /proc/meminfo: memFree=1594360/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=117464 CPUtime=282.22 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 28323 0 0 0 28201 21 0 0 25 0 1 0 132464573 120283136 28132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 29366 28132 170 317 0 29045 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 117464 [startup+342.302 s] /proc/loadavg: 1.02 1.02 1.00 2/78 1420 /proc/meminfo: memFree=1585656/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=125336 CPUtime=342.21 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 30471 0 0 0 34198 23 0 0 25 0 1 0 132464573 128344064 30280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 31334 30280 170 317 0 31013 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 125336 [startup+402.301 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1422 /proc/meminfo: memFree=1578040/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=132284 CPUtime=402.19 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 32363 0 0 0 40194 25 0 0 25 0 1 0 132464573 135458816 32172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 33071 32172 170 317 0 32750 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 132284 [startup+462.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1422 /proc/meminfo: memFree=1569336/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=145264 CPUtime=462.17 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 35282 0 0 0 46191 26 0 0 25 0 1 0 132464573 148750336 34365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 36316 34365 170 317 0 35995 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 145264 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1562552/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=153440 CPUtime=522.16 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 37078 0 0 0 52188 28 0 0 25 0 1 0 132464573 157122560 36062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 38360 36062 170 317 0 38039 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 153440 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1555960/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=164120 CPUtime=582.15 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 39505 0 0 0 58185 30 0 0 25 0 1 0 132464573 168058880 37697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 41030 37697 170 317 0 40709 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 164120 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1550520/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=169380 CPUtime=642.14 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 40871 0 0 0 64182 32 0 0 25 0 1 0 132464573 173445120 39030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 42345 39030 170 317 0 42024 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 169380 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1531128/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=187332 CPUtime=882.07 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 45926 0 0 0 88170 37 0 0 25 0 1 0 132464573 191827968 43887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 46833 43887 170 317 0 46512 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 187332 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1527096/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=191004 CPUtime=942.06 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 46947 0 0 0 94168 38 0 0 25 0 1 0 132464573 195588096 44908 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 47751 44908 170 317 0 47430 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 191004 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1522552/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=195068 CPUtime=1002.04 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 48097 0 0 0 100165 39 0 0 25 0 1 0 132464573 199749632 46025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 48767 46025 170 317 0 48446 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 195068 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1518328/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=198868 CPUtime=1062.03 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 49159 0 0 0 106163 40 0 0 25 0 1 0 132464573 203640832 47087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 49717 47087 170 317 0 49396 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 198868 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1512952/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=205588 CPUtime=1122.01 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 50482 0 0 0 112160 41 0 0 25 0 1 0 132464573 210522112 48410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 51397 48410 170 317 0 51076 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 205588 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1508472/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=210028 CPUtime=1182.01 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 51661 0 0 0 118158 43 0 0 25 0 1 0 132464573 215068672 49556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 52507 49556 170 317 0 52186 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 210028 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1504504/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=213448 CPUtime=1241.99 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 52639 0 0 0 124155 44 0 0 25 0 1 0 132464573 218570752 50534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604164 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 53362 50534 170 317 0 53041 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 213448 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1500152/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=217252 CPUtime=1301.98 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 53707 0 0 0 130153 45 0 0 25 0 1 0 132464573 222466048 51602 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 54313 51602 170 317 0 53992 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 217252 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1496440/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=220812 CPUtime=1361.95 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 54682 0 0 0 136149 46 0 0 25 0 1 0 132464573 226111488 52544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 55203 52544 170 317 0 54882 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 220812 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1492472/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=225124 CPUtime=1421.95 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 55886 0 0 0 142147 48 0 0 25 0 1 0 132464573 230526976 53521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 56281 53521 170 317 0 55960 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 225124 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1489080/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=228308 CPUtime=1481.93 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 56747 0 0 0 148144 49 0 0 25 0 1 0 132464573 233787392 54382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 57077 54382 170 317 0 56756 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 228308 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1485560/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=231464 CPUtime=1541.91 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 57640 0 0 0 154141 50 0 0 25 0 1 0 132464573 237019136 55275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 57866 55275 170 317 0 57545 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 231464 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1482168/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=234724 CPUtime=1601.9 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 58531 0 0 0 160138 52 0 0 25 0 1 0 132464573 240357376 56133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 58681 56133 170 317 0 58360 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 234724 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1478584/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=237740 CPUtime=1661.88 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 59398 0 0 0 166135 53 0 0 25 0 1 0 132464573 243445760 57000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 59435 57000 170 317 0 59114 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 237740 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1475384/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=240488 CPUtime=1721.87 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 60203 0 0 0 172133 54 0 0 25 0 1 0 132464573 246259712 57805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 60122 57805 170 317 0 59801 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 240488 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1422 /proc/meminfo: memFree=1472056/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=243252 CPUtime=1781.86 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 61006 0 0 0 178131 55 0 0 25 0 1 0 132464573 249090048 58608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 60813 58608 170 317 0 60492 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 243252 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/84 1496 /proc/meminfo: memFree=1469768/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=243904 CPUtime=1800.02 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 61213 0 0 0 179946 56 0 0 25 0 1 0 132464573 249757696 58815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 60976 58815 170 317 0 60655 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 243904 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/84 1496 /proc/meminfo: memFree=1469768/2055920 swapFree=4169120/4192956 [pid=1419] ppid=1417 vsize=243904 CPUtime=1800.02 /proc/1419/stat : 1419 (oree) R 1417 1419 501 0 -1 4194304 61213 0 0 0 179946 56 0 0 25 0 1 0 132464573 249757696 58815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1419/statm: 60976 58815 170 317 0 60655 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 243904 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1799.51 CPU system time (s): 0.599908 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 243904 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.51 system time used= 0.599908 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61229 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= 1532 runsolver used 2.14267 second user time and 4.41033 second system time The end
Begin job on node15 on Tue Apr 17 21:31:10 UTC 2007 IDJOB= 356856 IDBENCH= 1524 IDSOLVER= 172 FILE ID= node15/356856-1176845469 PBS_JOBID= 4590156 Free space on /tmp= 66493 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb COMMAND LINE= oree /tmp/evaluation/356856-1176845469/instance-356856-1176845469.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-356856-1176845469 -o ROOT/results/node15/solver-356856-1176845469 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356856-1176845469/instance-356856-1176845469.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c RANDOM SEED= 705852915 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: 1707216 kB Buffers: 34456 kB Cached: 242564 kB SwapCached: 2528 kB Active: 195392 kB Inactive: 104440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1707216 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 1520 kB Writeback: 0 kB Mapped: 30184 kB Slab: 34292 kB Committed_AS: 6163416 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= 66493 MiB End job on node15 on Tue Apr 17 22:01:12 UTC 2007