Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1283.26 | 1283.58 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb |
MD5SUM | ec90eecae558bb98c83f0a39ee76567f |
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 | 8.71967 |
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 | 654958 |
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 | 654958 |
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.79/1.89 c ...done 1.79/1.89 c #vars=155000 #constraints=5301 hasObjective=yes 3.79/3.80 c res. mode=mod 3.79/3.80 c VSIDS like heuristics 3.79/3.80 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.93 c restart after 801 decisions 6.29/6.38 c nbDecision=1000 #constraints=5301 7.49/7.50 c nbDecision=1500 #constraints=5301 7.69/7.72 c restart after 1601 decisions 8.59/8.61 c nbDecision=2000 #constraints=5301 9.69/9.73 c nbDecision=2500 #constraints=5301 10.79/10.86 c nbDecision=3000 #constraints=5301 11.29/11.32 c restart after 3201 decisions 11.99/12.01 c nbDecision=3500 #constraints=5301 13.09/13.15 c nbDecision=4000 #constraints=5301 14.19/14.29 c nbDecision=4500 #constraints=5301 15.39/15.43 c nbDecision=5000 #constraints=5301 16.49/16.57 c nbDecision=5500 #constraints=5301 17.69/17.71 c nbDecision=6000 #constraints=5301 18.59/18.61 c restart after 6401 decisions 18.79/18.84 c nbDecision=6500 #constraints=5301 19.89/19.98 c nbDecision=7000 #constraints=5301 21.08/21.11 c nbDecision=7500 #constraints=5301 22.18/22.23 c nbDecision=8000 #constraints=5301 23.28/23.36 c nbDecision=8500 #constraints=5301 24.38/24.49 c nbDecision=9000 #constraints=5301 25.58/25.61 c nbDecision=9500 #constraints=5301 26.68/26.74 c nbDecision=10000 #constraints=5301 29.18/29.29 c nbDecision=10500 #constraints=5369 49.27/49.39 c nbDecision=11000 #constraints=5877 50.67/50.73 c nbDecision=11500 #constraints=5880 51.77/51.87 c nbDecision=12000 #constraints=5880 52.87/52.99 c nbDecision=12500 #constraints=5880 53.57/53.67 c restart after 12801 decisions 54.27/54.35 c nbDecision=13000 #constraints=5880 55.37/55.49 c nbDecision=13500 #constraints=5880 56.57/56.62 c nbDecision=14000 #constraints=5880 57.67/57.75 c nbDecision=14500 #constraints=5880 58.87/58.95 c nbDecision=15000 #constraints=5880 60.17/60.24 c nbDecision=15500 #constraints=5880 61.47/61.55 c nbDecision=16000 #constraints=5880 62.77/62.85 c nbDecision=16500 #constraints=5880 64.07/64.14 c nbDecision=17000 #constraints=5880 65.17/65.26 c nbDecision=17500 #constraints=5880 66.27/66.34 c nbDecision=18000 #constraints=5880 67.37/67.43 c nbDecision=18500 #constraints=5880 68.97/69.07 c nbDecision=19000 #constraints=5896 70.07/70.16 c nbDecision=19500 #constraints=5896 71.17/71.28 c nbDecision=20000 #constraints=5896 72.37/72.40 c nbDecision=20500 #constraints=5896 79.07/79.18 c nbDecision=21000 #constraints=6092 97.46/97.54 c nbDecision=21500 #constraints=6603 118.76/118.89 c nbDecision=22000 #constraints=7102 143.35/143.47 c nbDecision=22500 #constraints=7596 171.94/172.06 c nbDecision=23000 #constraints=8100 204.34/204.47 c nbDecision=23500 #constraints=8594 239.43/239.55 c nbDecision=24000 #constraints=9097 278.62/278.75 c nbDecision=24500 #constraints=9594 323.11/323.25 c nbDecision=25000 #constraints=10102 371.60/371.80 c nbDecision=25500 #constraints=10602 382.19/382.31 c restart after 25601 decisions 388.89/389.01 c nbDecision=26000 #constraints=10701 389.99/390.13 c nbDecision=26500 #constraints=10701 391.09/391.27 c nbDecision=27000 #constraints=10701 392.29/392.41 c nbDecision=27500 #constraints=10701 393.49/393.68 c nbDecision=28000 #constraints=10701 394.79/394.99 c nbDecision=28500 #constraints=10701 396.19/396.31 c nbDecision=29000 #constraints=10701 397.48/397.63 c nbDecision=29500 #constraints=10701 398.78/398.92 c nbDecision=30000 #constraints=10701 399.88/400.05 c nbDecision=30500 #constraints=10701 400.98/401.17 c nbDecision=31000 #constraints=10701 402.08/402.29 c nbDecision=31500 #constraints=10701 404.38/404.56 c nbDecision=32000 #constraints=10701 406.89/407.03 c nbDecision=32500 #constraints=10701 409.48/409.62 c nbDecision=33000 #constraints=10701 412.08/412.26 c nbDecision=33500 #constraints=10701 457.87/458.01 c nbDecision=34000 #constraints=11123 511.76/511.94 c nbDecision=34500 #constraints=11625 571.05/571.21 c nbDecision=35000 #constraints=12127 633.73/633.97 c nbDecision=35500 #constraints=12618 703.11/703.32 c nbDecision=36000 #constraints=13113 777.89/778.19 c nbDecision=36500 #constraints=13625 854.67/854.91 c nbDecision=37000 #constraints=14115 939.75/940.04 c nbDecision=37500 #constraints=14616 1038.83/1039.19 c nbDecision=38000 #constraints=15118 1120.51/1120.82 c nbDecision=38500 #constraints=15614 1210.89/1211.22 c nbDecision=39000 #constraints=16115 1282.18/1282.51 Received signal 15 1282.87/1283.28 1282.87/1283.28 s UNKNOWN 1282.87/1283.28 1282.87/1283.28 c user time= 1281.39 s 1282.87/1283.28 c system time= 1.57376 s 1282.87/1283.28 c wall clock time=1283.28
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node48/watcher-362202-1176845685 -o ROOT/results/node48/solver-362202-1176845685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362202-1176845685/instance-362202-1176845685.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.98 3/64 21357 /proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1620 CPUtime=0 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 39413889 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 405 175 126 317 0 84 0 [startup+0.086602 s] /proc/loadavg: 0.91 0.95 0.98 3/64 21357 /proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=3440 CPUtime=0.08 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 855 0 0 0 8 0 0 0 18 0 1 0 39413889 3522560 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 860 610 126 317 0 539 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3440 [startup+0.101601 s] /proc/loadavg: 0.91 0.95 0.98 3/64 21357 /proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=3440 CPUtime=0.09 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 897 0 0 0 9 0 0 0 18 0 1 0 39413889 3522560 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 860 653 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301619 s] /proc/loadavg: 0.91 0.95 0.98 3/64 21357 /proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=9548 CPUtime=0.29 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 2787 0 0 0 28 1 0 0 19 0 1 0 39413889 9777152 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 2387 1772 127 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701655 s] /proc/loadavg: 0.91 0.95 0.98 3/64 21357 /proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=14576 CPUtime=0.69 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 3899 0 0 0 68 1 0 0 22 0 1 0 39413889 14925824 2884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 3644 2884 131 317 0 3323 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14576 [startup+1.50173 s] /proc/loadavg: 0.91 0.95 0.98 2/65 21358 /proc/meminfo: memFree=1606704/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=33080 CPUtime=1.49 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 8122 0 0 0 146 3 0 0 25 0 1 0 39413889 33873920 7107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 8270 7107 131 317 0 7949 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 33080 [startup+3.10189 s] /proc/loadavg: 0.92 0.95 0.98 2/65 21358 /proc/meminfo: memFree=1575344/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=57580 CPUtime=3.09 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14260 0 0 0 302 7 0 0 25 0 1 0 39413889 58961920 13245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 14395 13245 137 317 0 14074 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 57580 [startup+6.30117 s] /proc/loadavg: 0.92 0.95 0.98 2/65 21358 /proc/meminfo: memFree=1570224/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=59032 CPUtime=6.29 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14630 0 0 0 622 7 0 0 25 0 1 0 39413889 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 59032 [startup+12.7018 s] /proc/loadavg: 0.93 0.96 0.98 2/65 21358 /proc/meminfo: memFree=1570288/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=59032 CPUtime=12.69 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14630 0 0 0 1262 7 0 0 25 0 1 0 39413889 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 59032 [startup+25.5019 s] /proc/loadavg: 0.94 0.96 0.98 2/65 21358 /proc/meminfo: memFree=1570416/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=59032 CPUtime=25.48 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14630 0 0 0 2541 7 0 0 25 0 1 0 39413889 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 14758 13615 138 317 0 14437 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59032 [startup+51.1013 s] /proc/loadavg: 0.96 0.96 0.98 2/65 21358 /proc/meminfo: memFree=1482736/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=154340 CPUtime=51.07 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 36556 0 0 0 5093 14 0 0 25 0 1 0 39413889 158044160 35504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 38585 35504 139 317 0 38264 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 154340 [startup+102.305 s] /proc/loadavg: 0.98 0.96 0.98 2/65 21358 /proc/meminfo: memFree=1366320/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=281636 CPUtime=102.27 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 65627 0 0 0 10201 26 0 0 25 0 1 0 39413889 288395264 64575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 70409 64575 139 317 0 70088 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 281636 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=1210288/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=454972 CPUtime=162.24 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 104903 0 0 0 16182 42 0 0 25 0 1 0 39413889 465891328 103851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 113743 103851 139 317 0 113422 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 454972 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=1068272/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=615260 CPUtime=222.23 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 140138 0 0 0 22165 58 0 0 25 0 1 0 39413889 630026240 139086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 153815 139086 139 317 0 153494 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 615260 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=975408/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=710740 CPUtime=282.21 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 163295 0 0 0 28154 67 0 0 25 0 1 0 39413889 727797760 162243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 177685 162243 139 317 0 177364 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 710740 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=844272/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=888216 CPUtime=342.2 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 195886 0 0 0 34141 79 0 0 25 0 1 0 39413889 909533184 194834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 222054 194834 139 317 0 221733 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 888216 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=796080/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=936908 CPUtime=402.18 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 207912 0 0 0 40135 83 0 0 25 0 1 0 39413889 959393792 206788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 234227 206788 139 317 0 233906 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 936908 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=740080/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=993480 CPUtime=462.17 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 221924 0 0 0 46128 89 0 0 25 0 1 0 39413889 1017323520 220800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 248370 220800 139 317 0 248049 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 993480 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=674352/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1061196 CPUtime=522.16 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 238647 0 0 0 52122 94 0 0 25 0 1 0 39413889 1086664704 237523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 265299 237523 139 317 0 264978 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1061196 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=612848/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1122232 CPUtime=582.14 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 253717 0 0 0 58115 99 0 0 25 0 1 0 39413889 1149165568 252593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 280558 252593 139 317 0 280237 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1122232 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=555184/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1180064 CPUtime=642.13 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 268012 0 0 0 64109 104 0 0 25 0 1 0 39413889 1208385536 266888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 295016 266888 139 317 0 294695 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1180064 [startup+702.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=503792/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1232416 CPUtime=702.11 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 280957 0 0 0 70101 110 0 0 25 0 1 0 39413889 1261993984 279833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 308104 279833 139 317 0 307783 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1232416 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=454192/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1282476 CPUtime=762.1 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 293267 0 0 0 76096 114 0 0 25 0 1 0 39413889 1313255424 292143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 320619 292143 139 317 0 320298 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1282476 [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=410992/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1330864 CPUtime=822.09 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 304263 0 0 0 82090 119 0 0 25 0 1 0 39413889 1362804736 303139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 332716 303139 139 317 0 332395 0 Current children cumulated CPU time (s) 822.09 Current children cumulated vsize (KiB) 1330864 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=268272/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1572692 CPUtime=882.07 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 339572 0 0 0 88076 131 0 0 25 0 1 0 39413889 1610436608 338448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 393173 338448 139 317 0 392852 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 1572692 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=224560/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1615116 CPUtime=942.05 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 350533 0 0 0 94070 135 0 0 25 0 1 0 39413889 1653878784 349409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 403779 349409 139 317 0 403458 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1615116 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=188208/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1655748 CPUtime=1002.04 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 359568 0 0 0 100065 139 0 0 25 0 1 0 39413889 1695485952 358444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 413937 358444 139 317 0 413616 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 1655748 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=149424/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1692520 CPUtime=1062.02 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 369267 0 0 0 106060 142 0 0 25 0 1 0 39413889 1733140480 368143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 423130 368143 139 317 0 422809 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1692520 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=103536/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1737220 CPUtime=1122.01 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 380701 0 0 0 112054 147 0 0 25 0 1 0 39413889 1778913280 379577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 434305 379577 139 317 0 433984 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 1737220 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=66864/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1778420 CPUtime=1181.99 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 389924 0 0 0 118049 150 0 0 25 0 1 0 39413889 1821102080 388800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 444605 388800 139 317 0 444284 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 1778420 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=25712/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1817420 CPUtime=1241.98 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 400102 0 0 0 124043 155 0 0 25 0 1 0 39413889 1861038080 398978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 454355 398978 139 317 0 454034 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1817420 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1282.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1843268 CPUtime=1282.18 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 405856 0 0 0 128061 157 0 0 25 0 1 0 39413889 1887506432 404732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 460817 404732 139 317 0 460496 0 Current children cumulated CPU time (s) 1282.18 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1283 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=1843760 CPUtime=1282.67 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 405966 0 0 0 128110 157 0 0 25 0 1 0 39413889 1888010240 404842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 460940 404842 139 317 0 460619 0 Current children cumulated CPU time (s) 1282.67 Current children cumulated vsize (KiB) 1843760 [startup+1283.4 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=0 CPUtime=1283.07 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194308 406036 0 0 0 128142 165 0 0 25 0 1 0 39413889 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1283.07 Current children cumulated vsize (KiB) 0 [startup+1283.5 s] /proc/loadavg: 0.99 0.97 0.98 2/65 21358 /proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956 [pid=21357] ppid=21355 vsize=0 CPUtime=1283.17 /proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194308 406036 0 0 0 128142 175 0 0 25 0 1 0 39413889 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/21357/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1283.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1283.58 CPU time (s): 1283.26 CPU user time (s): 1281.43 CPU system time (s): 1.83172 CPU usage (%): 99.9749 Max. virtual memory (cumulated for all children) (KiB): 1843940 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1281.43 system time used= 1.83172 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 406036 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= 1030 runsolver used 0.885865 second user time and 2.6446 second system time The end
Begin job on node48 on Tue Apr 17 21:34:46 UTC 2007 IDJOB= 362202 IDBENCH= 1539 IDSOLVER= 172 FILE ID= node48/362202-1176845685 PBS_JOBID= 4590167 Free space on /tmp= 66541 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-n370e.opb COMMAND LINE= oree /tmp/evaluation/362202-1176845685/instance-362202-1176845685.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-362202-1176845685 -o ROOT/results/node48/solver-362202-1176845685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362202-1176845685/instance-362202-1176845685.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ec90eecae558bb98c83f0a39ee76567f RANDOM SEED= 838611481 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node48.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: 1624976 kB Buffers: 48492 kB Cached: 308088 kB SwapCached: 2392 kB Active: 202644 kB Inactive: 164156 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1624976 kB SwapTotal: 4192956 kB SwapFree: 4184680 kB Dirty: 7860 kB Writeback: 0 kB Mapped: 16480 kB Slab: 50144 kB Committed_AS: 940476 kB PageTables: 1388 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= 66541 MiB End job on node48 on Tue Apr 17 21:56:10 UTC 2007