Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1706.02 | 1706.45 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-mps-v2-20-10-n3703.opb |
MD5SUM | 35c934e0cd42ffa30810ffe35ff61781 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5257865308 |
Best CPU time to get the best result obtained on this benchmark | 1804.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5257865308 |
Optimality of the best value was proved | NO |
Number of variables | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 154999 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29657420026984 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29657420026984 |
Number of bits of the biggest sum of numbers | 45 |
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... 2.29/2.38 c ...done 2.29/2.38 c #vars=155000 #constraints=5301 hasObjective=yes 4.19/4.29 c res. mode=mod 4.19/4.29 c VSIDS like heuristics 4.19/4.29 c complete search running 5.50/5.55 c restart after 401 decisions 5.69/5.78 c nbDecision=500 #constraints=5301 6.39/6.46 c restart after 801 decisions 6.89/6.91 c nbDecision=1000 #constraints=5301 7.99/8.03 c nbDecision=1500 #constraints=5301 8.19/8.26 c restart after 1601 decisions 9.09/9.17 c nbDecision=2000 #constraints=5301 10.19/10.30 c nbDecision=2500 #constraints=5301 11.39/11.42 c nbDecision=3000 #constraints=5301 11.79/11.88 c restart after 3201 decisions 12.49/12.56 c nbDecision=3500 #constraints=5301 13.69/13.70 c nbDecision=4000 #constraints=5301 14.79/14.84 c nbDecision=4500 #constraints=5301 15.89/15.97 c nbDecision=5000 #constraints=5301 17.09/17.11 c nbDecision=5500 #constraints=5301 18.19/18.24 c nbDecision=6000 #constraints=5301 19.09/19.16 c restart after 6401 decisions 19.29/19.39 c nbDecision=6500 #constraints=5301 20.39/20.49 c nbDecision=7000 #constraints=5301 21.59/21.63 c nbDecision=7500 #constraints=5301 22.69/22.75 c nbDecision=8000 #constraints=5301 23.79/23.88 c nbDecision=8500 #constraints=5301 24.99/25.00 c nbDecision=9000 #constraints=5301 26.09/26.12 c nbDecision=9500 #constraints=5301 27.18/27.24 c nbDecision=10000 #constraints=5301 28.28/28.38 c nbDecision=10500 #constraints=5302 29.38/29.49 c nbDecision=11000 #constraints=5303 30.58/30.61 c nbDecision=11500 #constraints=5303 31.68/31.70 c nbDecision=12000 #constraints=5303 32.78/32.81 c nbDecision=12500 #constraints=5303 33.47/33.51 c restart after 12801 decisions 33.87/33.98 c nbDecision=13000 #constraints=5304 35.08/35.12 c nbDecision=13500 #constraints=5304 36.18/36.26 c nbDecision=14000 #constraints=5304 37.27/37.40 c nbDecision=14500 #constraints=5304 38.47/38.54 c nbDecision=15000 #constraints=5304 39.57/39.64 c nbDecision=15500 #constraints=5304 40.67/40.75 c nbDecision=16000 #constraints=5304 41.77/41.89 c nbDecision=16500 #constraints=5304 42.97/43.02 c nbDecision=17000 #constraints=5304 44.07/44.11 c nbDecision=17500 #constraints=5304 45.17/45.23 c nbDecision=18000 #constraints=5304 46.27/46.34 c nbDecision=18500 #constraints=5304 47.37/47.47 c nbDecision=19000 #constraints=5304 48.47/48.58 c nbDecision=19500 #constraints=5304 49.57/49.69 c nbDecision=20000 #constraints=5304 50.67/50.78 c nbDecision=20500 #constraints=5304 55.86/55.96 c nbDecision=21000 #constraints=5417 79.36/79.40 c nbDecision=21500 #constraints=5923 106.96/107.01 c nbDecision=22000 #constraints=6425 138.04/138.12 c nbDecision=22500 #constraints=6917 173.03/173.14 c nbDecision=23000 #constraints=7412 215.03/215.10 c nbDecision=23500 #constraints=7909 260.62/260.79 c nbDecision=24000 #constraints=8408 312.50/312.67 c nbDecision=24500 #constraints=8905 368.69/368.80 c nbDecision=25000 #constraints=9404 428.28/428.43 c nbDecision=25500 #constraints=9899 442.27/442.48 c restart after 25601 decisions 448.77/448.99 c nbDecision=26000 #constraints=10002 449.97/450.11 c nbDecision=26500 #constraints=10002 451.07/451.24 c nbDecision=27000 #constraints=10002 452.17/452.36 c nbDecision=27500 #constraints=10002 453.37/453.51 c nbDecision=28000 #constraints=10002 454.47/454.65 c nbDecision=28500 #constraints=10002 455.57/455.78 c nbDecision=29000 #constraints=10002 456.77/456.91 c nbDecision=29500 #constraints=10002 457.87/458.07 c nbDecision=30000 #constraints=10002 459.07/459.20 c nbDecision=30500 #constraints=10002 460.17/460.31 c nbDecision=31000 #constraints=10002 461.26/461.43 c nbDecision=31500 #constraints=10002 463.16/463.31 c nbDecision=32000 #constraints=10002 465.76/465.90 c nbDecision=32500 #constraints=10002 468.26/468.43 c nbDecision=33000 #constraints=10002 470.86/471.05 c nbDecision=33500 #constraints=10002 514.56/514.79 c nbDecision=34000 #constraints=10332 584.73/584.91 c nbDecision=34500 #constraints=10828 669.51/669.77 c nbDecision=35000 #constraints=11330 758.10/758.35 c nbDecision=35500 #constraints=11831 846.47/846.77 c nbDecision=36000 #constraints=12330 939.35/939.67 c nbDecision=36500 #constraints=12829 1040.03/1040.39 c nbDecision=37000 #constraints=13329 1144.40/1144.76 c nbDecision=37500 #constraints=13831 1213.38/1213.70 c nbDecision=38000 #constraints=14309 1292.86/1293.28 c nbDecision=38500 #constraints=14813 1382.54/1382.99 c nbDecision=39000 #constraints=15310 1467.42/1467.87 c nbDecision=39500 #constraints=15811 1567.39/1567.89 c nbDecision=40000 #constraints=16309 1679.56/1680.01 c nbDecision=40500 #constraints=16806 1705.46/1705.90 Received signal 15 1705.66/1706.14 1705.66/1706.14 s UNKNOWN 1705.66/1706.14 1705.66/1706.14 c user time= 1704 s 1705.66/1706.14 c system time= 1.70974 s 1705.66/1706.14 c wall clock time=1706.14
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-357245-1176992268 -o ROOT/results/node52/solver-357245-1176992268 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357245-1176992268/instance-357245-1176992268.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.85 0.97 0.94 3/64 13550 /proc/meminfo: memFree=1814088/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1468 CPUtime=0 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 54071976 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 367 161 127 317 0 46 0 [startup+0.069549 s] /proc/loadavg: 0.85 0.97 0.94 3/64 13550 /proc/meminfo: memFree=1814088/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=2400 CPUtime=0.06 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 497 0 0 0 6 0 0 0 18 0 1 0 54071976 2457600 381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134714919 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 600 381 127 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.10155 s] /proc/loadavg: 0.85 0.97 0.94 3/64 13550 /proc/meminfo: memFree=1814088/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=3440 CPUtime=0.09 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 802 0 0 0 9 0 0 0 18 0 1 0 54071976 3522560 557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 860 557 127 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301563 s] /proc/loadavg: 0.85 0.97 0.94 3/64 13550 /proc/meminfo: memFree=1814088/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=5520 CPUtime=0.29 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 1649 0 0 0 29 0 0 0 19 0 1 0 54071976 5652480 1147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 1380 1147 127 317 0 1059 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5520 [startup+0.701591 s] /proc/loadavg: 0.85 0.97 0.94 3/64 13550 /proc/meminfo: memFree=1814088/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=9548 CPUtime=0.69 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 2791 0 0 0 68 1 0 0 22 0 1 0 54071976 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 2387 1776 131 317 0 2066 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9548 [startup+1.50164 s] /proc/loadavg: 0.85 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1802260/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=25252 CPUtime=1.49 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 6318 0 0 0 146 3 0 0 25 0 1 0 54071976 25858048 5303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 6313 5304 131 317 0 5992 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 25252 [startup+3.10175 s] /proc/loadavg: 0.85 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1783444/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=54016 CPUtime=3.09 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 13376 0 0 0 303 6 0 0 25 0 1 0 54071976 55312384 12361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 13504 12361 137 317 0 13183 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 54016 [startup+6.30197 s] /proc/loadavg: 0.86 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1759764/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=59032 CPUtime=6.29 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 14635 0 0 0 622 7 0 0 25 0 1 0 54071976 60448768 13620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 14758 13620 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7014 s] /proc/loadavg: 0.87 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1759892/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=59032 CPUtime=12.69 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 14635 0 0 0 1262 7 0 0 25 0 1 0 54071976 60448768 13620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 14758 13620 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5013 s] /proc/loadavg: 0.90 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1759956/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=59032 CPUtime=25.49 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 14635 0 0 0 2542 7 0 0 25 0 1 0 54071976 60448768 13620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 14758 13620 138 317 0 14437 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59032 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1759380/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=59816 CPUtime=51.07 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 14815 0 0 0 5100 7 0 0 25 0 1 0 54071976 61251584 13763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 14954 13763 139 317 0 14633 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 59816 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1604052/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=231128 CPUtime=102.26 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 53903 0 0 0 10204 22 0 0 25 0 1 0 54071976 236675072 52619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 57782 52619 170 317 0 57461 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 231128 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1496212/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=342844 CPUtime=162.24 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 81257 0 0 0 16191 33 0 0 25 0 1 0 54071976 351072256 79760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 85711 79760 170 317 0 85390 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 342844 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1377748/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=476876 CPUtime=222.23 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 110691 0 0 0 22179 44 0 0 25 0 1 0 54071976 488321024 109056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 119219 109056 170 317 0 118898 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 476876 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.94 2/65 13551 /proc/meminfo: memFree=1299412/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=554152 CPUtime=282.21 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 130375 0 0 0 28168 53 0 0 25 0 1 0 54071976 567451648 128705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272659 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 138538 128705 170 317 0 138217 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 554152 [startup+342.302 s] /proc/loadavg: 1.03 0.99 0.95 2/65 13551 /proc/meminfo: memFree=1235412/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=619704 CPUtime=342.19 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 146306 0 0 0 34158 61 0 0 25 0 1 0 54071976 634576896 144578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 154926 144578 170 317 0 154605 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 619704 [startup+402.302 s] /proc/loadavg: 1.01 0.99 0.95 2/65 13551 /proc/meminfo: memFree=1122580/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=774972 CPUtime=402.18 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 174630 0 0 0 40147 71 0 0 25 0 1 0 54071976 793571328 172902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 193743 172902 170 317 0 193422 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 774972 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=1083540/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=812320 CPUtime=462.16 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 184128 0 0 0 46141 75 0 0 25 0 1 0 54071976 831815680 182358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 203080 182358 170 317 0 202759 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 812320 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=1036564/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=859256 CPUtime=522.15 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 196090 0 0 0 52135 80 0 0 25 0 1 0 54071976 879878144 194314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 214814 194314 170 317 0 214493 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 859256 [startup+582.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=983636/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=910516 CPUtime=582.14 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 209220 0 0 0 58128 86 0 0 25 0 1 0 54071976 932368384 207354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 227629 207354 170 317 0 227308 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 910516 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=939540/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=953460 CPUtime=642.13 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 220148 0 0 0 64122 91 0 0 25 0 1 0 54071976 976343040 218282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 238365 218282 170 317 0 238044 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 953460 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=814164/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1077008 CPUtime=822.08 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 251592 0 0 0 82104 104 0 0 25 0 1 0 54071976 1102856192 249694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 269252 249694 170 317 0 268931 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1077008 [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=774484/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1115632 CPUtime=882.06 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 261421 0 0 0 88097 109 0 0 25 0 1 0 54071976 1142407168 259493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 278908 259493 170 317 0 278587 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1115632 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=733716/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1155564 CPUtime=942.05 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 271727 0 0 0 94092 113 0 0 25 0 1 0 54071976 1183297536 269748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 288891 269748 170 317 0 288570 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1155564 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=697556/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1193044 CPUtime=1002.04 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 280788 0 0 0 100085 119 0 0 25 0 1 0 54071976 1221677056 278739 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 298261 278739 170 317 0 297940 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1193044 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=666004/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1227088 CPUtime=1062.02 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 288729 0 0 0 106080 122 0 0 25 0 1 0 54071976 1256538112 286634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 306772 286634 170 317 0 306451 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1227088 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=535380/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1452128 CPUtime=1122 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 321239 0 0 0 112066 134 0 0 25 0 1 0 54071976 1486979072 319144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 363032 319144 170 317 0 362711 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1452128 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=486740/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1499004 CPUtime=1181.99 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 333431 0 0 0 118060 139 0 0 25 0 1 0 54071976 1534980096 331334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 374751 331334 170 317 0 374430 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1499004 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=435860/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1549164 CPUtime=1241.98 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 346043 0 0 0 124054 144 0 0 25 0 1 0 54071976 1586343936 343939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 387291 343939 170 317 0 386970 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1549164 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=399828/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1589524 CPUtime=1301.96 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 354966 0 0 0 130050 146 0 0 25 0 1 0 54071976 1627672576 352862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 397381 352862 170 317 0 397060 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1589524 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=356244/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1632716 CPUtime=1361.94 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 365922 0 0 0 136043 151 0 0 25 0 1 0 54071976 1671901184 363812 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 408179 363812 170 317 0 407858 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1632716 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=322260/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1670560 CPUtime=1421.93 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 374309 0 0 0 142039 154 0 0 25 0 1 0 54071976 1710653440 372196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 417640 372196 170 317 0 417319 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1670560 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=274068/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1718664 CPUtime=1481.92 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 386459 0 0 0 148033 159 0 0 25 0 1 0 54071976 1759911936 384344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 429666 384344 170 317 0 429345 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1718664 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=239956/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1750372 CPUtime=1541.9 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 394895 0 0 0 154028 162 0 0 25 0 1 0 54071976 1792380928 392780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 437593 392780 170 317 0 437272 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1750372 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=207764/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1787156 CPUtime=1601.88 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 403065 0 0 0 160023 165 0 0 25 0 1 0 54071976 1830047744 400945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 446789 400945 170 317 0 446468 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 1787156 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.95 2/65 13551 /proc/meminfo: memFree=174868/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1817044 CPUtime=1661.87 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 411134 0 0 0 166019 168 0 0 25 0 1 0 54071976 1860653056 409012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 454261 409012 170 317 0 453940 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1817044 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1705.9 s] /proc/loadavg: 1.05 1.00 0.95 2/65 13551 /proc/meminfo: memFree=151508/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1843272 CPUtime=1705.46 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 416931 0 0 0 170376 170 0 0 25 0 1 0 54071976 1887510528 414809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590754 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 460818 414809 170 317 0 460497 0 Current children cumulated CPU time (s) 1705.46 Current children cumulated vsize (KiB) 1843272 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1706.2 s] /proc/loadavg: 1.05 1.00 0.95 2/66 13552 /proc/meminfo: memFree=151500/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=1642260 CPUtime=1705.76 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194304 416970 0 0 0 170403 173 0 0 25 0 1 0 54071976 1681674240 379076 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266299 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 410565 379076 186 317 0 410244 0 Current children cumulated CPU time (s) 1705.76 Current children cumulated vsize (KiB) 1642260 [startup+1706.4 s] /proc/loadavg: 1.05 1.00 0.95 2/66 13552 /proc/meminfo: memFree=151500/2055920 swapFree=4182956/4192956 [pid=13550] ppid=13548 vsize=0 CPUtime=1705.96 /proc/13550/stat : 13550 (oree) R 13548 13550 13123 0 -1 4194308 416970 0 0 0 170404 192 0 0 25 0 1 0 54071976 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/13550/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1705.96 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1706.45 CPU time (s): 1706.02 CPU user time (s): 1704.05 CPU system time (s): 1.9737 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 1843272 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1704.05 system time used= 1.9737 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 416970 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= 3266 runsolver used 1.14283 second user time and 3.54146 second system time The end
Begin job on node52 on Thu Apr 19 14:17:49 UTC 2007 IDJOB= 357245 IDBENCH= 2307 IDSOLVER= 172 FILE ID= node52/357245-1176992268 PBS_JOBID= 4630454 Free space on /tmp= 66304 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-n3703.opb COMMAND LINE= oree /tmp/evaluation/357245-1176992268/instance-357245-1176992268.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-357245-1176992268 -o ROOT/results/node52/solver-357245-1176992268 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357245-1176992268/instance-357245-1176992268.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 35c934e0cd42ffa30810ffe35ff61781 RANDOM SEED= 865380215 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1814580 kB Buffers: 10728 kB Cached: 181552 kB SwapCached: 3832 kB Active: 73208 kB Inactive: 128612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1814580 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 9896 kB Writeback: 0 kB Mapped: 15484 kB Slab: 25472 kB Committed_AS: 1630156 kB PageTables: 1484 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= 66304 MiB End job on node52 on Thu Apr 19 14:46:17 UTC 2007