Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1533.18 | 1533.73 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb |
MD5SUM | 5e0d90a4cb8c7b885a60ac97183595d3 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 10.4344 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 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 | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 653701 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 653701 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 1.89/1.91 c ...done 1.89/1.91 c #vars=155000 #constraints=5301 hasObjective=yes 3.79/3.82 c res. mode=mod 3.79/3.82 c VSIDS like heuristics 3.79/3.82 c complete search running 4.99/5.05 c restart after 401 decisions 5.19/5.27 c nbDecision=500 #constraints=5301 5.89/5.95 c restart after 801 decisions 6.29/6.39 c nbDecision=1000 #constraints=5301 7.38/7.48 c nbDecision=1500 #constraints=5301 7.69/7.71 c restart after 1601 decisions 8.58/8.62 c nbDecision=2000 #constraints=5301 9.68/9.74 c nbDecision=2500 #constraints=5301 10.78/10.88 c nbDecision=3000 #constraints=5301 11.28/11.34 c restart after 3201 decisions 11.99/12.02 c nbDecision=3500 #constraints=5301 13.09/13.15 c nbDecision=4000 #constraints=5301 14.19/14.25 c nbDecision=4500 #constraints=5301 15.29/15.39 c nbDecision=5000 #constraints=5301 18.29/18.37 c nbDecision=5500 #constraints=5360 19.49/19.50 c nbDecision=6000 #constraints=5360 20.38/20.41 c restart after 6401 decisions 20.58/20.66 c nbDecision=6500 #constraints=5360 21.68/21.80 c nbDecision=7000 #constraints=5360 22.88/22.93 c nbDecision=7500 #constraints=5360 23.98/24.08 c nbDecision=8000 #constraints=5360 25.19/25.24 c nbDecision=8500 #constraints=5360 26.29/26.36 c nbDecision=9000 #constraints=5360 27.39/27.48 c nbDecision=9500 #constraints=5360 28.58/28.60 c nbDecision=10000 #constraints=5360 29.98/30.04 c nbDecision=10500 #constraints=5372 31.07/31.15 c nbDecision=11000 #constraints=5372 32.17/32.27 c nbDecision=11500 #constraints=5372 33.37/33.40 c nbDecision=12000 #constraints=5372 35.67/35.76 c nbDecision=12500 #constraints=5413 36.37/36.43 c restart after 12801 decisions 36.87/36.94 c nbDecision=13000 #constraints=5413 37.97/38.09 c nbDecision=13500 #constraints=5413 39.17/39.24 c nbDecision=14000 #constraints=5413 40.37/40.40 c nbDecision=14500 #constraints=5413 41.47/41.55 c nbDecision=15000 #constraints=5413 42.57/42.68 c nbDecision=15500 #constraints=5413 43.77/43.80 c nbDecision=16000 #constraints=5413 44.87/44.93 c nbDecision=16500 #constraints=5413 45.97/46.06 c nbDecision=17000 #constraints=5413 47.07/47.16 c nbDecision=17500 #constraints=5413 48.17/48.25 c nbDecision=18000 #constraints=5413 49.27/49.36 c nbDecision=18500 #constraints=5413 50.37/50.49 c nbDecision=19000 #constraints=5413 51.57/51.63 c nbDecision=19500 #constraints=5413 52.67/52.76 c nbDecision=20000 #constraints=5413 53.77/53.87 c nbDecision=20500 #constraints=5413 55.36/55.47 c nbDecision=21000 #constraints=5428 56.46/56.57 c nbDecision=21500 #constraints=5428 57.56/57.67 c nbDecision=22000 #constraints=5428 58.66/58.76 c nbDecision=22500 #constraints=5428 66.16/66.25 c nbDecision=23000 #constraints=5631 67.26/67.32 c nbDecision=23500 #constraints=5631 68.26/68.38 c nbDecision=24000 #constraints=5631 69.36/69.45 c nbDecision=24500 #constraints=5631 72.86/72.96 c nbDecision=25000 #constraints=5713 73.96/74.05 c nbDecision=25500 #constraints=5713 74.16/74.27 c restart after 25601 decisions 75.26/75.37 c nbDecision=26000 #constraints=5713 76.46/76.52 c nbDecision=26500 #constraints=5713 77.56/77.68 c nbDecision=27000 #constraints=5713 78.76/78.84 c nbDecision=27500 #constraints=5713 79.96/80.00 c nbDecision=28000 #constraints=5713 81.06/81.13 c nbDecision=28500 #constraints=5713 82.16/82.26 c nbDecision=29000 #constraints=5713 83.26/83.38 c nbDecision=29500 #constraints=5713 84.45/84.52 c nbDecision=30000 #constraints=5713 85.55/85.65 c nbDecision=30500 #constraints=5713 86.65/86.77 c nbDecision=31000 #constraints=5713 87.86/87.92 c nbDecision=31500 #constraints=5713 88.96/89.03 c nbDecision=32000 #constraints=5713 90.06/90.14 c nbDecision=32500 #constraints=5713 91.16/91.26 c nbDecision=33000 #constraints=5713 92.36/92.40 c nbDecision=33500 #constraints=5713 93.46/93.58 c nbDecision=34000 #constraints=5713 94.65/94.76 c nbDecision=34500 #constraints=5713 95.85/95.93 c nbDecision=35000 #constraints=5713 97.05/97.11 c nbDecision=35500 #constraints=5713 98.15/98.24 c nbDecision=36000 #constraints=5713 99.25/99.37 c nbDecision=36500 #constraints=5713 100.45/100.50 c nbDecision=37000 #constraints=5713 101.55/101.62 c nbDecision=37500 #constraints=5713 102.65/102.70 c nbDecision=38000 #constraints=5713 103.65/103.79 c nbDecision=38500 #constraints=5713 104.76/104.88 c nbDecision=39000 #constraints=5713 106.65/106.73 c nbDecision=39500 #constraints=5749 107.65/107.78 c nbDecision=40000 #constraints=5749 108.75/108.86 c nbDecision=40500 #constraints=5749 110.25/110.34 c nbDecision=41000 #constraints=5763 111.35/111.41 c nbDecision=41500 #constraints=5763 112.34/112.49 c nbDecision=42000 #constraints=5763 113.44/113.57 c nbDecision=42500 #constraints=5763 117.45/117.52 c nbDecision=43000 #constraints=5884 122.95/123.01 c nbDecision=43500 #constraints=6032 128.35/128.49 c nbDecision=44000 #constraints=6174 130.24/130.30 c nbDecision=44500 #constraints=6196 144.94/145.03 c nbDecision=45000 #constraints=6698 163.93/164.05 c nbDecision=45500 #constraints=7197 187.33/187.47 c nbDecision=46000 #constraints=7703 215.02/215.13 c nbDecision=46500 #constraints=8195 247.82/247.93 c nbDecision=47000 #constraints=8705 286.30/286.47 c nbDecision=47500 #constraints=9206 329.09/329.21 c nbDecision=48000 #constraints=9702 375.78/375.96 c nbDecision=48500 #constraints=10206 428.96/429.12 c nbDecision=49000 #constraints=10706 488.54/488.74 c nbDecision=49500 #constraints=11201 558.12/558.34 c nbDecision=50000 #constraints=11699 627.80/628.01 c nbDecision=50500 #constraints=12196 699.58/699.83 c nbDecision=51000 #constraints=12702 728.87/729.17 c restart after 51201 decisions 737.87/738.11 c nbDecision=51500 #constraints=12902 738.97/739.27 c nbDecision=52000 #constraints=12902 740.17/740.44 c nbDecision=52500 #constraints=12902 741.27/741.59 c nbDecision=53000 #constraints=12902 742.67/742.93 c nbDecision=53500 #constraints=12902 743.77/744.07 c nbDecision=54000 #constraints=12902 744.97/745.20 c nbDecision=54500 #constraints=12902 746.07/746.34 c nbDecision=55000 #constraints=12902 747.27/747.57 c nbDecision=55500 #constraints=12902 748.37/748.69 c nbDecision=56000 #constraints=12902 749.57/749.82 c nbDecision=56500 #constraints=12902 750.67/750.97 c nbDecision=57000 #constraints=12902 751.96/752.25 c nbDecision=57500 #constraints=12902 753.07/753.39 c nbDecision=58000 #constraints=12902 754.27/754.53 c nbDecision=58500 #constraints=12902 755.47/755.76 c nbDecision=59000 #constraints=12902 756.66/756.95 c nbDecision=59500 #constraints=12902 757.86/758.14 c nbDecision=60000 #constraints=12902 759.06/759.32 c nbDecision=60500 #constraints=12902 760.36/760.61 c nbDecision=61000 #constraints=12902 761.46/761.74 c nbDecision=61500 #constraints=12902 762.56/762.88 c nbDecision=62000 #constraints=12902 763.76/764.01 c nbDecision=62500 #constraints=12902 765.06/765.33 c nbDecision=63000 #constraints=12902 766.16/766.45 c nbDecision=63500 #constraints=12902 767.26/767.55 c nbDecision=64000 #constraints=12902 768.36/768.66 c nbDecision=64500 #constraints=12902 769.56/769.88 c nbDecision=65000 #constraints=12902 770.66/770.98 c nbDecision=65500 #constraints=12902 771.76/772.08 c nbDecision=66000 #constraints=12902 773.16/773.47 c nbDecision=66500 #constraints=12902 776.26/776.60 c nbDecision=67000 #constraints=12902 779.35/779.69 c nbDecision=67500 #constraints=12902 782.75/783.05 c nbDecision=68000 #constraints=12902 838.24/838.54 c nbDecision=68500 #constraints=13229 924.12/924.49 c nbDecision=69000 #constraints=13732 1026.39/1026.79 c nbDecision=69500 #constraints=14236 1123.06/1123.47 c nbDecision=70000 #constraints=14728 1236.23/1236.61 c nbDecision=70500 #constraints=15231 1363.18/1363.74 c nbDecision=71000 #constraints=15729 1481.16/1481.72 c nbDecision=71500 #constraints=16232 1532.64/1533.20 Received signal 15 1532.84/1533.42 1532.84/1533.42 s UNKNOWN 1532.84/1533.42 1532.84/1533.42 c user time= 1531.23 s 1532.84/1533.42 c system time= 1.64575 s 1532.84/1533.42 c wall clock time=1533.43
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-362412-1176845999 -o ROOT/results/node24/solver-362412-1176845999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362412-1176845999/instance-362412-1176845999.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.96 3/77 12063 /proc/meminfo: memFree=1502736/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=1620 CPUtime=0 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132518017 1658880 175 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 405 175 126 317 0 84 0 [startup+0.0708741 s] /proc/loadavg: 0.91 0.95 0.96 3/77 12063 /proc/meminfo: memFree=1502736/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=3440 CPUtime=0.06 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 806 0 0 0 6 0 0 0 18 0 1 0 132518017 3522560 561 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 860 561 126 317 0 539 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3440 [startup+0.102877 s] /proc/loadavg: 0.91 0.95 0.96 3/77 12063 /proc/meminfo: memFree=1502736/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=3440 CPUtime=0.09 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 132518017 3522560 651 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 860 651 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.3029 s] /proc/loadavg: 0.91 0.95 0.96 3/77 12063 /proc/meminfo: memFree=1502736/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=9548 CPUtime=0.29 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 2787 0 0 0 28 1 0 0 19 0 1 0 132518017 9777152 1772 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134531345 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 2387 1772 127 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701947 s] /proc/loadavg: 0.91 0.95 0.96 3/77 12063 /proc/meminfo: memFree=1502736/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=14444 CPUtime=0.69 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 3872 0 0 0 68 1 0 0 22 0 1 0 132518017 14790656 2857 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 3611 2857 131 317 0 3290 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14444 [startup+1.50103 s] /proc/loadavg: 0.91 0.95 0.96 3/78 12064 /proc/meminfo: memFree=1485000/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=32936 CPUtime=1.49 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 8080 0 0 0 146 3 0 0 25 0 1 0 132518017 33726464 7065 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 8234 7065 131 317 0 7913 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 32936 [startup+3.10121 s] /proc/loadavg: 0.91 0.95 0.96 2/78 12064 /proc/meminfo: memFree=1453576/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=57580 CPUtime=3.09 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 14260 0 0 0 304 5 0 0 25 0 1 0 132518017 58961920 13245 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 14395 13245 137 317 0 14074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57580 [startup+6.30156 s] /proc/loadavg: 0.92 0.95 0.96 2/78 12064 /proc/meminfo: memFree=1448392/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=59032 CPUtime=6.29 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 14630 0 0 0 624 5 0 0 25 0 1 0 132518017 60448768 13615 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.96 2/78 12064 /proc/meminfo: memFree=1448456/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=59032 CPUtime=12.68 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 14630 0 0 0 1263 5 0 0 25 0 1 0 132518017 60448768 13615 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59032 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.96 2/78 12064 /proc/meminfo: memFree=1440392/2055920 swapFree=4080688/4192956 [pid=12063] ppid=12061 vsize=68160 CPUtime=25.48 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 16690 0 0 0 2542 6 0 0 25 0 1 0 132518017 69795840 15638 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 17040 15638 139 317 0 16719 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 68160 [startup+51.1015 s] /proc/loadavg: 0.96 0.96 0.96 2/78 12064 /proc/meminfo: memFree=1432904/2055920 swapFree=4080752/4192956 [pid=12063] ppid=12061 vsize=76372 CPUtime=51.07 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 18580 0 0 0 5100 7 0 0 25 0 1 0 132518017 78204928 17528 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 19093 17528 139 317 0 18772 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 76372 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.96 2/78 12064 /proc/meminfo: memFree=1390408/2055920 swapFree=4080752/4192956 [pid=12063] ppid=12061 vsize=122784 CPUtime=102.25 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 29184 0 0 0 10214 11 0 0 25 0 1 0 132518017 125730816 28132 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606624 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 30696 28132 139 317 0 30375 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 122784 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=1196168/2055920 swapFree=4080816/4192956 [pid=12063] ppid=12061 vsize=337412 CPUtime=162.24 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 78131 0 0 0 16196 28 0 0 25 0 1 0 132518017 345509888 77079 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 84353 77079 139 317 0 84032 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 337412 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=1012744/2055920 swapFree=4080816/4192956 [pid=12063] ppid=12061 vsize=550764 CPUtime=222.22 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 123409 0 0 0 22178 44 0 0 25 0 1 0 132518017 563982336 122357 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 137691 122357 139 317 0 137370 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 550764 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=911176/2055920 swapFree=4080816/4192956 [pid=12063] ppid=12061 vsize=654392 CPUtime=282.21 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 149057 0 0 0 28168 53 0 0 25 0 1 0 132518017 670097408 148005 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 163598 148005 139 317 0 163277 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 654392 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=827272/2055920 swapFree=4080880/4192956 [pid=12063] ppid=12061 vsize=738772 CPUtime=342.18 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 169676 0 0 0 34158 60 0 0 25 0 1 0 132518017 756502528 168624 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 184693 168624 139 317 0 184372 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 738772 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=705096/2055920 swapFree=4080880/4192956 [pid=12063] ppid=12061 vsize=909676 CPUtime=402.17 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 200461 0 0 0 40142 75 0 0 25 0 1 0 132518017 931508224 199337 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712529 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 227419 199337 139 317 0 227098 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 909676 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=642184/2055920 swapFree=4080944/4192956 [pid=12063] ppid=12061 vsize=972776 CPUtime=462.15 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 216074 0 0 0 46134 81 0 0 25 0 1 0 132518017 996122624 214950 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 243194 214950 139 317 0 242873 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 972776 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=584584/2055920 swapFree=4080944/4192956 [pid=12063] ppid=12061 vsize=1030768 CPUtime=522.14 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 230430 0 0 0 52127 87 0 0 25 0 1 0 132518017 1055506432 229306 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 257692 229306 139 317 0 257371 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1030768 [startup+582.303 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=536392/2055920 swapFree=4080944/4192956 [pid=12063] ppid=12061 vsize=1079248 CPUtime=582.12 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 242387 0 0 0 58120 92 0 0 25 0 1 0 132518017 1105149952 241263 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 269812 241263 139 317 0 269491 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1079248 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=480392/2055920 swapFree=4081008/4192956 [pid=12063] ppid=12061 vsize=1135608 CPUtime=642.1 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 256320 0 0 0 64112 98 0 0 25 0 1 0 132518017 1162862592 255196 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 283902 255196 139 317 0 283581 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 1135608 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.96 2/78 12064 /proc/meminfo: memFree=430792/2055920 swapFree=4081008/4192956 [pid=12063] ppid=12061 vsize=1186688 CPUtime=702.08 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 268931 0 0 0 70105 103 0 0 25 0 1 0 132518017 1215168512 267807 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 296672 267808 139 317 0 296351 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 1186688 [startup+762.305 s] /proc/loadavg: 1.07 0.99 0.96 2/78 12064 /proc/meminfo: memFree=407816/2055920 swapFree=4081008/4192956 [pid=12063] ppid=12061 vsize=1208848 CPUtime=762.07 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 274424 0 0 0 76101 106 0 0 25 0 1 0 132518017 1237860352 273300 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 302212 273300 139 317 0 301891 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 1208848 [startup+822.302 s] /proc/loadavg: 1.02 0.99 0.96 2/78 12064 /proc/meminfo: memFree=379784/2055920 swapFree=4081072/4192956 [pid=12063] ppid=12061 vsize=1237840 CPUtime=822.05 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 281598 0 0 0 82096 109 0 0 25 0 1 0 132518017 1267548160 280474 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 309460 280474 139 317 0 309139 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 1237840 [startup+882.301 s] /proc/loadavg: 1.01 0.99 0.96 2/78 12064 /proc/meminfo: memFree=336520/2055920 swapFree=4081072/4192956 [pid=12063] ppid=12061 vsize=1281028 CPUtime=882.03 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 292273 0 0 0 88090 113 0 0 25 0 1 0 132518017 1311772672 291149 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 320257 291149 139 317 0 319936 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1281028 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12064 /proc/meminfo: memFree=295368/2055920 swapFree=4081072/4192956 [pid=12063] ppid=12061 vsize=1322416 CPUtime=942.01 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 302528 0 0 0 94084 117 0 0 25 0 1 0 132518017 1354153984 301404 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 330604 301404 139 317 0 330283 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 1322416 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12064 /proc/meminfo: memFree=261832/2055920 swapFree=4081136/4192956 [pid=12063] ppid=12061 vsize=1359632 CPUtime=1001.99 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 310938 0 0 0 100078 121 0 0 25 0 1 0 132518017 1392263168 309814 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 339908 309814 139 317 0 339587 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1359632 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12064 /proc/meminfo: memFree=130504/2055920 swapFree=4081136/4192956 [pid=12063] ppid=12061 vsize=1589892 CPUtime=1061.98 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 343687 0 0 0 106063 135 0 0 25 0 1 0 132518017 1628049408 342563 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 397473 342563 139 317 0 397152 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 1589892 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12064 /proc/meminfo: memFree=95688/2055920 swapFree=4081200/4192956 [pid=12063] ppid=12061 vsize=1628720 CPUtime=1121.96 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 352394 0 0 0 112058 138 0 0 25 0 1 0 132518017 1667809280 351270 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 407180 351270 139 317 0 406859 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 1628720 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12064 /proc/meminfo: memFree=59336/2055920 swapFree=4081200/4192956 [pid=12063] ppid=12061 vsize=1662528 CPUtime=1181.94 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 361443 0 0 0 118052 142 0 0 25 0 1 0 132518017 1702428672 360319 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 415632 360319 139 317 0 415311 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1662528 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12064 /proc/meminfo: memFree=31432/2055920 swapFree=4081204/4192956 [pid=12063] ppid=12061 vsize=1693584 CPUtime=1241.92 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 368352 0 0 0 124046 146 0 0 25 0 1 0 132518017 1734230016 367228 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 423396 367228 139 317 0 423075 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1693584 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.96 2/84 12234 /proc/meminfo: memFree=16272/2055920 swapFree=4101192/4192956 [pid=12063] ppid=12061 vsize=1724480 CPUtime=1301.83 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 376748 0 0 0 130034 149 0 0 25 0 1 0 132518017 1765867520 375624 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 431120 375624 139 317 0 430799 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1724480 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12262 /proc/meminfo: memFree=15240/2055920 swapFree=4101388/4192956 [pid=12063] ppid=12061 vsize=1751568 CPUtime=1361.78 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 382781 0 0 0 136026 152 0 0 25 0 1 0 132518017 1793605632 381657 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 437892 381657 139 317 0 437571 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1751568 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12262 /proc/meminfo: memFree=15432/2055920 swapFree=4101388/4192956 [pid=12063] ppid=12061 vsize=1776116 CPUtime=1421.77 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 389728 0 0 0 142021 156 0 0 25 0 1 0 132518017 1818742784 388604 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 444029 388604 139 317 0 443708 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1776116 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12262 /proc/meminfo: memFree=15880/2055920 swapFree=4101452/4192956 [pid=12063] ppid=12061 vsize=1813508 CPUtime=1481.75 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 398066 0 0 0 148015 160 0 0 25 0 1 0 132518017 1857032192 396942 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 453377 396942 139 317 0 453056 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1813508 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1533.2 s] /proc/loadavg: 1.00 0.99 0.96 2/78 12262 /proc/meminfo: memFree=15752/2055920 swapFree=4101452/4192956 [pid=12063] ppid=12061 vsize=1843352 CPUtime=1532.64 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 406210 0 0 0 153100 164 0 0 25 0 1 0 132518017 1887592448 405086 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 460838 405086 139 317 0 460517 0 Current children cumulated CPU time (s) 1532.64 Current children cumulated vsize (KiB) 1843352 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1533.41 s] /proc/loadavg: 1.00 0.99 0.96 2/79 12263 /proc/meminfo: memFree=15744/2055920 swapFree=4101452/4192956 [pid=12063] ppid=12061 vsize=1843528 CPUtime=1532.84 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194304 406234 0 0 0 153120 164 0 0 25 0 1 0 132518017 1887772672 405110 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 460882 405110 139 317 0 460561 0 Current children cumulated CPU time (s) 1532.84 Current children cumulated vsize (KiB) 1843528 [startup+1533.6 s] /proc/loadavg: 1.00 0.99 0.96 2/79 12263 /proc/meminfo: memFree=15744/2055920 swapFree=4101452/4192956 [pid=12063] ppid=12061 vsize=0 CPUtime=1533.04 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194308 406250 0 0 0 153127 177 0 0 25 0 1 0 132518017 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1533.04 Current children cumulated vsize (KiB) 0 [startup+1533.7 s] /proc/loadavg: 1.00 0.99 0.96 2/79 12263 /proc/meminfo: memFree=15744/2055920 swapFree=4101452/4192956 [pid=12063] ppid=12061 vsize=0 CPUtime=1533.14 /proc/12063/stat : 12063 (oree) R 12061 12063 11060 0 -1 4194308 406250 0 0 0 153127 187 0 0 25 0 1 0 132518017 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/12063/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1533.14 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1533.73 CPU time (s): 1533.18 CPU user time (s): 1531.27 CPU system time (s): 1.90971 CPU usage (%): 99.9639 Max. virtual memory (cumulated for all children) (KiB): 1843528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1531.27 system time used= 1.90971 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 406250 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= 2945 runsolver used 1.74373 second user time and 3.84142 second system time The end
Begin job on node24 on Tue Apr 17 21:40:00 UTC 2007 IDJOB= 362412 IDBENCH= 1557 IDSOLVER= 172 FILE ID= node24/362412-1176845999 PBS_JOBID= 4590143 Free space on /tmp= 66489 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-reduced-mps-v2-20-10-n3700.opb COMMAND LINE= oree /tmp/evaluation/362412-1176845999/instance-362412-1176845999.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-362412-1176845999 -o ROOT/results/node24/solver-362412-1176845999 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362412-1176845999/instance-362412-1176845999.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 5e0d90a4cb8c7b885a60ac97183595d3 RANDOM SEED= 659364007 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1503144 kB Buffers: 45888 kB Cached: 338956 kB SwapCached: 81500 kB Active: 218472 kB Inactive: 269060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1503144 kB SwapTotal: 4192956 kB SwapFree: 4080688 kB Dirty: 7856 kB Writeback: 0 kB Mapped: 63628 kB Slab: 50700 kB Committed_AS: 1826708 kB PageTables: 1840 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= 66489 MiB End job on node24 on Tue Apr 17 22:05:35 UTC 2007