Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.93 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-dg012142.opb |
MD5SUM | 4f88b3d47f6404caca0c9a65b4bd3b5a |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41920 |
Total number of constraints | 2137 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2097 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 371 |
Number of terms in the objective function | 22720 |
Biggest coefficient in the objective function | 5368709120000 |
Number of bits for the biggest coefficient in the objective function | 43 |
Sum of the numbers in the objective function | 1036222338778688 |
Number of bits of the sum of numbers in the objective function | 50 |
Biggest number in a constraint | 5368709120000 |
Number of bits of the biggest number in a constraint | 43 |
Biggest sum of numbers in a constraint | 1036222338778688 |
Number of bits of the biggest sum of numbers | 50 |
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.89/0.90 c ...done 0.89/0.90 c #vars=41920 #constraints=2778 hasObjective=yes 1.19/1.24 c res. mode=mod 1.19/1.24 c VSIDS like heuristics 1.19/1.24 c complete search running 1.39/1.48 c restart after 401 decisions 1.49/1.53 c nbDecision=500 #constraints=2778 1.59/1.67 c restart after 801 decisions 1.69/1.77 c nbDecision=1000 #constraints=2778 1.99/2.01 c nbDecision=1500 #constraints=2778 1.99/2.05 c restart after 1601 decisions 2.20/2.25 c nbDecision=2000 #constraints=2778 2.39/2.50 c nbDecision=2500 #constraints=2778 2.69/2.74 c nbDecision=3000 #constraints=2778 2.79/2.84 c restart after 3201 decisions 2.89/3.00 c nbDecision=3500 #constraints=2778 3.19/3.24 c nbDecision=4000 #constraints=2778 3.39/3.49 c nbDecision=4500 #constraints=2778 3.69/3.74 c nbDecision=5000 #constraints=2778 3.89/3.98 c nbDecision=5500 #constraints=2778 4.19/4.23 c nbDecision=6000 #constraints=2778 4.39/4.43 c restart after 6401 decisions 4.39/4.49 c nbDecision=6500 #constraints=2778 4.68/4.73 c nbDecision=7000 #constraints=2778 4.88/4.98 c nbDecision=7500 #constraints=2778 5.18/5.22 c nbDecision=8000 #constraints=2778 5.39/5.47 c nbDecision=8500 #constraints=2778 5.68/5.70 c nbDecision=9000 #constraints=2778 5.88/5.94 c nbDecision=9500 #constraints=2778 6.59/6.64 c nbDecision=10000 #constraints=2906 9.99/10.06 c nbDecision=10500 #constraints=3413 13.88/13.91 c nbDecision=11000 #constraints=3910 19.48/19.57 c nbDecision=11500 #constraints=4414 26.98/27.01 c nbDecision=12000 #constraints=4908 33.68/33.79 c nbDecision=12500 #constraints=5408 38.27/38.38 c restart after 12801 decisions 38.87/38.91 c nbDecision=13000 #constraints=5711 39.18/39.20 c nbDecision=13500 #constraints=5711 39.37/39.45 c nbDecision=14000 #constraints=5711 39.58/39.69 c nbDecision=14500 #constraints=5711 39.87/39.94 c nbDecision=15000 #constraints=5711 40.07/40.18 c nbDecision=15500 #constraints=5711 40.37/40.47 c nbDecision=16000 #constraints=5711 44.78/44.86 c nbDecision=16500 #constraints=5948 55.47/55.53 c nbDecision=17000 #constraints=6447 64.78/64.81 c nbDecision=17500 #constraints=6946 75.37/75.42 c nbDecision=18000 #constraints=7445 89.76/89.87 c nbDecision=18500 #constraints=7948 103.16/103.28 c nbDecision=19000 #constraints=8445 117.15/117.22 c nbDecision=19500 #constraints=8938 131.04/131.11 c nbDecision=20000 #constraints=9441 151.25/151.39 c nbDecision=20500 #constraints=9945 164.84/164.90 c nbDecision=21000 #constraints=10442 183.33/183.40 c nbDecision=21500 #constraints=10941 208.02/208.13 c nbDecision=22000 #constraints=11446 233.52/233.62 c nbDecision=22500 #constraints=11943 251.00/251.15 c nbDecision=23000 #constraints=12438 269.90/270.04 c nbDecision=23500 #constraints=12940 292.69/292.86 c nbDecision=24000 #constraints=13441 323.19/323.39 c nbDecision=24500 #constraints=13938 356.88/357.01 c nbDecision=25000 #constraints=14438 384.06/384.25 c nbDecision=25500 #constraints=14941 390.86/391.06 c restart after 25601 decisions 393.46/393.61 c nbDecision=26000 #constraints=15044 393.67/393.86 c nbDecision=26500 #constraints=15044 393.86/394.09 c nbDecision=27000 #constraints=15044 394.16/394.34 c nbDecision=27500 #constraints=15044 394.36/394.59 c nbDecision=28000 #constraints=15044 394.67/394.84 c nbDecision=28500 #constraints=15044 395.36/395.52 c nbDecision=29000 #constraints=15044 422.15/422.34 c nbDecision=29500 #constraints=15480 449.04/449.26 c nbDecision=30000 #constraints=15982 484.83/485.04 c nbDecision=30500 #constraints=16480 513.52/513.72 c nbDecision=31000 #constraints=16977 545.31/545.52 c nbDecision=31500 #constraints=17481 586.89/587.10 c nbDecision=32000 #constraints=17981 630.78/631.08 c nbDecision=32500 #constraints=18478 664.07/664.33 c nbDecision=33000 #constraints=18975 699.06/699.39 c nbDecision=33500 #constraints=19477 744.15/744.48 c nbDecision=34000 #constraints=19979 792.92/793.21 c nbDecision=34500 #constraints=20477 836.22/836.50 c nbDecision=35000 #constraints=20973 889.10/889.47 c nbDecision=35500 #constraints=21475 924.99/925.37 c nbDecision=36000 #constraints=21970 965.57/965.97 c nbDecision=36500 #constraints=22476 1018.05/1018.40 c nbDecision=37000 #constraints=22976 1072.93/1073.38 c nbDecision=37500 #constraints=23470 1103.82/1104.22 c nbDecision=38000 #constraints=23974 1150.41/1150.86 c nbDecision=38500 #constraints=24477 1211.49/1211.99 c nbDecision=39000 #constraints=24974 1274.38/1274.88 c nbDecision=39500 #constraints=25472 1312.36/1312.90 c nbDecision=40000 #constraints=25973 1356.05/1356.67 c nbDecision=40500 #constraints=26471 1415.32/1415.99 c nbDecision=41000 #constraints=26975 1475.90/1476.60 c nbDecision=41500 #constraints=27472 1542.78/1543.43 c nbDecision=42000 #constraints=27969 1600.66/1601.36 c nbDecision=42500 #constraints=28472 1667.34/1668.09 c nbDecision=43000 #constraints=28966 1729.82/1730.57 c nbDecision=43500 #constraints=29468 1800.00/1800.70 Received signal 15 1800.10/1800.84 1800.10/1800.84 s UNKNOWN 1800.10/1800.84 1800.10/1800.84 c user time= 1799.42 s 1800.10/1800.84 c system time= 0.727889 s 1800.10/1800.84 c wall clock time=1800.84
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node22/watcher-357291-1176993533 -o ROOT/results/node22/solver-357291-1176993533 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357291-1176993533/instance-357291-1176993533.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: 1.01 1.00 0.94 3/77 9031 /proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=1468 CPUtime=0 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147271064 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 367 162 127 317 0 46 0 [startup+0.0645899 s] /proc/loadavg: 1.01 1.00 0.94 3/77 9031 /proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=2400 CPUtime=0.06 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 476 0 0 0 6 0 0 0 18 0 1 0 147271064 2457600 360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 600 360 128 317 0 279 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2400 [startup+0.101595 s] /proc/loadavg: 1.01 1.00 0.94 3/77 9031 /proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=2728 CPUtime=0.09 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 536 0 0 0 9 0 0 0 18 0 1 0 147271064 2793472 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 682 420 131 317 0 361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2728 [startup+0.301627 s] /proc/loadavg: 1.01 1.00 0.94 3/77 9031 /proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=5648 CPUtime=0.29 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 1286 0 0 0 29 0 0 0 19 0 1 0 147271064 5783552 1170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 1412 1170 131 317 0 1091 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5648 [startup+0.701686 s] /proc/loadavg: 1.01 1.00 0.94 3/77 9031 /proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=12928 CPUtime=0.69 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 3094 0 0 0 67 2 0 0 22 0 1 0 147271064 13238272 2978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 3232 2978 131 317 0 2911 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12928 [startup+1.50181 s] /proc/loadavg: 1.01 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1392704/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=23156 CPUtime=1.49 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 5681 0 0 0 146 3 0 0 25 0 1 0 147271064 23711744 5565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 5789 5565 138 317 0 5468 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23156 [startup+3.10105 s] /proc/loadavg: 1.01 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1390400/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=23156 CPUtime=3.09 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 5681 0 0 0 306 3 0 0 25 0 1 0 147271064 23711744 5565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 5789 5565 138 317 0 5468 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23156 [startup+6.30154 s] /proc/loadavg: 1.01 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1390152/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=23700 CPUtime=6.28 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 5774 0 0 0 625 3 0 0 25 0 1 0 147271064 24268800 5658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 5925 5658 139 317 0 5604 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 23700 [startup+12.7015 s] /proc/loadavg: 1.01 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1381512/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=32844 CPUtime=12.69 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 8079 0 0 0 1264 5 0 0 25 0 1 0 147271064 33632256 7963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 8211 7963 139 317 0 7890 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 32844 [startup+25.5015 s] /proc/loadavg: 1.01 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1363656/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=50704 CPUtime=25.48 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 12457 0 0 0 2541 7 0 0 25 0 1 0 147271064 51920896 12341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 12676 12341 139 317 0 12355 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 50704 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1343368/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=71008 CPUtime=51.07 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 17515 0 0 0 5098 9 0 0 25 0 1 0 147271064 72712192 17362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 17752 17362 139 317 0 17431 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 71008 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1310024/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=105772 CPUtime=102.26 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 25741 0 0 0 10212 14 0 0 25 0 1 0 147271064 108310528 25588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 26443 25588 139 317 0 26122 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 105772 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1281928/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=133448 CPUtime=162.24 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 32840 0 0 0 16205 19 0 0 25 0 1 0 147271064 136650752 32687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 33362 32687 139 317 0 33041 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 133448 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.94 2/78 9032 /proc/meminfo: memFree=1255496/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=166524 CPUtime=222.22 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 39425 0 0 0 22199 23 0 0 25 0 1 0 147271064 170520576 39200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 41631 39200 139 317 0 41310 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 166524 [startup+282.302 s] /proc/loadavg: 1.03 1.01 0.95 2/78 9032 /proc/meminfo: memFree=1236744/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=183812 CPUtime=282.2 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 44155 0 0 0 28193 27 0 0 25 0 1 0 147271064 188223488 43930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 45953 43930 139 317 0 45632 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 183812 [startup+342.302 s] /proc/loadavg: 1.01 1.01 0.95 2/78 9032 /proc/meminfo: memFree=1223496/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=195588 CPUtime=342.18 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 47401 0 0 0 34189 29 0 0 25 0 1 0 147271064 200282112 47176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 48897 47176 139 317 0 48576 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 195588 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1214856/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=203304 CPUtime=402.16 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 49560 0 0 0 40185 31 0 0 25 0 1 0 147271064 208183296 49335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 50826 49335 139 317 0 50505 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 203304 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1199816/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=216964 CPUtime=462.13 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 53342 0 0 0 46180 33 0 0 25 0 1 0 147271064 222171136 53117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 54241 53117 139 317 0 53920 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 216964 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1182792/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=236708 CPUtime=522.11 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 57635 0 0 0 52176 35 0 0 25 0 1 0 147271064 242388992 57410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 59177 57410 139 317 0 58856 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 236708 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1170504/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=247972 CPUtime=582.1 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 60646 0 0 0 58172 38 0 0 25 0 1 0 147271064 253923328 60421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 61993 60421 139 317 0 61672 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 247972 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1163144/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=254784 CPUtime=642.08 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 62466 0 0 0 64168 40 0 0 25 0 1 0 147271064 260898816 62241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 63696 62241 139 317 0 63375 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 254784 ################ # More data... # ################ [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1112520/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=322952 CPUtime=941.98 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 79109 0 0 0 94146 52 0 0 25 0 1 0 147271064 330702848 74881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 80738 74881 139 317 0 80417 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 322952 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1102216/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=331800 CPUtime=1001.96 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 81638 0 0 0 100142 54 0 0 25 0 1 0 147271064 339763200 77410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 82950 77410 139 317 0 82629 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 331800 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1094664/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=338148 CPUtime=1061.94 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 83521 0 0 0 106139 55 0 0 25 0 1 0 147271064 346263552 79293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 84537 79293 139 317 0 84216 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 338148 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1083336/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=348508 CPUtime=1121.92 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 86360 0 0 0 112135 57 0 0 25 0 1 0 147271064 356872192 82132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 87127 82132 139 317 0 86806 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 348508 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1074568/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=356508 CPUtime=1181.9 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 88559 0 0 0 118132 58 0 0 25 0 1 0 147271064 365064192 84331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 89127 84331 139 317 0 88806 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 356508 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1067784/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=362464 CPUtime=1241.88 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 90230 0 0 0 124128 60 0 0 25 0 1 0 147271064 371163136 86002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 90616 86002 139 317 0 90295 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 362464 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9032 /proc/meminfo: memFree=1061128/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=367960 CPUtime=1301.86 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 91908 0 0 0 130125 61 0 0 25 0 1 0 147271064 376791040 87647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 91990 87647 139 317 0 91669 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 367960 [startup+1362.3 s] /proc/loadavg: 1.08 1.02 0.95 2/84 9198 /proc/meminfo: memFree=1049600/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=377068 CPUtime=1361.76 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 94495 0 0 0 136113 63 0 0 25 0 1 0 147271064 386117632 90234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 94267 90234 139 317 0 93946 0 Current children cumulated CPU time (s) 1361.76 Current children cumulated vsize (KiB) 377068 [startup+1422.31 s] /proc/loadavg: 1.03 1.01 0.95 2/78 9230 /proc/meminfo: memFree=1043144/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=383956 CPUtime=1421.72 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 96356 0 0 0 142108 64 0 0 25 0 1 0 147271064 393170944 92095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 95989 92095 139 317 0 95668 0 Current children cumulated CPU time (s) 1421.72 Current children cumulated vsize (KiB) 383956 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1037128/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=389352 CPUtime=1481.7 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 97883 0 0 0 148104 66 0 0 25 0 1 0 147271064 398696448 93622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 97338 93622 139 317 0 97017 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 389352 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1032648/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=393028 CPUtime=1541.68 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 98984 0 0 0 154101 67 0 0 25 0 1 0 147271064 402460672 94723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 98257 94723 139 317 0 97936 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 393028 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1027528/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=397468 CPUtime=1601.66 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 100275 0 0 0 160098 68 0 0 25 0 1 0 147271064 407007232 96014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 99367 96014 139 317 0 99046 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 397468 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1022664/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=401504 CPUtime=1661.64 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 101483 0 0 0 166095 69 0 0 25 0 1 0 147271064 411140096 97222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 100376 97222 139 317 0 100055 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 401504 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1014920/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=408464 CPUtime=1721.62 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 103406 0 0 0 172092 70 0 0 25 0 1 0 147271064 418267136 99145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 102116 99145 139 317 0 101795 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 408464 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1008648/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=414136 CPUtime=1781.6 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 104999 0 0 0 178088 72 0 0 25 0 1 0 147271064 424075264 100705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 103534 100705 139 317 0 103213 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 414136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1006728/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=415708 CPUtime=1800 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 105474 0 0 0 179928 72 0 0 25 0 1 0 147271064 425684992 101180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 103927 101180 139 317 0 103606 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 415708 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.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1006728/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=415844 CPUtime=1800.1 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 105478 0 0 0 179938 72 0 0 25 0 1 0 147271064 425824256 101184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 103961 101184 139 317 0 103640 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 415844 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 0.95 2/78 9230 /proc/meminfo: memFree=1006728/2055920 swapFree=4168584/4192956 [pid=9031] ppid=9029 vsize=0 CPUtime=1800.2 /proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194308 105494 0 0 0 179943 77 0 0 25 0 1 0 147271064 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/9031/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.23 CPU user time (s): 1799.43 CPU system time (s): 0.795879 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 415844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.43 system time used= 0.795879 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 105494 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= 4373 runsolver used 2.23066 second user time and 4.31834 second system time The end
Begin job on node22 on Thu Apr 19 14:38:54 UTC 2007 IDJOB= 357291 IDBENCH= 2355 IDSOLVER= 172 FILE ID= node22/357291-1176993533 PBS_JOBID= 4630440 Free space on /tmp= 66494 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-dg012142.opb COMMAND LINE= oree /tmp/evaluation/357291-1176993533/instance-357291-1176993533.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-357291-1176993533 -o ROOT/results/node22/solver-357291-1176993533 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357291-1176993533/instance-357291-1176993533.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4f88b3d47f6404caca0c9a65b4bd3b5a RANDOM SEED= 396436909 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node22.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.265 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.265 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: 1412704 kB Buffers: 50012 kB Cached: 498664 kB SwapCached: 2192 kB Active: 103368 kB Inactive: 467932 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1412704 kB SwapTotal: 4192956 kB SwapFree: 4168584 kB Dirty: 4908 kB Writeback: 0 kB Mapped: 30480 kB Slab: 57592 kB Committed_AS: 1801056 kB PageTables: 1676 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= 66494 MiB End job on node22 on Thu Apr 19 15:08:57 UTC 2007