Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.64 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb |
MD5SUM | 84033421910bbd4d66297a25db66c955 |
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 | 27888 |
Total number of constraints | 874 |
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 | 874 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 246 |
Number of terms in the objective function | 27836 |
Biggest coefficient in the objective function | 698469056512 |
Number of bits for the biggest coefficient in the objective function | 40 |
Sum of the numbers in the objective function | 44081965661371 |
Number of bits of the sum of numbers in the objective function | 46 |
Biggest number in a constraint | 698469056512 |
Number of bits of the biggest number in a constraint | 40 |
Biggest sum of numbers in a constraint | 44081965661371 |
Number of bits of the biggest sum of numbers | 46 |
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.29/0.36 c ...done 0.29/0.36 c #vars=27888 #constraints=1423 hasObjective=yes 0.59/0.65 c res. mode=mod 0.59/0.65 c VSIDS like heuristics 0.59/0.65 c complete search running 0.69/0.77 c restart after 401 decisions 0.79/0.80 c nbDecision=500 #constraints=1423 0.79/0.88 c restart after 801 decisions 0.89/0.93 c nbDecision=1000 #constraints=1423 0.99/1.06 c nbDecision=1500 #constraints=1423 0.99/1.09 c restart after 1601 decisions 1.19/1.20 c nbDecision=2000 #constraints=1423 1.29/1.33 c nbDecision=2500 #constraints=1423 1.39/1.45 c nbDecision=3000 #constraints=1423 1.49/1.50 c restart after 3201 decisions 1.49/1.59 c nbDecision=3500 #constraints=1423 1.69/1.72 c nbDecision=4000 #constraints=1423 1.79/1.84 c nbDecision=4500 #constraints=1423 1.89/1.97 c nbDecision=5000 #constraints=1423 1.99/2.09 c nbDecision=5500 #constraints=1423 2.19/2.20 c nbDecision=6000 #constraints=1423 2.19/2.29 c restart after 6401 decisions 2.29/2.33 c nbDecision=6500 #constraints=1423 2.39/2.46 c nbDecision=7000 #constraints=1423 2.49/2.58 c nbDecision=7500 #constraints=1423 2.69/2.71 c nbDecision=8000 #constraints=1423 2.79/2.83 c nbDecision=8500 #constraints=1423 2.89/2.94 c nbDecision=9000 #constraints=1423 2.99/3.06 c nbDecision=9500 #constraints=1423 3.09/3.16 c nbDecision=10000 #constraints=1423 3.19/3.26 c nbDecision=10500 #constraints=1423 3.29/3.35 c nbDecision=11000 #constraints=1423 3.39/3.44 c nbDecision=11500 #constraints=1423 3.48/3.52 c nbDecision=12000 #constraints=1423 3.58/3.60 c nbDecision=12500 #constraints=1423 3.58/3.65 c restart after 12801 decisions 3.68/3.72 c nbDecision=13000 #constraints=1423 3.79/3.85 c nbDecision=13500 #constraints=1423 3.89/3.97 c nbDecision=14000 #constraints=1423 3.99/4.10 c nbDecision=14500 #constraints=1423 4.19/4.22 c nbDecision=15000 #constraints=1423 4.30/4.33 c nbDecision=15500 #constraints=1423 4.40/4.44 c nbDecision=16000 #constraints=1423 4.49/4.54 c nbDecision=16500 #constraints=1423 4.59/4.64 c nbDecision=17000 #constraints=1423 4.69/4.73 c nbDecision=17500 #constraints=1423 4.79/4.82 c nbDecision=18000 #constraints=1423 4.89/4.90 c nbDecision=18500 #constraints=1423 4.89/4.98 c nbDecision=19000 #constraints=1423 4.99/5.06 c nbDecision=19500 #constraints=1423 5.09/5.13 c nbDecision=20000 #constraints=1423 5.09/5.19 c nbDecision=20500 #constraints=1423 5.19/5.25 c nbDecision=21000 #constraints=1423 5.29/5.31 c nbDecision=21500 #constraints=1423 5.29/5.36 c nbDecision=22000 #constraints=1423 5.99/6.07 c nbDecision=22500 #constraints=1752 7.99/8.08 c nbDecision=23000 #constraints=2253 11.19/11.25 c nbDecision=23500 #constraints=2754 15.49/15.54 c nbDecision=24000 #constraints=3254 21.09/21.13 c nbDecision=24500 #constraints=3757 27.58/27.66 c nbDecision=25000 #constraints=4257 36.18/36.22 c nbDecision=25500 #constraints=4759 37.88/37.94 c restart after 25601 decisions 38.28/38.34 c nbDecision=26000 #constraints=4858 38.38/38.46 c nbDecision=26500 #constraints=4858 38.48/38.59 c nbDecision=27000 #constraints=4858 38.68/38.71 c nbDecision=27500 #constraints=4858 38.78/38.83 c nbDecision=28000 #constraints=4858 38.88/38.95 c nbDecision=28500 #constraints=4858 38.98/39.05 c nbDecision=29000 #constraints=4858 39.08/39.15 c nbDecision=29500 #constraints=4858 39.18/39.25 c nbDecision=30000 #constraints=4858 39.28/39.36 c nbDecision=30500 #constraints=4858 39.38/39.45 c nbDecision=31000 #constraints=4858 39.48/39.53 c nbDecision=31500 #constraints=4858 39.58/39.60 c nbDecision=32000 #constraints=4858 39.58/39.67 c nbDecision=32500 #constraints=4858 39.68/39.74 c nbDecision=33000 #constraints=4858 39.78/39.81 c nbDecision=33500 #constraints=4858 39.88/39.96 c nbDecision=34000 #constraints=4858 39.98/40.02 c nbDecision=34500 #constraints=4858 40.78/40.85 c nbDecision=35000 #constraints=4892 49.38/49.45 c nbDecision=35500 #constraints=5396 60.87/60.91 c nbDecision=36000 #constraints=5894 73.37/73.41 c nbDecision=36500 #constraints=6395 85.77/85.81 c nbDecision=37000 #constraints=6894 101.97/102.04 c nbDecision=37500 #constraints=7394 119.46/119.58 c nbDecision=38000 #constraints=7894 137.55/137.64 c nbDecision=38500 #constraints=8396 154.75/154.83 c nbDecision=39000 #constraints=8892 178.94/179.00 c nbDecision=39500 #constraints=9395 202.93/203.05 c nbDecision=40000 #constraints=9897 225.83/225.93 c nbDecision=40500 #constraints=10397 248.32/248.45 c nbDecision=41000 #constraints=10896 271.32/271.47 c nbDecision=41500 #constraints=11397 296.11/296.27 c nbDecision=42000 #constraints=11895 329.00/329.17 c nbDecision=42500 #constraints=12397 361.10/361.24 c nbDecision=43000 #constraints=12895 392.19/392.33 c nbDecision=43500 #constraints=13396 425.29/425.47 c nbDecision=44000 #constraints=13898 458.28/458.49 c nbDecision=44500 #constraints=14396 490.97/491.12 c nbDecision=45000 #constraints=14895 521.17/521.36 c nbDecision=45500 #constraints=15396 552.65/552.87 c nbDecision=46000 #constraints=15896 599.44/599.70 c nbDecision=46500 #constraints=16397 644.93/645.20 c nbDecision=47000 #constraints=16896 691.62/691.82 c nbDecision=47500 #constraints=17395 738.20/738.48 c nbDecision=48000 #constraints=17900 785.20/785.43 c nbDecision=48500 #constraints=18398 831.98/832.24 c nbDecision=49000 #constraints=18898 876.67/876.99 c nbDecision=49500 #constraints=19397 922.76/923.03 c nbDecision=50000 #constraints=19901 968.75/969.03 c nbDecision=50500 #constraints=20399 1019.44/1019.70 c nbDecision=51000 #constraints=20895 1043.93/1044.21 c restart after 51201 decisions 1045.53/1045.85 c nbDecision=51500 #constraints=21097 1045.63/1045.98 c nbDecision=52000 #constraints=21097 1045.83/1046.11 c nbDecision=52500 #constraints=21097 1045.93/1046.23 c nbDecision=53000 #constraints=21097 1046.03/1046.35 c nbDecision=53500 #constraints=21097 1046.13/1046.46 c nbDecision=54000 #constraints=21097 1046.23/1046.57 c nbDecision=54500 #constraints=21097 1046.33/1046.67 c nbDecision=55000 #constraints=21097 1046.43/1046.76 c nbDecision=55500 #constraints=21097 1046.63/1046.97 c nbDecision=56000 #constraints=21097 1046.73/1047.06 c nbDecision=56500 #constraints=21097 1046.83/1047.14 c nbDecision=57000 #constraints=21097 1046.93/1047.21 c nbDecision=57500 #constraints=21097 1046.93/1047.29 c nbDecision=58000 #constraints=21097 1047.03/1047.35 c nbDecision=58500 #constraints=21097 1047.13/1047.42 c nbDecision=59000 #constraints=21097 1047.23/1047.56 c nbDecision=59500 #constraints=21097 1047.83/1048.10 c nbDecision=60000 #constraints=21097 1048.03/1048.36 c nbDecision=60500 #constraints=21097 1054.23/1054.54 c nbDecision=61000 #constraints=21535 1065.63/1065.96 c nbDecision=61500 #constraints=22038 1080.42/1080.78 c nbDecision=62000 #constraints=22536 1100.31/1100.65 c nbDecision=62500 #constraints=23039 1121.91/1122.20 c nbDecision=63000 #constraints=23541 1151.60/1151.98 c nbDecision=63500 #constraints=24040 1177.30/1177.60 c nbDecision=64000 #constraints=24540 1214.29/1214.66 c nbDecision=64500 #constraints=25041 1251.28/1251.62 c nbDecision=65000 #constraints=25544 1286.87/1287.25 c nbDecision=65500 #constraints=26040 1332.76/1333.19 c nbDecision=66000 #constraints=26540 1377.55/1377.99 c nbDecision=66500 #constraints=27042 1418.83/1419.29 c nbDecision=67000 #constraints=27542 1460.33/1460.71 c nbDecision=67500 #constraints=28044 1510.72/1511.13 c nbDecision=68000 #constraints=28540 1570.70/1571.13 c nbDecision=68500 #constraints=29042 1625.48/1625.90 c nbDecision=69000 #constraints=29547 1685.17/1685.62 c nbDecision=69500 #constraints=30042 1740.15/1740.69 c nbDecision=70000 #constraints=30541 1788.04/1788.56 c nbDecision=70500 #constraints=31043 1800.04/1800.50 Received signal 15 1800.04/1800.58 1800.04/1800.58 s UNKNOWN 1800.04/1800.58 1800.04/1800.58 c user time= 1799.63 s 1800.04/1800.58 c system time= 0.507922 s 1800.04/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/node60/watcher-357347-1176995275 -o ROOT/results/node60/solver-357347-1176995275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357347-1176995275/instance-357347-1176995275.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.91 0.97 0.92 3/64 12754 /proc/meminfo: memFree=1409552/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=1468 CPUtime=0 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147437471 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 367 161 127 317 0 46 0 [startup+0.0288151 s] /proc/loadavg: 0.91 0.97 0.92 3/64 12754 /proc/meminfo: memFree=1409552/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=1880 CPUtime=0.02 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 300 0 0 0 2 0 0 0 18 0 1 0 147437471 1925120 249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 470 249 127 317 0 149 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1880 [startup+0.102821 s] /proc/loadavg: 0.91 0.97 0.92 3/64 12754 /proc/meminfo: memFree=1409552/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=2616 CPUtime=0.09 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 524 0 0 0 9 0 0 0 18 0 1 0 147437471 2678784 408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 654 408 128 317 0 333 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2616 [startup+0.301841 s] /proc/loadavg: 0.91 0.97 0.92 3/64 12754 /proc/meminfo: memFree=1409552/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=6180 CPUtime=0.29 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 1440 0 0 0 29 0 0 0 19 0 1 0 147437471 6328320 1324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 1545 1324 131 317 0 1224 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6180 [startup+0.702881 s] /proc/loadavg: 0.91 0.97 0.92 3/64 12754 /proc/meminfo: memFree=1409552/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=11048 CPUtime=0.69 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 2674 0 0 0 68 1 0 0 22 0 1 0 147437471 11313152 2558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 2762 2558 138 317 0 2441 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11048 [startup+1.50196 s] /proc/loadavg: 0.91 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1399816/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=11180 CPUtime=1.49 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 2677 0 0 0 148 1 0 0 25 0 1 0 147437471 11448320 2561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 2795 2561 138 317 0 2474 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11180 [startup+3.10111 s] /proc/loadavg: 0.91 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1399688/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=11180 CPUtime=3.09 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 2682 0 0 0 308 1 0 0 25 0 1 0 147437471 11448320 2566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 2795 2566 138 317 0 2474 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11180 [startup+6.30143 s] /proc/loadavg: 0.92 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1399496/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=14616 CPUtime=6.29 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 3560 0 0 0 627 2 0 0 25 0 1 0 147437471 14966784 3444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 3654 3444 139 317 0 3333 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14616 [startup+12.7011 s] /proc/loadavg: 0.93 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1387144/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=24276 CPUtime=12.68 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 5951 0 0 0 1265 3 0 0 25 0 1 0 147437471 24858624 5835 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 6069 5835 139 317 0 5748 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24276 [startup+25.5013 s] /proc/loadavg: 0.94 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1376904/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=34508 CPUtime=25.49 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 8360 0 0 0 2543 6 0 0 25 0 1 0 147437471 35336192 8244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 8627 8244 139 317 0 8306 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 34508 [startup+51.1018 s] /proc/loadavg: 0.96 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1366536/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=44456 CPUtime=51.08 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 11013 0 0 0 5100 8 0 0 25 0 1 0 147437471 45522944 10860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272630 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 11114 10860 139 317 0 10793 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 44456 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1349512/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=62176 CPUtime=102.27 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 15198 0 0 0 10216 11 0 0 25 0 1 0 147437471 63668224 15045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 15544 15045 139 317 0 15223 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 62176 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1337160/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=73604 CPUtime=162.25 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 18285 0 0 0 16212 13 0 0 25 0 1 0 147437471 75370496 18132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 18401 18132 139 317 0 18080 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 73604 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1323720/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=91224 CPUtime=222.23 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 21610 0 0 0 22208 15 0 0 25 0 1 0 147437471 93413376 21457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 22806 21457 139 317 0 22485 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 91224 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1313928/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=100896 CPUtime=282.22 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 24159 0 0 0 28205 17 0 0 25 0 1 0 147437471 103317504 23934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 25224 23934 139 317 0 24903 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 100896 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1306376/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=107540 CPUtime=342.21 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 25994 0 0 0 34202 19 0 0 25 0 1 0 147437471 110120960 25769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 26885 25769 139 317 0 26564 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 107540 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1299144/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=114268 CPUtime=402.19 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 27818 0 0 0 40199 20 0 0 25 0 1 0 147437471 117010432 27593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 28567 27593 139 317 0 28246 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 114268 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1292360/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=120524 CPUtime=462.18 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 29505 0 0 0 46196 22 0 0 25 0 1 0 147437471 123416576 29280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712583 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 30131 29280 139 317 0 29810 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 120524 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1285128/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=127124 CPUtime=522.16 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 31312 0 0 0 52193 23 0 0 25 0 1 0 147437471 130174976 31087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 31781 31087 139 317 0 31460 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 127124 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1279176/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=132736 CPUtime=582.14 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 32783 0 0 0 58190 24 0 0 25 0 1 0 147437471 135921664 32558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 33184 32558 139 317 0 32863 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 132736 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1274056/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=137268 CPUtime=642.13 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 34063 0 0 0 64187 26 0 0 25 0 1 0 147437471 140562432 33838 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 34317 33838 139 317 0 33996 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 137268 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1250696/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=172516 CPUtime=882.07 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 42105 0 0 0 88175 32 0 0 25 0 1 0 147437471 176656384 39636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 43129 39636 139 317 0 42808 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 172516 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1245832/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=176972 CPUtime=942.06 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 43344 0 0 0 94173 33 0 0 25 0 1 0 147437471 181219328 40875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 44243 40875 139 317 0 43922 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 176972 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1240328/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=182296 CPUtime=1002.03 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 44790 0 0 0 100170 33 0 0 25 0 1 0 147437471 186671104 42179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 45574 42179 139 317 0 45253 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 182296 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1231944/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=190356 CPUtime=1062.02 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 47102 0 0 0 106167 35 0 0 25 0 1 0 147437471 194924544 44458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 47589 44458 139 317 0 47268 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 190356 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1218696/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=201940 CPUtime=1122.01 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 50324 0 0 0 112163 38 0 0 25 0 1 0 147437471 206786560 47647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 50485 47647 139 317 0 50164 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 201940 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1210184/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=209592 CPUtime=1181.99 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 52448 0 0 0 118159 40 0 0 25 0 1 0 147437471 214622208 49771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 52398 49771 139 317 0 52077 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 209592 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1204296/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=215032 CPUtime=1241.98 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 53908 0 0 0 124157 41 0 0 25 0 1 0 147437471 220192768 51231 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 53758 51231 139 317 0 53437 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 215032 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1197832/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=220600 CPUtime=1301.97 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 55536 0 0 0 130154 43 0 0 25 0 1 0 147437471 225894400 52826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 55150 52826 139 317 0 54829 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 220600 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1192840/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=225252 CPUtime=1361.94 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 56792 0 0 0 136151 43 0 0 25 0 1 0 147437471 230658048 54082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 56313 54082 139 317 0 55992 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 225252 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1187016/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=230060 CPUtime=1421.93 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 58236 0 0 0 142149 44 0 0 25 0 1 0 147437471 235581440 55526 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 57515 55526 139 317 0 57194 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 230060 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1181512/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=235148 CPUtime=1481.91 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 59619 0 0 0 148146 45 0 0 25 0 1 0 147437471 240791552 56909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 58787 56909 139 317 0 58466 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 235148 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1177544/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=238760 CPUtime=1541.9 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 60625 0 0 0 154144 46 0 0 25 0 1 0 147437471 244490240 57882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 59690 57882 139 317 0 59369 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 238760 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1173512/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=242508 CPUtime=1601.89 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 61647 0 0 0 160142 47 0 0 25 0 1 0 147437471 248328192 58904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 60627 58904 139 317 0 60306 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 242508 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1169416/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=245996 CPUtime=1661.87 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 62653 0 0 0 166139 48 0 0 25 0 1 0 147437471 251899904 59910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 61499 59910 139 317 0 61178 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 245996 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1165320/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=249616 CPUtime=1721.86 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 63676 0 0 0 172137 49 0 0 25 0 1 0 147437471 255606784 60933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 62404 60933 139 317 0 62083 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 249616 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1160712/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=253880 CPUtime=1781.84 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 64831 0 0 0 178134 50 0 0 25 0 1 0 147437471 259973120 62088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 63470 62088 139 317 0 63149 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 253880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.92 2/65 12755 /proc/meminfo: memFree=1158728/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=255308 CPUtime=1800.04 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194304 65305 0 0 0 179954 50 0 0 25 0 1 0 147437471 261435392 62562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 63827 62562 139 317 0 63506 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 255308 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: 0.99 0.97 0.92 2/66 12756 /proc/meminfo: memFree=1185856/2055920 swapFree=4181684/4192956 [pid=12754] ppid=12752 vsize=0 CPUtime=1800.14 /proc/12754/stat : 12754 (oree) R 12752 12754 12041 0 -1 4194308 65321 0 0 0 179963 51 0 0 25 0 1 0 147437471 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12754/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.19 CPU user time (s): 1799.64 CPU system time (s): 0.549916 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 255308 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.64 system time used= 0.549916 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 65321 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= 2328 runsolver used 1.36679 second user time and 3.57246 second system time The end
Begin job on node60 on Thu Apr 19 15:07:55 UTC 2007 IDJOB= 357347 IDBENCH= 2447 IDSOLVER= 172 FILE ID= node60/357347-1176995275 PBS_JOBID= 4630431 Free space on /tmp= 66415 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-gfrd-pnc.opb COMMAND LINE= oree /tmp/evaluation/357347-1176995275/instance-357347-1176995275.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-357347-1176995275 -o ROOT/results/node60/solver-357347-1176995275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357347-1176995275/instance-357347-1176995275.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 84033421910bbd4d66297a25db66c955 RANDOM SEED= 666502731 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1409960 kB Buffers: 27192 kB Cached: 545032 kB SwapCached: 5028 kB Active: 75220 kB Inactive: 508072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1409960 kB SwapTotal: 4192956 kB SwapFree: 4181684 kB Dirty: 2560 kB Writeback: 0 kB Mapped: 15560 kB Slab: 48588 kB Committed_AS: 1584416 kB PageTables: 1464 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= 66415 MiB End job on node60 on Thu Apr 19 15:37:58 UTC 2007