Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.63 | 1801.07 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-fixnet4.opb |
MD5SUM | 795d0994735ed34c20fdfb3b5393e52b |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 35203702 |
Best CPU time to get the best result obtained on this benchmark | 1595.79 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 15257924 |
Optimality of the best value was proved | NO |
Number of variables | 14036 |
Total number of constraints | 600 |
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 | 600 |
Minimum length of a constraint | 19 |
Maximum length of a constraint | 1523 |
Number of terms in the objective function | 13668 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 2423922177090 |
Number of bits of the sum of numbers in the objective function | 42 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 2423922177090 |
Number of bits of the biggest sum of numbers | 42 |
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.09/0.20 c ...done 0.09/0.20 c #vars=14036 #constraints=701 hasObjective=yes 0.29/0.37 c res. mode=mod 0.29/0.37 c VSIDS like heuristics 0.29/0.37 c complete search running 0.39/0.44 c restart after 401 decisions 0.39/0.46 c nbDecision=500 #constraints=701 0.39/0.49 c restart after 801 decisions 0.49/0.52 c nbDecision=1000 #constraints=701 0.49/0.58 c nbDecision=1500 #constraints=701 0.59/0.60 c restart after 1601 decisions 0.59/0.66 c nbDecision=2000 #constraints=702 1.79/1.83 c nbDecision=2500 #constraints=841 6.79/6.83 c nbDecision=3000 #constraints=1314 8.99/9.01 c restart after 3201 decisions 8.99/9.09 c nbDecision=3500 #constraints=1503 9.48/9.52 c nbDecision=4000 #constraints=1540 14.79/14.87 c nbDecision=4500 #constraints=2006 22.29/22.37 c nbDecision=5000 #constraints=2493 31.98/32.03 c nbDecision=5500 #constraints=2994 43.08/43.18 c nbDecision=6000 #constraints=3491 52.68/52.73 c restart after 6401 decisions 53.08/53.16 c nbDecision=6500 #constraints=3890 53.18/53.25 c nbDecision=7000 #constraints=3890 61.48/61.58 c nbDecision=7500 #constraints=4205 72.87/72.98 c nbDecision=8000 #constraints=4700 85.68/85.76 c nbDecision=8500 #constraints=5200 98.37/98.40 c nbDecision=9000 #constraints=5706 112.46/112.54 c nbDecision=9500 #constraints=6192 129.46/129.55 c nbDecision=10000 #constraints=6685 149.05/149.13 c nbDecision=10500 #constraints=7179 162.76/162.89 c nbDecision=11000 #constraints=7651 178.24/178.38 c nbDecision=11500 #constraints=8142 195.04/195.19 c nbDecision=12000 #constraints=8628 216.74/216.85 c nbDecision=12500 #constraints=9107 232.53/232.61 c restart after 12801 decisions 233.83/233.95 c nbDecision=13000 #constraints=9406 234.14/234.25 c nbDecision=13500 #constraints=9406 251.32/251.42 c nbDecision=14000 #constraints=9809 271.42/271.57 c nbDecision=14500 #constraints=10263 290.42/290.55 c nbDecision=15000 #constraints=10719 311.81/311.92 c nbDecision=15500 #constraints=11201 334.21/334.32 c nbDecision=16000 #constraints=11662 357.10/357.23 c nbDecision=16500 #constraints=12109 383.79/383.98 c nbDecision=17000 #constraints=12583 409.79/409.95 c nbDecision=17500 #constraints=13047 438.68/438.81 c nbDecision=18000 #constraints=13534 470.48/470.67 c nbDecision=18500 #constraints=14015 502.86/503.04 c nbDecision=19000 #constraints=14496 534.46/534.64 c nbDecision=19500 #constraints=14991 569.95/570.16 c nbDecision=20000 #constraints=15481 602.84/603.09 c nbDecision=20500 #constraints=15977 647.33/647.53 c nbDecision=21000 #constraints=16469 690.81/691.05 c nbDecision=21500 #constraints=16972 728.11/728.37 c nbDecision=22000 #constraints=17441 766.60/766.87 c nbDecision=22500 #constraints=17905 809.79/810.09 c nbDecision=23000 #constraints=18395 857.58/857.89 c nbDecision=23500 #constraints=18888 901.97/902.24 c nbDecision=24000 #constraints=19360 947.06/947.37 c nbDecision=24500 #constraints=19856 988.04/988.35 c nbDecision=25000 #constraints=20336 1032.94/1033.22 c nbDecision=25500 #constraints=20829 1042.03/1042.34 c restart after 25601 decisions 1044.83/1045.11 c nbDecision=26000 #constraints=20926 1053.13/1053.46 c nbDecision=26500 #constraints=21020 1086.02/1086.37 c nbDecision=27000 #constraints=21465 1120.91/1121.29 c nbDecision=27500 #constraints=21926 1152.10/1152.43 c nbDecision=28000 #constraints=22403 1190.60/1190.94 c nbDecision=28500 #constraints=22873 1227.88/1228.29 c nbDecision=29000 #constraints=23333 1269.78/1270.11 c nbDecision=29500 #constraints=23801 1308.57/1308.96 c nbDecision=30000 #constraints=24266 1352.66/1353.06 c nbDecision=30500 #constraints=24749 1405.25/1405.65 c nbDecision=31000 #constraints=25240 1456.93/1457.35 c nbDecision=31500 #constraints=25727 1505.01/1505.42 c nbDecision=32000 #constraints=26201 1552.60/1553.01 c nbDecision=32500 #constraints=26681 1596.00/1596.42 c nbDecision=33000 #constraints=27154 1649.09/1649.51 c nbDecision=33500 #constraints=27641 1697.17/1697.67 c nbDecision=34000 #constraints=28122 1754.65/1755.10 c nbDecision=34500 #constraints=28600 1800.05/1800.50 Received signal 15 1800.35/1800.89 1800.35/1800.89 s UNKNOWN 1800.35/1800.89 1800.35/1800.89 c user time= 1799.17 s 1800.35/1800.89 c system time= 1.28181 s 1800.35/1800.89 c wall clock time=1800.89
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-357369-1176996010 -o ROOT/results/node55/solver-357369-1176996010 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357369-1176996010/instance-357369-1176996010.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9420 /proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1468 CPUtime=0 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147511069 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 367 161 127 317 0 46 0 [startup+0.0389491 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9420 /proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1880 CPUtime=0.03 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 312 0 0 0 3 0 0 0 18 0 1 0 147511069 1925120 261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531129 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 470 261 128 317 0 149 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1880 [startup+0.102915 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9420 /proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=3028 CPUtime=0.09 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 574 0 0 0 9 0 0 0 18 0 1 0 147511069 3100672 523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 757 523 131 317 0 436 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3028 [startup+0.301934 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9420 /proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=6324 CPUtime=0.29 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 1377 0 0 0 29 0 0 0 19 0 1 0 147511069 6475776 1326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 1581 1326 137 317 0 1260 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6324 [startup+0.702972 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9420 /proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=6860 CPUtime=0.69 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 1505 0 0 0 69 0 0 0 22 0 1 0 147511069 7024640 1454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 1715 1454 139 317 0 1394 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6860 [startup+1.50105 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1729332/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=10692 CPUtime=1.49 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 2520 0 0 0 148 1 0 0 25 0 1 0 147511069 10948608 2469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 2673 2470 170 317 0 2352 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10692 [startup+3.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1724148/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=18304 CPUtime=3.09 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 4423 0 0 0 308 1 0 0 25 0 1 0 147511069 18743296 4372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 4576 4372 170 317 0 4255 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18304 [startup+6.3015 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1712764/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=30160 CPUtime=6.29 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 7367 0 0 0 627 2 0 0 25 0 1 0 147511069 30883840 7316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 7540 7316 170 317 0 7219 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30160 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1687100/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=53948 CPUtime=12.68 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 12929 0 0 0 1263 5 0 0 25 0 1 0 147511069 55242752 12878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 13487 12878 170 317 0 13166 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 53948 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1658620/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=79340 CPUtime=25.48 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 19651 0 0 0 2540 8 0 0 25 0 1 0 147511069 81244160 19600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 19835 19600 170 317 0 19514 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 79340 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1612028/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=127872 CPUtime=51.07 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 31367 0 0 0 5094 13 0 0 25 0 1 0 147511069 130940928 31316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 31968 31316 170 317 0 31647 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 127872 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1530364/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=214868 CPUtime=102.27 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 51554 0 0 0 10203 24 0 0 25 0 1 0 147511069 220024832 51503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 53717 51503 170 317 0 53396 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 214868 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1469500/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=270776 CPUtime=162.25 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 66929 0 0 0 16193 32 0 0 25 0 1 0 147511069 277274624 66878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 67694 66878 170 317 0 67373 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 270776 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1392892/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=368828 CPUtime=222.23 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 85916 0 0 0 22182 41 0 0 25 0 1 0 147511069 377679872 85807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 92207 85807 170 317 0 91886 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 368828 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1348860/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=409432 CPUtime=282.22 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 97036 0 0 0 28175 47 0 0 25 0 1 0 147511069 419258368 96927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 102358 96927 170 317 0 102037 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 409432 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1305852/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=449128 CPUtime=342.21 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 107641 0 0 0 34168 53 0 0 25 0 1 0 147511069 459907072 107532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 112282 107532 170 317 0 111961 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 449128 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1269884/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=482644 CPUtime=402.19 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 116672 0 0 0 40161 58 0 0 25 0 1 0 147511069 494227456 116563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 120661 116563 170 317 0 120340 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 482644 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=1237116/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=512672 CPUtime=462.17 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 124820 0 0 0 46156 61 0 0 25 0 1 0 147511069 524976128 124711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 128168 124711 170 317 0 127847 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 512672 [startup+522.302 s] /proc/loadavg: 1.08 1.02 1.01 2/65 9421 /proc/meminfo: memFree=1206844/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=540336 CPUtime=522.16 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 132398 0 0 0 52150 66 0 0 25 0 1 0 147511069 553304064 132289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 135084 132289 170 317 0 134763 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 540336 [startup+582.302 s] /proc/loadavg: 1.10 1.03 1.00 2/65 9421 /proc/meminfo: memFree=1177084/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=567204 CPUtime=582.15 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 139787 0 0 0 58145 70 0 0 25 0 1 0 147511069 580816896 139678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 141801 139678 170 317 0 141480 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 567204 [startup+642.303 s] /proc/loadavg: 1.09 1.04 1.00 2/65 9421 /proc/meminfo: memFree=1153020/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=589664 CPUtime=642.13 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 145713 0 0 0 64141 72 0 0 25 0 1 0 147511069 603815936 145604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 147416 145604 170 317 0 147095 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 589664 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.02 1.00 2/65 9421 /proc/meminfo: memFree=1013628/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=786364 CPUtime=942.05 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 192570 0 0 0 94113 92 0 0 25 0 1 0 147511069 805236736 180368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 196591 180368 170 317 0 196270 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 786364 [startup+1002.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9421 /proc/meminfo: memFree=990524/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=807332 CPUtime=1002.05 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 198292 0 0 0 100110 95 0 0 25 0 1 0 147511069 826707968 186090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 201833 186090 170 317 0 201512 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 807332 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 9421 /proc/meminfo: memFree=968444/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=827428 CPUtime=1062.03 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 203857 0 0 0 106106 97 0 0 25 0 1 0 147511069 847286272 191655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 206857 191655 170 317 0 206536 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 827428 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9421 /proc/meminfo: memFree=939196/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=852344 CPUtime=1122.02 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 211164 0 0 0 112102 100 0 0 25 0 1 0 147511069 872800256 198929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 213086 198929 170 317 0 212765 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 852344 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=910076/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=877272 CPUtime=1181.99 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 218456 0 0 0 118097 102 0 0 25 0 1 0 147511069 898326528 206221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 219318 206221 170 317 0 218997 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 877272 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=884028/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=901308 CPUtime=1241.98 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 224972 0 0 0 124092 106 0 0 25 0 1 0 147511069 922939392 212671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 225327 212671 170 317 0 225006 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 901308 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=861180/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=921936 CPUtime=1301.97 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 230661 0 0 0 130089 108 0 0 25 0 1 0 147511069 944062464 218327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 230484 218327 170 317 0 230163 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 921936 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=837116/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=941916 CPUtime=1361.95 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 236719 0 0 0 136085 110 0 0 25 0 1 0 147511069 964521984 224385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 235479 224385 170 317 0 235158 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 941916 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=817084/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=959928 CPUtime=1421.95 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 241691 0 0 0 142081 114 0 0 25 0 1 0 147511069 982966272 229324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278967 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 239982 229324 170 317 0 239661 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 959928 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=797628/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=977516 CPUtime=1481.93 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 246635 0 0 0 148077 116 0 0 25 0 1 0 147511069 1000976384 234235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 244379 234235 170 317 0 244058 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 977516 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=777340/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=995548 CPUtime=1541.91 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 251668 0 0 0 154073 118 0 0 25 0 1 0 147511069 1019441152 239268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 248887 239268 170 317 0 248566 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 995548 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=755772/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1015260 CPUtime=1601.9 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 257079 0 0 0 160069 121 0 0 25 0 1 0 147511069 1039626240 244679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 253815 244679 170 317 0 253494 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1015260 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=736124/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1032484 CPUtime=1661.88 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 261944 0 0 0 166065 123 0 0 25 0 1 0 147511069 1057263616 249544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 258121 249544 170 317 0 257800 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 1032484 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=713724/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1050732 CPUtime=1721.87 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 267562 0 0 0 172061 126 0 0 25 0 1 0 147511069 1075949568 255162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 262683 255162 170 317 0 262362 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1050732 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=700284/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1065396 CPUtime=1781.85 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 271090 0 0 0 178058 127 0 0 25 0 1 0 147511069 1090965504 258492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 266349 258492 170 317 0 266028 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 1065396 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9423 /proc/meminfo: memFree=693692/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1069672 CPUtime=1800.05 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 272702 0 0 0 179877 128 0 0 25 0 1 0 147511069 1095344128 260104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 267418 260104 170 317 0 267097 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 1069672 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9424 /proc/meminfo: memFree=693620/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=1069672 CPUtime=1800.16 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 272717 0 0 0 179888 128 0 0 25 0 1 0 147511069 1095344128 260119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 267418 260119 170 317 0 267097 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 1069672 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/66 9424 /proc/meminfo: memFree=693620/2055920 swapFree=4184496/4192956 [pid=9420] ppid=9418 vsize=0 CPUtime=1800.54 /proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194308 272748 0 0 0 179917 137 0 0 25 0 1 0 147511069 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9420/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.07 CPU time (s): 1800.63 CPU user time (s): 1799.18 CPU system time (s): 1.44778 CPU usage (%): 99.9751 Max. virtual memory (cumulated for all children) (KiB): 1069796 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.18 system time used= 1.44778 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 272748 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= 2912 runsolver used 1.2768 second user time and 3.66344 second system time The end
Begin job on node55 on Thu Apr 19 15:20:10 UTC 2007 IDJOB= 357369 IDBENCH= 2489 IDSOLVER= 172 FILE ID= node55/357369-1176996010 PBS_JOBID= 4630439 Free space on /tmp= 66353 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb COMMAND LINE= oree /tmp/evaluation/357369-1176996010/instance-357369-1176996010.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-357369-1176996010 -o ROOT/results/node55/solver-357369-1176996010 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357369-1176996010/instance-357369-1176996010.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 795d0994735ed34c20fdfb3b5393e52b RANDOM SEED= 64108001 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1736788 kB Buffers: 20324 kB Cached: 219560 kB SwapCached: 2196 kB Active: 115944 kB Inactive: 138788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1736788 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 2012 kB Writeback: 0 kB Mapped: 21376 kB Slab: 50476 kB Committed_AS: 1155576 kB PageTables: 1392 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= 66353 MiB End job on node55 on Thu Apr 19 15:50:13 UTC 2007