Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.43 | 1800.99 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-bg512142.opb |
MD5SUM | bc049badf8b0b6990d4dd6f2aa909c41 |
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 | 16800 |
Total number of constraints | 945 |
Number of constraints which are clauses | 11 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 934 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 183 |
Number of terms in the objective function | 9600 |
Biggest coefficient in the objective function | 5368709120000 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 773893279252632 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 5368709120000 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 773893279252632 |
Number of bits of the biggest sum of numbers | 50 |
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.19/0.29 c ...done 0.19/0.29 c #vars=16800 #constraints=1186 hasObjective=yes 0.39/0.41 c res. mode=mod 0.39/0.41 c VSIDS like heuristics 0.39/0.41 c complete search running 0.39/0.49 c restart after 401 decisions 0.49/0.50 c nbDecision=500 #constraints=1186 0.49/0.55 c restart after 801 decisions 0.49/0.59 c nbDecision=1000 #constraints=1186 0.59/0.67 c nbDecision=1500 #constraints=1186 0.59/0.68 c restart after 1601 decisions 0.69/0.75 c nbDecision=2000 #constraints=1186 0.79/0.83 c nbDecision=2500 #constraints=1186 0.89/0.91 c nbDecision=3000 #constraints=1186 0.89/0.94 c restart after 3201 decisions 0.89/1.00 c nbDecision=3500 #constraints=1186 1.00/1.08 c nbDecision=4000 #constraints=1186 1.10/1.16 c nbDecision=4500 #constraints=1186 1.19/1.23 c nbDecision=5000 #constraints=1186 1.29/1.31 c nbDecision=5500 #constraints=1186 1.29/1.38 c nbDecision=6000 #constraints=1186 1.39/1.44 c restart after 6401 decisions 1.39/1.46 c nbDecision=6500 #constraints=1186 1.49/1.54 c nbDecision=7000 #constraints=1186 1.59/1.62 c nbDecision=7500 #constraints=1186 1.69/1.70 c nbDecision=8000 #constraints=1186 1.69/1.78 c nbDecision=8500 #constraints=1186 1.79/1.85 c nbDecision=9000 #constraints=1186 1.89/1.92 c nbDecision=9500 #constraints=1186 1.89/1.99 c nbDecision=10000 #constraints=1186 1.99/2.05 c nbDecision=10500 #constraints=1186 2.59/2.68 c nbDecision=11000 #constraints=1383 4.19/4.25 c nbDecision=11500 #constraints=1870 6.69/6.73 c nbDecision=12000 #constraints=2364 10.19/10.25 c nbDecision=12500 #constraints=2862 13.29/13.38 c restart after 12801 decisions 13.49/13.55 c nbDecision=13000 #constraints=3166 13.59/13.69 c nbDecision=13500 #constraints=3166 13.69/13.78 c nbDecision=14000 #constraints=3166 13.79/13.85 c nbDecision=14500 #constraints=3166 13.89/13.93 c nbDecision=15000 #constraints=3166 13.99/14.02 c nbDecision=15500 #constraints=3166 14.09/14.12 c nbDecision=16000 #constraints=3166 14.09/14.18 c nbDecision=16500 #constraints=3166 14.19/14.24 c nbDecision=17000 #constraints=3166 16.69/16.71 c nbDecision=17500 #constraints=3454 22.49/22.59 c nbDecision=18000 #constraints=3945 30.28/30.39 c nbDecision=18500 #constraints=4452 38.39/38.45 c nbDecision=19000 #constraints=4952 47.78/47.86 c nbDecision=19500 #constraints=5436 65.17/65.29 c nbDecision=20000 #constraints=5951 87.57/87.66 c nbDecision=20500 #constraints=6451 112.56/112.64 c nbDecision=21000 #constraints=6953 139.75/139.80 c nbDecision=21500 #constraints=7456 169.75/169.85 c nbDecision=22000 #constraints=7951 201.44/201.50 c nbDecision=22500 #constraints=8454 228.34/228.41 c nbDecision=23000 #constraints=8950 265.23/265.39 c nbDecision=23500 #constraints=9454 300.12/300.29 c nbDecision=24000 #constraints=9949 333.00/333.12 c nbDecision=24500 #constraints=10453 370.00/370.11 c nbDecision=25000 #constraints=10952 411.29/411.49 c nbDecision=25500 #constraints=11452 420.19/420.36 c restart after 25601 decisions 422.39/422.54 c nbDecision=26000 #constraints=11555 422.49/422.62 c nbDecision=26500 #constraints=11555 422.59/422.70 c nbDecision=27000 #constraints=11555 422.59/422.78 c nbDecision=27500 #constraints=11555 422.79/422.93 c nbDecision=28000 #constraints=11555 422.99/423.18 c nbDecision=28500 #constraints=11555 423.29/423.41 c nbDecision=29000 #constraints=11555 423.29/423.46 c nbDecision=29500 #constraints=11555 423.69/423.87 c nbDecision=30000 #constraints=11555 462.27/462.48 c nbDecision=30500 #constraints=12051 500.17/500.39 c nbDecision=31000 #constraints=12554 543.36/543.59 c nbDecision=31500 #constraints=13054 593.84/594.03 c nbDecision=32000 #constraints=13557 632.53/632.78 c nbDecision=32500 #constraints=14054 682.93/683.12 c nbDecision=33000 #constraints=14558 718.21/718.49 c nbDecision=33500 #constraints=15051 759.19/759.42 c nbDecision=34000 #constraints=15554 804.89/805.20 c nbDecision=34500 #constraints=16055 853.67/853.98 c nbDecision=35000 #constraints=16554 908.27/908.54 c nbDecision=35500 #constraints=17052 961.85/962.17 c nbDecision=36000 #constraints=17548 993.24/993.51 c nbDecision=36500 #constraints=18051 1037.13/1037.43 c nbDecision=37000 #constraints=18552 1087.42/1087.79 c nbDecision=37500 #constraints=19049 1146.61/1146.99 c nbDecision=38000 #constraints=19555 1214.48/1214.87 c nbDecision=38500 #constraints=20054 1278.18/1278.65 c nbDecision=39000 #constraints=20558 1343.95/1344.40 c nbDecision=39500 #constraints=21051 1404.93/1405.46 c nbDecision=40000 #constraints=21551 1464.72/1465.26 c nbDecision=40500 #constraints=22052 1532.70/1533.24 c nbDecision=41000 #constraints=22552 1611.98/1612.59 c nbDecision=41500 #constraints=23055 1688.46/1689.01 c nbDecision=42000 #constraints=23546 1753.54/1754.11 c nbDecision=42500 #constraints=24052 1800.04/1800.60 Received signal 15 1800.33/1800.91 1800.33/1800.91 s UNKNOWN 1800.33/1800.91 1800.33/1800.91 c user time= 1799.72 s 1800.33/1800.91 c system time= 0.640902 s 1800.33/1800.91 c wall clock time=1800.92
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node70/watcher-357294-1176993631 -o ROOT/results/node70/solver-357294-1176993631 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357294-1176993631/instance-357294-1176993631.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.97 0.91 3/64 28289 /proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=1468 CPUtime=0 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 177 0 0 0 0 0 0 0 18 0 1 0 138900491 1503232 159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 367 159 127 317 0 46 0 [startup+0.0422811 s] /proc/loadavg: 0.92 0.97 0.91 3/64 28289 /proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=2012 CPUtime=0.04 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 305 0 0 0 4 0 0 0 18 0 1 0 138900491 2060288 254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 503 254 131 317 0 182 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2012 [startup+0.101287 s] /proc/loadavg: 0.92 0.97 0.91 3/64 28289 /proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=2936 CPUtime=0.09 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 545 0 0 0 9 0 0 0 18 0 1 0 138900491 3006464 494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 734 494 131 317 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2936 [startup+0.301306 s] /proc/loadavg: 0.92 0.97 0.91 3/64 28289 /proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=7892 CPUtime=0.29 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 1797 0 0 0 29 0 0 0 20 0 1 0 138900491 8081408 1746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 1973 1746 137 317 0 1652 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7892 [startup+0.701346 s] /proc/loadavg: 0.92 0.97 0.91 3/64 28289 /proc/meminfo: memFree=1464184/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=8816 CPUtime=0.69 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 2044 0 0 0 68 1 0 0 23 0 1 0 138900491 9027584 1993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 2204 1993 138 317 0 1883 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8816 [startup+1.50143 s] /proc/loadavg: 0.92 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1456688/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=8816 CPUtime=1.49 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 2044 0 0 0 148 1 0 0 25 0 1 0 138900491 9027584 1993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 2204 1993 138 317 0 1883 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8816 [startup+3.10159 s] /proc/loadavg: 0.93 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1456496/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=12208 CPUtime=3.09 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 2908 0 0 0 308 1 0 0 25 0 1 0 138900491 12500992 2857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 3052 2857 170 317 0 2731 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12208 [startup+6.30291 s] /proc/loadavg: 0.93 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1445936/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=22492 CPUtime=6.29 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 5404 0 0 0 627 2 0 0 25 0 1 0 138900491 23031808 5353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 5623 5353 170 317 0 5302 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22492 [startup+12.7015 s] /proc/loadavg: 0.94 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1432176/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=34108 CPUtime=12.69 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 8325 0 0 0 1265 4 0 0 25 0 1 0 138900491 34926592 8274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 8527 8274 170 317 0 8206 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34108 [startup+25.5018 s] /proc/loadavg: 0.95 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1414704/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=51968 CPUtime=25.49 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 12547 0 0 0 2543 6 0 0 25 0 1 0 138900491 53215232 12496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 12992 12496 170 317 0 12671 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 51968 [startup+51.1014 s] /proc/loadavg: 0.96 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1394288/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=72916 CPUtime=51.08 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 17657 0 0 0 5099 9 0 0 25 0 1 0 138900491 74665984 17606 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 18229 17606 170 317 0 17908 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 72916 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1370736/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=97180 CPUtime=102.27 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 23459 0 0 0 10214 13 0 0 25 0 1 0 138900491 99512320 23408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 24295 23408 170 317 0 23974 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 97180 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1351536/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=116016 CPUtime=162.25 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 28277 0 0 0 16209 16 0 0 25 0 1 0 138900491 118800384 28226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 29004 28226 170 317 0 28683 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 116016 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1334448/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=131532 CPUtime=222.23 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 32557 0 0 0 22205 18 0 0 25 0 1 0 138900491 134688768 32448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 32883 32448 170 317 0 32562 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 131532 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1318384/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=152120 CPUtime=282.22 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 36585 0 0 0 28202 20 0 0 25 0 1 0 138900491 155770880 36476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 38030 36476 170 317 0 37709 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 152120 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1299760/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=174196 CPUtime=342.21 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 41205 0 0 0 34198 23 0 0 25 0 1 0 138900491 178376704 41096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 43549 41096 170 317 0 43228 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 174196 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1287920/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=185136 CPUtime=402.19 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 44163 0 0 0 40194 25 0 0 25 0 1 0 138900491 189579264 44054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 46284 44054 170 317 0 45963 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 185136 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1276528/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=195272 CPUtime=462.17 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 47000 0 0 0 46190 27 0 0 25 0 1 0 138900491 199958528 46891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 48818 46891 170 317 0 48497 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 195272 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1264560/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=206388 CPUtime=522.16 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 49999 0 0 0 52187 29 0 0 25 0 1 0 138900491 211341312 49890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 51597 49890 170 317 0 51276 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 206388 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1253488/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=218544 CPUtime=582.15 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 52741 0 0 0 58185 30 0 0 25 0 1 0 138900491 223789056 52632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 54636 52632 170 317 0 54315 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 218544 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28290 /proc/meminfo: memFree=1241008/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=231432 CPUtime=642.14 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 55836 0 0 0 64182 32 0 0 25 0 1 0 138900491 236986368 55727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 57858 55727 170 317 0 57537 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 231432 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28292 /proc/meminfo: memFree=1186352/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=282676 CPUtime=942.05 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 69616 0 0 0 94164 41 0 0 25 0 1 0 138900491 289460224 69393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 70669 69393 170 317 0 70348 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 282676 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 28292 /proc/meminfo: memFree=1170480/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=307416 CPUtime=1002.04 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 75399 0 0 0 100160 44 0 0 25 0 1 0 138900491 314793984 73328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563419 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 76854 73328 170 317 0 76533 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 307416 [startup+1062.3 s] /proc/loadavg: 1.03 0.99 0.91 2/65 28292 /proc/meminfo: memFree=1156976/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=333776 CPUtime=1062.02 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 81147 0 0 0 106156 46 0 0 25 0 1 0 138900491 341786624 76700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 83444 76700 170 317 0 83123 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 333776 [startup+1122.3 s] /proc/loadavg: 1.05 1.00 0.92 2/65 28292 /proc/meminfo: memFree=1147248/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=342220 CPUtime=1122.01 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 83544 0 0 0 112153 48 0 0 25 0 1 0 138900491 350433280 79097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 85555 79097 170 317 0 85234 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 342220 [startup+1182.3 s] /proc/loadavg: 1.13 1.03 0.93 2/65 28292 /proc/meminfo: memFree=1139056/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=349612 CPUtime=1181.99 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 85594 0 0 0 118150 49 0 0 25 0 1 0 138900491 358002688 81147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 87403 81147 170 317 0 87082 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 349612 [startup+1242.3 s] /proc/loadavg: 1.04 1.02 0.93 2/71 28374 /proc/meminfo: memFree=1128176/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=360260 CPUtime=1241.94 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 88026 0 0 0 124143 51 0 0 25 0 1 0 138900491 368906240 83579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 90065 83579 170 317 0 89744 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 360260 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 0.93 2/65 28490 /proc/meminfo: memFree=1120232/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=367876 CPUtime=1301.86 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 90217 0 0 0 130133 53 0 0 25 0 1 0 138900491 376705024 85770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 91969 85770 170 317 0 91648 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 367876 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 0.93 2/65 28490 /proc/meminfo: memFree=1114536/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=373120 CPUtime=1361.84 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 91695 0 0 0 136129 55 0 0 25 0 1 0 138900491 382074880 87248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 93280 87248 170 317 0 92959 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 373120 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1104616/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=386576 CPUtime=1421.83 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 94946 0 0 0 142126 57 0 0 25 0 1 0 138900491 395853824 89674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 96644 89674 170 317 0 96323 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 386576 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1096744/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=393456 CPUtime=1481.81 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 96919 0 0 0 148124 57 0 0 25 0 1 0 138900491 402898944 91647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 98364 91647 170 317 0 98043 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 393456 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1089384/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=403972 CPUtime=1541.8 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 99460 0 0 0 154121 59 0 0 25 0 1 0 138900491 413667328 93561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 100993 93561 170 317 0 100672 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 403972 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1083248/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=409492 CPUtime=1601.78 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 100964 0 0 0 160118 60 0 0 25 0 1 0 138900491 419319808 95065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 102373 95065 170 317 0 102052 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 409492 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1076720/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=415004 CPUtime=1661.76 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 102605 0 0 0 166115 61 0 0 25 0 1 0 138900491 424964096 96706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 103751 96706 170 317 0 103430 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 415004 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1069104/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=421936 CPUtime=1721.75 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 104572 0 0 0 172112 63 0 0 25 0 1 0 138900491 432062464 98640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710971 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 105484 98640 170 317 0 105163 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 421936 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1062320/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=427804 CPUtime=1781.73 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106230 0 0 0 178110 63 0 0 25 0 1 0 138900491 438071296 100298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 106951 100298 170 317 0 106630 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 427804 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1060656/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=429252 CPUtime=1800.04 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106645 0 0 0 179940 64 0 0 25 0 1 0 138900491 439554048 100713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 107313 100713 170 317 0 106992 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 429252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1060656/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=429252 CPUtime=1800.23 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106649 0 0 0 179959 64 0 0 25 0 1 0 138900491 439554048 100717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 107313 100717 170 317 0 106992 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 429252 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.93 2/65 28490 /proc/meminfo: memFree=1060656/2055920 swapFree=4183760/4192956 [pid=28289] ppid=28287 vsize=429252 CPUtime=1800.33 /proc/28289/stat : 28289 (oree) R 28287 28289 27470 0 -1 4194304 106653 0 0 0 179969 64 0 0 25 0 1 0 138900491 439554048 100721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28289/statm: 107313 100721 170 317 0 106992 0 Current children cumulated CPU time (s) 1800.33 Current children cumulated vsize (KiB) 429252 Child status: 0 Real time (s): 1800.99 CPU time (s): 1800.43 CPU user time (s): 1799.72 CPU system time (s): 0.708892 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 429252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.72 system time used= 0.708892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106669 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= 3087 runsolver used 1.44278 second user time and 3.54346 second system time The end
Begin job on node70 on Thu Apr 19 14:40:32 UTC 2007 IDJOB= 357294 IDBENCH= 2358 IDSOLVER= 172 FILE ID= node70/357294-1176993631 PBS_JOBID= 4630424 Free space on /tmp= 66475 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/unibo/normalized-mps-v2-20-10-bg512142.opb COMMAND LINE= oree /tmp/evaluation/357294-1176993631/instance-357294-1176993631.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node70/watcher-357294-1176993631 -o ROOT/results/node70/solver-357294-1176993631 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357294-1176993631/instance-357294-1176993631.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= bc049badf8b0b6990d4dd6f2aa909c41 RANDOM SEED= 265857228 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node70.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.218 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.218 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: 1464536 kB Buffers: 28464 kB Cached: 492180 kB SwapCached: 3092 kB Active: 22424 kB Inactive: 508112 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1464536 kB SwapTotal: 4192956 kB SwapFree: 4183760 kB Dirty: 2408 kB Writeback: 0 kB Mapped: 15916 kB Slab: 46860 kB Committed_AS: 2491160 kB PageTables: 1396 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= 66475 MiB End job on node70 on Thu Apr 19 15:10:34 UTC 2007