Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.33 | 1800.95 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb |
MD5SUM | 77d03e06bcf76c9b07fd6535ab6acb65 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1207959552 |
Best CPU time to get the best result obtained on this benchmark | 1800.17 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1207959552 |
Optimality of the best value was proved | NO |
Number of variables | 6651 |
Total number of constraints | 721 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 331 |
Number of constraints which are nor clauses,nor cardinality constraints | 390 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 6651 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 1073741824 |
Number of bits for the biggest coefficient in the objective function | 31 |
Sum of the numbers in the objective function | 2147483647 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1073741824 |
Number of bits of the biggest number in a constraint | 31 |
Biggest sum of numbers in a constraint | 26715880447 |
Number of bits of the biggest sum of numbers | 35 |
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.49/0.51 c ...done 0.49/0.51 c #vars=6651 #constraints=722 hasObjective=yes 0.49/0.56 c res. mode=mod 0.49/0.56 c VSIDS like heuristics 0.49/0.56 c complete search running 1.99/2.09 c restart after 401 decisions 2.19/2.20 c nbDecision=500 #constraints=993 9.69/9.72 c restart after 801 decisions 10.49/10.55 c nbDecision=1000 #constraints=1334 12.59/12.62 c nbDecision=1500 #constraints=1834 15.88/15.98 c restart after 1601 decisions 17.99/18.06 c nbDecision=2000 #constraints=2204 20.09/20.18 c nbDecision=2500 #constraints=2704 22.48/22.50 c nbDecision=3000 #constraints=3204 23.58/23.67 c restart after 3201 decisions 25.38/25.48 c nbDecision=3500 #constraints=3580 28.88/28.92 c nbDecision=4000 #constraints=4078 31.69/31.77 c nbDecision=4500 #constraints=4578 34.28/34.39 c nbDecision=5000 #constraints=5078 37.39/37.46 c nbDecision=5500 #constraints=5578 40.38/40.49 c nbDecision=6000 #constraints=6078 42.67/42.75 c restart after 6401 decisions 43.67/43.78 c nbDecision=6500 #constraints=6480 69.87/69.93 c nbDecision=7000 #constraints=6948 92.86/93.00 c nbDecision=7500 #constraints=7447 115.85/115.94 c nbDecision=8000 #constraints=7947 144.15/144.29 c nbDecision=8500 #constraints=8447 172.94/173.04 c nbDecision=9000 #constraints=8947 201.83/201.97 c nbDecision=9500 #constraints=9447 222.73/222.86 c nbDecision=10000 #constraints=9947 236.62/236.73 c nbDecision=10500 #constraints=10447 259.22/259.34 c nbDecision=11000 #constraints=10947 283.01/283.13 c nbDecision=11500 #constraints=11447 314.81/314.98 c nbDecision=12000 #constraints=11947 339.69/339.88 c nbDecision=12500 #constraints=12447 359.39/359.59 c restart after 12801 decisions 367.99/368.11 c nbDecision=13000 #constraints=12818 400.18/400.37 c nbDecision=13500 #constraints=13318 433.47/433.61 c nbDecision=14000 #constraints=13818 456.46/456.67 c nbDecision=14500 #constraints=14318 481.15/481.32 c nbDecision=15000 #constraints=14818 515.35/515.51 c nbDecision=15500 #constraints=15318 540.84/541.03 c nbDecision=16000 #constraints=15818 566.73/566.93 c nbDecision=16500 #constraints=16318 593.62/593.80 c nbDecision=17000 #constraints=16818 611.92/612.16 c nbDecision=17500 #constraints=17319 649.21/649.45 c nbDecision=18000 #constraints=17818 686.70/686.97 c nbDecision=18500 #constraints=18318 716.49/716.74 c nbDecision=19000 #constraints=18818 738.38/738.65 c nbDecision=19500 #constraints=19318 770.07/770.33 c nbDecision=20000 #constraints=19818 810.26/810.55 c nbDecision=20500 #constraints=20318 850.45/850.78 c nbDecision=21000 #constraints=20818 881.52/881.87 c nbDecision=21500 #constraints=21318 896.38/896.73 c nbDecision=22000 #constraints=21818 925.04/925.45 c nbDecision=22500 #constraints=22318 955.43/955.87 c nbDecision=23000 #constraints=22818 985.81/986.23 c nbDecision=23500 #constraints=23318 1025.90/1026.33 c nbDecision=24000 #constraints=23819 1035.20/1035.61 c nbDecision=24500 #constraints=24318 1042.10/1042.59 c nbDecision=25000 #constraints=24818 1048.79/1049.23 c nbDecision=25500 #constraints=25318 1049.79/1050.25 c restart after 25601 decisions 1062.60/1063.06 c nbDecision=26000 #constraints=25683 1069.39/1069.89 c nbDecision=26500 #constraints=26182 1076.39/1076.82 c nbDecision=27000 #constraints=26682 1084.39/1084.82 c nbDecision=27500 #constraints=27182 1090.88/1091.37 c nbDecision=28000 #constraints=27682 1099.18/1099.66 c nbDecision=28500 #constraints=28182 1107.58/1108.00 c nbDecision=29000 #constraints=28682 1115.18/1115.69 c nbDecision=29500 #constraints=29182 1127.67/1128.18 c nbDecision=30000 #constraints=29682 1144.87/1145.35 c nbDecision=30500 #constraints=30182 1158.97/1159.43 c nbDecision=31000 #constraints=30682 1166.76/1167.29 c nbDecision=31500 #constraints=31182 1175.86/1176.34 c nbDecision=32000 #constraints=31682 1183.86/1184.39 c nbDecision=32500 #constraints=32182 1192.85/1193.39 c nbDecision=33000 #constraints=32682 1202.65/1203.10 c nbDecision=33500 #constraints=33182 1211.95/1212.46 c nbDecision=34000 #constraints=33682 1225.64/1226.10 c nbDecision=34500 #constraints=34182 1245.54/1246.03 c nbDecision=35000 #constraints=34682 1261.73/1262.27 c nbDecision=35500 #constraints=35182 1271.93/1272.49 c nbDecision=36000 #constraints=35682 1281.32/1281.89 c nbDecision=36500 #constraints=36182 1290.43/1290.96 c nbDecision=37000 #constraints=36682 1301.42/1301.99 c nbDecision=37500 #constraints=37182 1310.92/1311.46 c nbDecision=38000 #constraints=37682 1326.32/1326.80 c nbDecision=38500 #constraints=38182 1343.91/1344.48 c nbDecision=39000 #constraints=38682 1367.30/1367.87 c nbDecision=39500 #constraints=39183 1377.50/1378.08 c nbDecision=40000 #constraints=39682 1387.90/1388.48 c nbDecision=40500 #constraints=40182 1398.99/1399.54 c nbDecision=41000 #constraints=40682 1410.19/1410.72 c nbDecision=41500 #constraints=41182 1421.79/1422.40 c nbDecision=42000 #constraints=41682 1432.28/1432.86 c nbDecision=42500 #constraints=42182 1450.98/1451.51 c nbDecision=43000 #constraints=42682 1476.27/1476.83 c nbDecision=43500 #constraints=43182 1511.97/1512.52 c nbDecision=44000 #constraints=43683 1546.85/1547.47 c nbDecision=44500 #constraints=44182 1558.25/1558.84 c nbDecision=45000 #constraints=44682 1569.15/1569.80 c nbDecision=45500 #constraints=45182 1581.54/1582.12 c nbDecision=46000 #constraints=45682 1594.24/1594.85 c nbDecision=46500 #constraints=46182 1612.24/1612.87 c nbDecision=47000 #constraints=46682 1632.63/1633.27 c nbDecision=47500 #constraints=47182 1663.73/1664.37 c nbDecision=48000 #constraints=47682 1677.02/1677.64 c nbDecision=48500 #constraints=48182 1688.72/1689.35 c nbDecision=49000 #constraints=48682 1699.80/1700.49 c nbDecision=49500 #constraints=49182 1715.21/1715.83 c nbDecision=50000 #constraints=49682 1728.30/1728.98 c nbDecision=50500 #constraints=50182 1750.60/1751.24 c nbDecision=51000 #constraints=50683 1762.99/1763.65 c restart after 51201 decisions 1781.89/1782.51 c nbDecision=51500 #constraints=51053 1800.09/1800.70 Received signal 15 1800.18/1800.84 1800.18/1800.84 s UNKNOWN 1800.18/1800.84 1800.18/1800.84 c user time= 1799.23 s 1800.18/1800.84 c system time= 1.00685 s 1800.18/1800.84 c wall clock time=1800.85
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-357307-1176993984 -o ROOT/results/node24/solver-357307-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357307-1176993984/instance-357307-1176993984.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/77 26305 /proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=1468 CPUtime=0 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147316409 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 367 162 128 317 0 46 0 [startup+0.096913 s] /proc/loadavg: 0.91 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=2844 CPUtime=0.09 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 518 0 0 0 9 0 0 0 18 0 1 0 147316409 2912256 500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 711 500 131 317 0 390 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2844 [startup+0.101913 s] /proc/loadavg: 0.91 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=2980 CPUtime=0.09 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 147316409 3051520 520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 745 520 131 317 0 424 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2980 [startup+0.301935 s] /proc/loadavg: 0.91 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=6692 CPUtime=0.29 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 1415 0 0 0 29 0 0 0 19 0 1 0 147316409 6852608 1397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 1673 1397 131 317 0 1352 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6692 [startup+0.701978 s] /proc/loadavg: 0.91 0.95 0.98 3/77 26305 /proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=13748 CPUtime=0.69 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 3159 0 0 0 68 1 0 0 23 0 1 0 147316409 14077952 3141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 3437 3141 138 317 0 3116 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13748 [startup+1.50106 s] /proc/loadavg: 0.91 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1599688/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=15048 CPUtime=1.49 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 3479 0 0 0 148 1 0 0 25 0 1 0 147316409 15409152 3461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 3762 3461 139 317 0 3441 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15048 [startup+3.10124 s] /proc/loadavg: 0.91 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1596744/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=16708 CPUtime=3.09 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 3871 0 0 0 308 1 0 0 25 0 1 0 147316409 17108992 3853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 4177 3853 139 317 0 3856 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16708 [startup+6.30158 s] /proc/loadavg: 0.92 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1595848/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=17752 CPUtime=6.29 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 4138 0 0 0 628 1 0 0 25 0 1 0 147316409 18178048 4120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 4438 4120 139 317 0 4117 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17752 [startup+12.7013 s] /proc/loadavg: 0.93 0.95 0.98 2/78 26306 /proc/meminfo: memFree=1590216/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=25180 CPUtime=12.69 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 5950 0 0 0 1267 2 0 0 25 0 1 0 147316409 25784320 5932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 6295 5932 139 317 0 5974 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25180 [startup+25.5017 s] /proc/loadavg: 0.94 0.96 0.98 2/78 26306 /proc/meminfo: memFree=1572488/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=41980 CPUtime=25.48 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 10083 0 0 0 2544 4 0 0 25 0 1 0 147316409 42987520 10065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 10495 10065 139 317 0 10174 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41980 [startup+51.1014 s] /proc/loadavg: 0.96 0.96 0.98 2/78 26306 /proc/meminfo: memFree=1543304/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=71640 CPUtime=51.07 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 17198 0 0 0 5098 9 0 0 25 0 1 0 147316409 73359360 17180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 17910 17180 139 317 0 17589 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71640 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.98 2/78 26306 /proc/meminfo: memFree=1533064/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=81740 CPUtime=102.27 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 19715 0 0 0 10215 12 0 0 25 0 1 0 147316409 83701760 19697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 20435 19697 139 317 0 20114 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 81740 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1523592/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=91312 CPUtime=162.25 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 22143 0 0 0 16210 15 0 0 25 0 1 0 147316409 93503488 22067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 22828 22067 139 317 0 22507 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 91312 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1511368/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=106348 CPUtime=222.23 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 25184 0 0 0 22205 18 0 0 25 0 1 0 147316409 108900352 25108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 26587 25108 139 317 0 26266 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 106348 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1497672/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=120624 CPUtime=282.21 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 28614 0 0 0 28200 21 0 0 25 0 1 0 147316409 123518976 28538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 30156 28538 139 317 0 29835 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 120624 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1488072/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=129580 CPUtime=342.19 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 30987 0 0 0 34197 22 0 0 25 0 1 0 147316409 132689920 30911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 32395 30911 139 317 0 32074 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 129580 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1480200/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=137432 CPUtime=402.17 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 32963 0 0 0 40193 24 0 0 25 0 1 0 147316409 140730368 32887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564074 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 34358 32887 139 317 0 34037 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 137432 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1469704/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=147876 CPUtime=462.16 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 35691 0 0 0 46190 26 0 0 25 0 1 0 147316409 151425024 35615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 36969 35615 139 317 0 36648 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 147876 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1461576/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=155796 CPUtime=522.14 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 37647 0 0 0 52186 28 0 0 25 0 1 0 147316409 159535104 37571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 38949 37571 139 317 0 38628 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 155796 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1450184/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=167632 CPUtime=582.12 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 40701 0 0 0 58181 31 0 0 25 0 1 0 147316409 171655168 40511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 41908 40511 139 317 0 41587 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 167632 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26306 /proc/meminfo: memFree=1439176/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=185080 CPUtime=642.12 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 44727 0 0 0 64178 34 0 0 25 0 1 0 147316409 189521920 43118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 46270 43118 139 317 0 45949 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 185080 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1394632/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=230856 CPUtime=941.93 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 56745 0 0 0 94148 45 0 0 25 0 1 0 147316409 236396544 54212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 57714 54212 139 317 0 57393 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 230856 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1385800/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=239232 CPUtime=1001.91 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 59161 0 0 0 100144 47 0 0 25 0 1 0 147316409 244973568 56397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 59808 56397 139 317 0 59487 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 239232 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1366408/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=258308 CPUtime=1061.89 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 64439 0 0 0 106140 49 0 0 25 0 1 0 147316409 264507392 61279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 64577 61279 139 317 0 64256 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 258308 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1330632/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=293652 CPUtime=1121.87 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 73645 0 0 0 112131 56 0 0 25 0 1 0 147316409 300699648 70221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 73413 70221 139 317 0 73092 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 293652 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1306440/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=317464 CPUtime=1181.85 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 80128 0 0 0 118125 60 0 0 25 0 1 0 147316409 325083136 76341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 79366 76341 139 317 0 79045 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 317464 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1280328/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=358368 CPUtime=1241.84 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 90310 0 0 0 124118 66 0 0 25 0 1 0 147316409 366968832 82718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 89592 82718 139 317 0 89271 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 358368 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.98 2/78 26504 /proc/meminfo: memFree=1256200/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=383120 CPUtime=1301.83 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 97371 0 0 0 130111 72 0 0 25 0 1 0 147316409 392314880 88732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 95780 88732 139 317 0 95459 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 383120 [startup+1362.3 s] /proc/loadavg: 1.11 1.00 0.99 2/78 26504 /proc/meminfo: memFree=1240456/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=399204 CPUtime=1361.81 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 101908 0 0 0 136105 76 0 0 25 0 1 0 147316409 408784896 92713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 99801 92713 139 317 0 99480 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 399204 [startup+1422.31 s] /proc/loadavg: 1.11 1.02 1.00 2/78 26504 /proc/meminfo: memFree=1214984/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=425348 CPUtime=1421.79 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 109269 0 0 0 142098 81 0 0 25 0 1 0 147316409 435556352 99058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 106337 99058 139 317 0 106016 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 425348 [startup+1482.3 s] /proc/loadavg: 1.11 1.03 1.00 2/78 26504 /proc/meminfo: memFree=1199432/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=443364 CPUtime=1481.77 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 113982 0 0 0 148093 84 0 0 25 0 1 0 147316409 454004736 102920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 110841 102920 139 317 0 110520 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 443364 [startup+1542.3 s] /proc/loadavg: 1.10 1.04 1.00 2/78 26504 /proc/meminfo: memFree=1192200/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=450212 CPUtime=1541.76 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 115993 0 0 0 154090 86 0 0 25 0 1 0 147316409 461017088 104736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 112553 104736 139 317 0 112232 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 450212 [startup+1602.3 s] /proc/loadavg: 1.17 1.06 1.01 2/78 26504 /proc/meminfo: memFree=1168776/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=472300 CPUtime=1601.73 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 122448 0 0 0 160083 90 0 0 25 0 1 0 147316409 483635200 110671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 118075 110671 139 317 0 117754 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 472300 [startup+1662.3 s] /proc/loadavg: 1.19 1.08 1.01 2/78 26504 /proc/meminfo: memFree=1157832/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=482364 CPUtime=1661.72 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 125362 0 0 0 166078 94 0 0 25 0 1 0 147316409 493940736 113325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 120591 113325 139 317 0 120270 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 482364 [startup+1722.3 s] /proc/loadavg: 1.12 1.08 1.01 2/78 26504 /proc/meminfo: memFree=1136776/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=503172 CPUtime=1721.7 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 131427 0 0 0 172072 98 0 0 25 0 1 0 147316409 515248128 118740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 125793 118740 139 317 0 125472 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 503172 [startup+1782.3 s] /proc/loadavg: 1.04 1.06 1.01 2/78 26504 /proc/meminfo: memFree=1126088/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=512704 CPUtime=1781.69 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 134170 0 0 0 178069 100 0 0 25 0 1 0 147316409 525008896 121288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 128176 121288 139 317 0 127855 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 512704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.03 1.05 1.01 2/78 26504 /proc/meminfo: memFree=1124744/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=513600 CPUtime=1800.09 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 134435 0 0 0 179909 100 0 0 25 0 1 0 147316409 525926400 121553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 128400 121553 139 317 0 128079 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 513600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.03 1.05 1.01 2/78 26504 /proc/meminfo: memFree=1124744/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=513732 CPUtime=1800.18 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 134437 0 0 0 179918 100 0 0 25 0 1 0 147316409 526061568 121555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 128433 121555 139 317 0 128112 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 513732 [startup+1800.9 s] /proc/loadavg: 1.03 1.05 1.01 2/78 26504 /proc/meminfo: memFree=1124744/2055920 swapFree=4133640/4192956 [pid=26305] ppid=26303 vsize=0 CPUtime=1800.28 /proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194308 134453 0 0 0 179924 104 0 0 25 0 1 0 147316409 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/26305/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.95 CPU time (s): 1800.33 CPU user time (s): 1799.24 CPU system time (s): 1.08883 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 513732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.24 system time used= 1.08883 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 134453 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= 19540 runsolver used 1.9887 second user time and 4.5733 second system time The end
Begin job on node24 on Thu Apr 19 14:46:24 UTC 2007 IDJOB= 357307 IDBENCH= 2371 IDSOLVER= 172 FILE ID= node24/357307-1176993984 PBS_JOBID= 4630409 Free space on /tmp= 66232 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb COMMAND LINE= oree /tmp/evaluation/357307-1176993984/instance-357307-1176993984.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-357307-1176993984 -o ROOT/results/node24/solver-357307-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357307-1176993984/instance-357307-1176993984.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 77d03e06bcf76c9b07fd6535ab6acb65 RANDOM SEED= 216337313 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: 1612136 kB Buffers: 37404 kB Cached: 310004 kB SwapCached: 27340 kB Active: 132204 kB Inactive: 250652 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1612136 kB SwapTotal: 4192956 kB SwapFree: 4133640 kB Dirty: 3328 kB Writeback: 0 kB Mapped: 42556 kB Slab: 46352 kB Committed_AS: 1875268 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= 66232 MiB End job on node24 on Thu Apr 19 15:16:27 UTC 2007