Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.23 | 1800.68 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-aim-200-1_6-yes1-2.opb |
MD5SUM | 4206bcb74bbfe6d3d32eef307f81efb1 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 200 |
Best CPU time to get the best result obtained on this benchmark | 0.011998 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 200 |
Optimality of the best value was proved | YES |
Number of variables | 400 |
Total number of constraints | 520 |
Number of constraints which are clauses | 519 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 400 |
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 | 400 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
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.00 c ...done 0.00/0.00 c #vars=400 #constraints=521 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.00/0.03 c restart after 401 decisions 0.00/0.04 c nbDecision=500 #constraints=627 0.07/0.09 c restart after 801 decisions 0.09/0.10 c nbDecision=1000 #constraints=746 0.29/0.34 c nbDecision=1500 #constraints=996 0.29/0.37 c restart after 1601 decisions 0.49/0.59 c nbDecision=2000 #constraints=1219 1.00/1.07 c nbDecision=2500 #constraints=1523 1.49/1.52 c nbDecision=3000 #constraints=1798 1.59/1.65 c restart after 3201 decisions 1.89/1.90 c nbDecision=3500 #constraints=2028 2.59/2.68 c nbDecision=4000 #constraints=2376 3.69/3.75 c nbDecision=4500 #constraints=2751 5.19/5.20 c nbDecision=5000 #constraints=3110 7.79/7.80 c nbDecision=5500 #constraints=3504 10.68/10.75 c nbDecision=6000 #constraints=3899 13.68/13.73 c restart after 6401 decisions 13.98/14.02 c nbDecision=6500 #constraints=4212 17.59/17.68 c nbDecision=7000 #constraints=4506 20.59/20.68 c nbDecision=7500 #constraints=4787 23.99/24.05 c nbDecision=8000 #constraints=5163 27.38/27.48 c nbDecision=8500 #constraints=5482 31.08/31.12 c nbDecision=9000 #constraints=5861 35.78/35.90 c nbDecision=9500 #constraints=6230 42.08/42.11 c nbDecision=10000 #constraints=6602 49.08/49.16 c nbDecision=10500 #constraints=6993 57.38/57.49 c nbDecision=11000 #constraints=7384 67.67/67.71 c nbDecision=11500 #constraints=7791 74.38/74.48 c nbDecision=12000 #constraints=8078 81.17/81.28 c nbDecision=12500 #constraints=8435 87.17/87.28 c restart after 12801 decisions 90.97/91.00 c nbDecision=13000 #constraints=8818 101.07/101.12 c nbDecision=13500 #constraints=9178 108.16/108.25 c nbDecision=14000 #constraints=9513 122.66/122.72 c nbDecision=14500 #constraints=9922 134.66/134.79 c nbDecision=15000 #constraints=10270 146.95/147.03 c nbDecision=15500 #constraints=10581 158.95/159.07 c nbDecision=16000 #constraints=10926 169.35/169.44 c nbDecision=16500 #constraints=11281 187.14/187.26 c nbDecision=17000 #constraints=11691 206.64/206.77 c nbDecision=17500 #constraints=12127 222.04/222.19 c nbDecision=18000 #constraints=12517 236.63/236.78 c nbDecision=18500 #constraints=12920 248.33/248.44 c nbDecision=19000 #constraints=13258 261.83/261.92 c nbDecision=19500 #constraints=13658 277.92/278.09 c nbDecision=20000 #constraints=14056 294.91/295.06 c nbDecision=20500 #constraints=14461 317.01/317.17 c nbDecision=21000 #constraints=14864 339.21/339.37 c nbDecision=21500 #constraints=15309 361.10/361.28 c nbDecision=22000 #constraints=15716 381.40/381.58 c nbDecision=22500 #constraints=16135 407.29/407.45 c nbDecision=23000 #constraints=16549 425.48/425.70 c nbDecision=23500 #constraints=16961 442.18/442.30 c nbDecision=24000 #constraints=17333 464.57/464.73 c nbDecision=24500 #constraints=17739 492.87/493.01 c nbDecision=25000 #constraints=18132 514.16/514.31 c nbDecision=25500 #constraints=18499 517.36/517.50 c restart after 25601 decisions 528.65/528.81 c nbDecision=26000 #constraints=18789 539.75/539.95 c nbDecision=26500 #constraints=19056 554.85/555.01 c nbDecision=27000 #constraints=19330 575.75/575.97 c nbDecision=27500 #constraints=19668 596.54/596.80 c nbDecision=28000 #constraints=20020 620.73/620.93 c nbDecision=28500 #constraints=20406 644.23/644.49 c nbDecision=29000 #constraints=20782 685.42/685.60 c nbDecision=29500 #constraints=21266 717.70/717.96 c nbDecision=30000 #constraints=21671 747.60/747.87 c nbDecision=30500 #constraints=22097 772.20/772.49 c nbDecision=31000 #constraints=22470 804.58/804.80 c nbDecision=31500 #constraints=22890 842.68/842.98 c nbDecision=32000 #constraints=23320 873.87/874.11 c nbDecision=32500 #constraints=23736 922.86/923.19 c nbDecision=33000 #constraints=24202 967.24/967.52 c nbDecision=33500 #constraints=24636 996.13/996.45 c nbDecision=34000 #constraints=25044 1028.53/1028.85 c nbDecision=34500 #constraints=25436 1042.73/1043.08 c nbDecision=35000 #constraints=25730 1061.62/1061.93 c nbDecision=35500 #constraints=26049 1090.21/1090.59 c nbDecision=36000 #constraints=26414 1125.10/1125.44 c nbDecision=36500 #constraints=26793 1174.20/1174.52 c nbDecision=37000 #constraints=27237 1206.39/1206.79 c nbDecision=37500 #constraints=27607 1235.18/1235.53 c nbDecision=38000 #constraints=27974 1276.06/1276.49 c nbDecision=38500 #constraints=28377 1310.96/1311.33 c nbDecision=39000 #constraints=28790 1353.34/1353.75 c nbDecision=39500 #constraints=29200 1384.64/1385.02 c nbDecision=40000 #constraints=29584 1431.13/1431.51 c nbDecision=40500 #constraints=29968 1465.72/1466.13 c nbDecision=41000 #constraints=30341 1505.31/1505.71 c nbDecision=41500 #constraints=30752 1533.70/1534.18 c nbDecision=42000 #constraints=31083 1562.79/1563.27 c nbDecision=42500 #constraints=31504 1588.00/1588.42 c nbDecision=43000 #constraints=31872 1630.58/1631.00 c nbDecision=43500 #constraints=32317 1676.86/1677.34 c nbDecision=44000 #constraints=32735 1731.35/1731.80 c nbDecision=44500 #constraints=33180 1775.04/1775.52 c nbDecision=45000 #constraints=33598 1800.04/1800.50 Received signal 15 1800.14/1800.66 1800.14/1800.66 s UNKNOWN 1800.14/1800.66 1800.14/1800.66 c user time= 1800 s 1800.14/1800.66 c system time= 0.208968 s 1800.14/1800.66 c wall clock time=1800.66
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node27/watcher-364638-1176988252 -o ROOT/results/node27/solver-364638-1176988252 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364638-1176988252/instance-364638-1176988252.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.72 0.93 0.98 2/65 25635 /proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=1468 CPUtime=0 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 111521140 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 367 166 130 317 0 46 0 [startup+0.0814559 s] /proc/loadavg: 0.72 0.93 0.98 2/65 25635 /proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=1736 CPUtime=0.07 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 258 0 0 0 7 0 0 0 18 0 1 0 111521140 1777664 240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 434 240 139 317 0 113 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1736 [startup+0.101457 s] /proc/loadavg: 0.72 0.93 0.98 2/65 25635 /proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=1736 CPUtime=0.09 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 266 0 0 0 9 0 0 0 18 0 1 0 111521140 1777664 248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 434 248 139 317 0 113 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1736 [startup+0.301478 s] /proc/loadavg: 0.72 0.93 0.98 2/65 25635 /proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=2128 CPUtime=0.29 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 339 0 0 0 29 0 0 0 19 0 1 0 111521140 2179072 321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 532 321 139 317 0 211 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2128 [startup+0.701518 s] /proc/loadavg: 0.72 0.93 0.98 2/65 25635 /proc/meminfo: memFree=1451808/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=2684 CPUtime=0.69 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 480 0 0 0 69 0 0 0 23 0 1 0 111521140 2748416 462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 671 462 139 317 0 350 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2684 [startup+1.5016 s] /proc/loadavg: 0.72 0.93 0.98 2/66 25636 /proc/meminfo: memFree=1450072/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=3612 CPUtime=1.49 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 719 0 0 0 149 0 0 0 25 0 1 0 111521140 3698688 701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 903 701 139 317 0 582 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3612 [startup+3.10176 s] /proc/loadavg: 0.74 0.94 0.98 2/66 25636 /proc/meminfo: memFree=1448664/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=5240 CPUtime=3.09 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 1104 0 0 0 309 0 0 0 25 0 1 0 111521140 5365760 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 1310 1086 139 317 0 989 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5240 [startup+6.30108 s] /proc/loadavg: 0.74 0.94 0.98 2/66 25636 /proc/meminfo: memFree=1446496/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=7004 CPUtime=6.29 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 1516 0 0 0 629 0 0 0 25 0 1 0 111521140 7172096 1498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 1751 1498 139 317 0 1430 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7004 [startup+12.7017 s] /proc/loadavg: 0.78 0.94 0.98 2/66 25636 /proc/meminfo: memFree=1444520/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=8604 CPUtime=12.68 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 1927 0 0 0 1268 0 0 0 25 0 1 0 111521140 8810496 1909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 2151 1909 139 317 0 1830 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 8604 [startup+25.502 s] /proc/loadavg: 0.81 0.94 0.98 2/66 25636 /proc/meminfo: memFree=1442280/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=10852 CPUtime=25.48 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 2462 0 0 0 2547 1 0 0 25 0 1 0 111521140 11112448 2444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 2713 2444 139 317 0 2392 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10852 [startup+51.1026 s] /proc/loadavg: 0.87 0.94 0.98 2/66 25636 /proc/meminfo: memFree=1438696/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=14700 CPUtime=51.08 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 3367 0 0 0 5106 2 0 0 25 0 1 0 111521140 15052800 3349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 3675 3349 139 317 0 3354 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 14700 [startup+102.306 s] /proc/loadavg: 0.95 0.95 0.98 2/66 25636 /proc/meminfo: memFree=1434600/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=18928 CPUtime=102.27 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 4420 0 0 0 10224 3 0 0 25 0 1 0 111521140 19382272 4345 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 4732 4345 139 317 0 4411 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 18928 [startup+162.303 s] /proc/loadavg: 0.98 0.95 0.98 2/66 25636 /proc/meminfo: memFree=1431336/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=22716 CPUtime=162.25 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 5253 0 0 0 16222 3 0 0 25 0 1 0 111521140 23261184 5178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 5679 5178 139 317 0 5358 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22716 [startup+222.303 s] /proc/loadavg: 0.99 0.96 0.98 2/66 25636 /proc/meminfo: memFree=1428264/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=25960 CPUtime=222.23 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 5985 0 0 0 22220 3 0 0 25 0 1 0 111521140 26583040 5910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 6490 5910 139 317 0 6169 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25960 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1424744/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=29364 CPUtime=282.22 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 6855 0 0 0 28218 4 0 0 25 0 1 0 111521140 30068736 6780 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 7341 6780 139 317 0 7020 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 29364 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1422184/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=32092 CPUtime=342.2 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 7503 0 0 0 34215 5 0 0 25 0 1 0 111521140 32862208 7428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 8023 7428 139 317 0 7702 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 32092 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1419880/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=34496 CPUtime=402.19 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 8094 0 0 0 40213 6 0 0 25 0 1 0 111521140 35323904 8019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 8624 8019 139 317 0 8303 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 34496 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1417192/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=37552 CPUtime=462.17 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 8861 0 0 0 46210 7 0 0 25 0 1 0 111521140 38453248 8673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 9388 8673 139 317 0 9067 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 37552 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1415464/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=39492 CPUtime=522.16 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 9375 0 0 0 52208 8 0 0 25 0 1 0 111521140 40439808 9154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 9873 9154 139 317 0 9552 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 39492 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1413288/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=41772 CPUtime=582.14 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 10038 0 0 0 58205 9 0 0 25 0 1 0 111521140 42774528 9685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 10443 9685 139 317 0 10122 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 41772 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/66 25636 /proc/meminfo: memFree=1411240/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=44116 CPUtime=642.13 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 10630 0 0 0 64203 10 0 0 25 0 1 0 111521140 45174784 10178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 11029 10178 139 317 0 10708 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 44116 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.10 1.00 0.99 2/66 25636 /proc/meminfo: memFree=1404776/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=51332 CPUtime=882.07 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 12515 0 0 0 88195 12 0 0 25 0 1 0 111521140 52563968 11799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 12833 11799 139 317 0 12512 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 51332 [startup+942.302 s] /proc/loadavg: 1.11 1.02 0.99 2/66 25636 /proc/meminfo: memFree=1403432/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=52788 CPUtime=942.06 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 12862 0 0 0 94193 13 0 0 25 0 1 0 111521140 54054912 12113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712582 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 13197 12113 139 317 0 12876 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 52788 [startup+1002.3 s] /proc/loadavg: 1.14 1.04 1.00 2/66 25638 /proc/meminfo: memFree=1401960/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=54116 CPUtime=1002.03 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 13242 0 0 0 100190 13 0 0 25 0 1 0 111521140 55414784 12493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 13529 12493 139 317 0 13208 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 54116 [startup+1062.3 s] /proc/loadavg: 1.06 1.03 1.00 2/66 25638 /proc/meminfo: memFree=1400232/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=56200 CPUtime=1062.02 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 13807 0 0 0 106188 14 0 0 25 0 1 0 111521140 57548800 12926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 14050 12926 139 317 0 13729 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 56200 [startup+1122.3 s] /proc/loadavg: 1.02 1.02 1.00 2/66 25638 /proc/meminfo: memFree=1398824/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=57508 CPUtime=1122.01 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 14179 0 0 0 112186 15 0 0 25 0 1 0 111521140 58888192 13265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 14377 13265 139 317 0 14056 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 57508 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 25638 /proc/meminfo: memFree=1397736/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=58824 CPUtime=1181.99 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 14492 0 0 0 118183 16 0 0 25 0 1 0 111521140 60235776 13545 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 14706 13545 139 317 0 14385 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 58824 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 25638 /proc/meminfo: memFree=1396200/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=60264 CPUtime=1241.97 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 14856 0 0 0 124181 16 0 0 25 0 1 0 111521140 61710336 13909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 15066 13909 139 317 0 14745 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 60264 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 25638 /proc/meminfo: memFree=1395048/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=61308 CPUtime=1301.97 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 15153 0 0 0 130180 17 0 0 25 0 1 0 111521140 62779392 14206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 15327 14206 139 317 0 15006 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 61308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1393768/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=62612 CPUtime=1361.95 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 15507 0 0 0 136177 18 0 0 25 0 1 0 111521140 64114688 14527 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 15653 14527 139 317 0 15332 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 62612 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1392808/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=63392 CPUtime=1421.94 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 15748 0 0 0 142176 18 0 0 25 0 1 0 111521140 64913408 14768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 15848 14768 139 317 0 15527 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 63392 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1391720/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=64316 CPUtime=1481.91 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16006 0 0 0 148173 18 0 0 25 0 1 0 111521140 65859584 15026 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 16079 15026 139 317 0 15758 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 64316 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1390696/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=65232 CPUtime=1541.9 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16262 0 0 0 154172 18 0 0 25 0 1 0 111521140 66797568 15282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 16308 15282 139 317 0 15987 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 65232 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1388968/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=66940 CPUtime=1601.89 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16691 0 0 0 160170 19 0 0 25 0 1 0 111521140 68546560 15711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 16735 15711 139 317 0 16414 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 66940 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1387880/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=67984 CPUtime=1661.87 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 16988 0 0 0 166168 19 0 0 25 0 1 0 111521140 69615616 15975 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 16996 15975 139 317 0 16675 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 67984 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1386088/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=70592 CPUtime=1721.86 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17667 0 0 0 172166 20 0 0 25 0 1 0 111521140 72286208 16396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 17648 16396 139 317 0 17327 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 70592 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1385768/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=70848 CPUtime=1781.84 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17784 0 0 0 178164 20 0 0 25 0 1 0 111521140 72548352 16513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 17712 16513 139 317 0 17391 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 70848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/66 25638 /proc/meminfo: memFree=1385256/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=71240 CPUtime=1800.04 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17895 0 0 0 179984 20 0 0 25 0 1 0 111521140 72949760 16624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 17810 16624 139 317 0 17489 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 71240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.00 1.00 1.00 2/67 25639 /proc/meminfo: memFree=1385248/2055920 swapFree=4179984/4192956 [pid=25635] ppid=25633 vsize=71240 CPUtime=1800.14 /proc/25635/stat : 25635 (oree) R 25633 25635 25578 0 -1 4194304 17895 0 0 0 179994 20 0 0 25 0 1 0 111521140 72949760 16624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/25635/statm: 17810 16624 139 317 0 17489 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 71240 Child status: 0 Real time (s): 1800.68 CPU time (s): 1800.23 CPU user time (s): 1800.01 CPU system time (s): 0.220966 CPU usage (%): 99.9746 Max. virtual memory (cumulated for all children) (KiB): 71240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.01 system time used= 0.220966 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 17915 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= 2450 runsolver used 1.35679 second user time and 3.69544 second system time The end
Begin job on node27 on Thu Apr 19 13:10:52 UTC 2007 IDJOB= 364638 IDBENCH= 2137 IDSOLVER= 172 FILE ID= node27/364638-1176988252 PBS_JOBID= 4630447 Free space on /tmp= 66376 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-aim-200-1_6-yes1-2.opb COMMAND LINE= oree /tmp/evaluation/364638-1176988252/instance-364638-1176988252.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-364638-1176988252 -o ROOT/results/node27/solver-364638-1176988252 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/364638-1176988252/instance-364638-1176988252.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 4206bcb74bbfe6d3d32eef307f81efb1 RANDOM SEED= 817161784 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node27.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.213 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 : 5931.00 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.213 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: 1452280 kB Buffers: 34308 kB Cached: 493612 kB SwapCached: 6696 kB Active: 53280 kB Inactive: 486808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1452280 kB SwapTotal: 4192956 kB SwapFree: 4179984 kB Dirty: 1512 kB Writeback: 0 kB Mapped: 15224 kB Slab: 49668 kB Committed_AS: 1691696 kB PageTables: 1412 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= 66376 MiB End job on node27 on Thu Apr 19 13:40:55 UTC 2007