Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.87 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-fit1p.opb |
MD5SUM | 85f7c2e2894ed59f685fa11d94ed0974 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 10627584 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 10627584 |
Optimality of the best value was proved | NO |
Number of variables | 45485 |
Total number of constraints | 1026 |
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 | 1026 |
Minimum length of a constraint | 17 |
Maximum length of a constraint | 619 |
Number of terms in the objective function | 30780 |
Biggest coefficient in the objective function | 1610612736 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 1591285381686 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 59431609958400 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 209844586667159 |
Number of bits of the biggest sum of numbers | 48 |
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... 1.49/1.53 c ...done 1.49/1.53 c #vars=45485 #constraints=1654 hasObjective=yes 1.79/1.84 c res. mode=mod 1.79/1.84 c VSIDS like heuristics 1.79/1.84 c complete search running 5.99/6.01 c restart after 401 decisions 6.59/6.65 c nbDecision=500 #constraints=1867 10.78/10.90 c restart after 801 decisions 13.10/13.15 c nbDecision=1000 #constraints=2171 20.48/20.55 c nbDecision=1500 #constraints=2559 22.09/22.19 c restart after 1601 decisions 28.49/28.57 c nbDecision=2000 #constraints=2880 41.38/41.41 c nbDecision=2500 #constraints=3287 56.17/56.23 c nbDecision=3000 #constraints=3705 62.87/62.92 c restart after 3201 decisions 69.78/69.84 c nbDecision=3500 #constraints=4051 85.77/85.82 c nbDecision=4000 #constraints=4501 100.96/101.02 c nbDecision=4500 #constraints=4924 122.66/122.77 c nbDecision=5000 #constraints=5386 143.85/143.99 c nbDecision=5500 #constraints=5827 171.65/171.78 c nbDecision=6000 #constraints=6309 195.94/196.04 c restart after 6401 decisions 198.94/199.04 c nbDecision=6500 #constraints=6707 230.13/230.22 c nbDecision=7000 #constraints=7188 259.92/260.07 c nbDecision=7500 #constraints=7654 284.91/285.10 c nbDecision=8000 #constraints=8087 317.90/318.05 c nbDecision=8500 #constraints=8555 350.50/350.62 c nbDecision=9000 #constraints=9026 391.28/391.47 c nbDecision=9500 #constraints=9502 430.78/430.95 c nbDecision=10000 #constraints=9984 470.56/470.78 c nbDecision=10500 #constraints=10458 515.34/515.50 c nbDecision=11000 #constraints=10943 564.04/564.24 c nbDecision=11500 #constraints=11421 613.53/613.73 c nbDecision=12000 #constraints=11902 658.01/658.21 c nbDecision=12500 #constraints=12364 685.00/685.21 c restart after 12801 decisions 691.80/692.06 c nbDecision=13000 #constraints=12704 719.09/719.39 c nbDecision=13500 #constraints=13172 747.18/747.46 c nbDecision=14000 #constraints=13635 773.58/773.85 c nbDecision=14500 #constraints=14078 802.91/803.25 c nbDecision=15000 #constraints=14530 834.07/834.46 c nbDecision=15500 #constraints=15008 857.95/858.34 c nbDecision=16000 #constraints=15436 879.64/880.02 c nbDecision=16500 #constraints=15850 913.93/914.34 c nbDecision=17000 #constraints=16332 949.12/949.50 c nbDecision=17500 #constraints=16812 986.31/986.79 c nbDecision=18000 #constraints=17293 1027.10/1027.50 c nbDecision=18500 #constraints=17774 1063.89/1064.36 c nbDecision=19000 #constraints=18253 1099.78/1100.21 c nbDecision=19500 #constraints=18728 1141.17/1141.70 c nbDecision=20000 #constraints=19206 1190.16/1190.60 c nbDecision=20500 #constraints=19694 1228.34/1228.85 c nbDecision=21000 #constraints=20157 1267.33/1267.83 c nbDecision=21500 #constraints=20622 1301.83/1302.32 c nbDecision=22000 #constraints=21096 1344.61/1345.17 c nbDecision=22500 #constraints=21569 1385.60/1386.16 c nbDecision=23000 #constraints=21989 1408.20/1408.73 c nbDecision=23500 #constraints=22406 1452.78/1453.36 c nbDecision=24000 #constraints=22861 1498.77/1499.35 c nbDecision=24500 #constraints=23323 1541.66/1542.25 c nbDecision=25000 #constraints=23773 1592.65/1593.26 c nbDecision=25500 #constraints=24236 1601.14/1601.75 c restart after 25601 decisions 1692.82/1693.45 c nbDecision=26000 #constraints=24620 1800.09/1800.70 Received signal 15 1800.09/1800.79 1800.09/1800.79 s UNKNOWN 1800.09/1800.79 1800.09/1800.79 c user time= 1799.55 s 1800.09/1800.79 c system time= 0.636903 s 1800.09/1800.79 c wall clock time=1800.79
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-357309-1176994074 -o ROOT/results/node54/solver-357309-1176994074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357309-1176994074/instance-357309-1176994074.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.91 3/66 25626 /proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=1468 CPUtime=0 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 146781911 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 367 161 126 317 0 46 0 [startup+0.017149 s] /proc/loadavg: 0.92 0.98 0.91 3/66 25626 /proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=1752 CPUtime=0.01 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 235 0 0 0 1 0 0 0 18 0 1 0 146781911 1794048 217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 438 217 126 317 0 117 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1752 [startup+0.101159 s] /proc/loadavg: 0.92 0.98 0.91 3/66 25626 /proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=2624 CPUtime=0.09 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 146781911 2686976 422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 656 422 128 317 0 335 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2624 [startup+0.301184 s] /proc/loadavg: 0.92 0.98 0.91 3/66 25626 /proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=5852 CPUtime=0.29 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 1332 0 0 0 29 0 0 0 19 0 1 0 146781911 5992448 1216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540773 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 1463 1217 131 317 0 1142 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5852 [startup+0.701234 s] /proc/loadavg: 0.92 0.98 0.91 3/66 25626 /proc/meminfo: memFree=1462336/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=12432 CPUtime=0.69 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 2917 0 0 0 68 1 0 0 22 0 1 0 146781911 12730368 2801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 3108 2801 131 317 0 2787 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12432 [startup+1.50234 s] /proc/loadavg: 0.92 0.98 0.91 2/67 25627 /proc/meminfo: memFree=1446776/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=25288 CPUtime=1.49 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 6083 0 0 0 147 2 0 0 25 0 1 0 146781911 25894912 5967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 6322 5968 131 317 0 6001 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25288 [startup+3.10154 s] /proc/loadavg: 0.93 0.98 0.91 2/67 25627 /proc/meminfo: memFree=1426744/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=37300 CPUtime=3.09 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 9076 0 0 0 305 4 0 0 25 0 1 0 146781911 38195200 8960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 9325 8960 139 317 0 9004 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 37300 [startup+6.30195 s] /proc/loadavg: 0.93 0.98 0.91 2/67 25627 /proc/meminfo: memFree=1425464/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=38988 CPUtime=6.29 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 9524 0 0 0 625 4 0 0 25 0 1 0 146781911 39923712 9408 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 9747 9408 170 317 0 9426 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38988 [startup+12.7018 s] /proc/loadavg: 0.94 0.98 0.91 2/67 25627 /proc/meminfo: memFree=1421368/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=43132 CPUtime=12.69 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 10534 0 0 0 1264 5 0 0 25 0 1 0 146781911 44167168 10418 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 10783 10418 170 317 0 10462 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43132 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.91 2/67 25627 /proc/meminfo: memFree=1414264/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=50128 CPUtime=25.49 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 12288 0 0 0 2543 6 0 0 25 0 1 0 146781911 51331072 12172 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 12532 12172 170 317 0 12211 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50128 [startup+51.1016 s] /proc/loadavg: 1.03 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1402872/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=62296 CPUtime=51.08 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 15141 0 0 0 5101 7 0 0 25 0 1 0 146781911 63791104 15025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 15574 15025 170 317 0 15253 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 62296 [startup+102.305 s] /proc/loadavg: 1.01 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1384312/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=80576 CPUtime=102.26 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 19774 0 0 0 10217 9 0 0 25 0 1 0 146781911 82509824 19658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606691 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 20144 19658 170 317 0 19823 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 80576 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1364984/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=101708 CPUtime=162.25 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 24610 0 0 0 16213 12 0 0 25 0 1 0 146781911 104148992 24494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 25427 24494 170 317 0 25106 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 101708 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1351224/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=115572 CPUtime=222.23 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 28055 0 0 0 22208 15 0 0 25 0 1 0 146781911 118345728 27896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 28893 27896 170 317 0 28572 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 115572 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1337208/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=129032 CPUtime=282.21 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 31603 0 0 0 28204 17 0 0 25 0 1 0 146781911 132128768 31444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 32258 31444 170 317 0 31937 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 129032 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1324024/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=141540 CPUtime=342.19 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 34850 0 0 0 34199 20 0 0 25 0 1 0 146781911 144936960 34691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 35385 34691 170 317 0 35064 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 141540 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1310520/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=158576 CPUtime=402.18 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 38240 0 0 0 40195 23 0 0 25 0 1 0 146781911 162381824 38081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 39644 38081 170 317 0 39323 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 158576 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1298424/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=171680 CPUtime=462.16 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 41232 0 0 0 46191 25 0 0 25 0 1 0 146781911 175800320 41073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 42920 41073 170 317 0 42599 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 171680 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1287800/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=183800 CPUtime=522.15 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 43873 0 0 0 52188 27 0 0 25 0 1 0 146781911 188211200 43714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 45950 43714 170 317 0 45629 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 183800 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1278712/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=193136 CPUtime=582.13 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 46143 0 0 0 58185 28 0 0 25 0 1 0 146781911 197771264 45984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533545 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 48284 45984 170 317 0 47963 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 193136 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.92 2/67 25627 /proc/meminfo: memFree=1271096/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=200252 CPUtime=642.11 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 48030 0 0 0 64182 29 0 0 25 0 1 0 146781911 205058048 47871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 50063 47871 170 317 0 49742 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 200252 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.04 1.01 0.93 2/67 25825 /proc/meminfo: memFree=1209528/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=259872 CPUtime=881.94 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 63347 0 0 0 88155 39 0 0 25 0 1 0 146781911 266108928 63102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 64968 63102 170 317 0 64647 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 259872 [startup+942.301 s] /proc/loadavg: 1.01 1.01 0.93 2/67 25825 /proc/meminfo: memFree=1196408/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=272596 CPUtime=941.93 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 66675 0 0 0 94153 40 0 0 25 0 1 0 146781911 279138304 66430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 68149 66430 170 317 0 67828 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 272596 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25825 /proc/meminfo: memFree=1181432/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=294080 CPUtime=1001.91 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 71757 0 0 0 100149 42 0 0 25 0 1 0 146781911 301137920 70126 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 73520 70126 170 317 0 73199 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 294080 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25825 /proc/meminfo: memFree=1167800/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=313888 CPUtime=1061.89 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 76386 0 0 0 106145 44 0 0 25 0 1 0 146781911 321421312 73567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 78472 73567 170 317 0 78151 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 313888 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25825 /proc/meminfo: memFree=1154488/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=329152 CPUtime=1121.87 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 80341 0 0 0 112141 46 0 0 25 0 1 0 146781911 337051648 76862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 82288 76862 170 317 0 81967 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 329152 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25825 /proc/meminfo: memFree=1141816/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=346648 CPUtime=1181.86 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 84199 0 0 0 118138 48 0 0 25 0 1 0 146781911 354967552 80027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 86662 80027 170 317 0 86341 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 346648 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25825 /proc/meminfo: memFree=1129656/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=358984 CPUtime=1241.84 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 87276 0 0 0 124134 50 0 0 25 0 1 0 146781911 367599616 83071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 89746 83071 170 317 0 89425 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 358984 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1116920/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=370832 CPUtime=1301.83 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 90521 0 0 0 130131 52 0 0 25 0 1 0 146781911 379731968 86217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 92708 86217 170 317 0 92387 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 370832 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1106232/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=381948 CPUtime=1361.81 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 93465 0 0 0 136127 54 0 0 25 0 1 0 146781911 391114752 88897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 95487 88897 170 317 0 95166 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 381948 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1093368/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=393184 CPUtime=1421.79 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 96663 0 0 0 142123 56 0 0 25 0 1 0 146781911 402620416 92095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 98296 92095 170 317 0 97975 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 393184 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1084536/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=401476 CPUtime=1481.78 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 98948 0 0 0 148120 58 0 0 25 0 1 0 146781911 411111424 94314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 100369 94314 170 317 0 100048 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 401476 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1074424/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=410436 CPUtime=1541.76 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 101459 0 0 0 154116 60 0 0 25 0 1 0 146781911 420286464 96825 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 102609 96825 170 317 0 102288 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 410436 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1065592/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=418560 CPUtime=1601.74 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 103703 0 0 0 160113 61 0 0 25 0 1 0 146781911 428605440 99036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710932 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 104640 99036 170 317 0 104319 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 418560 [startup+1662.3 s] /proc/loadavg: 1.03 1.01 0.93 2/67 25827 /proc/meminfo: memFree=1062840/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=420956 CPUtime=1661.73 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 104385 0 0 0 166111 62 0 0 25 0 1 0 146781911 431058944 99718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 105239 99718 170 317 0 104918 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 420956 [startup+1722.3 s] /proc/loadavg: 1.01 1.01 0.93 2/67 25827 /proc/meminfo: memFree=1059768/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=423632 CPUtime=1721.71 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 105160 0 0 0 172109 62 0 0 25 0 1 0 146781911 433799168 100493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 105908 100493 170 317 0 105587 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 423632 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1056632/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=427136 CPUtime=1781.69 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 106104 0 0 0 178106 63 0 0 25 0 1 0 146781911 437387264 101267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 106784 101267 170 317 0 106463 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 427136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1055288/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=428172 CPUtime=1800.09 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 106428 0 0 0 179946 63 0 0 25 0 1 0 146781911 438448128 101591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 107043 101591 170 317 0 106722 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 428172 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.93 2/67 25827 /proc/meminfo: memFree=1055288/2055920 swapFree=4181256/4192956 [pid=25626] ppid=25624 vsize=392000 CPUtime=1800.19 /proc/25626/stat : 25626 (oree) R 25624 25626 24728 0 -1 4194304 106444 0 0 0 179955 64 0 0 25 0 1 0 146781911 401408000 95350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25626/statm: 97870 95282 186 317 0 97549 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 392000 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.26 CPU user time (s): 1799.56 CPU system time (s): 0.704892 CPU usage (%): 99.9663 Max. virtual memory (cumulated for all children) (KiB): 428172 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.56 system time used= 0.704892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106444 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= 2108 runsolver used 1.78073 second user time and 4.78727 second system time The end
Begin job on node54 on Thu Apr 19 14:47:54 UTC 2007 IDJOB= 357309 IDBENCH= 2377 IDSOLVER= 172 FILE ID= node54/357309-1176994074 PBS_JOBID= 4630421 Free space on /tmp= 66334 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-fit1p.opb COMMAND LINE= oree /tmp/evaluation/357309-1176994074/instance-357309-1176994074.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-357309-1176994074 -o ROOT/results/node54/solver-357309-1176994074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357309-1176994074/instance-357309-1176994074.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 85f7c2e2894ed59f685fa11d94ed0974 RANDOM SEED= 645780588 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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.234 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.234 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: 1462680 kB Buffers: 30232 kB Cached: 510888 kB SwapCached: 4648 kB Active: 27756 kB Inactive: 523952 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1462680 kB SwapTotal: 4192956 kB SwapFree: 4181256 kB Dirty: 6200 kB Writeback: 0 kB Mapped: 15744 kB Slab: 27416 kB Committed_AS: 2091836 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66334 MiB End job on node54 on Thu Apr 19 15:17:57 UTC 2007