Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1802.19 | 1802.72 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb |
MD5SUM | c8eb834e0a7928e8a3e340a1c0512bdc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.18697 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7812 |
Total number of constraints | 285 |
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 | 285 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 630 |
Number of terms in the objective function | 7812 |
Biggest coefficient in the objective function | 1825 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530518 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530518 |
Number of bits of the biggest sum of numbers | 20 |
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.07/0.09 c ...done 0.07/0.09 c #vars=7812 #constraints=319 hasObjective=yes 0.09/0.19 c res. mode=mod 0.09/0.19 c VSIDS like heuristics 0.09/0.19 c complete search running 0.19/0.22 c restart after 401 decisions 0.19/0.23 c nbDecision=500 #constraints=319 0.19/0.25 c restart after 801 decisions 0.19/0.26 c nbDecision=1000 #constraints=319 0.19/0.30 c nbDecision=1500 #constraints=319 0.29/0.30 c restart after 1601 decisions 0.29/0.33 c nbDecision=2000 #constraints=319 0.29/0.37 c nbDecision=2500 #constraints=319 0.29/0.39 c nbDecision=3000 #constraints=319 0.39/0.41 c restart after 3201 decisions 0.39/0.43 c nbDecision=3500 #constraints=319 0.39/0.46 c nbDecision=4000 #constraints=319 0.39/0.49 c nbDecision=4500 #constraints=319 0.49/0.51 c nbDecision=5000 #constraints=319 0.49/0.53 c nbDecision=5500 #constraints=319 0.69/0.76 c nbDecision=6000 #constraints=331 3.99/4.09 c restart after 6401 decisions 4.09/4.11 c nbDecision=6500 #constraints=511 4.09/4.14 c nbDecision=7000 #constraints=511 4.09/4.18 c nbDecision=7500 #constraints=511 4.19/4.21 c nbDecision=8000 #constraints=511 4.19/4.23 c nbDecision=8500 #constraints=511 4.19/4.25 c nbDecision=9000 #constraints=511 6.09/6.13 c nbDecision=9500 #constraints=600 8.59/8.66 c nbDecision=10000 #constraints=702 11.19/11.27 c nbDecision=10500 #constraints=804 13.89/13.99 c nbDecision=11000 #constraints=906 16.78/16.81 c nbDecision=11500 #constraints=1008 19.69/19.73 c nbDecision=12000 #constraints=1110 21.99/22.06 c nbDecision=12500 #constraints=1187 24.28/24.38 c restart after 12801 decisions 24.38/24.47 c nbDecision=13000 #constraints=1263 24.48/24.52 c nbDecision=13500 #constraints=1263 24.48/24.56 c nbDecision=14000 #constraints=1263 24.58/24.61 c nbDecision=14500 #constraints=1263 24.58/24.65 c nbDecision=15000 #constraints=1263 24.68/24.70 c nbDecision=15500 #constraints=1263 29.28/29.37 c nbDecision=16000 #constraints=1436 32.48/32.59 c nbDecision=16500 #constraints=1601 34.28/34.39 c nbDecision=17000 #constraints=1652 42.48/42.58 c nbDecision=17500 #constraints=1804 47.97/48.00 c nbDecision=18000 #constraints=1906 57.28/57.37 c nbDecision=18500 #constraints=2045 59.87/59.99 c nbDecision=19000 #constraints=2094 69.97/70.09 c nbDecision=19500 #constraints=2233 72.78/72.86 c nbDecision=20000 #constraints=2282 83.37/83.49 c nbDecision=20500 #constraints=2421 86.88/86.99 c nbDecision=21000 #constraints=2482 97.67/97.76 c nbDecision=21500 #constraints=2609 104.86/104.94 c nbDecision=22000 #constraints=2709 112.77/112.86 c nbDecision=22500 #constraints=2797 124.37/124.42 c nbDecision=23000 #constraints=2933 128.67/128.76 c nbDecision=23500 #constraints=2985 140.86/140.93 c nbDecision=24000 #constraints=3121 145.45/145.53 c nbDecision=24500 #constraints=3173 158.15/158.29 c nbDecision=25000 #constraints=3309 166.65/166.78 c nbDecision=25500 #constraints=3410 166.75/166.81 c restart after 25601 decisions 167.45/167.52 c nbDecision=26000 #constraints=3410 167.55/167.68 c nbDecision=26500 #constraints=3410 167.75/167.86 c nbDecision=27000 #constraints=3410 167.95/168.06 c nbDecision=27500 #constraints=3410 168.05/168.20 c nbDecision=28000 #constraints=3410 177.95/178.02 c nbDecision=28500 #constraints=3497 186.85/186.92 c nbDecision=29000 #constraints=3598 202.34/202.42 c nbDecision=29500 #constraints=3737 206.54/206.62 c nbDecision=30000 #constraints=3786 222.74/222.88 c nbDecision=30500 #constraints=3925 227.14/227.22 c nbDecision=31000 #constraints=3974 244.14/244.26 c nbDecision=31500 #constraints=4113 249.33/249.44 c nbDecision=32000 #constraints=4174 266.43/266.58 c nbDecision=32500 #constraints=4301 277.22/277.34 c nbDecision=33000 #constraints=4401 291.33/291.50 c nbDecision=33500 #constraints=4501 296.62/296.72 c nbDecision=34000 #constraints=4563 306.41/306.54 c nbDecision=34500 #constraints=4677 316.41/316.56 c nbDecision=35000 #constraints=4791 323.51/323.61 c nbDecision=35500 #constraints=4867 334.21/334.32 c nbDecision=36000 #constraints=4981 360.80/360.93 c nbDecision=36500 #constraints=5109 366.60/366.73 c nbDecision=37000 #constraints=5158 389.10/389.29 c nbDecision=37500 #constraints=5297 394.80/394.96 c nbDecision=38000 #constraints=5359 425.09/425.20 c nbDecision=38500 #constraints=5526 466.07/466.25 c nbDecision=39000 #constraints=5684 510.27/510.44 c nbDecision=39500 #constraints=5839 517.17/517.38 c nbDecision=40000 #constraints=5900 556.85/557.07 c nbDecision=40500 #constraints=6037 599.45/599.62 c nbDecision=41000 #constraints=6229 625.94/626.17 c nbDecision=41500 #constraints=6343 679.73/679.90 c nbDecision=42000 #constraints=6483 687.33/687.53 c nbDecision=42500 #constraints=6544 730.12/730.34 c nbDecision=43000 #constraints=6665 758.90/759.20 c nbDecision=43500 #constraints=6822 806.40/806.61 c nbDecision=44000 #constraints=6987 865.68/865.95 c nbDecision=44500 #constraints=7127 873.88/874.15 c nbDecision=45000 #constraints=7188 920.67/920.98 c nbDecision=45500 #constraints=7309 951.87/952.12 c nbDecision=46000 #constraints=7466 992.75/993.02 c nbDecision=46500 #constraints=7595 1068.15/1068.54 c nbDecision=47000 #constraints=7771 1068.86/1069.22 c nbDecision=47500 #constraints=7771 1127.72/1128.17 c nbDecision=48000 #constraints=7953 1161.12/1161.54 c nbDecision=48500 #constraints=8110 1194.21/1194.62 c nbDecision=49000 #constraints=8189 1286.79/1287.26 c nbDecision=49500 #constraints=8415 1287.49/1287.99 c nbDecision=50000 #constraints=8415 1350.47/1350.93 c nbDecision=50500 #constraints=8597 1386.06/1386.57 c nbDecision=51000 #constraints=8754 1409.36/1409.86 c restart after 51201 decisions 1412.46/1412.97 c nbDecision=51500 #constraints=8805 1413.16/1413.66 c nbDecision=52000 #constraints=8805 1413.66/1414.20 c nbDecision=52500 #constraints=8805 1414.36/1414.89 c nbDecision=53000 #constraints=8805 1415.26/1415.73 c nbDecision=53500 #constraints=8805 1451.35/1451.86 c nbDecision=54000 #constraints=8919 1527.43/1527.94 c nbDecision=54500 #constraints=9059 1537.12/1537.65 c nbDecision=55000 #constraints=9120 1597.81/1598.37 c nbDecision=55500 #constraints=9281 1658.30/1658.85 c nbDecision=56000 #constraints=9449 1696.99/1697.53 c nbDecision=56500 #constraints=9563 1778.67/1779.23 c nbDecision=57000 #constraints=9703 1789.27/1789.80 c nbDecision=57500 #constraints=9764 1800.07/1800.60 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node43/watcher-362482-1176846230 -o ROOT/results/node43/solver-362482-1176846230 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362482-1176846230/instance-362482-1176846230.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23335 /proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=1620 CPUtime=0 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 132534860 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 405 174 126 317 0 84 0 [startup+0.0768791 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23335 /proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=2992 CPUtime=0.07 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 559 0 0 0 7 0 0 0 18 0 1 0 132534860 3063808 541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 748 541 131 317 0 427 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2992 [startup+0.10188 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23335 /proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=4132 CPUtime=0.09 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 821 0 0 0 9 0 0 0 18 0 1 0 132534860 4231168 803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 1033 803 137 317 0 712 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4132 [startup+0.301897 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23335 /proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=4396 CPUtime=0.29 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 888 0 0 0 29 0 0 0 19 0 1 0 132534860 4501504 870 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 1099 870 138 317 0 778 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4396 [startup+0.701932 s] /proc/loadavg: 0.92 0.98 0.99 3/77 23335 /proc/meminfo: memFree=1245584/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=4808 CPUtime=0.69 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 990 0 0 0 69 0 0 0 22 0 1 0 132534860 4923392 972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 1202 972 139 317 0 881 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4808 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1241672/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=6304 CPUtime=1.49 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 1385 0 0 0 149 0 0 0 25 0 1 0 132534860 6455296 1367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 1576 1367 139 317 0 1255 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6304 [startup+3.10114 s] /proc/loadavg: 0.93 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1239304/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=9964 CPUtime=3.09 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 2264 0 0 0 309 0 0 0 25 0 1 0 132534860 10203136 2246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 2491 2246 139 317 0 2170 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9964 [startup+6.30142 s] /proc/loadavg: 0.93 0.98 0.99 3/78 23336 /proc/meminfo: memFree=1233544/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=16600 CPUtime=6.29 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 3883 0 0 0 628 1 0 0 25 0 1 0 132534860 16998400 3865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 4150 3865 139 317 0 3829 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16600 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1221256/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=28652 CPUtime=12.68 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 6754 0 0 0 1266 2 0 0 25 0 1 0 132534860 29339648 6736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 7163 6736 139 317 0 6842 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28652 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1200712/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=47772 CPUtime=25.48 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 11344 0 0 0 2543 5 0 0 25 0 1 0 132534860 48918528 11326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 11943 11326 139 317 0 11622 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47772 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1164616/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=86016 CPUtime=51.07 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 20363 0 0 0 5098 9 0 0 25 0 1 0 132534860 88080384 20345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 21504 20345 139 317 0 21183 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86016 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1117192/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=136496 CPUtime=102.27 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 32171 0 0 0 10214 13 0 0 25 0 1 0 132534860 139771904 32153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 34124 32153 139 317 0 33803 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 136496 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1078664/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=175364 CPUtime=162.25 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 41819 0 0 0 16208 17 0 0 25 0 1 0 132534860 179572736 41801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 43841 41801 139 317 0 43520 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 175364 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1034376/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=226008 CPUtime=222.24 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 52811 0 0 0 22202 22 0 0 25 0 1 0 132534860 231432192 52793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 56502 52793 139 317 0 56181 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 226008 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=1006664/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=252716 CPUtime=282.23 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 59733 0 0 0 28197 26 0 0 25 0 1 0 132534860 258781184 59715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 63179 59715 139 317 0 62858 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 252716 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=965128/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=299916 CPUtime=342.21 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 70120 0 0 0 34190 31 0 0 25 0 1 0 132534860 307113984 70102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 74979 70102 139 317 0 74658 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 299916 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=940232/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=326556 CPUtime=402.2 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 76406 0 0 0 40186 34 0 0 25 0 1 0 132534860 334393344 76388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 81639 76388 139 317 0 81318 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 326556 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=919176/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=349848 CPUtime=462.18 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 81580 0 0 0 46182 36 0 0 25 0 1 0 132534860 358244352 81552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 87462 81552 139 317 0 87141 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 349848 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=899272/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=372440 CPUtime=522.17 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 86562 0 0 0 52178 39 0 0 25 0 1 0 132534860 381378560 86534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 93110 86534 139 317 0 92789 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 372440 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23336 /proc/meminfo: memFree=875528/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=401520 CPUtime=582.16 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 92440 0 0 0 58174 42 0 0 25 0 1 0 132534860 411156480 92412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 100380 92412 139 317 0 100059 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 401520 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 3/78 23336 /proc/meminfo: memFree=851080/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=433136 CPUtime=642.14 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 98524 0 0 0 64170 44 0 0 25 0 1 0 132534860 443531264 98496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 108284 98496 139 317 0 107963 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 433136 ################ # More data... # ################ /proc/meminfo: memFree=749440/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=536396 CPUtime=1061.96 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 123571 0 0 0 106135 61 0 0 25 0 1 0 132534860 549269504 123542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 134099 123542 139 317 0 133778 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 536396 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=731976/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=559160 CPUtime=1121.92 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 128204 0 0 0 112129 63 0 0 25 0 1 0 132534860 572579840 128175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 139790 128175 139 317 0 139469 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 559160 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=718216/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=574264 CPUtime=1181.91 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 131652 0 0 0 118126 65 0 0 25 0 1 0 132534860 588046336 131623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 143566 131623 139 317 0 143245 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 574264 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=706312/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=587264 CPUtime=1241.9 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 134662 0 0 0 124124 66 0 0 25 0 1 0 132534860 601358336 134576 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 146816 134576 139 317 0 146495 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 587264 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=690568/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=604592 CPUtime=1301.89 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 138589 0 0 0 130121 68 0 0 25 0 1 0 132534860 619102208 138503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 151148 138503 139 317 0 150827 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 604592 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=679560/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=616028 CPUtime=1361.87 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 141363 0 0 0 136118 69 0 0 25 0 1 0 132534860 630812672 141267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 154007 141267 139 317 0 153686 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 616028 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=659080/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=646144 CPUtime=1421.86 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 146451 0 0 0 142114 72 0 0 25 0 1 0 132534860 661651456 146355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 161536 146355 139 317 0 161215 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 646144 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=642760/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=668156 CPUtime=1481.84 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 150582 0 0 0 148109 75 0 0 25 0 1 0 132534860 684191744 150485 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 167039 150485 139 317 0 166718 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 668156 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=630408/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=679744 CPUtime=1541.83 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 153602 0 0 0 154106 77 0 0 25 0 1 0 132534860 696057856 153505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 169936 153505 139 317 0 169615 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 679744 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=619720/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=691492 CPUtime=1601.81 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 156306 0 0 0 160103 78 0 0 25 0 1 0 132534860 708087808 156209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 172873 156209 139 317 0 172552 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 691492 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=609672/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=703260 CPUtime=1661.79 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 158785 0 0 0 166100 79 0 0 25 0 1 0 132534860 720138240 158688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 175815 158688 139 317 0 175494 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 703260 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=598344/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=714984 CPUtime=1721.78 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 161630 0 0 0 172097 81 0 0 25 0 1 0 132534860 732143616 161533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563369 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 178746 161533 139 317 0 178425 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 714984 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=588552/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=723544 CPUtime=1781.77 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 164093 0 0 0 178094 83 0 0 25 0 1 0 132534860 740909056 163996 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 180886 163996 139 317 0 180565 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 723544 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=583368/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=728104 CPUtime=1800.07 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165322 0 0 0 179924 83 0 0 25 0 1 0 132534860 745578496 165225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 182026 165225 139 317 0 181705 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 728104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 0.99 0.98 0.99 2/78 23534 /proc/meminfo: memFree=583368/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=728240 CPUtime=1800.87 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165488 0 0 0 180003 84 0 0 25 0 1 0 132534860 745717760 165391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 182060 165391 139 317 0 181739 0 Current children cumulated CPU time (s) 1800.87 Current children cumulated vsize (KiB) 728240 [startup+1802.2 s] /proc/loadavg: 0.99 0.98 0.99 2/79 23535 /proc/meminfo: memFree=582592/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=728368 CPUtime=1801.67 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165530 0 0 0 180083 84 0 0 25 0 1 0 132534860 745848832 165433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 182092 165433 139 317 0 181771 0 Current children cumulated CPU time (s) 1801.67 Current children cumulated vsize (KiB) 728368 [startup+1802.6 s] /proc/loadavg: 0.99 0.98 0.99 2/79 23535 /proc/meminfo: memFree=582592/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=728368 CPUtime=1802.07 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4194304 165539 0 0 0 180123 84 0 0 25 0 1 0 132534860 745848832 165442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 182092 165442 139 317 0 181771 0 Current children cumulated CPU time (s) 1802.07 Current children cumulated vsize (KiB) 728368 [startup+1802.7 s] /proc/loadavg: 0.99 0.98 0.99 2/79 23535 /proc/meminfo: memFree=582592/2055920 swapFree=4184784/4192956 [pid=23335] ppid=23333 vsize=0 CPUtime=1802.17 /proc/23335/stat : 23335 (oree) R 23333 23335 22295 0 -1 4195332 165539 0 0 0 180124 93 0 0 25 0 1 0 132534860 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/23335/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1802.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1802.72 CPU time (s): 1802.19 CPU user time (s): 1801.24 CPU system time (s): 0.946856 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (KiB): 728368 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1801.24 system time used= 0.946856 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 165539 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= 1266 runsolver used 2.11968 second user time and 4.40633 second system time The end
Begin job on node43 on Tue Apr 17 21:43:51 UTC 2007 IDJOB= 362482 IDBENCH= 1563 IDSOLVER= 172 FILE ID= node43/362482-1176846230 PBS_JOBID= 4590163 Free space on /tmp= 66508 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-ran12x21.opb COMMAND LINE= oree /tmp/evaluation/362482-1176846230/instance-362482-1176846230.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-362482-1176846230 -o ROOT/results/node43/solver-362482-1176846230 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362482-1176846230/instance-362482-1176846230.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= c8eb834e0a7928e8a3e340a1c0512bdc RANDOM SEED= 407067757 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node43.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.218 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1246120 kB Buffers: 66924 kB Cached: 512560 kB SwapCached: 2596 kB Active: 452764 kB Inactive: 275552 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1246120 kB SwapTotal: 4192956 kB SwapFree: 4184784 kB Dirty: 1612 kB Writeback: 0 kB Mapped: 163196 kB Slab: 66888 kB Committed_AS: 1712076 kB PageTables: 1888 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= 66508 MiB End job on node43 on Tue Apr 17 22:13:53 UTC 2007