Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.19 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_200_10_1.opb |
MD5SUM | 74165f17686851db36d48a05683565a5 |
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 | -58 |
Best CPU time to get the best result obtained on this benchmark | 1800.04 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -58 |
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) | 4964 |
Sum of products size (including duplicates) | 9928 |
Number of different products | 2482 |
Sum of products size | 4964 |
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.04 c ...done 0.00/0.04 c #vars=2882 #constraints=5567 hasObjective=yes 0.00/0.06 c res. mode=mod 0.00/0.06 c VSIDS like heuristics 0.00/0.06 c complete search running 0.19/0.25 c restart after 401 decisions 0.19/0.26 c nbDecision=500 #constraints=5694 0.39/0.49 c restart after 801 decisions 0.49/0.58 c nbDecision=1000 #constraints=5874 0.89/0.99 c nbDecision=1500 #constraints=6075 0.99/1.04 c restart after 1601 decisions 1.29/1.36 c nbDecision=2000 #constraints=6211 1.79/1.83 c nbDecision=2500 #constraints=6370 2.29/2.39 c nbDecision=3000 #constraints=6561 2.59/2.69 c restart after 3201 decisions 2.99/3.04 c nbDecision=3500 #constraints=6748 3.79/3.83 c nbDecision=4000 #constraints=6931 4.69/4.72 c nbDecision=4500 #constraints=7110 5.59/5.68 c nbDecision=5000 #constraints=7284 6.79/6.88 c nbDecision=5500 #constraints=7455 8.09/8.20 c nbDecision=6000 #constraints=7702 9.39/9.43 c restart after 6401 decisions 9.79/9.82 c nbDecision=6500 #constraints=7810 11.28/11.34 c nbDecision=7000 #constraints=8155 13.19/13.26 c nbDecision=7500 #constraints=8399 15.59/15.64 c nbDecision=8000 #constraints=8588 17.99/18.09 c nbDecision=8500 #constraints=8851 20.98/21.04 c nbDecision=9000 #constraints=9100 23.38/23.48 c nbDecision=9500 #constraints=9353 26.49/26.51 c nbDecision=10000 #constraints=9575 30.08/30.10 c nbDecision=10500 #constraints=9771 33.98/34.08 c nbDecision=11000 #constraints=9965 37.88/37.90 c nbDecision=11500 #constraints=10172 42.18/42.20 c nbDecision=12000 #constraints=10341 45.87/45.98 c nbDecision=12500 #constraints=10517 48.18/48.21 c restart after 12801 decisions 49.98/50.01 c nbDecision=13000 #constraints=10763 54.07/54.15 c nbDecision=13500 #constraints=11013 57.97/58.03 c nbDecision=14000 #constraints=11231 62.87/62.93 c nbDecision=14500 #constraints=11412 67.27/67.32 c nbDecision=15000 #constraints=11646 72.36/72.42 c nbDecision=15500 #constraints=11839 77.87/77.95 c nbDecision=16000 #constraints=12002 83.36/83.48 c nbDecision=16500 #constraints=12189 88.67/88.72 c nbDecision=17000 #constraints=12461 93.36/93.40 c nbDecision=17500 #constraints=12750 98.57/98.68 c nbDecision=18000 #constraints=12963 103.66/103.79 c nbDecision=18500 #constraints=13236 109.86/109.90 c nbDecision=19000 #constraints=13486 115.85/115.96 c nbDecision=19500 #constraints=13692 121.55/121.65 c nbDecision=20000 #constraints=13958 127.75/127.90 c nbDecision=20500 #constraints=14234 134.05/134.19 c nbDecision=21000 #constraints=14446 141.65/141.73 c nbDecision=21500 #constraints=14628 148.05/148.11 c nbDecision=22000 #constraints=14923 155.05/155.15 c nbDecision=22500 #constraints=15151 163.44/163.53 c nbDecision=23000 #constraints=15307 170.14/170.22 c nbDecision=23500 #constraints=15619 177.24/177.30 c nbDecision=24000 #constraints=15844 184.64/184.75 c nbDecision=24500 #constraints=16127 193.14/193.28 c nbDecision=25000 #constraints=16282 202.24/202.40 c nbDecision=25500 #constraints=16503 203.34/203.48 c restart after 25601 decisions 210.23/210.37 c nbDecision=26000 #constraints=16705 218.32/218.44 c nbDecision=26500 #constraints=16978 226.43/226.50 c nbDecision=27000 #constraints=17229 236.23/236.30 c nbDecision=27500 #constraints=17452 245.52/245.69 c nbDecision=28000 #constraints=17659 255.82/255.90 c nbDecision=28500 #constraints=17863 264.91/265.07 c nbDecision=29000 #constraints=18093 274.32/274.46 c nbDecision=29500 #constraints=18313 282.71/282.87 c nbDecision=30000 #constraints=18607 292.31/292.42 c nbDecision=30500 #constraints=18811 305.00/305.11 c nbDecision=31000 #constraints=18967 314.70/314.86 c nbDecision=31500 #constraints=19202 323.70/323.84 c nbDecision=32000 #constraints=19496 335.50/335.65 c nbDecision=32500 #constraints=19717 347.09/347.24 c nbDecision=33000 #constraints=19902 356.08/356.26 c nbDecision=33500 #constraints=20213 368.08/368.24 c nbDecision=34000 #constraints=20422 381.49/381.66 c nbDecision=34500 #constraints=20603 392.08/392.25 c nbDecision=35000 #constraints=20880 404.47/404.64 c nbDecision=35500 #constraints=21072 418.37/418.59 c nbDecision=36000 #constraints=21232 432.07/432.24 c nbDecision=36500 #constraints=21447 444.46/444.65 c nbDecision=37000 #constraints=21667 456.56/456.72 c nbDecision=37500 #constraints=21941 469.46/469.65 c nbDecision=38000 #constraints=22147 483.55/483.74 c nbDecision=38500 #constraints=22386 496.24/496.49 c nbDecision=39000 #constraints=22640 509.25/509.44 c nbDecision=39500 #constraints=22877 525.04/525.27 c nbDecision=40000 #constraints=23046 542.83/543.09 c nbDecision=40500 #constraints=23195 556.93/557.19 c nbDecision=41000 #constraints=23430 569.93/570.13 c nbDecision=41500 #constraints=23698 586.42/586.69 c nbDecision=42000 #constraints=23887 601.62/601.80 c nbDecision=42500 #constraints=24126 616.41/616.67 c nbDecision=43000 #constraints=24371 632.51/632.70 c nbDecision=43500 #constraints=24579 648.01/648.23 c nbDecision=44000 #constraints=24802 662.20/662.46 c nbDecision=44500 #constraints=25100 678.40/678.70 c nbDecision=45000 #constraints=25343 694.79/695.04 c nbDecision=45500 #constraints=25628 710.19/710.48 c nbDecision=46000 #constraints=25883 723.49/723.73 c nbDecision=46500 #constraints=26157 740.88/741.18 c nbDecision=47000 #constraints=26385 758.37/758.60 c nbDecision=47500 #constraints=26624 776.66/776.97 c nbDecision=48000 #constraints=26896 795.56/795.88 c nbDecision=48500 #constraints=27060 813.96/814.28 c nbDecision=49000 #constraints=27328 831.36/831.64 c nbDecision=49500 #constraints=27559 848.55/848.86 c nbDecision=50000 #constraints=27847 867.24/867.50 c nbDecision=50500 #constraints=28089 883.74/884.02 c nbDecision=51000 #constraints=28398 892.23/892.55 c restart after 51201 decisions 902.93/903.21 c nbDecision=51500 #constraints=28640 922.82/923.12 c nbDecision=52000 #constraints=28897 940.32/940.69 c nbDecision=52500 #constraints=29197 961.21/961.52 c nbDecision=53000 #constraints=29443 981.60/981.91 c nbDecision=53500 #constraints=29734 1003.40/1003.73 c nbDecision=54000 #constraints=29940 1025.30/1025.68 c nbDecision=54500 #constraints=30193 1045.79/1046.15 c nbDecision=55000 #constraints=30444 1070.18/1070.54 c nbDecision=55500 #constraints=30634 1092.57/1092.99 c nbDecision=56000 #constraints=30848 1115.67/1116.01 c nbDecision=56500 #constraints=31114 1134.46/1134.84 c nbDecision=57000 #constraints=31444 1156.36/1156.70 c nbDecision=57500 #constraints=31770 1180.46/1180.81 c nbDecision=58000 #constraints=32001 1201.65/1202.05 c nbDecision=58500 #constraints=32306 1220.15/1220.56 c nbDecision=59000 #constraints=32627 1242.54/1242.94 c nbDecision=59500 #constraints=32900 1263.83/1264.29 c nbDecision=60000 #constraints=33227 1284.33/1284.77 c nbDecision=60500 #constraints=33548 1305.91/1306.30 c nbDecision=61000 #constraints=33869 1329.71/1330.18 c nbDecision=61500 #constraints=34153 1355.40/1355.88 c nbDecision=62000 #constraints=34479 1388.69/1389.18 c nbDecision=62500 #constraints=34568 1418.89/1419.31 c nbDecision=63000 #constraints=34819 1442.18/1442.66 c nbDecision=63500 #constraints=35110 1470.37/1470.85 c nbDecision=64000 #constraints=35407 1498.36/1498.88 c nbDecision=64500 #constraints=35701 1524.95/1525.44 c nbDecision=65000 #constraints=36004 1554.74/1555.20 c nbDecision=65500 #constraints=36263 1587.04/1587.54 c nbDecision=66000 #constraints=36483 1615.43/1615.95 c nbDecision=66500 #constraints=36757 1650.57/1651.14 c nbDecision=67000 #constraints=36976 1682.32/1682.92 c nbDecision=67500 #constraints=37251 1716.01/1716.69 c nbDecision=68000 #constraints=37476 1746.59/1747.23 c nbDecision=68500 #constraints=37795 1779.49/1780.10 c nbDecision=69000 #constraints=38051 1800.09/1800.71 Received signal 15 1800.09/1800.74 1800.09/1800.74 s UNKNOWN 1800.09/1800.74 1800.09/1800.74 c user time= 1799.48 s 1800.09/1800.74 c system time= 0.646901 s 1800.09/1800.74 c wall clock time=1800.74
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455735-1178048027/instance-455735-1178048027.opb mv /tmp/evaluation/455735-1178048027/instance-455735-1178048027.opb.tmp /tmp/evaluation/455735-1178048027/instance-455735-1178048027.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-455735-1178048027 -o ROOT/results/node24/solver-455735-1178048027 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455735-1178048027/instance-455735-1178048027.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.00 0.98 0.98 3/77 15874 /proc/meminfo: memFree=1834304/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=1468 CPUtime=0 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 252720760 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 367 165 131 317 0 46 0 [startup+0.00762011 s] /proc/loadavg: 1.00 0.98 0.98 3/77 15874 /proc/meminfo: memFree=1834304/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=1600 CPUtime=0 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 195 0 0 0 0 0 0 0 18 0 1 0 252720760 1638400 178 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 400 178 131 317 0 79 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1600 [startup+0.10163 s] /proc/loadavg: 1.00 0.98 0.98 3/77 15874 /proc/meminfo: memFree=1834304/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=3928 CPUtime=0.09 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 813 0 0 0 9 0 0 0 18 0 1 0 252720760 4022272 757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 982 757 139 317 0 661 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3928 [startup+0.301651 s] /proc/loadavg: 1.00 0.98 0.98 3/77 15874 /proc/meminfo: memFree=1834304/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=5248 CPUtime=0.29 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 1147 0 0 0 29 0 0 0 19 0 1 0 252720760 5373952 1091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 1312 1091 139 317 0 991 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5248 [startup+0.701695 s] /proc/loadavg: 1.00 0.98 0.98 3/77 15874 /proc/meminfo: memFree=1834304/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=7360 CPUtime=0.69 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 1671 0 0 0 69 0 0 0 23 0 1 0 252720760 7536640 1615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 1840 1615 139 317 0 1519 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7360 [startup+1.50178 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1826552/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=10820 CPUtime=1.49 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 2533 0 0 0 148 1 0 0 25 0 1 0 252720760 11079680 2477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 2705 2477 139 317 0 2384 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10820 [startup+3.10195 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1823224/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=16388 CPUtime=3.09 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 3923 0 0 0 308 1 0 0 25 0 1 0 252720760 16781312 3867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 4097 3867 139 317 0 3776 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16388 [startup+6.3013 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1815672/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=21008 CPUtime=6.29 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 5100 0 0 0 626 3 0 0 25 0 1 0 252720760 21512192 5044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 5252 5044 139 317 0 4931 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21008 [startup+12.702 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1805176/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=31740 CPUtime=12.69 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 7553 0 0 0 1265 4 0 0 25 0 1 0 252720760 32501760 7497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 7935 7497 139 317 0 7614 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31740 [startup+25.5014 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1794232/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=41380 CPUtime=25.48 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 10171 0 0 0 2543 5 0 0 25 0 1 0 252720760 42373120 10115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 10345 10115 139 317 0 10024 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 41380 [startup+51.1011 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1779320/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=58020 CPUtime=51.08 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 13870 0 0 0 5100 8 0 0 25 0 1 0 252720760 59412480 13814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 14505 13814 139 317 0 14184 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 58020 [startup+102.306 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1758456/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=77296 CPUtime=102.27 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 19177 0 0 0 10215 12 0 0 25 0 1 0 252720760 79151104 19046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 19324 19046 139 317 0 19003 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 77296 [startup+162.301 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1734456/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=106716 CPUtime=162.24 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 25094 0 0 0 16209 15 0 0 25 0 1 0 252720760 109277184 24963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 26679 24963 139 317 0 26358 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 106716 [startup+222.302 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1718456/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=121400 CPUtime=222.23 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 29171 0 0 0 22205 18 0 0 25 0 1 0 252720760 124313600 29040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 30350 29040 139 317 0 30029 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 121400 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1704824/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=133556 CPUtime=282.21 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 32493 0 0 0 28201 20 0 0 25 0 1 0 252720760 136761344 32362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 33389 32362 139 317 0 33068 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 133556 [startup+342.302 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15875 /proc/meminfo: memFree=1694584/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=142936 CPUtime=342.2 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 35034 0 0 0 34197 23 0 0 25 0 1 0 252720760 146366464 34903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 35734 34903 139 317 0 35413 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 142936 [startup+402.302 s] /proc/loadavg: 1.00 0.98 0.98 3/78 15875 /proc/meminfo: memFree=1683512/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=153360 CPUtime=402.17 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 37822 0 0 0 40192 25 0 0 25 0 1 0 252720760 157040640 37691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 38340 37691 139 317 0 38019 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 153360 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1674680/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=161892 CPUtime=462.16 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 40156 0 0 0 46189 27 0 0 25 0 1 0 252720760 165777408 39876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 40473 39876 139 317 0 40152 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 161892 [startup+522.302 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1661752/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=192852 CPUtime=522.14 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 46605 0 0 0 52184 30 0 0 25 0 1 0 252720760 197480448 43157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 48213 43157 139 317 0 47892 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 192852 [startup+582.301 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1653752/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=199704 CPUtime=582.12 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 48569 0 0 0 58181 31 0 0 25 0 1 0 252720760 204496896 45121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 49926 45121 139 317 0 49605 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 199704 [startup+642.302 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1645624/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=207244 CPUtime=642.11 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 50570 0 0 0 64178 33 0 0 25 0 1 0 252720760 212217856 47122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 51811 47122 139 317 0 51490 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 207244 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1611896/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=237064 CPUtime=882.04 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 59022 0 0 0 88163 41 0 0 25 0 1 0 252720760 242753536 55541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 59266 55541 139 317 0 58945 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 237064 [startup+942.301 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1603832/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=244192 CPUtime=942.02 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 61053 0 0 0 94159 43 0 0 25 0 1 0 252720760 250052608 57572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 61048 57572 139 317 0 60727 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 244192 [startup+1002.3 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1597176/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=250184 CPUtime=1002 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 62696 0 0 0 100155 45 0 0 25 0 1 0 252720760 256188416 59215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 62546 59215 139 317 0 62225 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 250184 [startup+1062.3 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1592056/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=254660 CPUtime=1061.99 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 63953 0 0 0 106152 47 0 0 25 0 1 0 252720760 260771840 60472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 63665 60472 139 317 0 63344 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 254660 [startup+1122.3 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1584888/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=261052 CPUtime=1121.97 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 65778 0 0 0 112149 48 0 0 25 0 1 0 252720760 267317248 62264 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 65263 62264 139 317 0 64942 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 261052 [startup+1182.3 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1577848/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=267728 CPUtime=1181.96 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 67541 0 0 0 118146 50 0 0 25 0 1 0 252720760 274153472 64027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 66932 64027 139 317 0 66611 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 267728 [startup+1242.3 s] /proc/loadavg: 1.00 0.98 0.98 2/78 15877 /proc/meminfo: memFree=1569208/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=275552 CPUtime=1241.94 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 69709 0 0 0 124143 51 0 0 25 0 1 0 252720760 282165248 66162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 68888 66162 139 317 0 68567 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 275552 [startup+1302.3 s] /proc/loadavg: 1.08 0.99 0.98 2/78 15877 /proc/meminfo: memFree=1560952/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=282584 CPUtime=1301.92 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 71750 0 0 0 130139 53 0 0 25 0 1 0 252720760 289366016 68203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 70646 68203 139 317 0 70325 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 282584 [startup+1362.3 s] /proc/loadavg: 1.10 1.01 0.99 2/78 15877 /proc/meminfo: memFree=1554040/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=288952 CPUtime=1361.9 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 73475 0 0 0 136135 55 0 0 25 0 1 0 252720760 295886848 69928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 72238 69928 139 317 0 71917 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 288952 [startup+1422.31 s] /proc/loadavg: 1.10 1.02 0.99 2/78 15877 /proc/meminfo: memFree=1550840/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=291692 CPUtime=1421.89 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 74269 0 0 0 142133 56 0 0 25 0 1 0 252720760 298692608 70722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 72923 70722 139 317 0 72602 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 291692 [startup+1482.3 s] /proc/loadavg: 1.10 1.03 1.00 2/78 15877 /proc/meminfo: memFree=1544824/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=297356 CPUtime=1481.86 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 75753 0 0 0 148129 57 0 0 25 0 1 0 252720760 304492544 72206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 74339 72206 139 317 0 74018 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 297356 [startup+1542.3 s] /proc/loadavg: 1.09 1.04 1.00 2/78 15877 /proc/meminfo: memFree=1538232/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=303572 CPUtime=1541.85 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 77421 0 0 0 154126 59 0 0 25 0 1 0 252720760 310857728 73874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 75893 73874 139 317 0 75572 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 303572 [startup+1602.3 s] /proc/loadavg: 1.08 1.04 1.00 2/78 15877 /proc/meminfo: memFree=1533816/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=307388 CPUtime=1601.83 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 78512 0 0 0 160123 60 0 0 25 0 1 0 252720760 314765312 74965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 76847 74965 139 317 0 76526 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 307388 [startup+1662.3 s] /proc/loadavg: 1.08 1.05 1.00 2/84 16033 /proc/meminfo: memFree=1529344/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=310212 CPUtime=1661.73 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 79293 0 0 0 166112 61 0 0 25 0 1 0 252720760 317657088 75746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 77553 75746 139 317 0 77232 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 310212 [startup+1722.3 s] /proc/loadavg: 1.11 1.06 1.01 2/78 16075 /proc/meminfo: memFree=1525560/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=314832 CPUtime=1721.7 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 80558 0 0 0 172107 63 0 0 25 0 1 0 252720760 322387968 77011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 78708 77011 139 317 0 78387 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 314832 [startup+1782.3 s] /proc/loadavg: 1.08 1.06 1.01 2/78 16075 /proc/meminfo: memFree=1520696/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=319344 CPUtime=1781.69 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 81829 0 0 0 178105 64 0 0 25 0 1 0 252720760 327008256 78216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 79836 78216 139 317 0 79515 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 319344 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.06 1.06 1.00 2/78 16075 /proc/meminfo: memFree=1518840/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=321312 CPUtime=1800.09 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 82274 0 0 0 179945 64 0 0 25 0 1 0 252720760 329023488 78661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 80328 78661 139 317 0 80007 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 321312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.06 1.06 1.00 2/78 16075 /proc/meminfo: memFree=1518840/2055920 swapFree=4143588/4192956 [pid=15874] ppid=15872 vsize=321312 CPUtime=1800.09 /proc/15874/stat : 15874 (oree) R 15872 15874 15679 0 -1 4194304 82274 0 0 0 179945 64 0 0 25 0 1 0 252720760 329023488 78661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/15874/statm: 80328 78661 139 317 0 80007 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 321312 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.19 CPU user time (s): 1799.49 CPU system time (s): 0.699893 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 321312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.49 system time used= 0.699893 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 82293 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= 36768 runsolver used 1.42178 second user time and 4.15937 second system time The end
Begin job on node24 on Tue May 1 19:33:47 UTC 2007 IDJOB= 455735 IDBENCH= 48283 IDSOLVER= 172 FILE ID= node24/455735-1178048027 PBS_JOBID= 4728486 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_10_1.opb COMMAND LINE= oree /tmp/evaluation/455735-1178048027/instance-455735-1178048027.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-455735-1178048027 -o ROOT/results/node24/conversion-455735-1178048027 -C 600 -M 1800 /tmp/evaluation/455735-1178048027/substituteSizeProductKeyword /tmp/evaluation/455735-1178048027/instance-455735-1178048027.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-455735-1178048027 -o ROOT/results/node24/solver-455735-1178048027 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455735-1178048027/instance-455735-1178048027.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 74165f17686851db36d48a05683565a5 RANDOM SEED= 831559351 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1834776 kB Buffers: 73268 kB Cached: 65744 kB SwapCached: 17048 kB Active: 101076 kB Inactive: 61520 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1834776 kB SwapTotal: 4192956 kB SwapFree: 4143588 kB Dirty: 1404 kB Writeback: 0 kB Mapped: 30076 kB Slab: 44080 kB Committed_AS: 6805316 kB PageTables: 1808 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66563 MiB End job on node24 on Tue May 1 20:03:50 UTC 2007