Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.4 | 1800.92 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-ran6x43.opb |
MD5SUM | 9dd7506c46c3c26c10ff03753daf5d0f |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 9783292 |
Best CPU time to get the best result obtained on this benchmark | 1800.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8442880 |
Optimality of the best value was proved | NO |
Number of variables | 7998 |
Total number of constraints | 307 |
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 | 307 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1290 |
Number of terms in the objective function | 7998 |
Biggest coefficient in the objective function | 5368709120 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1568780661323 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5368709120 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1568780661323 |
Number of bits of the biggest sum of numbers | 41 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.09/0.11 c ...done 0.09/0.11 c #vars=7998 #constraints=357 hasObjective=yes 0.19/0.21 c res. mode=mod 0.19/0.21 c VSIDS like heuristics 0.19/0.21 c complete search running 0.19/0.25 c restart after 401 decisions 0.19/0.26 c nbDecision=500 #constraints=357 0.19/0.28 c restart after 801 decisions 0.19/0.29 c nbDecision=1000 #constraints=357 0.29/0.33 c nbDecision=1500 #constraints=357 0.29/0.33 c restart after 1601 decisions 0.29/0.36 c nbDecision=2000 #constraints=357 0.39/0.40 c nbDecision=2500 #constraints=357 0.39/0.43 c nbDecision=3000 #constraints=358 0.39/0.44 c restart after 3201 decisions 0.39/0.46 c nbDecision=3500 #constraints=358 0.49/0.50 c nbDecision=4000 #constraints=358 0.49/0.53 c nbDecision=4500 #constraints=358 0.49/0.57 c nbDecision=5000 #constraints=359 2.09/2.12 c nbDecision=5500 #constraints=461 12.79/12.83 c nbDecision=6000 #constraints=955 23.38/23.43 c restart after 6401 decisions 23.48/23.54 c nbDecision=6500 #constraints=1362 23.48/23.58 c nbDecision=7000 #constraints=1362 23.58/23.61 c nbDecision=7500 #constraints=1362 23.58/23.64 c nbDecision=8000 #constraints=1362 23.68/23.77 c nbDecision=8500 #constraints=1362 36.37/36.50 c nbDecision=9000 #constraints=1766 54.88/54.91 c nbDecision=9500 #constraints=2261 78.66/78.74 c nbDecision=10000 #constraints=2763 102.76/102.84 c nbDecision=10500 #constraints=3256 129.85/129.94 c nbDecision=11000 #constraints=3755 160.24/160.35 c nbDecision=11500 #constraints=4258 194.23/194.38 c nbDecision=12000 #constraints=4759 226.82/226.92 c nbDecision=12500 #constraints=5256 249.42/249.55 c restart after 12801 decisions 250.92/251.04 c nbDecision=13000 #constraints=5558 250.92/251.08 c nbDecision=13500 #constraints=5558 251.02/251.13 c nbDecision=14000 #constraints=5558 251.12/251.21 c nbDecision=14500 #constraints=5558 253.21/253.36 c nbDecision=15000 #constraints=5565 296.60/296.74 c nbDecision=15500 #constraints=6069 339.19/339.31 c nbDecision=16000 #constraints=6565 382.08/382.28 c nbDecision=16500 #constraints=7065 430.76/430.92 c nbDecision=17000 #constraints=7567 481.75/481.92 c nbDecision=17500 #constraints=8066 533.54/533.74 c nbDecision=18000 #constraints=8562 586.32/586.57 c nbDecision=18500 #constraints=9061 642.00/642.28 c nbDecision=19000 #constraints=9558 703.79/704.07 c nbDecision=19500 #constraints=10058 762.57/762.88 c nbDecision=20000 #constraints=10558 820.55/820.89 c nbDecision=20500 #constraints=11036 890.53/890.88 c nbDecision=21000 #constraints=11526 968.91/969.25 c nbDecision=21500 #constraints=12022 1049.69/1050.09 c nbDecision=22000 #constraints=12514 1131.36/1131.77 c nbDecision=22500 #constraints=13014 1206.74/1207.18 c nbDecision=23000 #constraints=13511 1289.01/1289.48 c nbDecision=23500 #constraints=14003 1371.69/1372.10 c nbDecision=24000 #constraints=14501 1459.76/1460.21 c nbDecision=24500 #constraints=15001 1552.24/1552.73 c nbDecision=25000 #constraints=15498 1644.51/1645.07 c nbDecision=25500 #constraints=16001 1663.61/1664.18 c restart after 25601 decisions 1668.11/1668.69 c nbDecision=26000 #constraints=16100 1668.21/1668.72 c nbDecision=26500 #constraints=16100 1668.31/1668.82 c nbDecision=27000 #constraints=16100 1670.31/1670.85 c nbDecision=27500 #constraints=16100 1712.89/1713.44 c nbDecision=28000 #constraints=16314 1800.07/1800.61 Received signal 15 1800.17/1800.75 1800.17/1800.75 s UNKNOWN 1800.17/1800.75 1800.17/1800.75 c user time= 1799.04 s 1800.17/1800.75 c system time= 1.18682 s 1800.17/1800.75 c wall clock time=1800.75
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-357221-1176991642 -o ROOT/results/node5/solver-357221-1176991642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357221-1176991642/instance-357221-1176991642.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31879 /proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=1468 CPUtime=0 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 169 0 0 0 0 0 0 0 19 0 1 0 175201854 1503232 151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 367 151 127 317 0 46 0 [startup+0.073212 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31879 /proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=2600 CPUtime=0.06 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 442 0 0 0 6 0 0 0 19 0 1 0 175201854 2662400 424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 650 424 131 317 0 329 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2600 [startup+0.101215 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31879 /proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=3128 CPUtime=0.09 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 569 0 0 0 9 0 0 0 19 0 1 0 175201854 3203072 551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 782 552 131 317 0 461 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3128 [startup+0.301237 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31879 /proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=4408 CPUtime=0.29 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 911 0 0 0 29 0 0 0 21 0 1 0 175201854 4513792 893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 1102 893 138 317 0 781 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4408 [startup+0.701283 s] /proc/loadavg: 0.91 0.95 0.97 3/77 31879 /proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=5536 CPUtime=0.69 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 1139 0 0 0 69 0 0 0 25 0 1 0 175201854 5668864 1121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 1384 1121 139 317 0 1063 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5536 [startup+1.50137 s] /proc/loadavg: 0.91 0.95 0.97 2/78 31880 /proc/meminfo: memFree=1704632/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=9640 CPUtime=1.49 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 2048 0 0 0 149 0 0 0 25 0 1 0 175201854 9871360 2030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 2410 2030 139 317 0 2089 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9640 [startup+3.10155 s] /proc/loadavg: 0.91 0.95 0.97 2/78 31880 /proc/meminfo: memFree=1700792/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=15348 CPUtime=3.09 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 3313 0 0 0 308 1 0 0 25 0 1 0 175201854 15716352 3295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 3837 3296 139 317 0 3516 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15348 [startup+6.30192 s] /proc/loadavg: 0.92 0.95 0.97 2/78 31880 /proc/meminfo: memFree=1692344/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=26172 CPUtime=6.29 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 5755 0 0 0 627 2 0 0 25 0 1 0 175201854 26800128 5737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 6543 5737 170 317 0 6222 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26172 [startup+12.7026 s] /proc/loadavg: 0.93 0.95 0.97 2/78 31880 /proc/meminfo: memFree=1670584/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=46928 CPUtime=12.69 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 10276 0 0 0 1265 4 0 0 25 0 1 0 175201854 48054272 10258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 11732 10258 170 317 0 11411 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 46928 [startup+25.5011 s] /proc/loadavg: 0.94 0.96 0.97 2/78 31880 /proc/meminfo: memFree=1639160/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=83136 CPUtime=25.48 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 17966 0 0 0 2539 9 0 0 25 0 1 0 175201854 85131264 17948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 20784 17948 170 317 0 20463 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 83136 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.97 2/78 31880 /proc/meminfo: memFree=1600504/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=124468 CPUtime=51.07 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 27582 0 0 0 5093 14 0 0 25 0 1 0 175201854 127455232 27564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718701 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 31117 27564 170 317 0 30796 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 124468 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.97 2/78 31880 /proc/meminfo: memFree=1532728/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=202444 CPUtime=102.27 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 44379 0 0 0 10205 22 0 0 25 0 1 0 175201854 207302656 44361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 50611 44361 170 317 0 50290 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 202444 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1478648/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=260564 CPUtime=162.24 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 58010 0 0 0 16196 28 0 0 25 0 1 0 175201854 266817536 57992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 65141 57992 170 317 0 64820 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 260564 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1408952/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=348716 CPUtime=222.22 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 75240 0 0 0 22186 36 0 0 25 0 1 0 175201854 357085184 75222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 87179 75222 170 317 0 86858 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 348716 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1372024/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=387676 CPUtime=282.21 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 84527 0 0 0 28179 42 0 0 25 0 1 0 175201854 396980224 84509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 96919 84509 170 317 0 96598 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 387676 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1334328/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=426832 CPUtime=342.19 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 93922 0 0 0 34173 46 0 0 25 0 1 0 175201854 437075968 93904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 106708 93904 170 317 0 106387 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 426832 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1300216/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=462828 CPUtime=402.17 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 102422 0 0 0 40167 50 0 0 25 0 1 0 175201854 473935872 102404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 115707 102404 170 317 0 115386 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 462828 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1267064/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=497588 CPUtime=462.16 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 110658 0 0 0 46163 53 0 0 25 0 1 0 175201854 509530112 110640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 124397 110640 170 317 0 124076 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 497588 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1239224/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=529228 CPUtime=522.13 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 117698 0 0 0 52157 56 0 0 25 0 1 0 175201854 541929472 117623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 132307 117623 170 317 0 131986 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 529228 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1171320/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=638272 CPUtime=582.12 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 134568 0 0 0 58149 63 0 0 25 0 1 0 175201854 653590528 134493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 159568 134493 170 317 0 159247 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 638272 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1142584/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=667764 CPUtime=642.11 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 141671 0 0 0 64145 66 0 0 25 0 1 0 175201854 683790336 141596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 166941 141596 170 317 0 166620 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 667764 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1022712/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=793484 CPUtime=942.02 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 171618 0 0 0 94124 78 0 0 25 0 1 0 175201854 812527616 171543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 198371 171543 170 317 0 198050 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 793484 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=1001208/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=815592 CPUtime=1002 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 176938 0 0 0 100120 80 0 0 25 0 1 0 175201854 835166208 176863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 203898 176863 170 317 0 203577 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 815592 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=984568/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=835344 CPUtime=1061.98 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 181134 0 0 0 106116 82 0 0 25 0 1 0 175201854 855392256 181059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 208836 181059 170 317 0 208515 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 835344 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=964664/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=855688 CPUtime=1121.96 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 186093 0 0 0 112112 84 0 0 25 0 1 0 175201854 876224512 186018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 213922 186018 170 317 0 213601 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 855688 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=943544/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=878148 CPUtime=1181.94 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 191400 0 0 0 118107 87 0 0 25 0 1 0 175201854 899223552 191325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 219537 191325 170 317 0 219216 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 878148 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=923320/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=899092 CPUtime=1241.92 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 196401 0 0 0 124103 89 0 0 25 0 1 0 175201854 920670208 196326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 224773 196326 170 317 0 224452 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 899092 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=907256/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=918084 CPUtime=1301.92 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 200377 0 0 0 130100 92 0 0 25 0 1 0 175201854 940118016 200302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 229521 200302 170 317 0 229200 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 918084 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=888184/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=937832 CPUtime=1361.9 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 205180 0 0 0 136095 95 0 0 25 0 1 0 175201854 960339968 205105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 234458 205105 170 317 0 234137 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 937832 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31880 /proc/meminfo: memFree=868536/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=957612 CPUtime=1421.88 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 210022 0 0 0 142092 96 0 0 25 0 1 0 175201854 980594688 209947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 239403 209947 170 317 0 239082 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 957612 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=852536/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=976100 CPUtime=1481.86 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 214040 0 0 0 148088 98 0 0 25 0 1 0 175201854 999526400 213965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 244025 213965 170 317 0 243704 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 976100 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=835000/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=993460 CPUtime=1541.84 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 218399 0 0 0 154084 100 0 0 25 0 1 0 175201854 1017303040 218324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 248365 218324 170 317 0 248044 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 993460 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=817144/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=1011528 CPUtime=1601.83 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 222917 0 0 0 160080 103 0 0 25 0 1 0 175201854 1035804672 222842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 252882 222842 170 317 0 252561 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 1011528 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=801272/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=1029356 CPUtime=1661.81 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 226820 0 0 0 166076 105 0 0 25 0 1 0 175201854 1054060544 226745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 257339 226745 170 317 0 257018 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1029356 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=785720/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=1044788 CPUtime=1721.79 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 230747 0 0 0 172072 107 0 0 25 0 1 0 175201854 1069862912 230672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 261197 230672 170 317 0 260876 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1044788 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=771064/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=1061848 CPUtime=1781.78 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 234477 0 0 0 178069 109 0 0 25 0 1 0 175201854 1087332352 234288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 265462 234288 170 317 0 265141 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 1061848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=725432/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=1218140 CPUtime=1800.07 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 265210 0 0 0 179889 118 0 0 25 0 1 0 175201854 1247375360 245518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 304535 245518 170 317 0 304214 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1218140 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=725432/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=0 CPUtime=1800.26 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194308 265226 0 0 0 179904 122 0 0 25 0 1 0 175201854 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31882 /proc/meminfo: memFree=725432/2055920 swapFree=4151632/4192956 [pid=31879] ppid=31877 vsize=0 CPUtime=1800.36 /proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194308 265226 0 0 0 179904 132 0 0 25 0 1 0 175201854 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31879/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.36 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.92 CPU time (s): 1800.4 CPU user time (s): 1799.05 CPU system time (s): 1.3478 CPU usage (%): 99.9707 Max. virtual memory (cumulated for all children) (KiB): 1218140 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.05 system time used= 1.3478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265226 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= 7 involuntary context switches= 37238 runsolver used 2.18867 second user time and 4.33334 second system time The end
Begin job on node5 on Thu Apr 19 14:07:22 UTC 2007 IDJOB= 357221 IDBENCH= 2282 IDSOLVER= 172 FILE ID= node5/357221-1176991642 PBS_JOBID= 4630432 Free space on /tmp= 66356 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran6x43.opb COMMAND LINE= oree /tmp/evaluation/357221-1176991642/instance-357221-1176991642.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-357221-1176991642 -o ROOT/results/node5/solver-357221-1176991642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357221-1176991642/instance-357221-1176991642.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 9dd7506c46c3c26c10ff03753daf5d0f RANDOM SEED= 833540970 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1710552 kB Buffers: 31136 kB Cached: 250904 kB SwapCached: 9408 kB Active: 58044 kB Inactive: 246916 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1710552 kB SwapTotal: 4192956 kB SwapFree: 4151632 kB Dirty: 1800 kB Writeback: 0 kB Mapped: 29940 kB Slab: 25960 kB Committed_AS: 8663800 kB PageTables: 1720 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= 66356 MiB End job on node5 on Thu Apr 19 14:37:26 UTC 2007