Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.27 | 1800.83 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_4.opb |
MD5SUM | de244e44f140b74baa9d32bfcc24f10d |
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 | -84 |
Best CPU time to get the best result obtained on this benchmark | 1800.15 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -84 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31508 |
Sum of products size (including duplicates) | 63016 |
Number of different products | 15754 |
Sum of products size | 31508 |
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.19/0.26 c ...done 0.19/0.26 c #vars=16754 #constraints=33011 hasObjective=yes 0.39/0.40 c res. mode=mod 0.39/0.40 c VSIDS like heuristics 0.39/0.40 c complete search running 1.19/1.21 c restart after 401 decisions 1.19/1.29 c nbDecision=500 #constraints=33163 1.89/1.95 c restart after 801 decisions 1.99/2.08 c nbDecision=1000 #constraints=33284 4.29/4.32 c nbDecision=1500 #constraints=33682 4.80/4.88 c restart after 1601 decisions 5.89/5.95 c nbDecision=2000 #constraints=33899 8.79/8.87 c nbDecision=2500 #constraints=34368 11.69/11.79 c nbDecision=3000 #constraints=34790 12.98/13.05 c restart after 3201 decisions 14.30/14.34 c nbDecision=3500 #constraints=35014 17.49/17.54 c nbDecision=4000 #constraints=35501 20.68/20.70 c nbDecision=4500 #constraints=35864 23.98/24.06 c nbDecision=5000 #constraints=36302 27.49/27.58 c nbDecision=5500 #constraints=36738 31.19/31.22 c nbDecision=6000 #constraints=37176 34.09/34.17 c restart after 6401 decisions 35.98/36.06 c nbDecision=6500 #constraints=37543 39.49/39.57 c nbDecision=7000 #constraints=37863 43.28/43.36 c nbDecision=7500 #constraints=38328 47.07/47.15 c nbDecision=8000 #constraints=38782 50.78/50.84 c nbDecision=8500 #constraints=39262 54.58/54.68 c nbDecision=9000 #constraints=39735 58.87/58.91 c nbDecision=9500 #constraints=40187 62.68/62.76 c nbDecision=10000 #constraints=40668 66.67/66.76 c nbDecision=10500 #constraints=41149 70.78/70.82 c nbDecision=11000 #constraints=41637 75.07/75.19 c nbDecision=11500 #constraints=42106 79.97/80.04 c nbDecision=12000 #constraints=42546 84.57/84.69 c nbDecision=12500 #constraints=43008 87.57/87.63 c restart after 12801 decisions 93.07/93.10 c nbDecision=13000 #constraints=43280 98.17/98.28 c nbDecision=13500 #constraints=43684 103.37/103.49 c nbDecision=14000 #constraints=44127 107.86/107.94 c nbDecision=14500 #constraints=44617 112.56/112.67 c nbDecision=15000 #constraints=45099 118.76/118.82 c nbDecision=15500 #constraints=45516 123.36/123.48 c nbDecision=16000 #constraints=46006 128.26/128.31 c nbDecision=16500 #constraints=46493 133.26/133.31 c nbDecision=17000 #constraints=46977 138.46/138.53 c nbDecision=17500 #constraints=47457 143.86/143.93 c nbDecision=18000 #constraints=47930 150.65/150.71 c nbDecision=18500 #constraints=48356 156.15/156.23 c nbDecision=19000 #constraints=48833 168.15/168.22 c nbDecision=19500 #constraints=49081 173.86/173.92 c nbDecision=20000 #constraints=49559 179.25/179.35 c nbDecision=20500 #constraints=50045 186.95/187.01 c nbDecision=21000 #constraints=50461 194.34/194.40 c nbDecision=21500 #constraints=50891 200.75/200.83 c nbDecision=22000 #constraints=51355 207.54/207.69 c nbDecision=22500 #constraints=51808 213.84/213.97 c nbDecision=23000 #constraints=52280 222.04/222.11 c nbDecision=23500 #constraints=52704 228.14/228.22 c nbDecision=24000 #constraints=53184 236.13/236.28 c nbDecision=24500 #constraints=53618 244.14/244.22 c nbDecision=25000 #constraints=54057 251.23/251.37 c nbDecision=25500 #constraints=54520 252.93/253.03 c restart after 25601 decisions 267.83/267.97 c nbDecision=26000 #constraints=54744 274.72/274.81 c nbDecision=26500 #constraints=55219 283.90/284.07 c nbDecision=27000 #constraints=55637 291.28/291.43 c nbDecision=27500 #constraints=56103 300.27/300.43 c nbDecision=28000 #constraints=56535 307.23/307.45 c nbDecision=28500 #constraints=57011 318.22/318.44 c nbDecision=29000 #constraints=57413 328.21/328.42 c nbDecision=29500 #constraints=57820 339.29/339.56 c nbDecision=30000 #constraints=58215 351.09/351.32 c nbDecision=30500 #constraints=58608 361.79/362.03 c nbDecision=31000 #constraints=59009 371.58/371.88 c nbDecision=31500 #constraints=59439 381.78/382.06 c nbDecision=32000 #constraints=59865 392.58/392.82 c nbDecision=32500 #constraints=60280 403.78/404.06 c nbDecision=33000 #constraints=60698 411.97/412.22 c nbDecision=33500 #constraints=61164 424.87/425.13 c nbDecision=34000 #constraints=61548 440.06/440.34 c nbDecision=34500 #constraints=61892 453.36/453.68 c nbDecision=35000 #constraints=62274 465.86/466.19 c nbDecision=35500 #constraints=62678 478.86/479.19 c nbDecision=36000 #constraints=63083 500.55/500.89 c nbDecision=36500 #constraints=63393 516.05/516.30 c nbDecision=37000 #constraints=63666 529.95/530.25 c nbDecision=37500 #constraints=64051 545.14/545.46 c nbDecision=38000 #constraints=64416 561.34/561.64 c nbDecision=38500 #constraints=64770 588.03/588.32 c nbDecision=39000 #constraints=64951 613.63/613.92 c nbDecision=39500 #constraints=65161 629.52/629.80 c nbDecision=40000 #constraints=65544 641.92/642.24 c nbDecision=40500 #constraints=65983 653.41/653.72 c nbDecision=41000 #constraints=66441 663.91/664.27 c nbDecision=41500 #constraints=66912 675.91/676.25 c nbDecision=42000 #constraints=67355 686.21/686.51 c nbDecision=42500 #constraints=67825 697.51/697.80 c nbDecision=43000 #constraints=68278 708.90/709.25 c nbDecision=43500 #constraints=68739 727.60/727.96 c nbDecision=44000 #constraints=69109 743.49/743.89 c nbDecision=44500 #constraints=69500 756.79/757.17 c nbDecision=45000 #constraints=69937 770.69/771.10 c nbDecision=45500 #constraints=70365 796.98/797.33 c nbDecision=46000 #constraints=70614 826.67/827.06 c nbDecision=46500 #constraints=70814 838.76/839.14 c nbDecision=47000 #constraints=71272 856.07/856.43 c nbDecision=47500 #constraints=71714 871.26/871.61 c nbDecision=48000 #constraints=72132 886.66/887.02 c nbDecision=48500 #constraints=72565 906.15/906.55 c nbDecision=49000 #constraints=73006 935.85/936.24 c nbDecision=49500 #constraints=73234 956.64/957.10 c nbDecision=50000 #constraints=73637 978.43/978.87 c nbDecision=50500 #constraints=74008 992.63/993.02 c nbDecision=51000 #constraints=74479 1000.43/1000.85 c restart after 51201 decisions 1024.92/1025.37 c nbDecision=51500 #constraints=74701 1041.52/1041.96 c nbDecision=52000 #constraints=75141 1071.61/1072.10 c nbDecision=52500 #constraints=75381 1087.91/1088.32 c nbDecision=53000 #constraints=75805 1105.10/1105.53 c nbDecision=53500 #constraints=76242 1123.39/1123.87 c nbDecision=54000 #constraints=76662 1141.50/1141.92 c nbDecision=54500 #constraints=77100 1169.29/1169.73 c nbDecision=55000 #constraints=77437 1188.89/1189.36 c nbDecision=55500 #constraints=77859 1209.78/1210.29 c nbDecision=56000 #constraints=78264 1230.47/1230.92 c nbDecision=56500 #constraints=78682 1251.57/1252.04 c nbDecision=57000 #constraints=79127 1273.36/1273.82 c nbDecision=57500 #constraints=79524 1290.25/1290.72 c nbDecision=58000 #constraints=79986 1328.36/1328.82 c nbDecision=58500 #constraints=80210 1342.75/1343.28 c nbDecision=59000 #constraints=80675 1367.34/1367.83 c nbDecision=59500 #constraints=81079 1382.84/1383.39 c nbDecision=60000 #constraints=81555 1398.03/1398.50 c nbDecision=60500 #constraints=82031 1419.22/1419.76 c nbDecision=61000 #constraints=82462 1446.02/1446.55 c nbDecision=61500 #constraints=82785 1465.82/1466.30 c nbDecision=62000 #constraints=83207 1488.31/1488.87 c nbDecision=62500 #constraints=83602 1511.61/1512.14 c nbDecision=63000 #constraints=84007 1528.20/1528.70 c nbDecision=63500 #constraints=84470 1554.39/1554.94 c nbDecision=64000 #constraints=84849 1582.09/1582.61 c nbDecision=64500 #constraints=85207 1598.29/1598.89 c nbDecision=65000 #constraints=85667 1615.28/1615.87 c nbDecision=65500 #constraints=86131 1656.47/1657.07 c nbDecision=66000 #constraints=86339 1677.26/1677.88 c nbDecision=66500 #constraints=86746 1708.15/1708.76 c nbDecision=67000 #constraints=87160 1729.95/1730.53 c nbDecision=67500 #constraints=87460 1767.44/1768.01 c nbDecision=68000 #constraints=87745 1785.04/1785.60 c nbDecision=68500 #constraints=88153 1800.04/1800.60 Received signal 15 1800.04/1800.60 1800.04/1800.60 s UNKNOWN 1800.04/1800.60 1800.04/1800.60 c user time= 1798.36 s 1800.04/1800.60 c system time= 1.69274 s 1800.04/1800.60 c wall clock time=1800.61
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb mv /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb.tmp /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node26/watcher-455570-1178045778 -o ROOT/results/node26/solver-455570-1178045778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455570-1178045778/instance-455570-1178045778.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.94 0.97 0.98 3/77 2019 /proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1468 CPUtime=0 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 252494604 1503232 167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 367 167 131 317 0 46 0 [startup+0.102337 s] /proc/loadavg: 0.94 0.97 0.98 3/77 2019 /proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=3324 CPUtime=0.1 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 626 0 0 0 10 0 0 0 18 0 1 0 252494604 3403776 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 831 609 131 317 0 510 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3324 [startup+0.201345 s] /proc/loadavg: 0.94 0.97 0.98 3/77 2019 /proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=7232 CPUtime=0.19 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 1604 0 0 0 19 0 0 0 18 0 1 0 252494604 7405568 1587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 1808 1587 132 317 0 1487 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 7232 [startup+0.301353 s] /proc/loadavg: 0.94 0.97 0.98 3/77 2019 /proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=13536 CPUtime=0.29 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 3214 0 0 0 28 1 0 0 19 0 1 0 252494604 13860864 3164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 3384 3164 137 317 0 3063 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13536 [startup+0.701391 s] /proc/loadavg: 0.94 0.97 0.98 3/77 2019 /proc/meminfo: memFree=1864376/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=16424 CPUtime=0.69 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 3919 0 0 0 68 1 0 0 23 0 1 0 252494604 16818176 3643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590783 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 4106 3643 139 317 0 3785 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16424 [startup+1.50147 s] /proc/loadavg: 0.94 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1848304/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=19380 CPUtime=1.49 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 4674 0 0 0 148 1 0 0 25 0 1 0 252494604 19845120 4398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 4845 4398 139 317 0 4524 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 19380 [startup+3.10161 s] /proc/loadavg: 0.94 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1844272/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=25412 CPUtime=3.1 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 6166 0 0 0 307 3 0 0 25 0 1 0 252494604 26021888 5890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 6353 5890 139 317 0 6032 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 25412 [startup+6.30191 s] /proc/loadavg: 0.95 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1832880/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=35908 CPUtime=6.29 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 8818 0 0 0 625 4 0 0 25 0 1 0 252494604 36769792 8542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 8977 8542 139 317 0 8656 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35908 [startup+12.7015 s] /proc/loadavg: 0.95 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1810544/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=57524 CPUtime=12.69 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 14200 0 0 0 1263 6 0 0 25 0 1 0 252494604 58904576 13924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 14381 13924 139 317 0 14060 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 57524 [startup+25.5017 s] /proc/loadavg: 0.96 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1773424/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=92764 CPUtime=25.48 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 23035 0 0 0 2537 11 0 0 25 0 1 0 252494604 94990336 22759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 23191 22759 139 317 0 22870 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 92764 [startup+51.1011 s] /proc/loadavg: 0.97 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1711408/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=158728 CPUtime=51.08 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 38755 0 0 0 5088 20 0 0 25 0 1 0 252494604 162537472 38479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711546 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 39682 38479 139 317 0 39361 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 158728 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1600240/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=276836 CPUtime=102.27 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 66220 0 0 0 10196 31 0 0 25 0 1 0 252494604 283480064 65944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 69209 65944 139 317 0 68888 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 276836 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1499952/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=366284 CPUtime=162.25 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 91233 0 0 0 16183 42 0 0 25 0 1 0 252494604 375074816 90957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 91571 90957 139 317 0 91250 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 366284 [startup+222.306 s] /proc/loadavg: 0.99 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1409840/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=495760 CPUtime=222.24 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 122365 0 0 0 22170 54 0 0 25 0 1 0 252494604 507658240 113443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 123940 113443 139 317 0 123619 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 495760 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/78 2020 /proc/meminfo: memFree=1350640/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=546888 CPUtime=282.23 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 137123 0 0 0 28161 62 0 0 25 0 1 0 252494604 560013312 128168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 136722 128168 139 317 0 136401 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 546888 [startup+342.301 s] /proc/loadavg: 1.14 1.00 0.99 2/78 2232 /proc/meminfo: memFree=1292200/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=595664 CPUtime=342.09 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 151697 0 0 0 34140 69 0 0 25 0 1 0 252494604 609959936 142742 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 148916 142742 139 317 0 148595 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 595664 [startup+402.302 s] /proc/loadavg: 1.05 1.00 0.99 2/78 2232 /proc/meminfo: memFree=1243440/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=638076 CPUtime=402.08 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 163908 0 0 0 40133 75 0 0 25 0 1 0 252494604 653389824 154953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 159519 154953 139 317 0 159198 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 638076 [startup+462.301 s] /proc/loadavg: 1.02 1.00 0.99 2/78 2232 /proc/meminfo: memFree=1205360/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=669900 CPUtime=462.06 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 173431 0 0 0 46126 80 0 0 25 0 1 0 252494604 685977600 164476 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 167475 164476 139 317 0 167154 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 669900 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2232 /proc/meminfo: memFree=1178480/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=693680 CPUtime=522.04 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 180196 0 0 0 52120 84 0 0 25 0 1 0 252494604 710328320 171241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 173420 171241 139 317 0 173099 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 693680 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2232 /proc/meminfo: memFree=1155760/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=712592 CPUtime=582.03 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 185702 0 0 0 58116 87 0 0 25 0 1 0 252494604 729694208 176747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 178148 176747 139 317 0 177827 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 712592 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2232 /proc/meminfo: memFree=1132912/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=734080 CPUtime=642.02 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 191876 0 0 0 64110 92 0 0 25 0 1 0 252494604 751697920 182405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 183520 182405 139 317 0 183199 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 734080 ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2232 /proc/meminfo: memFree=963888/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=991420 CPUtime=941.94 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 259482 0 0 0 94072 122 0 0 25 0 1 0 252494604 1015214080 224661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 247855 224661 139 317 0 247534 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 991420 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2232 /proc/meminfo: memFree=936752/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1014344 CPUtime=1001.93 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 266152 0 0 0 100067 126 0 0 25 0 1 0 252494604 1038688256 231331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 253586 231331 139 317 0 253265 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1014344 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/78 2232 /proc/meminfo: memFree=926000/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1023328 CPUtime=1061.91 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 268846 0 0 0 106063 128 0 0 25 0 1 0 252494604 1047887872 234025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 255832 234025 139 317 0 255511 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 1023328 [startup+1122.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 2232 /proc/meminfo: memFree=894640/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1049304 CPUtime=1121.89 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 276706 0 0 0 112057 132 0 0 25 0 1 0 252494604 1074487296 241885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 262326 241885 139 317 0 262005 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1049304 [startup+1182.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 2232 /proc/meminfo: memFree=870960/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1069672 CPUtime=1181.88 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 282703 0 0 0 118052 136 0 0 25 0 1 0 252494604 1095344128 247882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 267418 247882 139 317 0 267097 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 1069672 [startup+1242.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 2232 /proc/meminfo: memFree=846832/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1089788 CPUtime=1241.87 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 288634 0 0 0 124047 140 0 0 25 0 1 0 252494604 1115942912 253813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 272447 253813 139 317 0 272126 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1089788 [startup+1302.3 s] /proc/loadavg: 1.02 1.02 1.00 2/78 2232 /proc/meminfo: memFree=818672/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1112288 CPUtime=1301.85 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 295603 0 0 0 130041 144 0 0 25 0 1 0 252494604 1138982912 260782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 278072 260782 139 317 0 277751 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 1112288 [startup+1362.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 2232 /proc/meminfo: memFree=802160/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1126868 CPUtime=1361.84 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 299731 0 0 0 136038 146 0 0 25 0 1 0 252494604 1153912832 264910 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 281717 264910 139 317 0 281396 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 1126868 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2232 /proc/meminfo: memFree=770480/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1153036 CPUtime=1421.83 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 307636 0 0 0 142032 151 0 0 25 0 1 0 252494604 1180708864 272815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 288259 272815 139 317 0 287938 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 1153036 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 2232 /proc/meminfo: memFree=746416/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1173408 CPUtime=1481.81 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 313619 0 0 0 148026 155 0 0 25 0 1 0 252494604 1201569792 278798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 293352 278798 139 317 0 293031 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 1173408 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2232 /proc/meminfo: memFree=724592/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1191652 CPUtime=1541.8 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 319109 0 0 0 154021 159 0 0 25 0 1 0 252494604 1220251648 284288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 297913 284288 139 317 0 297592 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1191652 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2232 /proc/meminfo: memFree=699824/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1210976 CPUtime=1601.78 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 325285 0 0 0 160016 162 0 0 25 0 1 0 252494604 1240039424 290464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 302744 290464 139 317 0 302423 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 1210976 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2232 /proc/meminfo: memFree=686448/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1222408 CPUtime=1661.77 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 328595 0 0 0 166013 164 0 0 25 0 1 0 252494604 1251745792 293774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 305602 293774 139 317 0 305281 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 1222408 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2232 /proc/meminfo: memFree=670448/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1236812 CPUtime=1721.75 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 332644 0 0 0 172010 165 0 0 25 0 1 0 252494604 1266495488 297823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 309203 297823 139 317 0 308882 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1236812 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2232 /proc/meminfo: memFree=651888/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1251640 CPUtime=1781.73 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 337278 0 0 0 178006 167 0 0 25 0 1 0 252494604 1281679360 302457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602407 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 312910 302457 139 317 0 312589 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1251640 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 2232 /proc/meminfo: memFree=639536/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=1261968 CPUtime=1800.04 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194304 340287 0 0 0 179835 169 0 0 25 0 1 0 252494604 1292255232 305466 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 315492 305466 139 317 0 315171 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1261968 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.00 1.00 1.00 2/79 2233 /proc/meminfo: memFree=1066984/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=0 CPUtime=1800.14 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194308 340303 0 0 0 179837 177 0 0 25 0 1 0 252494604 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2233 /proc/meminfo: memFree=1066984/2055920 swapFree=4170208/4192956 [pid=2019] ppid=2017 vsize=0 CPUtime=1800.23 /proc/2019/stat : 2019 (oree) R 2017 2019 1820 0 -1 4194308 340303 0 0 0 179837 186 0 0 25 0 1 0 252494604 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2019/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.27 CPU user time (s): 1798.38 CPU system time (s): 1.89071 CPU usage (%): 99.9689 Max. virtual memory (cumulated for all children) (KiB): 1261968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.38 system time used= 1.89071 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340303 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= 38846 runsolver used 1.40579 second user time and 3.9534 second system time The end
Begin job on node26 on Tue May 1 18:56:18 UTC 2007 IDJOB= 455570 IDBENCH= 48272 IDSOLVER= 172 FILE ID= node26/455570-1178045778 PBS_JOBID= 4728476 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_500_25_4.opb COMMAND LINE= oree /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-455570-1178045778 -o ROOT/results/node26/conversion-455570-1178045778 -C 600 -M 1800 /tmp/evaluation/455570-1178045778/substituteSizeProductKeyword /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-455570-1178045778 -o ROOT/results/node26/solver-455570-1178045778 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455570-1178045778/instance-455570-1178045778.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= de244e44f140b74baa9d32bfcc24f10d RANDOM SEED= 950552916 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: 1864848 kB Buffers: 40480 kB Cached: 62168 kB SwapCached: 3160 kB Active: 53816 kB Inactive: 73456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864848 kB SwapTotal: 4192956 kB SwapFree: 4170208 kB Dirty: 1820 kB Writeback: 0 kB Mapped: 30784 kB Slab: 49420 kB Committed_AS: 2467412 kB PageTables: 1716 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 19:26:21 UTC 2007