Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | SAT (TO) | 10331 | 1800.25 | 1800.78 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ poldner/PB/testset/normalized-10_20.opb |
MD5SUM | dfa433e4e6a88cd1c776cef0a80ce991 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8034 |
Best CPU time to get the best result obtained on this benchmark | 0.017996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8034 |
Optimality of the best value was proved | YES |
Number of variables | 210 |
Total number of constraints | 220 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 20 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 210 |
Biggest coefficient in the objective function | 2937 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 109101 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2937 |
Number of bits of the biggest number in a constraint | 12 |
Biggest sum of numbers in a constraint | 109101 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.00/0.00 c ...done 0.00/0.00 c #vars=210 #constraints=241 hasObjective=yes 0.00/0.00 c res. mode=mod 0.00/0.00 c VSIDS like heuristics 0.00/0.00 c complete search running 0.00/0.00 c nbDecision=189 #constraints=241 0.00/0.00 c linear search for optimum 0.00/0.00 o 11193 0.00/0.03 c nbDecision=218 #constraints=298 0.00/0.03 o 11033 0.10/0.18 c restart after 401 decisions 0.10/0.18 c nbDecision=500 #constraints=518 0.39/0.44 c restart after 801 decisions 0.49/0.53 c nbDecision=1000 #constraints=873 1.00/1.09 c nbDecision=1363 #constraints=1247 1.00/1.09 o 10990 1.00/1.09 c nbDecision=1363 #constraints=1249 1.00/1.09 o 10989 1.29/1.36 c nbDecision=1500 #constraints=1385 1.59/1.62 c restart after 1601 decisions 1.59/1.64 c nbDecision=1735 #constraints=1511 1.59/1.64 o 10976 1.59/1.69 c nbDecision=1766 #constraints=1549 1.59/1.69 o 10796 1.79/1.86 c nbDecision=1825 #constraints=1612 1.79/1.86 o 10777 1.89/1.92 c nbDecision=1856 #constraints=1650 1.89/1.92 o 10597 2.29/2.34 c nbDecision=2000 #constraints=1803 4.19/4.29 c nbDecision=2500 #constraints=2312 4.39/4.45 c nbDecision=2568 #constraints=2371 4.39/4.45 o 10460 6.88/6.97 c nbDecision=3000 #constraints=2813 7.78/7.87 c nbDecision=3129 #constraints=2936 7.78/7.87 o 10345 8.48/8.53 c restart after 3201 decisions 10.39/10.47 c nbDecision=3500 #constraints=3242 15.39/15.44 c nbDecision=4000 #constraints=3740 22.18/22.28 c nbDecision=4500 #constraints=4246 29.58/29.67 c nbDecision=5000 #constraints=4737 39.18/39.21 c nbDecision=5500 #constraints=5243 51.87/51.94 c nbDecision=6000 #constraints=5749 60.47/60.58 c restart after 6401 decisions 60.67/60.75 c nbDecision=6500 #constraints=6133 62.17/62.29 c nbDecision=6563 #constraints=6206 62.17/62.29 o 10331 73.27/73.32 c nbDecision=7000 #constraints=6651 88.06/88.19 c nbDecision=7500 #constraints=7128 104.56/104.70 c nbDecision=8000 #constraints=7641 121.86/122.00 c nbDecision=8500 #constraints=8146 148.14/148.29 c nbDecision=9000 #constraints=8676 168.44/168.53 c nbDecision=9500 #constraints=9163 188.04/188.16 c nbDecision=10000 #constraints=9656 209.33/209.48 c nbDecision=10500 #constraints=10169 235.23/235.35 c nbDecision=11000 #constraints=10663 259.92/260.07 c nbDecision=11500 #constraints=11141 282.62/282.71 c nbDecision=12000 #constraints=11633 307.50/307.66 c nbDecision=12500 #constraints=12135 323.09/323.26 c restart after 12801 decisions 330.70/330.80 c nbDecision=13000 #constraints=12562 352.29/352.46 c nbDecision=13500 #constraints=13075 382.07/382.26 c nbDecision=14000 #constraints=13569 413.17/413.33 c nbDecision=14500 #constraints=14082 435.16/435.37 c nbDecision=15000 #constraints=14573 470.95/471.15 c nbDecision=15500 #constraints=15061 521.15/521.34 c nbDecision=16000 #constraints=15567 569.82/570.03 c nbDecision=16500 #constraints=16085 613.11/613.36 c nbDecision=17000 #constraints=16566 655.50/655.70 c nbDecision=17500 #constraints=17080 699.48/699.72 c nbDecision=18000 #constraints=17578 740.27/740.55 c nbDecision=18500 #constraints=18077 782.27/782.57 c nbDecision=19000 #constraints=18577 824.35/824.68 c nbDecision=19500 #constraints=19078 868.93/869.27 c nbDecision=20000 #constraints=19537 907.73/908.04 c nbDecision=20500 #constraints=20027 947.32/947.64 c nbDecision=21000 #constraints=20525 986.50/986.83 c nbDecision=21500 #constraints=21053 1029.59/1029.94 c nbDecision=22000 #constraints=21536 1077.58/1077.98 c nbDecision=22500 #constraints=22065 1110.47/1110.80 c nbDecision=23000 #constraints=22536 1162.16/1162.56 c nbDecision=23500 #constraints=23057 1218.03/1218.43 c nbDecision=24000 #constraints=23565 1264.82/1265.23 c nbDecision=24500 #constraints=24076 1305.61/1306.10 c nbDecision=25000 #constraints=24579 1350.90/1351.31 c nbDecision=25500 #constraints=25028 1363.39/1363.81 c restart after 25601 decisions 1397.79/1398.28 c nbDecision=26000 #constraints=25450 1456.27/1456.79 c nbDecision=26500 #constraints=25954 1505.35/1505.82 c nbDecision=27000 #constraints=26443 1574.13/1574.66 c nbDecision=27500 #constraints=26972 1625.62/1626.18 c nbDecision=28000 #constraints=27468 1666.30/1666.88 c nbDecision=28500 #constraints=27948 1719.19/1719.78 c nbDecision=29000 #constraints=28446 1776.37/1776.99 c nbDecision=29500 #constraints=28966 1800.08/1800.61 Received signal 15 1800.18/1800.75 1800.18/1800.75 s SATISFIABLE 1800.18/1800.75 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 1800.18/1800.75 v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 1800.18/1800.75 v -x55 -x56 -x57 -x58 -x59 x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 1800.18/1800.75 v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 x90 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 1800.18/1800.75 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 x121 -x122 -x123 -x124 -x125 -x126 1800.18/1800.75 v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 x141 -x142 -x143 -x144 -x145 -x146 -x147 1800.18/1800.75 v -x148 -x149 -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 1800.18/1800.75 v -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 1800.18/1800.75 v x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 x210 1800.18/1800.75 1800.18/1800.75 c user time= 1799.93 s 1800.18/1800.75 c system time= 0.301954 s 1800.18/1800.75 c wall clock time=1800.76
OK 10331
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node9/watcher-372419-1177093349 -o ROOT/results/node9/solver-372419-1177093349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/372419-1177093349/instance-372419-1177093349.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.92 0.98 0.99 3/77 28786 /proc/meminfo: memFree=1503344/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=1468 CPUtime=0 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 185372451 1503232 176 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 367 176 137 317 0 46 0 [startup+0.076988 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28786 /proc/meminfo: memFree=1503344/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=1864 CPUtime=0.07 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 300 0 0 0 7 0 0 0 18 0 1 0 185372451 1908736 282 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 466 282 170 317 0 145 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1864 [startup+0.10199 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28786 /proc/meminfo: memFree=1503344/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=1864 CPUtime=0.1 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 320 0 0 0 10 0 0 0 18 0 1 0 185372451 1908736 302 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 466 302 170 317 0 145 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1864 [startup+0.302013 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28786 /proc/meminfo: memFree=1503344/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=2388 CPUtime=0.29 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 460 0 0 0 29 0 0 0 19 0 1 0 185372451 2445312 442 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 597 442 170 317 0 276 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2388 [startup+0.701058 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28786 /proc/meminfo: memFree=1503344/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=3192 CPUtime=0.69 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 661 0 0 0 69 0 0 0 22 0 1 0 185372451 3268608 643 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 798 643 170 317 0 477 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3192 [startup+1.50115 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1500968/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=4384 CPUtime=1.49 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 921 0 0 0 149 0 0 0 25 0 1 0 185372451 4489216 903 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 1096 903 170 317 0 775 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4384 [startup+3.10133 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1499624/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=5436 CPUtime=3.09 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 1219 0 0 0 309 0 0 0 25 0 1 0 185372451 5566464 1201 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 1359 1201 170 317 0 1038 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5436 [startup+6.30169 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1497512/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=7280 CPUtime=6.29 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 1644 0 0 0 629 0 0 0 25 0 1 0 185372451 7454720 1626 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 1820 1626 170 317 0 1499 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7280 [startup+12.7014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1495592/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=8996 CPUtime=12.69 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 2072 0 0 0 1268 1 0 0 25 0 1 0 185372451 9211904 2054 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 2249 2054 170 317 0 1928 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8996 [startup+25.5019 s] /proc/loadavg: 0.95 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1493160/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=11464 CPUtime=25.48 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 2639 0 0 0 2547 1 0 0 25 0 1 0 185372451 11739136 2621 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 2866 2621 170 317 0 2545 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11464 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1490472/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=14344 CPUtime=51.07 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 3325 0 0 0 5105 2 0 0 25 0 1 0 185372451 14688256 3307 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 3586 3307 170 317 0 3265 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14344 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1486248/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=18424 CPUtime=102.26 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 4357 0 0 0 10223 3 0 0 25 0 1 0 185372451 18866176 4339 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 4606 4339 170 317 0 4285 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 18424 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1483112/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=22160 CPUtime=162.24 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 5192 0 0 0 16220 4 0 0 25 0 1 0 185372451 22691840 5116 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 5540 5116 170 317 0 5219 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22160 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1479784/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=25440 CPUtime=222.23 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 5991 0 0 0 22217 6 0 0 25 0 1 0 185372451 26050560 5915 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 6360 5915 170 317 0 6039 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25440 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1477224/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=28032 CPUtime=282.21 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 6634 0 0 0 28214 7 0 0 25 0 1 0 185372451 28704768 6558 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 7008 6558 170 317 0 6687 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 28032 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1474664/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=30772 CPUtime=342.19 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 7271 0 0 0 34211 8 0 0 25 0 1 0 185372451 31510528 7195 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 7693 7195 170 317 0 7372 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 30772 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1472232/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=33200 CPUtime=402.17 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 7885 0 0 0 40208 9 0 0 25 0 1 0 185372451 33996800 7809 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 8300 7809 170 317 0 7979 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 33200 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1469672/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=35608 CPUtime=462.16 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 8509 0 0 0 46206 10 0 0 25 0 1 0 185372451 36462592 8433 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 8902 8433 170 317 0 8581 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 35608 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1468456/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=37060 CPUtime=522.14 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 8819 0 0 0 52203 11 0 0 25 0 1 0 185372451 37949440 8743 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 9265 8743 170 317 0 8944 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 37060 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28787 /proc/meminfo: memFree=1467240/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=38272 CPUtime=582.13 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 9134 0 0 0 58201 12 0 0 25 0 1 0 185372451 39190528 9058 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 9568 9058 170 317 0 9247 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 38272 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1465512/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=41112 CPUtime=642.11 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 9785 0 0 0 64198 13 0 0 25 0 1 0 185372451 42098688 9429 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 10278 9429 170 317 0 9957 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 41112 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1459624/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=47128 CPUtime=882.03 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 11301 0 0 0 88187 16 0 0 25 0 1 0 185372451 48259072 10945 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 11782 10945 170 317 0 11461 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 47128 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1458024/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=48860 CPUtime=942.02 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 11704 0 0 0 94184 18 0 0 25 0 1 0 185372451 50032640 11348 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 12215 11348 170 317 0 11894 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 48860 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1456360/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=50560 CPUtime=1002 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 12164 0 0 0 100181 19 0 0 25 0 1 0 185372451 51773440 11775 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 12640 11775 170 317 0 12319 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 50560 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1454824/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=52296 CPUtime=1061.98 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 12533 0 0 0 106179 19 0 0 25 0 1 0 185372451 53551104 12144 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 13074 12144 170 317 0 12753 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 52296 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1453224/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=54080 CPUtime=1121.96 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 12940 0 0 0 112176 20 0 0 25 0 1 0 185372451 55377920 12551 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 13520 12551 170 317 0 13199 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 54080 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1451944/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=55396 CPUtime=1181.95 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 13283 0 0 0 118174 21 0 0 25 0 1 0 185372451 56725504 12861 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563818 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 13849 12861 170 317 0 13528 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 55396 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1450600/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=56736 CPUtime=1241.93 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 13626 0 0 0 124171 22 0 0 25 0 1 0 185372451 58097664 13204 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 14184 13204 170 317 0 13863 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 56736 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1449256/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=57968 CPUtime=1301.91 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 13957 0 0 0 130169 22 0 0 25 0 1 0 185372451 59359232 13535 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 14492 13535 170 317 0 14171 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 57968 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1447912/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=59424 CPUtime=1361.89 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 14319 0 0 0 136166 23 0 0 25 0 1 0 185372451 60850176 13864 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 14856 13864 170 317 0 14535 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 59424 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1446760/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=60604 CPUtime=1421.88 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 14615 0 0 0 142164 24 0 0 25 0 1 0 185372451 62058496 14160 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 15151 14160 170 317 0 14830 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 60604 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1445544/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=61688 CPUtime=1481.86 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 14903 0 0 0 148161 25 0 0 25 0 1 0 185372451 63168512 14448 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 15422 14448 170 317 0 15101 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 61688 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1444456/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=62912 CPUtime=1541.85 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 15223 0 0 0 154159 26 0 0 25 0 1 0 185372451 64421888 14735 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 15728 14735 170 317 0 15407 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 62912 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1443432/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=63880 CPUtime=1601.83 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 15481 0 0 0 160156 27 0 0 25 0 1 0 185372451 65413120 14993 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 15970 14993 170 317 0 15649 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 63880 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1441896/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=65592 CPUtime=1661.8 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 15954 0 0 0 166153 27 0 0 25 0 1 0 185372451 67166208 15367 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 16398 15367 170 317 0 16077 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 65592 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1440616/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=66956 CPUtime=1721.79 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 16274 0 0 0 172151 28 0 0 25 0 1 0 185372451 68562944 15687 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 16739 15687 170 317 0 16418 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 66956 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28789 /proc/meminfo: memFree=1439464/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=67932 CPUtime=1781.77 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 16557 0 0 0 178148 29 0 0 25 0 1 0 185372451 69562368 15970 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 16983 15970 170 317 0 16662 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 67932 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 3/78 28789 /proc/meminfo: memFree=1439208/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=68196 CPUtime=1800.08 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 16618 0 0 0 179978 30 0 0 25 0 1 0 185372451 69832704 16031 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 17049 16031 170 317 0 16728 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 68196 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: 0.99 0.98 0.99 3/78 28789 /proc/meminfo: memFree=1439208/2055920 swapFree=4152812/4192956 [pid=28786] ppid=28784 vsize=68196 CPUtime=1800.18 /proc/28786/stat : 28786 (oree) R 28784 28786 28058 0 -1 4194304 16618 0 0 0 179988 30 0 0 25 0 1 0 185372451 69832704 16031 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/28786/statm: 17049 16031 170 317 0 16728 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 68196 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.25 CPU user time (s): 1799.94 CPU system time (s): 0.312952 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 68196 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.312952 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 16634 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= 1384 runsolver used 2.10168 second user time and 4.44432 second system time The end
Begin job on node9 on Fri Apr 20 18:22:29 UTC 2007 IDJOB= 372419 IDBENCH= 24970 IDSOLVER= 172 FILE ID= node9/372419-1177093349 PBS_JOBID= 4640347 Free space on /tmp= 66427 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb COMMAND LINE= oree /tmp/evaluation/372419-1177093349/instance-372419-1177093349.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-372419-1177093349 -o ROOT/results/node9/solver-372419-1177093349 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/372419-1177093349/instance-372419-1177093349.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991 RANDOM SEED= 508050764 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node9.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.221 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.221 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: 1503752 kB Buffers: 53424 kB Cached: 432820 kB SwapCached: 8184 kB Active: 203984 kB Inactive: 306068 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1503752 kB SwapTotal: 4192956 kB SwapFree: 4152812 kB Dirty: 1312 kB Writeback: 0 kB Mapped: 29920 kB Slab: 27724 kB Committed_AS: 6509820 kB PageTables: 1784 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= 66427 MiB End job on node9 on Fri Apr 20 18:52:32 UTC 2007