Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.73 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32e3.opb |
MD5SUM | 8f263f71f311acfaa2267ee4a2382bbc |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 310 |
Best CPU time to get the best result obtained on this benchmark | 26.099 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 310 |
Optimality of the best value was proved | YES |
Number of variables | 660 |
Total number of constraints | 5350 |
Number of constraints which are clauses | 5350 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
Number of terms in the objective function | 660 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 660 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 660 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.05/0.06 c ...done 0.05/0.06 c #vars=660 #constraints=5351 hasObjective=yes 0.09/0.13 c res. mode=mod 0.09/0.13 c VSIDS like heuristics 0.09/0.13 c complete search running 0.09/0.20 c restart after 401 decisions 0.19/0.20 c nbDecision=500 #constraints=5380 0.19/0.24 c restart after 801 decisions 0.19/0.26 c nbDecision=1000 #constraints=5390 0.29/0.32 c nbDecision=1500 #constraints=5400 0.29/0.34 c restart after 1601 decisions 0.29/0.38 c nbDecision=2000 #constraints=5409 0.39/0.44 c nbDecision=2500 #constraints=5419 0.49/0.50 c nbDecision=3000 #constraints=5429 0.49/0.53 c restart after 3201 decisions 0.49/0.56 c nbDecision=3500 #constraints=5447 0.59/0.64 c nbDecision=4000 #constraints=5479 0.69/0.73 c nbDecision=4500 #constraints=5505 0.79/0.81 c nbDecision=5000 #constraints=5517 0.89/0.90 c nbDecision=5500 #constraints=5545 0.89/0.98 c nbDecision=6000 #constraints=5556 1.00/1.04 c restart after 6401 decisions 1.00/1.06 c nbDecision=6500 #constraints=5567 1.10/1.16 c nbDecision=7000 #constraints=5601 1.29/1.35 c nbDecision=7500 #constraints=5654 1.49/1.56 c nbDecision=8000 #constraints=5715 1.89/1.92 c nbDecision=8500 #constraints=5866 2.09/2.15 c nbDecision=9000 #constraints=5954 2.59/2.61 c nbDecision=9500 #constraints=6095 2.99/3.09 c nbDecision=10000 #constraints=6230 3.39/3.44 c nbDecision=10500 #constraints=6321 4.19/4.22 c nbDecision=11000 #constraints=6506 5.28/5.33 c nbDecision=11500 #constraints=6753 6.99/7.03 c nbDecision=12000 #constraints=6993 7.49/7.56 c nbDecision=12500 #constraints=7025 7.70/7.77 c restart after 12801 decisions 7.89/7.99 c nbDecision=13000 #constraints=7036 8.29/8.38 c nbDecision=13500 #constraints=7065 8.70/8.75 c nbDecision=14000 #constraints=7077 9.39/9.46 c nbDecision=14500 #constraints=7120 10.39/10.45 c nbDecision=15000 #constraints=7203 11.39/11.49 c nbDecision=15500 #constraints=7266 12.09/12.12 c nbDecision=16000 #constraints=7293 12.39/12.47 c nbDecision=16500 #constraints=7304 13.09/13.13 c nbDecision=17000 #constraints=7330 13.79/13.85 c nbDecision=17500 #constraints=7371 15.09/15.13 c nbDecision=18000 #constraints=7458 16.19/16.24 c nbDecision=18500 #constraints=7530 17.89/17.93 c nbDecision=19000 #constraints=7647 19.49/19.50 c nbDecision=19500 #constraints=7733 20.48/20.55 c nbDecision=20000 #constraints=7807 21.68/21.71 c nbDecision=20500 #constraints=7923 23.88/23.90 c nbDecision=21000 #constraints=8108 26.89/26.94 c nbDecision=21500 #constraints=8338 30.18/30.26 c nbDecision=22000 #constraints=8580 31.28/31.36 c nbDecision=22500 #constraints=8611 32.48/32.51 c nbDecision=23000 #constraints=8663 33.98/34.05 c nbDecision=23500 #constraints=8723 35.48/35.55 c nbDecision=24000 #constraints=8790 38.38/38.40 c nbDecision=24500 #constraints=8917 41.68/41.74 c nbDecision=25000 #constraints=9071 44.78/44.88 c nbDecision=25500 #constraints=9180 45.28/45.37 c restart after 25601 decisions 47.78/47.83 c nbDecision=26000 #constraints=9226 48.68/48.76 c nbDecision=26500 #constraints=9238 49.98/50.08 c nbDecision=27000 #constraints=9249 51.38/51.48 c nbDecision=27500 #constraints=9268 53.58/53.66 c nbDecision=28000 #constraints=9297 57.57/57.62 c nbDecision=28500 #constraints=9365 59.38/59.45 c nbDecision=29000 #constraints=9418 62.27/62.40 c nbDecision=29500 #constraints=9515 65.27/65.32 c nbDecision=30000 #constraints=9590 66.67/66.73 c nbDecision=30500 #constraints=9614 69.27/69.36 c nbDecision=31000 #constraints=9697 72.07/72.15 c nbDecision=31500 #constraints=9777 73.77/73.82 c nbDecision=32000 #constraints=9837 76.47/76.59 c nbDecision=32500 #constraints=9940 82.57/82.64 c nbDecision=33000 #constraints=10146 87.07/87.17 c nbDecision=33500 #constraints=10316 97.06/97.13 c nbDecision=34000 #constraints=10569 99.26/99.35 c nbDecision=34500 #constraints=10607 101.26/101.36 c nbDecision=35000 #constraints=10618 102.76/102.86 c nbDecision=35500 #constraints=10637 105.36/105.47 c nbDecision=36000 #constraints=10684 110.25/110.30 c nbDecision=36500 #constraints=10804 115.96/116.05 c nbDecision=37000 #constraints=10931 120.06/120.11 c nbDecision=37500 #constraints=11038 125.16/125.27 c nbDecision=38000 #constraints=11206 133.06/133.13 c nbDecision=38500 #constraints=11382 138.25/138.36 c nbDecision=39000 #constraints=11436 142.35/142.42 c nbDecision=39500 #constraints=11506 150.05/150.17 c nbDecision=40000 #constraints=11698 159.35/159.44 c nbDecision=40500 #constraints=11859 171.34/171.43 c nbDecision=41000 #constraints=12117 175.04/175.17 c nbDecision=41500 #constraints=12180 178.73/178.83 c nbDecision=42000 #constraints=12233 186.24/186.39 c nbDecision=42500 #constraints=12336 191.94/192.02 c nbDecision=43000 #constraints=12476 202.24/202.31 c nbDecision=43500 #constraints=12661 210.73/210.88 c nbDecision=44000 #constraints=12840 227.63/227.77 c nbDecision=44500 #constraints=13142 240.62/240.78 c nbDecision=45000 #constraints=13405 249.82/249.95 c nbDecision=45500 #constraints=13536 258.82/258.94 c nbDecision=46000 #constraints=13712 268.82/268.99 c nbDecision=46500 #constraints=13904 278.01/278.13 c nbDecision=47000 #constraints=14077 295.90/296.10 c nbDecision=47500 #constraints=14396 314.00/314.18 c nbDecision=48000 #constraints=14648 330.90/331.00 c nbDecision=48500 #constraints=14903 355.59/355.74 c nbDecision=49000 #constraints=15205 384.98/385.12 c nbDecision=49500 #constraints=15565 412.58/412.75 c nbDecision=50000 #constraints=15866 441.56/441.80 c nbDecision=50500 #constraints=16242 466.45/466.67 c nbDecision=51000 #constraints=16529 470.96/471.12 c restart after 51201 decisions 479.56/479.72 c nbDecision=51500 #constraints=16731 497.05/497.29 c nbDecision=52000 #constraints=16960 525.24/525.45 c nbDecision=52500 #constraints=17276 549.83/550.09 c nbDecision=53000 #constraints=17523 579.73/579.90 c nbDecision=53500 #constraints=17834 612.91/613.19 c nbDecision=54000 #constraints=18155 639.00/639.26 c nbDecision=54500 #constraints=18416 674.59/674.82 c nbDecision=55000 #constraints=18717 688.50/688.71 c nbDecision=55500 #constraints=18831 693.69/693.97 c nbDecision=56000 #constraints=18841 698.89/699.16 c nbDecision=56500 #constraints=18850 708.79/709.07 c nbDecision=57000 #constraints=18934 718.58/718.82 c nbDecision=57500 #constraints=19019 723.98/724.21 c nbDecision=58000 #constraints=19046 733.57/733.85 c nbDecision=58500 #constraints=19142 747.98/748.25 c nbDecision=59000 #constraints=19275 762.67/762.95 c nbDecision=59500 #constraints=19425 787.16/787.44 c nbDecision=60000 #constraints=19646 803.26/803.59 c nbDecision=60500 #constraints=19740 817.25/817.53 c nbDecision=61000 #constraints=19783 824.85/825.17 c nbDecision=61500 #constraints=19832 844.75/845.03 c nbDecision=62000 #constraints=19991 860.04/860.39 c nbDecision=62500 #constraints=20132 868.84/869.13 c nbDecision=63000 #constraints=20194 878.34/878.65 c nbDecision=63500 #constraints=20242 894.74/895.04 c nbDecision=64000 #constraints=20383 913.03/913.37 c nbDecision=64500 #constraints=20535 939.92/940.20 c nbDecision=65000 #constraints=20706 963.01/963.36 c nbDecision=65500 #constraints=20910 979.51/979.88 c nbDecision=66000 #constraints=21012 1007.00/1007.38 c nbDecision=66500 #constraints=21245 1044.59/1045.00 c nbDecision=67000 #constraints=21562 1065.39/1065.78 c nbDecision=67500 #constraints=21766 1083.28/1083.60 c nbDecision=68000 #constraints=21884 1107.47/1107.83 c nbDecision=68500 #constraints=22070 1140.97/1141.34 c nbDecision=69000 #constraints=22328 1180.25/1180.69 c nbDecision=69500 #constraints=22666 1224.94/1225.37 c nbDecision=70000 #constraints=23027 1268.73/1269.17 c nbDecision=70500 #constraints=23301 1315.41/1315.87 c nbDecision=71000 #constraints=23670 1349.21/1349.70 c nbDecision=71500 #constraints=23880 1400.49/1400.93 c nbDecision=72000 #constraints=24250 1452.97/1453.42 c nbDecision=72500 #constraints=24601 1529.45/1529.99 c nbDecision=73000 #constraints=25003 1590.53/1591.00 c nbDecision=73500 #constraints=25359 1664.01/1664.50 c nbDecision=74000 #constraints=25760 1686.21/1686.75 c nbDecision=74500 #constraints=25877 1703.11/1703.67 c nbDecision=75000 #constraints=26060 1725.10/1725.68 c nbDecision=75500 #constraints=26187 1757.78/1758.33 c nbDecision=76000 #constraints=26428 1785.28/1785.89 c nbDecision=76500 #constraints=26574 1800.08/1800.60 Received signal 15 1800.18/1800.71 1800.18/1800.71 s UNKNOWN 1800.18/1800.71 1800.18/1800.71 c user time= 1799.86 s 1800.18/1800.71 c system time= 0.334949 s 1800.18/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-364792-1176988568 -o ROOT/results/node24/solver-364792-1176988568 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364792-1176988568/instance-364792-1176988568.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25974 /proc/meminfo: memFree=1625424/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=1468 CPUtime=0 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 146774855 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 367 166 130 317 0 46 0 [startup+0.0569119 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25974 /proc/meminfo: memFree=1625424/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=2664 CPUtime=0.05 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 468 0 0 0 5 0 0 0 18 0 1 0 146774855 2727936 450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 666 451 130 317 0 345 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2664 [startup+0.101916 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25974 /proc/meminfo: memFree=1625424/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=3340 CPUtime=0.09 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 637 0 0 0 9 0 0 0 18 0 1 0 146774855 3420160 619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 835 619 137 317 0 514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3340 [startup+0.301937 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25974 /proc/meminfo: memFree=1625424/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=3752 CPUtime=0.29 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 754 0 0 0 29 0 0 0 19 0 1 0 146774855 3842048 699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713792 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 938 699 139 317 0 617 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3752 [startup+0.701981 s] /proc/loadavg: 0.92 0.98 0.99 3/77 25974 /proc/meminfo: memFree=1625424/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=3880 CPUtime=0.69 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 786 0 0 0 69 0 0 0 23 0 1 0 146774855 3973120 731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 970 731 139 317 0 649 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3880 [startup+1.50107 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25975 /proc/meminfo: memFree=1622856/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=4408 CPUtime=1.49 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 920 0 0 0 149 0 0 0 25 0 1 0 146774855 4513792 865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715618 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 1102 865 139 317 0 781 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4408 [startup+3.10128 s] /proc/loadavg: 0.92 0.98 0.99 2/78 25975 /proc/meminfo: memFree=1621256/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=6772 CPUtime=3.09 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 1518 0 0 0 308 1 0 0 25 0 1 0 146774855 6934528 1463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 1693 1463 139 317 0 1372 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6772 [startup+6.30162 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25975 /proc/meminfo: memFree=1617224/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=10084 CPUtime=6.29 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 2334 0 0 0 627 2 0 0 25 0 1 0 146774855 10326016 2279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 2521 2279 139 317 0 2200 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10084 [startup+12.7013 s] /proc/loadavg: 0.93 0.98 0.99 2/78 25975 /proc/meminfo: memFree=1615048/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=11540 CPUtime=12.69 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 2688 0 0 0 1267 2 0 0 25 0 1 0 146774855 11816960 2633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 2885 2633 139 317 0 2564 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11540 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/78 25975 /proc/meminfo: memFree=1611400/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=15788 CPUtime=25.48 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 3637 0 0 0 2546 2 0 0 25 0 1 0 146774855 16166912 3582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 3947 3582 139 317 0 3626 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 15788 [startup+51.1014 s] /proc/loadavg: 1.03 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1607112/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=19712 CPUtime=51.08 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 4682 0 0 0 5104 4 0 0 25 0 1 0 146774855 20185088 4627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 4928 4627 139 317 0 4607 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19712 [startup+102.306 s] /proc/loadavg: 1.08 1.02 1.00 2/78 25975 /proc/meminfo: memFree=1601736/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=25720 CPUtime=102.26 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 6094 0 0 0 10221 5 0 0 25 0 1 0 146774855 26337280 5967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 6430 5967 139 317 0 6109 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 25720 [startup+162.301 s] /proc/loadavg: 1.09 1.03 1.00 2/78 25975 /proc/meminfo: memFree=1595912/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=32224 CPUtime=162.24 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 7549 0 0 0 16218 6 0 0 25 0 1 0 146774855 32997376 7422 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 8056 7422 139 317 0 7735 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32224 [startup+222.302 s] /proc/loadavg: 1.09 1.04 1.00 2/78 25975 /proc/meminfo: memFree=1591112/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=36712 CPUtime=222.22 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 8711 0 0 0 22215 7 0 0 25 0 1 0 146774855 37593088 8584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 9178 8584 139 317 0 8857 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 36712 [startup+282.301 s] /proc/loadavg: 1.08 1.04 1.00 2/78 25975 /proc/meminfo: memFree=1586120/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=41524 CPUtime=282.21 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 9991 0 0 0 28212 9 0 0 25 0 1 0 146774855 42520576 9864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 10381 9864 139 317 0 10060 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 41524 [startup+342.302 s] /proc/loadavg: 1.11 1.06 1.01 2/78 25975 /proc/meminfo: memFree=1581960/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=45872 CPUtime=342.2 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 10996 0 0 0 34209 11 0 0 25 0 1 0 146774855 46972928 10869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 11468 10869 139 317 0 11147 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 45872 [startup+402.301 s] /proc/loadavg: 1.11 1.07 1.01 2/78 25975 /proc/meminfo: memFree=1578696/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=50412 CPUtime=402.17 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 11832 0 0 0 40206 11 0 0 25 0 1 0 146774855 51621888 11705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 12603 11705 139 317 0 12282 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 50412 [startup+462.302 s] /proc/loadavg: 1.08 1.07 1.01 2/78 25975 /proc/meminfo: memFree=1575304/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=54368 CPUtime=462.16 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 12678 0 0 0 46204 12 0 0 25 0 1 0 146774855 55672832 12551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 13592 12551 139 317 0 13271 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 54368 [startup+522.301 s] /proc/loadavg: 1.03 1.06 1.01 2/78 25975 /proc/meminfo: memFree=1571720/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=58320 CPUtime=522.15 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 13584 0 0 0 52201 14 0 0 25 0 1 0 146774855 59719680 13457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 14580 13457 139 317 0 14259 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 58320 [startup+582.302 s] /proc/loadavg: 1.01 1.04 1.00 3/78 25975 /proc/meminfo: memFree=1568776/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=61604 CPUtime=582.13 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 14317 0 0 0 58198 15 0 0 25 0 1 0 146774855 63082496 14190 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 15401 14190 139 317 0 15080 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 61604 [startup+642.301 s] /proc/loadavg: 1.00 1.03 1.00 2/78 25975 /proc/meminfo: memFree=1566152/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=64040 CPUtime=642.11 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 14951 0 0 0 64196 15 0 0 25 0 1 0 146774855 65576960 14824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 16010 14824 139 317 0 15689 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 64040 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 25975 /proc/meminfo: memFree=1558728/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=71280 CPUtime=882.03 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 16830 0 0 0 88184 19 0 0 25 0 1 0 146774855 72990720 16703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 17820 16703 139 317 0 17499 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 71280 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1556936/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=73236 CPUtime=942.02 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 17282 0 0 0 94182 20 0 0 25 0 1 0 146774855 74993664 17155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 18309 17155 139 317 0 17988 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 73236 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1555016/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=75368 CPUtime=1002 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 17885 0 0 0 100179 21 0 0 25 0 1 0 146774855 77176832 17616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 18842 17616 139 317 0 18521 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 75368 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1552584/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=77768 CPUtime=1061.99 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 18519 0 0 0 106177 22 0 0 25 0 1 0 146774855 79634432 18250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 19442 18250 139 317 0 19121 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 77768 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1550536/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=79732 CPUtime=1121.96 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 19005 0 0 0 112174 22 0 0 25 0 1 0 146774855 81645568 18736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 19933 18736 139 317 0 19612 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 79732 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1548360/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=81976 CPUtime=1181.95 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 19556 0 0 0 118172 23 0 0 25 0 1 0 146774855 83943424 19287 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 20494 19287 139 317 0 20173 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 81976 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25975 /proc/meminfo: memFree=1546184/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=84104 CPUtime=1241.93 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 20093 0 0 0 124169 24 0 0 25 0 1 0 146774855 86122496 19824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 21026 19824 139 317 0 20705 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 84104 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 25975 /proc/meminfo: memFree=1544136/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=86204 CPUtime=1301.92 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 20594 0 0 0 130167 25 0 0 25 0 1 0 146774855 88272896 20325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 21551 20325 139 317 0 21230 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 86204 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1542472/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=87920 CPUtime=1361.9 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 21000 0 0 0 136164 26 0 0 25 0 1 0 146774855 90030080 20731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 21980 20731 139 317 0 21659 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 87920 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1540232/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=90572 CPUtime=1421.88 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 21578 0 0 0 142161 27 0 0 25 0 1 0 146774855 92745728 21276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 22643 21276 139 317 0 22322 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 90572 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1538568/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=92400 CPUtime=1481.86 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 22065 0 0 0 148158 28 0 0 25 0 1 0 146774855 94617600 21664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 23100 21664 139 317 0 22779 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 92400 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1537288/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=94136 CPUtime=1541.85 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 22475 0 0 0 154155 30 0 0 25 0 1 0 146774855 96395264 22008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 23534 22008 139 317 0 23213 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 94136 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1535688/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=97124 CPUtime=1601.83 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 23159 0 0 0 160152 31 0 0 25 0 1 0 146774855 99454976 22428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 24281 22428 139 317 0 23960 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 97124 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1534216/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=98820 CPUtime=1661.81 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 23589 0 0 0 166150 31 0 0 25 0 1 0 146774855 101191680 22792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 24705 22792 139 317 0 24384 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 98820 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1532360/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=101416 CPUtime=1721.8 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 24284 0 0 0 172148 32 0 0 25 0 1 0 146774855 103849984 23223 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711091 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 25354 23223 139 317 0 25033 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 101416 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 25977 /proc/meminfo: memFree=1530504/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=103372 CPUtime=1781.78 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 24800 0 0 0 178145 33 0 0 25 0 1 0 146774855 105852928 23706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 25843 23706 139 317 0 25522 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 103372 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 3/78 25977 /proc/meminfo: memFree=1529928/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=103924 CPUtime=1800.08 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 24944 0 0 0 179975 33 0 0 25 0 1 0 146774855 106418176 23850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 25981 23850 139 317 0 25660 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 103924 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 3/78 25977 /proc/meminfo: memFree=1529928/2055920 swapFree=4133640/4192956 [pid=25974] ppid=25972 vsize=103924 CPUtime=1800.18 /proc/25974/stat : 25974 (oree) R 25972 25974 25025 0 -1 4194304 24946 0 0 0 179985 33 0 0 25 0 1 0 146774855 106418176 23852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25974/statm: 25981 23852 139 317 0 25660 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 103924 Child status: 0 Real time (s): 1800.73 CPU time (s): 1800.21 CPU user time (s): 1799.86 CPU system time (s): 0.350946 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 103924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.86 system time used= 0.350946 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 24962 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= 18788 runsolver used 2.06369 second user time and 4.51131 second system time The end
Begin job on node24 on Thu Apr 19 13:16:08 UTC 2007 IDJOB= 364792 IDBENCH= 2152 IDSOLVER= 172 FILE ID= node24/364792-1176988568 PBS_JOBID= 4630409 Free space on /tmp= 66233 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32e3.opb COMMAND LINE= oree /tmp/evaluation/364792-1176988568/instance-364792-1176988568.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-364792-1176988568 -o ROOT/results/node24/solver-364792-1176988568 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364792-1176988568/instance-364792-1176988568.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8f263f71f311acfaa2267ee4a2382bbc RANDOM SEED= 74247654 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: 1625832 kB Buffers: 37284 kB Cached: 296524 kB SwapCached: 27340 kB Active: 128948 kB Inactive: 240360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1625832 kB SwapTotal: 4192956 kB SwapFree: 4133640 kB Dirty: 1648 kB Writeback: 0 kB Mapped: 42556 kB Slab: 46336 kB Committed_AS: 1875220 kB PageTables: 1808 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= 66233 MiB End job on node24 on Thu Apr 19 13:46:11 UTC 2007