Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.59 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii32a1.opb |
MD5SUM | 8c328e3092b759791eb187200eaaa71f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 444 |
Best CPU time to get the best result obtained on this benchmark | 2.48262 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 444 |
Optimality of the best value was proved | YES |
Number of variables | 918 |
Total number of constraints | 9671 |
Number of constraints which are clauses | 9671 |
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 | 918 |
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 | 918 |
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 | 918 |
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.00/0.09 c ...done 0.00/0.09 c #vars=918 #constraints=9672 hasObjective=yes 0.19/0.20 c res. mode=mod 0.19/0.20 c VSIDS like heuristics 0.19/0.20 c complete search running 0.29/0.36 c restart after 401 decisions 0.29/0.38 c nbDecision=500 #constraints=9743 0.39/0.44 c restart after 801 decisions 0.39/0.47 c nbDecision=1000 #constraints=9753 0.49/0.56 c nbDecision=1500 #constraints=9763 0.49/0.58 c restart after 1601 decisions 0.59/0.66 c nbDecision=2000 #constraints=9772 0.69/0.75 c nbDecision=2500 #constraints=9782 0.79/0.85 c nbDecision=3000 #constraints=9792 0.79/0.89 c restart after 3201 decisions 0.89/0.97 c nbDecision=3500 #constraints=9808 1.10/1.14 c nbDecision=4000 #constraints=9841 1.20/1.23 c nbDecision=4500 #constraints=9850 1.29/1.33 c nbDecision=5000 #constraints=9860 1.39/1.47 c nbDecision=5500 #constraints=9912 1.59/1.67 c nbDecision=6000 #constraints=9965 1.69/1.76 c restart after 6401 decisions 1.69/1.78 c nbDecision=6500 #constraints=9974 1.89/1.91 c nbDecision=7000 #constraints=9985 2.09/2.12 c nbDecision=7500 #constraints=10040 2.39/2.45 c nbDecision=8000 #constraints=10115 2.79/2.86 c nbDecision=8500 #constraints=10219 2.99/3.06 c nbDecision=9000 #constraints=10279 3.19/3.23 c nbDecision=9500 #constraints=10309 3.39/3.46 c nbDecision=10000 #constraints=10365 3.69/3.77 c nbDecision=10500 #constraints=10453 4.09/4.16 c nbDecision=11000 #constraints=10578 5.09/5.11 c nbDecision=11500 #constraints=10767 5.39/5.48 c nbDecision=12000 #constraints=10850 5.99/6.03 c nbDecision=12500 #constraints=10976 6.29/6.32 c restart after 12801 decisions 6.60/6.69 c nbDecision=13000 #constraints=11086 8.49/8.53 c nbDecision=13500 #constraints=11347 10.79/10.89 c nbDecision=14000 #constraints=11638 13.29/13.39 c nbDecision=14500 #constraints=11835 14.09/14.10 c nbDecision=15000 #constraints=11868 14.79/14.82 c nbDecision=15500 #constraints=11879 15.59/15.64 c nbDecision=16000 #constraints=11897 16.19/16.22 c nbDecision=16500 #constraints=11922 17.09/17.18 c nbDecision=17000 #constraints=11948 18.69/18.78 c nbDecision=17500 #constraints=12020 19.38/19.47 c nbDecision=18000 #constraints=12055 20.28/20.38 c nbDecision=18500 #constraints=12081 21.68/21.72 c nbDecision=19000 #constraints=12159 22.98/23.01 c nbDecision=19500 #constraints=12211 25.28/25.40 c nbDecision=20000 #constraints=12341 25.98/26.06 c nbDecision=20500 #constraints=12369 27.18/27.28 c nbDecision=21000 #constraints=12429 28.29/28.39 c nbDecision=21500 #constraints=12487 29.49/29.51 c nbDecision=22000 #constraints=12542 31.19/31.24 c nbDecision=22500 #constraints=12656 34.78/34.88 c nbDecision=23000 #constraints=12864 36.48/36.50 c nbDecision=23500 #constraints=12947 38.28/38.30 c nbDecision=24000 #constraints=13028 40.38/40.42 c nbDecision=24500 #constraints=13127 41.78/41.88 c nbDecision=25000 #constraints=13204 44.18/44.28 c nbDecision=25500 #constraints=13320 44.78/44.82 c restart after 25601 decisions 49.78/49.85 c nbDecision=26000 #constraints=13522 57.18/57.21 c nbDecision=26500 #constraints=13830 58.88/58.90 c nbDecision=27000 #constraints=13900 61.37/61.48 c nbDecision=27500 #constraints=13969 64.77/64.80 c nbDecision=28000 #constraints=14118 69.39/69.43 c nbDecision=28500 #constraints=14290 79.67/79.70 c nbDecision=29000 #constraints=14611 89.27/89.38 c nbDecision=29500 #constraints=14881 92.38/92.40 c nbDecision=30000 #constraints=14949 96.47/96.59 c nbDecision=30500 #constraints=15067 102.38/102.45 c nbDecision=31000 #constraints=15233 107.37/107.42 c nbDecision=31500 #constraints=15412 115.26/115.31 c nbDecision=32000 #constraints=15646 123.76/123.80 c nbDecision=32500 #constraints=15875 138.96/139.04 c nbDecision=33000 #constraints=16207 148.25/148.37 c nbDecision=33500 #constraints=16456 161.36/161.46 c nbDecision=34000 #constraints=16698 165.36/165.47 c nbDecision=34500 #constraints=16729 167.86/167.92 c nbDecision=35000 #constraints=16740 172.66/172.73 c nbDecision=35500 #constraints=16791 180.85/180.97 c nbDecision=36000 #constraints=16908 187.35/187.49 c nbDecision=36500 #constraints=17016 196.05/196.15 c nbDecision=37000 #constraints=17181 209.35/209.40 c nbDecision=37500 #constraints=17377 215.14/215.20 c nbDecision=38000 #constraints=17435 232.04/232.19 c nbDecision=38500 #constraints=17654 248.13/248.23 c nbDecision=39000 #constraints=17904 263.04/263.19 c nbDecision=39500 #constraints=18125 278.93/279.04 c nbDecision=40000 #constraints=18412 296.73/296.86 c nbDecision=40500 #constraints=18669 310.13/310.23 c nbDecision=41000 #constraints=18922 324.32/324.47 c nbDecision=41500 #constraints=19148 340.62/340.75 c nbDecision=42000 #constraints=19332 350.22/350.38 c nbDecision=42500 #constraints=19457 367.01/367.17 c nbDecision=43000 #constraints=19673 383.81/383.91 c nbDecision=43500 #constraints=19880 406.11/406.26 c nbDecision=44000 #constraints=20153 433.90/434.00 c nbDecision=44500 #constraints=20480 461.69/461.82 c nbDecision=45000 #constraints=20832 489.58/489.79 c nbDecision=45500 #constraints=21123 523.78/523.94 c nbDecision=46000 #constraints=21488 554.97/555.19 c nbDecision=46500 #constraints=21801 564.57/564.71 c nbDecision=47000 #constraints=21848 569.47/569.64 c nbDecision=47500 #constraints=21859 575.07/575.25 c nbDecision=48000 #constraints=21869 582.57/582.78 c nbDecision=48500 #constraints=21892 587.77/587.94 c nbDecision=49000 #constraints=21902 594.07/594.29 c nbDecision=49500 #constraints=21913 600.66/600.80 c nbDecision=50000 #constraints=21944 611.36/611.54 c nbDecision=50500 #constraints=22057 625.55/625.79 c nbDecision=51000 #constraints=22218 628.45/628.62 c restart after 51201 decisions 631.75/631.94 c nbDecision=51500 #constraints=22265 642.25/642.49 c nbDecision=52000 #constraints=22336 657.95/658.18 c nbDecision=52500 #constraints=22534 678.25/678.47 c nbDecision=53000 #constraints=22707 695.04/695.27 c nbDecision=53500 #constraints=22865 712.53/712.72 c nbDecision=54000 #constraints=22944 730.54/730.73 c nbDecision=54500 #constraints=23088 746.53/746.73 c nbDecision=55000 #constraints=23318 755.72/755.99 c nbDecision=55500 #constraints=23397 765.33/765.55 c nbDecision=56000 #constraints=23474 781.73/781.92 c nbDecision=56500 #constraints=23625 803.02/803.25 c nbDecision=57000 #constraints=23882 831.71/831.97 c nbDecision=57500 #constraints=24156 859.41/859.68 c nbDecision=58000 #constraints=24476 866.11/866.36 c nbDecision=58500 #constraints=24524 876.70/876.93 c nbDecision=59000 #constraints=24579 889.20/889.48 c nbDecision=59500 #constraints=24678 901.29/901.56 c nbDecision=60000 #constraints=24818 912.70/912.90 c nbDecision=60500 #constraints=24954 930.09/930.35 c nbDecision=61000 #constraints=25110 946.99/947.22 c nbDecision=61500 #constraints=25285 968.48/968.74 c nbDecision=62000 #constraints=25448 985.58/985.87 c nbDecision=62500 #constraints=25608 995.28/995.51 c nbDecision=63000 #constraints=25691 1008.48/1008.76 c nbDecision=63500 #constraints=25814 1020.58/1020.85 c nbDecision=64000 #constraints=25910 1039.96/1040.24 c nbDecision=64500 #constraints=26090 1071.46/1071.75 c nbDecision=65000 #constraints=26401 1100.36/1100.69 c nbDecision=65500 #constraints=26666 1109.96/1110.27 c nbDecision=66000 #constraints=26737 1127.35/1127.67 c nbDecision=66500 #constraints=26889 1149.85/1150.17 c nbDecision=67000 #constraints=27079 1176.24/1176.57 c nbDecision=67500 #constraints=27306 1211.73/1212.05 c nbDecision=68000 #constraints=27591 1257.42/1257.79 c nbDecision=68500 #constraints=27909 1296.11/1296.47 c nbDecision=69000 #constraints=28202 1338.01/1338.33 c nbDecision=69500 #constraints=28513 1385.49/1385.88 c nbDecision=70000 #constraints=28884 1416.39/1416.74 c nbDecision=70500 #constraints=29085 1452.98/1453.35 c nbDecision=71000 #constraints=29366 1482.77/1483.15 c nbDecision=71500 #constraints=29635 1519.66/1520.02 c nbDecision=72000 #constraints=29935 1561.36/1561.76 c nbDecision=72500 #constraints=30279 1595.45/1595.89 c nbDecision=73000 #constraints=30531 1624.35/1624.75 c nbDecision=73500 #constraints=30752 1640.14/1640.56 c nbDecision=74000 #constraints=30864 1684.23/1684.63 c nbDecision=74500 #constraints=31137 1742.12/1742.59 c nbDecision=75000 #constraints=31480 1795.20/1795.68 c nbDecision=75500 #constraints=31807 1800.01/1800.40 Received signal 15 1800.11/1800.57 1800.11/1800.57 s UNKNOWN 1800.11/1800.57 1800.11/1800.57 c user time= 1799.84 s 1800.11/1800.57 c system time= 0.347947 s 1800.11/1800.57 c wall clock time=1800.57
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-364876-1176988838 -o ROOT/results/node29/solver-364876-1176988838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364876-1176988838/instance-364876-1176988838.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.66 0.92 0.97 2/77 475 /proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=1468 CPUtime=0 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146799529 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 367 164 130 317 0 46 0 [startup+0.10249 s] /proc/loadavg: 0.66 0.92 0.97 2/77 475 /proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=4140 CPUtime=0.09 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 848 0 0 0 9 0 0 0 18 0 1 0 146799529 4239360 830 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 1035 830 137 317 0 714 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4140 [startup+0.201495 s] /proc/loadavg: 0.66 0.92 0.97 2/77 475 /proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=4536 CPUtime=0.19 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 935 0 0 0 19 0 0 0 19 0 1 0 146799529 4644864 917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 1134 917 137 317 0 813 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4536 [startup+0.301502 s] /proc/loadavg: 0.66 0.92 0.97 2/77 475 /proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=5064 CPUtime=0.29 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1080 0 0 0 29 0 0 0 19 0 1 0 146799529 5185536 995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 1266 995 139 317 0 945 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5064 [startup+0.701526 s] /proc/loadavg: 0.66 0.92 0.97 2/77 475 /proc/meminfo: memFree=1058192/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=5064 CPUtime=0.69 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1080 0 0 0 69 0 0 0 23 0 1 0 146799529 5185536 995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711484 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 1266 995 139 317 0 945 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5064 [startup+1.50158 s] /proc/loadavg: 0.66 0.92 0.97 2/78 476 /proc/meminfo: memFree=1054472/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=5320 CPUtime=1.49 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1134 0 0 0 149 0 0 0 25 0 1 0 146799529 5447680 1049 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711047 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 1330 1049 139 317 0 1009 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5320 [startup+3.10168 s] /proc/loadavg: 0.66 0.92 0.97 2/78 476 /proc/meminfo: memFree=1053960/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=6368 CPUtime=3.09 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 1427 0 0 0 309 0 0 0 25 0 1 0 146799529 6520832 1342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715989 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 1592 1342 139 317 0 1271 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6368 [startup+6.30187 s] /proc/loadavg: 0.69 0.92 0.97 2/78 476 /proc/meminfo: memFree=1050952/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=9140 CPUtime=6.29 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 2119 0 0 0 628 1 0 0 25 0 1 0 146799529 9359360 2034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 2285 2034 139 317 0 1964 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 9140 [startup+12.7013 s] /proc/loadavg: 0.71 0.92 0.97 2/78 476 /proc/meminfo: memFree=1047304/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=12580 CPUtime=12.69 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 2943 0 0 0 1268 1 0 0 25 0 1 0 146799529 12881920 2858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 3145 2858 139 317 0 2824 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12580 [startup+25.5011 s] /proc/loadavg: 0.77 0.92 0.97 2/78 476 /proc/meminfo: memFree=1045576/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=14168 CPUtime=25.48 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 3339 0 0 0 2547 1 0 0 25 0 1 0 146799529 14508032 3254 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 3542 3254 139 317 0 3221 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14168 [startup+51.1017 s] /proc/loadavg: 0.85 0.93 0.97 2/78 476 /proc/meminfo: memFree=1040648/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=19308 CPUtime=51.08 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 4559 0 0 0 5105 3 0 0 25 0 1 0 146799529 19771392 4474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 4827 4474 139 317 0 4506 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19308 [startup+102.302 s] /proc/loadavg: 0.93 0.94 0.97 2/78 476 /proc/meminfo: memFree=1033544/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=26828 CPUtime=102.28 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 6317 0 0 0 10223 5 0 0 25 0 1 0 146799529 27471872 6232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 6707 6232 139 317 0 6386 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 26828 [startup+162.302 s] /proc/loadavg: 0.97 0.95 0.97 2/78 476 /proc/meminfo: memFree=1027016/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=33576 CPUtime=162.26 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 7936 0 0 0 16219 7 0 0 25 0 1 0 146799529 34381824 7851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 8394 7851 139 317 0 8073 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 33576 [startup+222.306 s] /proc/loadavg: 0.99 0.95 0.97 2/78 476 /proc/meminfo: memFree=1024008/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=36516 CPUtime=222.25 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 8680 0 0 0 22217 8 0 0 25 0 1 0 146799529 37392384 8595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 9129 8595 139 317 0 8808 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 36516 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 476 /proc/meminfo: memFree=1020040/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=40752 CPUtime=282.23 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 9676 0 0 0 28214 9 0 0 25 0 1 0 146799529 41730048 9591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 10188 9591 139 317 0 9867 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 40752 [startup+342.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 476 /proc/meminfo: memFree=1015880/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=45888 CPUtime=342.22 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 10832 0 0 0 34211 11 0 0 25 0 1 0 146799529 46989312 10615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 11472 10615 139 317 0 11151 0 Current children cumulated CPU time (s) 342.22 Current children cumulated vsize (KiB) 45888 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=1013064/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=49516 CPUtime=402.21 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 11552 0 0 0 40209 12 0 0 25 0 1 0 146799529 50704384 11335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718543 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 12379 11335 139 317 0 12058 0 Current children cumulated CPU time (s) 402.21 Current children cumulated vsize (KiB) 49516 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=1009736/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=53216 CPUtime=462.19 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 12377 0 0 0 46206 13 0 0 25 0 1 0 146799529 54493184 12160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 13304 12160 139 317 0 12983 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 53216 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=1006728/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=56172 CPUtime=522.18 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 13115 0 0 0 52204 14 0 0 25 0 1 0 146799529 57520128 12898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 14043 12898 139 317 0 13722 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 56172 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=1005192/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=57748 CPUtime=582.17 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 13514 0 0 0 58202 15 0 0 25 0 1 0 146799529 59133952 13297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 14437 13297 139 317 0 14116 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 57748 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=1003656/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=59312 CPUtime=642.15 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 13889 0 0 0 64200 15 0 0 25 0 1 0 146799529 60735488 13672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 14828 13672 139 317 0 14507 0 Current children cumulated CPU time (s) 642.15 Current children cumulated vsize (KiB) 59312 ################ # More data... # ################ [startup+882.306 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=994312/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=68600 CPUtime=882.1 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 16240 0 0 0 88191 19 0 0 25 0 1 0 146799529 70246400 16023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 17150 16023 139 317 0 16829 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 68600 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=991880/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=71400 CPUtime=942.09 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 16843 0 0 0 94189 20 0 0 25 0 1 0 146799529 73113600 16626 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 17850 16626 139 317 0 17529 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 71400 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 476 /proc/meminfo: memFree=989896/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=73640 CPUtime=1002.08 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 17335 0 0 0 100187 21 0 0 25 0 1 0 146799529 75407360 17118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 18410 17118 139 317 0 18089 0 Current children cumulated CPU time (s) 1002.08 Current children cumulated vsize (KiB) 73640 [startup+1062.3 s] /proc/loadavg: 1.03 0.99 0.98 3/78 478 /proc/meminfo: memFree=987656/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=76072 CPUtime=1062.07 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 17897 0 0 0 106185 22 0 0 25 0 1 0 146799529 77897728 17680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 19018 17680 139 317 0 18697 0 Current children cumulated CPU time (s) 1062.07 Current children cumulated vsize (KiB) 76072 [startup+1122.3 s] /proc/loadavg: 1.04 1.00 0.98 2/78 478 /proc/meminfo: memFree=985160/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=78428 CPUtime=1122.05 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 18518 0 0 0 112182 23 0 0 25 0 1 0 146799529 80310272 18301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 19607 18301 139 317 0 19286 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 78428 [startup+1182.3 s] /proc/loadavg: 1.01 1.00 0.98 2/78 478 /proc/meminfo: memFree=982920/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=81080 CPUtime=1182.04 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 19070 0 0 0 118180 24 0 0 25 0 1 0 146799529 83025920 18853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 20270 18853 139 317 0 19949 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 81080 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=980936/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=82928 CPUtime=1242.03 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 19568 0 0 0 124178 25 0 0 25 0 1 0 146799529 84918272 19351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 20732 19351 139 317 0 20411 0 Current children cumulated CPU time (s) 1242.03 Current children cumulated vsize (KiB) 82928 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=978952/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=84948 CPUtime=1302.01 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 20129 0 0 0 130175 26 0 0 25 0 1 0 146799529 86986752 19846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 21237 19846 139 317 0 20916 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 84948 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=976904/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=87064 CPUtime=1362 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 20663 0 0 0 136173 27 0 0 25 0 1 0 146799529 89153536 20347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 21766 20347 139 317 0 21445 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 87064 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=974856/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=89196 CPUtime=1421.99 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 21231 0 0 0 142171 28 0 0 25 0 1 0 146799529 91336704 20849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 22299 20849 139 317 0 21978 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 89196 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=972744/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=91816 CPUtime=1481.97 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 21908 0 0 0 148168 29 0 0 25 0 1 0 146799529 94019584 21394 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 22954 21394 139 317 0 22633 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 91816 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=970376/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=94932 CPUtime=1541.97 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 22726 0 0 0 154166 31 0 0 25 0 1 0 146799529 97210368 21981 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 23733 21981 139 317 0 23412 0 Current children cumulated CPU time (s) 1541.97 Current children cumulated vsize (KiB) 94932 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=968456/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=97540 CPUtime=1601.94 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 23343 0 0 0 160163 31 0 0 25 0 1 0 146799529 99880960 22466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 24385 22466 139 317 0 24064 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 97540 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=966856/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=99632 CPUtime=1661.93 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 23920 0 0 0 166161 32 0 0 25 0 1 0 146799529 102023168 22878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 24908 22878 139 317 0 24587 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 99632 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=965320/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=101204 CPUtime=1721.92 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 24389 0 0 0 172159 33 0 0 25 0 1 0 146799529 103632896 23281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 25301 23281 139 317 0 24980 0 Current children cumulated CPU time (s) 1721.92 Current children cumulated vsize (KiB) 101204 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=963592/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=103280 CPUtime=1781.91 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 24969 0 0 0 178157 34 0 0 25 0 1 0 146799529 105758720 23663 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 25820 23663 139 317 0 25499 0 Current children cumulated CPU time (s) 1781.91 Current children cumulated vsize (KiB) 103280 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=962888/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=104060 CPUtime=1800.01 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 25189 0 0 0 179967 34 0 0 25 0 1 0 146799529 106557440 23817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 26015 23817 139 317 0 25694 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 104060 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.51 s] /proc/loadavg: 1.00 1.00 0.98 2/78 478 /proc/meminfo: memFree=962888/2055920 swapFree=4141972/4192956 [pid=475] ppid=473 vsize=104060 CPUtime=1800.11 /proc/475/stat : 475 (oree) R 473 475 376 0 -1 4194304 25189 0 0 0 179977 34 0 0 25 0 1 0 146799529 106557440 23817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/475/statm: 26015 23817 139 317 0 25694 0 Current children cumulated CPU time (s) 1800.11 Current children cumulated vsize (KiB) 104060 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.21 CPU user time (s): 1799.84 CPU system time (s): 0.364944 CPU usage (%): 99.9785 Max. virtual memory (cumulated for all children) (KiB): 104060 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.84 system time used= 0.364944 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25206 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= 1364 runsolver used 2.00969 second user time and 4.54731 second system time The end
Begin job on node29 on Thu Apr 19 13:20:38 UTC 2007 IDJOB= 364876 IDBENCH= 2165 IDSOLVER= 172 FILE ID= node29/364876-1176988838 PBS_JOBID= 4630456 Free space on /tmp= 66466 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-ii32a1.opb COMMAND LINE= oree /tmp/evaluation/364876-1176988838/instance-364876-1176988838.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-364876-1176988838 -o ROOT/results/node29/solver-364876-1176988838 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364876-1176988838/instance-364876-1176988838.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8c328e3092b759791eb187200eaaa71f RANDOM SEED= 621878268 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1058664 kB Buffers: 49124 kB Cached: 853276 kB SwapCached: 15872 kB Active: 377504 kB Inactive: 552620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1058664 kB SwapTotal: 4192956 kB SwapFree: 4141972 kB Dirty: 1916 kB Writeback: 0 kB Mapped: 29836 kB Slab: 52560 kB Committed_AS: 2096812 kB PageTables: 1872 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= 66466 MiB End job on node29 on Thu Apr 19 13:50:40 UTC 2007