Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.75 | 1801.2 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_25_1.opb |
MD5SUM | 4142356c9f50acd7c9005938f6b31a6d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -32 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -32 |
Optimality of the best value was proved | NO |
Number of variables | 400 |
Total number of constraints | 601 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 401 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 400 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 400 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 12408 |
Sum of products size (including duplicates) | 24816 |
Number of different products | 6204 |
Sum of products size | 12408 |
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.09/0.10 c ...done 0.09/0.10 c #vars=6604 #constraints=13011 hasObjective=yes 0.09/0.15 c res. mode=mod 0.09/0.15 c VSIDS like heuristics 0.09/0.15 c complete search running 0.69/0.78 c restart after 401 decisions 0.79/0.82 c nbDecision=500 #constraints=13290 1.39/1.45 c restart after 801 decisions 1.69/1.73 c nbDecision=1000 #constraints=13626 2.89/2.93 c nbDecision=1500 #constraints=14097 3.09/3.18 c restart after 1601 decisions 3.99/4.09 c nbDecision=2000 #constraints=14463 5.40/5.47 c nbDecision=2500 #constraints=14900 6.99/7.02 c nbDecision=3000 #constraints=15311 7.59/7.65 c restart after 3201 decisions 8.79/8.85 c nbDecision=3500 #constraints=15653 10.59/10.65 c nbDecision=4000 #constraints=16067 12.69/12.73 c nbDecision=4500 #constraints=16458 14.79/14.86 c nbDecision=5000 #constraints=16868 17.19/17.23 c nbDecision=5500 #constraints=17261 19.69/19.73 c nbDecision=6000 #constraints=17660 22.08/22.14 c restart after 6401 decisions 23.18/23.25 c nbDecision=6500 #constraints=17942 26.58/26.61 c nbDecision=7000 #constraints=18260 30.98/31.00 c nbDecision=7500 #constraints=18469 33.98/34.04 c nbDecision=8000 #constraints=18889 37.58/37.65 c nbDecision=8500 #constraints=19241 40.48/40.51 c nbDecision=9000 #constraints=19687 43.38/43.42 c nbDecision=9500 #constraints=20143 46.78/46.82 c nbDecision=10000 #constraints=20566 50.18/50.20 c nbDecision=10500 #constraints=20995 53.88/53.90 c nbDecision=11000 #constraints=21415 57.38/57.45 c nbDecision=11500 #constraints=21851 60.87/60.95 c nbDecision=12000 #constraints=22298 64.78/64.89 c nbDecision=12500 #constraints=22723 67.08/67.16 c restart after 12801 decisions 70.07/70.15 c nbDecision=13000 #constraints=23078 74.17/74.24 c nbDecision=13500 #constraints=23511 77.98/78.01 c nbDecision=14000 #constraints=23968 83.67/83.79 c nbDecision=14500 #constraints=24335 90.17/90.24 c nbDecision=15000 #constraints=24689 97.96/98.05 c nbDecision=15500 #constraints=25022 104.06/104.19 c nbDecision=16000 #constraints=25363 108.66/108.77 c nbDecision=16500 #constraints=25807 113.36/113.49 c nbDecision=17000 #constraints=26251 118.77/118.86 c nbDecision=17500 #constraints=26682 123.36/123.48 c nbDecision=18000 #constraints=27139 128.56/128.62 c nbDecision=18500 #constraints=27589 135.85/135.99 c nbDecision=19000 #constraints=27960 142.76/142.84 c nbDecision=19500 #constraints=28357 150.95/151.06 c nbDecision=20000 #constraints=28724 158.95/159.08 c nbDecision=20500 #constraints=29096 167.05/167.13 c nbDecision=21000 #constraints=29474 175.54/175.65 c nbDecision=21500 #constraints=29848 186.54/186.61 c nbDecision=22000 #constraints=30161 199.74/199.82 c nbDecision=22500 #constraints=30424 206.04/206.14 c nbDecision=23000 #constraints=30878 212.53/212.61 c nbDecision=23500 #constraints=31329 219.64/219.72 c nbDecision=24000 #constraints=31775 227.44/227.53 c nbDecision=24500 #constraints=32206 234.83/234.91 c nbDecision=25000 #constraints=32643 245.63/245.77 c nbDecision=25500 #constraints=32979 249.23/249.33 c restart after 25601 decisions 256.62/256.79 c nbDecision=26000 #constraints=33315 267.93/268.00 c nbDecision=26500 #constraints=33665 276.22/276.32 c nbDecision=27000 #constraints=34094 285.02/285.11 c nbDecision=27500 #constraints=34515 298.91/299.02 c nbDecision=28000 #constraints=34821 313.32/313.41 c nbDecision=28500 #constraints=35154 323.11/323.27 c nbDecision=29000 #constraints=35580 331.71/331.87 c nbDecision=29500 #constraints=36017 341.31/341.48 c nbDecision=30000 #constraints=36451 350.61/350.73 c nbDecision=30500 #constraints=36881 360.30/360.46 c nbDecision=31000 #constraints=37312 370.70/370.80 c nbDecision=31500 #constraints=37729 379.10/379.21 c nbDecision=32000 #constraints=38184 391.80/391.98 c nbDecision=32500 #constraints=38572 405.59/405.72 c nbDecision=33000 #constraints=38927 420.59/420.79 c nbDecision=33500 #constraints=39292 436.59/436.76 c nbDecision=34000 #constraints=39629 450.78/450.94 c nbDecision=34500 #constraints=40023 465.38/465.59 c nbDecision=35000 #constraints=40388 482.27/482.40 c nbDecision=35500 #constraints=40716 493.57/493.79 c nbDecision=36000 #constraints=41139 509.07/509.30 c nbDecision=36500 #constraints=41508 519.76/519.93 c nbDecision=37000 #constraints=41953 532.16/532.30 c nbDecision=37500 #constraints=42376 542.66/542.85 c nbDecision=38000 #constraints=42821 556.15/556.37 c nbDecision=38500 #constraints=43233 575.55/575.72 c nbDecision=39000 #constraints=43550 593.34/593.59 c nbDecision=39500 #constraints=43938 606.44/606.63 c nbDecision=40000 #constraints=44373 621.34/621.56 c nbDecision=40500 #constraints=44788 637.43/637.66 c nbDecision=41000 #constraints=45183 652.53/652.70 c nbDecision=41500 #constraints=45604 665.82/666.02 c nbDecision=42000 #constraints=46041 683.32/683.55 c nbDecision=42500 #constraints=46431 697.02/697.24 c nbDecision=43000 #constraints=46869 713.01/713.20 c nbDecision=43500 #constraints=47271 736.51/736.76 c nbDecision=44000 #constraints=47592 766.00/766.27 c nbDecision=44500 #constraints=47870 786.39/786.61 c nbDecision=45000 #constraints=48284 808.79/809.04 c nbDecision=45500 #constraints=48660 828.49/828.79 c nbDecision=46000 #constraints=49052 845.28/845.54 c nbDecision=46500 #constraints=49469 858.88/859.15 c nbDecision=47000 #constraints=49917 878.87/879.14 c nbDecision=47500 #constraints=50304 897.27/897.50 c nbDecision=48000 #constraints=50716 920.96/921.27 c nbDecision=48500 #constraints=51060 947.06/947.33 c nbDecision=49000 #constraints=51396 976.95/977.26 c nbDecision=49500 #constraints=51695 998.14/998.40 c nbDecision=50000 #constraints=52063 1015.34/1015.60 c nbDecision=50500 #constraints=52480 1036.13/1036.49 c nbDecision=51000 #constraints=52888 1043.64/1043.90 c restart after 51201 decisions 1062.63/1062.99 c nbDecision=51500 #constraints=53204 1083.92/1084.24 c nbDecision=52000 #constraints=53607 1102.52/1102.83 c nbDecision=52500 #constraints=54041 1127.81/1128.16 c nbDecision=53000 #constraints=54434 1159.60/1159.96 c nbDecision=53500 #constraints=54735 1185.10/1185.48 c nbDecision=54000 #constraints=55110 1207.99/1208.33 c nbDecision=54500 #constraints=55524 1230.19/1230.57 c nbDecision=55000 #constraints=55945 1258.78/1259.14 c nbDecision=55500 #constraints=56266 1279.17/1279.54 c nbDecision=56000 #constraints=56691 1301.77/1302.11 c nbDecision=56500 #constraints=57107 1321.17/1321.55 c nbDecision=57000 #constraints=57534 1345.36/1345.72 c nbDecision=57500 #constraints=57939 1368.36/1368.76 c nbDecision=58000 #constraints=58362 1398.25/1398.65 c nbDecision=58500 #constraints=58733 1426.04/1426.42 c nbDecision=59000 #constraints=59111 1462.13/1462.56 c nbDecision=59500 #constraints=59412 1497.02/1497.40 c nbDecision=60000 #constraints=59739 1536.11/1536.58 c nbDecision=60500 #constraints=60023 1572.90/1573.35 c nbDecision=61000 #constraints=60387 1598.90/1599.37 c nbDecision=61500 #constraints=60807 1633.39/1633.88 c nbDecision=62000 #constraints=61142 1658.48/1658.91 c nbDecision=62500 #constraints=61579 1683.37/1683.82 c nbDecision=63000 #constraints=62013 1721.27/1721.78 c nbDecision=63500 #constraints=62350 1749.67/1750.15 c nbDecision=64000 #constraints=62692 1787.35/1787.85 c nbDecision=64500 #constraints=63040 1800.05/1800.50 Received signal 15 1800.65/1801.10 1800.65/1801.10 s UNKNOWN 1800.65/1801.10 1800.65/1801.10 c user time= 1799.72 s 1800.65/1801.10 c system time= 0.934857 s 1800.65/1801.10 c wall clock time=1801.1
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb mv /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb.tmp /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-455075-1178036550 -o ROOT/results/node26/solver-455075-1178036550 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455075-1178036550/instance-455075-1178036550.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.07 1.02 1.00 3/77 1163 /proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=1468 CPUtime=0 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 251571867 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 367 167 131 317 0 46 0 [startup+0.03355 s] /proc/loadavg: 1.07 1.02 1.00 3/77 1163 /proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=1996 CPUtime=0.03 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 313 0 0 0 3 0 0 0 18 0 1 0 251571867 2043904 296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 499 296 131 317 0 178 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 1996 [startup+0.101556 s] /proc/loadavg: 1.07 1.02 1.00 3/77 1163 /proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=4572 CPUtime=0.09 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 942 0 0 0 9 0 0 0 18 0 1 0 251571867 4681728 925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 1143 925 132 317 0 822 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4572 [startup+0.301574 s] /proc/loadavg: 1.07 1.02 1.00 3/77 1163 /proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=7448 CPUtime=0.29 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 1680 0 0 0 29 0 0 0 19 0 1 0 251571867 7626752 1574 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 1862 1574 139 317 0 1541 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7448 [startup+0.701613 s] /proc/loadavg: 1.07 1.02 1.00 3/77 1163 /proc/meminfo: memFree=1788344/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=9428 CPUtime=0.69 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 2187 0 0 0 68 1 0 0 22 0 1 0 251571867 9654272 2081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 2357 2081 139 317 0 2036 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9428 [startup+1.50168 s] /proc/loadavg: 1.07 1.02 1.00 2/78 1164 /proc/meminfo: memFree=1779632/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=12620 CPUtime=1.49 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 2967 0 0 0 148 1 0 0 25 0 1 0 251571867 12922880 2861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563993 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 3155 2861 139 317 0 2834 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12620 [startup+3.10184 s] /proc/loadavg: 1.06 1.02 1.00 2/78 1164 /proc/meminfo: memFree=1775408/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=18968 CPUtime=3.09 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 4568 0 0 0 307 2 0 0 25 0 1 0 251571867 19423232 4462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 4742 4462 139 317 0 4421 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18968 [startup+6.30113 s] /proc/loadavg: 1.06 1.02 1.00 2/78 1164 /proc/meminfo: memFree=1764792/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=30000 CPUtime=6.29 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 6981 0 0 0 625 4 0 0 25 0 1 0 251571867 30720000 6875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 7500 6875 139 317 0 7179 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30000 [startup+12.7017 s] /proc/loadavg: 1.05 1.01 1.00 2/78 1164 /proc/meminfo: memFree=1750848/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=40296 CPUtime=12.69 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 9855 0 0 0 1263 6 0 0 25 0 1 0 251571867 41263104 9749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 10074 9749 139 317 0 9753 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 40296 [startup+25.5019 s] /proc/loadavg: 1.04 1.01 1.00 2/78 1164 /proc/meminfo: memFree=1732480/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=59856 CPUtime=25.49 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 14194 0 0 0 2540 9 0 0 25 0 1 0 251571867 61292544 14088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 14964 14088 139 317 0 14643 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 59856 [startup+51.1013 s] /proc/loadavg: 1.03 1.01 1.00 2/78 1164 /proc/meminfo: memFree=1707456/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=82780 CPUtime=51.08 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 20539 0 0 0 5094 14 0 0 25 0 1 0 251571867 84766720 20433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 20695 20433 139 317 0 20374 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 82780 [startup+102.305 s] /proc/loadavg: 1.01 1.01 1.00 2/78 1164 /proc/meminfo: memFree=1665216/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=128092 CPUtime=102.27 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 30945 0 0 0 10207 20 0 0 25 0 1 0 251571867 131166208 30839 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 32023 30839 139 317 0 31702 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 128092 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1630656/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=160560 CPUtime=162.25 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 39834 0 0 0 16198 27 0 0 25 0 1 0 251571867 164413440 39551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 40140 39551 139 317 0 39819 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 160560 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1602624/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=205488 CPUtime=222.24 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 50201 0 0 0 22192 32 0 0 25 0 1 0 251571867 210419712 46420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 51372 46420 139 317 0 51051 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 205488 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1579648/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=225656 CPUtime=282.22 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 56051 0 0 0 28186 36 0 0 25 0 1 0 251571867 231071744 52237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 56414 52237 139 317 0 56093 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 225656 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1560512/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=241996 CPUtime=342.21 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 60760 0 0 0 34182 39 0 0 25 0 1 0 251571867 247803904 56946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 60499 56946 139 317 0 60178 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 241996 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1538816/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=261104 CPUtime=402.19 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 66180 0 0 0 40176 43 0 0 25 0 1 0 251571867 267370496 62366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 65276 62366 139 317 0 64955 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 261104 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1526016/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=272184 CPUtime=462.18 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 69417 0 0 0 46172 46 0 0 25 0 1 0 251571867 278716416 65603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 68046 65603 139 317 0 67725 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 272184 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1509952/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=286388 CPUtime=522.17 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 73435 0 0 0 52168 49 0 0 25 0 1 0 251571867 293261312 69621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 71597 69621 139 317 0 71276 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 286388 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1495296/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=298832 CPUtime=582.15 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 77021 0 0 0 58163 52 0 0 25 0 1 0 251571867 306003968 73207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563339 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 74708 73207 139 317 0 74387 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 298832 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1164 /proc/meminfo: memFree=1478784/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=312976 CPUtime=642.13 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 81141 0 0 0 64159 54 0 0 25 0 1 0 251571867 320487424 77327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 78244 77327 139 317 0 77923 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 312976 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 1164 /proc/meminfo: memFree=1412480/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=415912 CPUtime=1002.04 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 107919 0 0 0 100134 70 0 0 25 0 1 0 251571867 425893888 93872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 103978 93872 139 317 0 103657 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 415912 [startup+1062.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 1164 /proc/meminfo: memFree=1402688/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=424376 CPUtime=1062.03 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 110355 0 0 0 106130 73 0 0 25 0 1 0 251571867 434561024 96308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604147 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 106094 96308 139 317 0 105773 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 424376 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1392000/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=433608 CPUtime=1122.02 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 112993 0 0 0 112126 76 0 0 25 0 1 0 251571867 444014592 98946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 108402 98946 139 317 0 108081 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 433608 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1385408/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=439500 CPUtime=1182 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 114631 0 0 0 118123 77 0 0 25 0 1 0 251571867 450048000 100584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 109875 100584 139 317 0 109554 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 439500 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1374976/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=448592 CPUtime=1241.98 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 117250 0 0 0 124120 78 0 0 25 0 1 0 251571867 459358208 103203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 112148 103203 139 317 0 111827 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 448592 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1366208/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=456032 CPUtime=1301.97 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 119419 0 0 0 130117 80 0 0 25 0 1 0 251571867 466976768 105372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 114008 105372 139 317 0 113687 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 456032 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1355712/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=465456 CPUtime=1361.96 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 122070 0 0 0 136114 82 0 0 25 0 1 0 251571867 476626944 108023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 116364 108024 139 317 0 116043 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 465456 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1348032/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=471516 CPUtime=1421.94 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 123924 0 0 0 142111 83 0 0 25 0 1 0 251571867 482832384 109877 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 117879 109877 139 317 0 117558 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 471516 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1343488/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=475596 CPUtime=1481.92 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 125115 0 0 0 148107 85 0 0 25 0 1 0 251571867 487010304 111068 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 118899 111068 139 317 0 118578 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 475596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1339072/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=479284 CPUtime=1541.91 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 126207 0 0 0 154105 86 0 0 25 0 1 0 251571867 490786816 112160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 119821 112160 139 317 0 119500 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 479284 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1332096/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=485496 CPUtime=1601.89 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 127971 0 0 0 160101 88 0 0 25 0 1 0 251571867 497147904 113924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 121374 113924 139 317 0 121053 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 485496 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1323968/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=492104 CPUtime=1661.88 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 129966 0 0 0 166098 90 0 0 25 0 1 0 251571867 503914496 115919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 123026 115919 139 317 0 122705 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 492104 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1317824/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=497712 CPUtime=1721.87 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 131505 0 0 0 172095 92 0 0 25 0 1 0 251571867 509657088 117458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716161 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 124428 117458 139 317 0 124107 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 497712 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1312064/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=502744 CPUtime=1781.85 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 132972 0 0 0 178092 93 0 0 25 0 1 0 251571867 514809856 118925 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 125686 118925 139 317 0 125365 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 502744 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 1166 /proc/meminfo: memFree=1310656/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=504072 CPUtime=1800.05 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179912 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 126018 119253 139 317 0 125697 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 504072 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/79 1167 /proc/meminfo: memFree=1310648/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=504072 CPUtime=1800.15 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179922 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 126018 119253 139 317 0 125697 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 504072 [startup+1801 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1167 /proc/meminfo: memFree=1310648/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=504072 CPUtime=1800.55 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179962 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 126018 119253 139 317 0 125697 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (KiB) 504072 [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1167 /proc/meminfo: memFree=1310648/2055920 swapFree=4170240/4192956 [pid=1163] ppid=1161 vsize=504072 CPUtime=1800.65 /proc/1163/stat : 1163 (oree) R 1161 1163 674 0 -1 4194304 133300 0 0 0 179972 93 0 0 25 0 1 0 251571867 516169728 119253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1163/statm: 126018 119253 139 317 0 125697 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (KiB) 504072 Child status: 0 Real time (s): 1801.2 CPU time (s): 1800.75 CPU user time (s): 1799.74 CPU system time (s): 1.01285 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (KiB): 504072 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.74 system time used= 1.01285 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133316 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= 3912 runsolver used 1.42078 second user time and 3.86841 second system time The end
Begin job on node26 on Tue May 1 16:22:30 UTC 2007 IDJOB= 455075 IDBENCH= 48239 IDSOLVER= 172 FILE ID= node26/455075-1178036550 PBS_JOBID= 4728408 Free space on /tmp= 66563 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_1.opb COMMAND LINE= oree /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-455075-1178036550 -o ROOT/results/node26/conversion-455075-1178036550 -C 600 -M 1800 /tmp/evaluation/455075-1178036550/substituteSizeProductKeyword /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-455075-1178036550 -o ROOT/results/node26/solver-455075-1178036550 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455075-1178036550/instance-455075-1178036550.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 4142356c9f50acd7c9005938f6b31a6d RANDOM SEED= 304565754 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node26.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 : 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.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: 1788752 kB Buffers: 55508 kB Cached: 114068 kB SwapCached: 3416 kB Active: 114652 kB Inactive: 85816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788752 kB SwapTotal: 4192956 kB SwapFree: 4170240 kB Dirty: 1492 kB Writeback: 0 kB Mapped: 37100 kB Slab: 52256 kB Committed_AS: 2472160 kB PageTables: 1728 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= 66563 MiB End job on node26 on Tue May 1 16:52:33 UTC 2007