Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.14 | 1800.76 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-sc205.opb |
MD5SUM | cfa0de6a5c077caf94404f012a430180 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 16.9554 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | YES |
Number of variables | 6090 |
Total number of constraints | 204 |
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 | 204 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073741823 |
Number of bits of the sum of numbers in the objective function | 30 |
Biggest number in a constraint | 8589934592 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 22548578283 |
Number of bits of the biggest sum of numbers | 35 |
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.03/0.05 c ...done 0.03/0.05 c #vars=6090 #constraints=296 hasObjective=yes 0.03/0.06 c res. mode=mod 0.03/0.06 c VSIDS like heuristics 0.03/0.06 c complete search running 0.79/0.82 c restart after 401 decisions 0.89/0.99 c nbDecision=500 #constraints=683 1.49/1.55 c restart after 801 decisions 2.09/2.11 c nbDecision=1000 #constraints=1096 3.89/3.92 c nbDecision=1500 #constraints=1523 4.19/4.28 c restart after 1601 decisions 5.89/5.97 c nbDecision=2000 #constraints=1918 9.29/9.37 c nbDecision=2500 #constraints=2356 12.79/12.83 c nbDecision=3000 #constraints=2793 13.59/13.66 c restart after 3201 decisions 15.39/15.46 c nbDecision=3500 #constraints=3161 22.89/22.91 c nbDecision=4000 #constraints=3594 31.68/31.73 c nbDecision=4500 #constraints=4030 37.97/38.07 c nbDecision=5000 #constraints=4430 50.38/50.49 c nbDecision=5500 #constraints=4850 66.07/66.16 c nbDecision=6000 #constraints=5288 88.25/88.32 c restart after 6401 decisions 92.96/93.05 c nbDecision=6500 #constraints=5710 101.16/101.25 c nbDecision=7000 #constraints=6115 108.55/108.70 c nbDecision=7500 #constraints=6525 117.66/117.75 c nbDecision=8000 #constraints=6933 125.95/126.08 c nbDecision=8500 #constraints=7335 135.84/135.99 c nbDecision=9000 #constraints=7739 144.74/144.81 c nbDecision=9500 #constraints=8121 153.84/153.92 c nbDecision=10000 #constraints=8501 162.53/162.65 c nbDecision=10500 #constraints=8868 171.83/171.90 c nbDecision=11000 #constraints=9247 187.02/187.13 c nbDecision=11500 #constraints=9644 207.52/207.66 c nbDecision=12000 #constraints=10055 236.80/236.98 c nbDecision=12500 #constraints=10469 249.80/249.96 c restart after 12801 decisions 255.90/256.05 c nbDecision=13000 #constraints=10842 282.70/282.84 c nbDecision=13500 #constraints=11255 315.28/315.42 c nbDecision=14000 #constraints=11666 342.47/342.67 c nbDecision=14500 #constraints=12067 371.07/371.25 c nbDecision=15000 #constraints=12476 393.95/394.14 c nbDecision=15500 #constraints=12865 419.95/420.16 c nbDecision=16000 #constraints=13256 445.03/445.24 c nbDecision=16500 #constraints=13666 473.23/473.41 c nbDecision=17000 #constraints=14079 518.81/519.02 c nbDecision=17500 #constraints=14483 573.30/573.52 c nbDecision=18000 #constraints=14904 658.66/658.93 c nbDecision=18500 #constraints=15319 714.34/714.64 c nbDecision=19000 #constraints=15726 778.42/778.79 c nbDecision=19500 #constraints=16153 860.49/860.86 c nbDecision=20000 #constraints=16574 917.68/918.08 c nbDecision=20500 #constraints=16989 985.85/986.29 c nbDecision=21000 #constraints=17397 1017.84/1018.27 c nbDecision=21500 #constraints=17792 1070.63/1071.01 c nbDecision=22000 #constraints=18191 1144.60/1145.00 c nbDecision=22500 #constraints=18604 1224.67/1225.19 c nbDecision=23000 #constraints=19025 1307.04/1307.50 c nbDecision=23500 #constraints=19459 1394.51/1395.03 c nbDecision=24000 #constraints=19873 1522.87/1523.40 c nbDecision=24500 #constraints=20319 1609.84/1610.46 c nbDecision=25000 #constraints=20751 1669.72/1670.39 c nbDecision=25500 #constraints=21172 1698.30/1698.94 c restart after 25601 decisions 1786.88/1787.59 c nbDecision=26000 #constraints=21600 1800.07/1800.70 Received signal 15 1800.07/1800.73 1800.07/1800.73 s UNKNOWN 1800.07/1800.73 1800.07/1800.73 c user time= 1799.8 s 1800.07/1800.73 c system time= 0.319951 s 1800.07/1800.73 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node38/watcher-365616-1176995305 -o ROOT/results/node38/solver-365616-1176995305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365616-1176995305/instance-365616-1176995305.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.93 0.98 0.98 3/77 31314 /proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=1468 CPUtime=0 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 131697136 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 367 162 131 317 0 46 0 [startup+0.0366989 s] /proc/loadavg: 0.93 0.98 0.98 3/77 31314 /proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=1996 CPUtime=0.03 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 321 0 0 0 3 0 0 0 18 0 1 0 131697136 2043904 303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 499 303 131 317 0 178 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1996 [startup+0.101712 s] /proc/loadavg: 0.93 0.98 0.98 3/77 31314 /proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=3164 CPUtime=0.09 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 131697136 3239936 629 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134549876 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 791 629 170 317 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3164 [startup+0.301749 s] /proc/loadavg: 0.93 0.98 0.98 3/77 31314 /proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=3428 CPUtime=0.29 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 721 0 0 0 29 0 0 0 20 0 1 0 131697136 3510272 703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 857 703 170 317 0 536 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3428 [startup+0.701827 s] /proc/loadavg: 0.93 0.98 0.98 3/77 31314 /proc/meminfo: memFree=1443136/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=3956 CPUtime=0.69 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 852 0 0 0 69 0 0 0 24 0 1 0 131697136 4050944 834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 989 834 170 317 0 668 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3956 [startup+1.50198 s] /proc/loadavg: 0.93 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1440056/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=5268 CPUtime=1.49 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 1162 0 0 0 149 0 0 0 25 0 1 0 131697136 5394432 1144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 1317 1144 170 317 0 996 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5268 [startup+3.10129 s] /proc/loadavg: 0.93 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1438456/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=6448 CPUtime=3.09 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 1465 0 0 0 309 0 0 0 25 0 1 0 131697136 6602752 1447 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 1612 1447 170 317 0 1291 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6448 [startup+6.3019 s] /proc/loadavg: 0.93 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1436088/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=8744 CPUtime=6.29 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 2014 0 0 0 628 1 0 0 25 0 1 0 131697136 8953856 1996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 2186 1996 170 317 0 1865 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8744 [startup+12.7011 s] /proc/loadavg: 0.94 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1433208/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=11884 CPUtime=12.69 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 2753 0 0 0 1267 2 0 0 25 0 1 0 131697136 12169216 2735 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 2971 2735 170 317 0 2650 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11884 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1429048/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=15588 CPUtime=25.48 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 3687 0 0 0 2545 3 0 0 25 0 1 0 131697136 15962112 3669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 3897 3669 170 317 0 3576 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15588 [startup+51.1015 s] /proc/loadavg: 0.97 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1424760/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=20452 CPUtime=51.07 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 4794 0 0 0 5103 4 0 0 25 0 1 0 131697136 20942848 4776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 5113 4776 170 317 0 4792 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 20452 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1419896/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=25460 CPUtime=102.26 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 5997 0 0 0 10221 5 0 0 25 0 1 0 131697136 26071040 5979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 6365 5979 170 317 0 6044 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25460 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1408504/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=37652 CPUtime=162.23 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 8898 0 0 0 16215 8 0 0 25 0 1 0 131697136 38555648 8823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 9413 8823 170 317 0 9092 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 37652 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1402744/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=43500 CPUtime=222.21 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 10296 0 0 0 22211 10 0 0 25 0 1 0 131697136 44544000 10221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 10875 10221 170 317 0 10554 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 43500 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1398648/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=47724 CPUtime=282.2 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 11345 0 0 0 28208 12 0 0 25 0 1 0 131697136 48869376 11270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 11931 11270 170 317 0 11610 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 47724 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1395000/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=52196 CPUtime=342.17 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 12251 0 0 0 34204 13 0 0 25 0 1 0 131697136 53448704 12176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 13049 12176 170 317 0 12728 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 52196 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1391096/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=56260 CPUtime=402.15 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 13228 0 0 0 40201 14 0 0 25 0 1 0 131697136 57610240 13153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 14065 13153 170 317 0 13744 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 56260 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1387192/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=60204 CPUtime=462.13 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 14194 0 0 0 46197 16 0 0 25 0 1 0 131697136 61648896 14119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 15051 14119 170 317 0 14730 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 60204 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1384760/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=62752 CPUtime=522.11 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 14813 0 0 0 52194 17 0 0 25 0 1 0 131697136 64258048 14738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 15688 14738 170 317 0 15367 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 62752 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1382840/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=64812 CPUtime=582.09 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 15281 0 0 0 58191 18 0 0 25 0 1 0 131697136 66367488 15206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 16203 15206 170 317 0 15882 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 64812 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1381624/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=65928 CPUtime=642.07 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 15568 0 0 0 64189 18 0 0 25 0 1 0 131697136 67510272 15493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604330 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 16482 15493 170 317 0 16161 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 65928 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31315 /proc/meminfo: memFree=1375928/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=72108 CPUtime=881.99 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 17119 0 0 0 88177 22 0 0 25 0 1 0 131697136 73838592 16931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 18027 16931 170 317 0 17706 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 72108 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1374136/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=74568 CPUtime=941.96 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 17734 0 0 0 94174 22 0 0 25 0 1 0 131697136 76357632 17381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 18642 17381 170 317 0 18321 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 74568 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1372344/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=76568 CPUtime=1001.95 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 18241 0 0 0 100172 23 0 0 25 0 1 0 131697136 78405632 17822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 19142 17822 170 317 0 18821 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 76568 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1370424/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=78664 CPUtime=1061.92 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 18740 0 0 0 106169 23 0 0 25 0 1 0 131697136 80551936 18321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 19666 18321 170 317 0 19345 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 78664 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1368888/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=80384 CPUtime=1121.9 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 19128 0 0 0 112166 24 0 0 25 0 1 0 131697136 82313216 18676 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563983 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 20096 18676 170 317 0 19775 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 80384 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1367800/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=81552 CPUtime=1181.89 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 19476 0 0 0 118164 25 0 0 25 0 1 0 131697136 83509248 18958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 20388 18958 170 317 0 20067 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 81552 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1366392/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=83004 CPUtime=1241.86 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 19826 0 0 0 124161 25 0 0 25 0 1 0 131697136 84996096 19308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 20751 19308 170 317 0 20430 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 83004 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1365112/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=84312 CPUtime=1301.85 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20158 0 0 0 130159 26 0 0 25 0 1 0 131697136 86335488 19607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 21078 19607 170 317 0 20757 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 84312 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1363960/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=85684 CPUtime=1361.82 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20475 0 0 0 136156 26 0 0 25 0 1 0 131697136 87740416 19924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 21421 19924 170 317 0 21100 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 85684 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1363000/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=86604 CPUtime=1421.81 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20714 0 0 0 142154 27 0 0 25 0 1 0 131697136 88682496 20163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 21651 20163 170 317 0 21330 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 86604 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1362104/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=87524 CPUtime=1481.78 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 20946 0 0 0 148151 27 0 0 25 0 1 0 131697136 89624576 20395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 21881 20395 170 317 0 21560 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 87524 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1361464/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=88176 CPUtime=1541.76 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 21112 0 0 0 154148 28 0 0 25 0 1 0 131697136 90292224 20561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 22044 20561 170 317 0 21723 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 88176 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1360376/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=89224 CPUtime=1601.74 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 21415 0 0 0 160145 29 0 0 25 0 1 0 131697136 91365376 20831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 22306 20831 170 317 0 21985 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 89224 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1358392/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=91276 CPUtime=1661.71 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 21918 0 0 0 166142 29 0 0 25 0 1 0 131697136 93466624 21334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 22819 21334 170 317 0 22498 0 Current children cumulated CPU time (s) 1661.71 Current children cumulated vsize (KiB) 91276 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1357496/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=92312 CPUtime=1721.69 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22171 0 0 0 172139 30 0 0 25 0 1 0 131697136 94527488 21554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 23078 21554 170 317 0 22757 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 92312 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1356600/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=93228 CPUtime=1781.67 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22426 0 0 0 178136 31 0 0 25 0 1 0 131697136 95465472 21776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 23307 21776 170 317 0 22986 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 93228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1356088/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=93780 CPUtime=1800.07 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22533 0 0 0 179976 31 0 0 25 0 1 0 131697136 96030720 21883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 23445 21883 170 317 0 23124 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 93780 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.98 2/78 31317 /proc/meminfo: memFree=1356088/2055920 swapFree=4159716/4192956 [pid=31314] ppid=31312 vsize=93780 CPUtime=1800.07 /proc/31314/stat : 31314 (oree) R 31312 31314 30643 0 -1 4194304 22533 0 0 0 179976 31 0 0 25 0 1 0 131697136 96030720 21883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31314/statm: 23445 21883 170 317 0 23124 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 93780 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.14 CPU user time (s): 1799.8 CPU system time (s): 0.334949 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 93780 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.334949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22549 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= 37205 runsolver used 1.9897 second user time and 4.5663 second system time The end
Begin job on node38 on Thu Apr 19 15:08:25 UTC 2007 IDJOB= 365616 IDBENCH= 2450 IDSOLVER= 172 FILE ID= node38/365616-1176995305 PBS_JOBID= 4630435 Free space on /tmp= 66242 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-sc205.opb COMMAND LINE= oree /tmp/evaluation/365616-1176995305/instance-365616-1176995305.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-365616-1176995305 -o ROOT/results/node38/solver-365616-1176995305 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365616-1176995305/instance-365616-1176995305.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= cfa0de6a5c077caf94404f012a430180 RANDOM SEED= 168802460 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node38.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.263 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.263 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: 1443544 kB Buffers: 47128 kB Cached: 471536 kB SwapCached: 3100 kB Active: 94472 kB Inactive: 450980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1443544 kB SwapTotal: 4192956 kB SwapFree: 4159716 kB Dirty: 1676 kB Writeback: 0 kB Mapped: 35056 kB Slab: 52136 kB Committed_AS: 1537476 kB PageTables: 2060 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= 66242 MiB End job on node38 on Thu Apr 19 15:38:28 UTC 2007