Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.36 | 1801.48 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb |
MD5SUM | 651e385f00e2858954d8683e891a1dbe |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.227965 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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=792 #constraints=1181 hasObjective=yes 0.00/0.01 c res. mode=mod 0.00/0.01 c VSIDS like heuristics 0.00/0.01 c complete search running 0.59/0.60 c restart after 401 decisions 0.69/0.74 c nbDecision=500 #constraints=1639 1.29/1.34 c restart after 801 decisions 1.69/1.76 c nbDecision=1000 #constraints=2115 2.89/2.98 c nbDecision=1500 #constraints=2605 3.10/3.16 c restart after 1601 decisions 4.49/4.58 c nbDecision=2000 #constraints=3085 5.99/6.06 c nbDecision=2500 #constraints=3575 7.29/7.33 c nbDecision=3000 #constraints=4042 7.59/7.65 c restart after 3201 decisions 9.19/9.20 c nbDecision=3500 #constraints=4501 12.79/12.81 c nbDecision=4000 #constraints=5000 13.88/13.96 c nbDecision=4500 #constraints=5481 14.89/14.99 c nbDecision=5000 #constraints=5974 15.99/16.06 c nbDecision=5500 #constraints=6453 16.79/16.86 c nbDecision=6000 #constraints=6938 17.79/17.80 c restart after 6401 decisions 18.49/18.50 c nbDecision=6500 #constraints=7399 21.48/21.54 c nbDecision=7000 #constraints=7861 23.79/23.85 c nbDecision=7500 #constraints=8353 25.48/25.57 c nbDecision=8000 #constraints=8816 27.58/27.60 c nbDecision=8500 #constraints=9284 30.97/31.03 c nbDecision=9000 #constraints=9767 34.98/35.08 c nbDecision=9500 #constraints=10236 42.67/42.71 c nbDecision=10000 #constraints=10718 49.57/49.60 c nbDecision=10500 #constraints=11179 56.36/56.47 c nbDecision=11000 #constraints=11651 64.16/64.23 c nbDecision=11500 #constraints=12100 73.84/73.94 c nbDecision=12000 #constraints=12583 87.44/87.51 c nbDecision=12500 #constraints=13070 94.54/94.67 c restart after 12801 decisions 96.53/96.63 c nbDecision=13000 #constraints=13490 99.44/99.58 c nbDecision=13500 #constraints=13981 104.03/104.13 c nbDecision=14000 #constraints=14479 108.33/108.43 c nbDecision=14500 #constraints=14966 119.12/119.26 c nbDecision=15000 #constraints=15430 142.31/142.42 c nbDecision=15500 #constraints=15917 166.20/166.36 c nbDecision=16000 #constraints=16412 191.38/191.56 c nbDecision=16500 #constraints=16909 213.76/213.99 c nbDecision=17000 #constraints=17386 234.36/234.59 c nbDecision=17500 #constraints=17842 253.14/253.39 c nbDecision=18000 #constraints=18290 282.22/282.41 c nbDecision=18500 #constraints=18774 313.31/313.55 c nbDecision=19000 #constraints=19244 346.39/346.61 c nbDecision=19500 #constraints=19717 372.46/372.77 c nbDecision=20000 #constraints=20180 404.05/404.32 c nbDecision=20500 #constraints=20649 429.73/430.09 c nbDecision=21000 #constraints=21116 460.91/461.28 c nbDecision=21500 #constraints=21597 500.08/500.48 c nbDecision=22000 #constraints=22070 533.16/533.51 c nbDecision=22500 #constraints=22521 574.12/574.50 c nbDecision=23000 #constraints=23000 608.11/608.56 c nbDecision=23500 #constraints=23448 655.18/655.68 c nbDecision=24000 #constraints=23943 681.47/682.00 c nbDecision=24500 #constraints=24417 714.74/715.23 c nbDecision=25000 #constraints=24881 764.02/764.55 c nbDecision=25500 #constraints=25350 766.12/766.60 c restart after 25601 decisions 770.81/771.37 c nbDecision=26000 #constraints=25812 776.50/777.02 c nbDecision=26500 #constraints=26302 806.38/806.90 c nbDecision=27000 #constraints=26772 891.14/891.77 c nbDecision=27500 #constraints=27272 953.40/954.04 c nbDecision=28000 #constraints=27730 1030.35/1031.04 c nbDecision=28500 #constraints=28224 1103.51/1104.26 c nbDecision=29000 #constraints=28722 1150.47/1151.22 c nbDecision=29500 #constraints=29153 1181.87/1182.66 c nbDecision=30000 #constraints=29606 1247.11/1247.90 c nbDecision=30500 #constraints=30104 1325.67/1326.59 c nbDecision=31000 #constraints=30598 1394.63/1395.58 c nbDecision=31500 #constraints=31093 1444.30/1445.26 c nbDecision=32000 #constraints=31556 1518.55/1519.53 c nbDecision=32500 #constraints=32055 1573.81/1574.81 c nbDecision=33000 #constraints=32521 1628.69/1629.79 c nbDecision=33500 #constraints=33007 1705.93/1707.09 c nbDecision=34000 #constraints=33462 1786.07/1787.23 c nbDecision=34500 #constraints=33951 1800.08/1801.20 Received signal 15 1800.28/1801.45 1800.28/1801.45 s UNKNOWN 1800.28/1801.45 1800.28/1801.45 c user time= 1800.04 s 1800.28/1801.45 c system time= 0.300954 s 1800.28/1801.45 c wall clock time=1801.45
ERROR: no interpretation found !
sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb mv /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb.tmp /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node17/watcher-430203-1177992845 -o ROOT/results/node17/solver-430203-1177992845 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430203-1177992845/instance-430203-1177992845.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 10635 /proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=1468 CPUtime=0 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 247201999 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 367 174 132 317 0 46 0 [startup+0.01317 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10635 /proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=1864 CPUtime=0.01 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 300 0 0 0 1 0 0 0 18 0 1 0 247201999 1908736 283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 466 283 139 317 0 145 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1864 [startup+0.101146 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10635 /proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=2188 CPUtime=0.09 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 352 0 0 0 9 0 0 0 18 0 1 0 247201999 2240512 335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 547 335 139 317 0 226 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2188 [startup+0.301167 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10635 /proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=2704 CPUtime=0.29 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 475 0 0 0 29 0 0 0 19 0 1 0 247201999 2768896 458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 676 458 139 317 0 355 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2704 [startup+0.701209 s] /proc/loadavg: 0.92 0.98 0.99 3/77 10635 /proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=3620 CPUtime=0.69 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 729 0 0 0 69 0 0 0 23 0 1 0 247201999 3706880 712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 905 712 139 317 0 584 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3620 [startup+1.50229 s] /proc/loadavg: 0.92 0.98 0.99 3/78 10636 /proc/meminfo: memFree=1815576/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=5188 CPUtime=1.49 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 1112 0 0 0 149 0 0 0 25 0 1 0 247201999 5312512 1095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 1297 1095 139 317 0 976 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5188 [startup+3.10146 s] /proc/loadavg: 0.92 0.98 0.99 2/78 10636 /proc/meminfo: memFree=1813656/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=7996 CPUtime=3.1 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 1789 0 0 0 309 1 0 0 25 0 1 0 247201999 8187904 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273406 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 1999 1772 139 317 0 1678 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 7996 [startup+6.30179 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10636 /proc/meminfo: memFree=1809320/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=11804 CPUtime=6.3 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 2775 0 0 0 628 2 0 0 25 0 1 0 247201999 12087296 2758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 2951 2758 139 317 0 2630 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 11804 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/78 10636 /proc/meminfo: memFree=1802792/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=17392 CPUtime=12.69 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 4110 0 0 0 1266 3 0 0 25 0 1 0 247201999 17809408 4093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 4348 4093 139 317 0 4027 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 17392 [startup+25.5018 s] /proc/loadavg: 1.02 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1787304/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=33304 CPUtime=25.48 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 8093 0 0 0 2543 5 0 0 25 0 1 0 247201999 34103296 8018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716147 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 8326 8018 170 317 0 8005 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 33304 [startup+51.1015 s] /proc/loadavg: 1.01 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1776936/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=43452 CPUtime=51.07 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 10619 0 0 0 5100 7 0 0 25 0 1 0 247201999 44494848 10544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 10863 10544 170 317 0 10542 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 43452 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1764968/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=55536 CPUtime=102.24 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 13542 0 0 0 10215 9 0 0 25 0 1 0 247201999 56868864 13467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 13884 13468 170 317 0 13563 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 55536 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1756904/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=63476 CPUtime=162.2 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 15553 0 0 0 16209 11 0 0 25 0 1 0 247201999 64999424 15478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 15869 15478 170 317 0 15548 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 63476 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1752168/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=68964 CPUtime=222.16 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 16830 0 0 0 22204 12 0 0 25 0 1 0 247201999 70619136 16641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 17241 16641 170 317 0 16920 0 Current children cumulated CPU time (s) 222.16 Current children cumulated vsize (KiB) 68964 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1747112/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=74376 CPUtime=282.12 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 18115 0 0 0 28199 13 0 0 25 0 1 0 247201999 76161024 17926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 18594 17926 170 317 0 18273 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 74376 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1743400/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=78196 CPUtime=342.09 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 19002 0 0 0 34194 15 0 0 25 0 1 0 247201999 80072704 18813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 19549 18813 170 317 0 19228 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 78196 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.99 2/78 10636 /proc/meminfo: memFree=1739816/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=82124 CPUtime=402.05 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 19914 0 0 0 40189 16 0 0 25 0 1 0 247201999 84094976 19725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 20531 19725 170 317 0 20210 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 82124 [startup+462.301 s] /proc/loadavg: 1.04 1.01 1.00 2/78 10636 /proc/meminfo: memFree=1735720/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=86292 CPUtime=462.01 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 20940 0 0 0 46184 17 0 0 25 0 1 0 247201999 88363008 20751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 21573 20751 170 317 0 21252 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 86292 [startup+522.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 10636 /proc/meminfo: memFree=1732840/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=89256 CPUtime=521.96 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 21677 0 0 0 52179 17 0 0 25 0 1 0 247201999 91398144 21488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 22314 21488 170 317 0 21993 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 89256 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1729960/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=91776 CPUtime=581.92 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 22386 0 0 0 58175 17 0 0 25 0 1 0 247201999 93978624 22197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 22944 22197 170 317 0 22623 0 Current children cumulated CPU time (s) 581.92 Current children cumulated vsize (KiB) 91776 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1727400/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=94212 CPUtime=641.89 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 23023 0 0 0 64171 18 0 0 25 0 1 0 247201999 96473088 22834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 23553 22834 170 317 0 23232 0 Current children cumulated CPU time (s) 641.89 Current children cumulated vsize (KiB) 94212 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1713448/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=109712 CPUtime=881.74 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 26465 0 0 0 88152 22 0 0 25 0 1 0 247201999 112345088 26276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 27428 26276 170 317 0 27107 0 Current children cumulated CPU time (s) 881.74 Current children cumulated vsize (KiB) 109712 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1711592/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=111600 CPUtime=941.71 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 26926 0 0 0 94149 22 0 0 25 0 1 0 247201999 114278400 26737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 27900 26737 170 317 0 27579 0 Current children cumulated CPU time (s) 941.71 Current children cumulated vsize (KiB) 111600 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1710056/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=113568 CPUtime=1001.67 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 27320 0 0 0 100145 22 0 0 25 0 1 0 247201999 116293632 27131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 28392 27131 170 317 0 28071 0 Current children cumulated CPU time (s) 1001.67 Current children cumulated vsize (KiB) 113568 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1708648/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=114876 CPUtime=1061.63 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 27693 0 0 0 106140 23 0 0 25 0 1 0 247201999 117633024 27504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 28719 27504 170 317 0 28398 0 Current children cumulated CPU time (s) 1061.63 Current children cumulated vsize (KiB) 114876 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1707176/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=116776 CPUtime=1121.6 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 28088 0 0 0 112137 23 0 0 25 0 1 0 247201999 119578624 27899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 29194 27899 170 317 0 28873 0 Current children cumulated CPU time (s) 1121.6 Current children cumulated vsize (KiB) 116776 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1704168/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=119824 CPUtime=1181.57 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 28813 0 0 0 118133 24 0 0 25 0 1 0 247201999 122699776 28624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 29956 28624 170 317 0 29635 0 Current children cumulated CPU time (s) 1181.57 Current children cumulated vsize (KiB) 119824 [startup+1242.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 10636 /proc/meminfo: memFree=1702248/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=121500 CPUtime=1241.52 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 29251 0 0 0 124128 24 0 0 25 0 1 0 247201999 124416000 29062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 30375 29062 170 317 0 30054 0 Current children cumulated CPU time (s) 1241.52 Current children cumulated vsize (KiB) 121500 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 1.00 2/78 10636 /proc/meminfo: memFree=1700776/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=123228 CPUtime=1301.49 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 29622 0 0 0 130124 25 0 0 25 0 1 0 247201999 126185472 29433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 30807 29433 170 317 0 30486 0 Current children cumulated CPU time (s) 1301.49 Current children cumulated vsize (KiB) 123228 [startup+1362.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1699176/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=124688 CPUtime=1361.45 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 30023 0 0 0 136119 26 0 0 25 0 1 0 247201999 127680512 29834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 31172 29834 170 317 0 30851 0 Current children cumulated CPU time (s) 1361.45 Current children cumulated vsize (KiB) 124688 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1696360/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=126912 CPUtime=1421.41 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 30533 0 0 0 142115 26 0 0 25 0 1 0 247201999 129957888 30344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 31728 30344 170 317 0 31407 0 Current children cumulated CPU time (s) 1421.41 Current children cumulated vsize (KiB) 126912 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1694632/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=128632 CPUtime=1481.37 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 30956 0 0 0 148110 27 0 0 25 0 1 0 247201999 131719168 30767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 32158 30767 170 317 0 31837 0 Current children cumulated CPU time (s) 1481.37 Current children cumulated vsize (KiB) 128632 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10636 /proc/meminfo: memFree=1692776/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=130904 CPUtime=1541.34 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 31540 0 0 0 154107 27 0 0 25 0 1 0 247201999 134045696 31219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 32726 31219 170 317 0 32405 0 Current children cumulated CPU time (s) 1541.34 Current children cumulated vsize (KiB) 130904 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10638 /proc/meminfo: memFree=1690984/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=132720 CPUtime=1601.3 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 32020 0 0 0 160102 28 0 0 25 0 1 0 247201999 135905280 31699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10635/statm: 33180 31699 170 317 0 32859 0 Current children cumulated CPU time (s) 1601.3 Current children cumulated vsize (KiB) 132720 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10638 /proc/meminfo: memFree=1688424/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=136248 CPUtime=1661.26 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 32865 0 0 0 166097 29 0 0 25 0 1 0 247201999 139517952 32285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 34062 32285 170 317 0 33741 0 Current children cumulated CPU time (s) 1661.26 Current children cumulated vsize (KiB) 136248 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10638 /proc/meminfo: memFree=1687336/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=137184 CPUtime=1721.23 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33151 0 0 0 172094 29 0 0 25 0 1 0 247201999 140476416 32571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 34296 32571 170 317 0 33975 0 Current children cumulated CPU time (s) 1721.23 Current children cumulated vsize (KiB) 137184 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10638 /proc/meminfo: memFree=1685928/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=138472 CPUtime=1781.18 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33474 0 0 0 178089 29 0 0 25 0 1 0 247201999 141795328 32894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 34618 32894 170 317 0 34297 0 Current children cumulated CPU time (s) 1781.18 Current children cumulated vsize (KiB) 138472 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10638 /proc/meminfo: memFree=1685416/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=138992 CPUtime=1800.08 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33613 0 0 0 179978 30 0 0 25 0 1 0 247201999 142327808 33033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 34748 33033 170 317 0 34427 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 138992 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10638 /proc/meminfo: memFree=1685416/2055920 swapFree=4140032/4192956 [pid=10635] ppid=10633 vsize=138992 CPUtime=1800.28 /proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33613 0 0 0 179998 30 0 0 25 0 1 0 247201999 142327808 33033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 0 0 0 /proc/10635/statm: 34748 33033 170 317 0 34427 0 Current children cumulated CPU time (s) 1800.28 Current children cumulated vsize (KiB) 138992 Child status: 0 Real time (s): 1801.48 CPU time (s): 1800.36 CPU user time (s): 1800.04 CPU system time (s): 0.320951 CPU usage (%): 99.9379 Max. virtual memory (cumulated for all children) (KiB): 138992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.04 system time used= 0.320951 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 33629 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= 37910 runsolver used 1.58176 second user time and 4.98524 second system time The end
Begin job on node17 on Tue May 1 04:14:05 UTC 2007 IDJOB= 430203 IDBENCH= 47963 IDSOLVER= 172 FILE ID= node17/430203-1177992845 PBS_JOBID= 4728200 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/roussel/factor-mod-B/factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb COMMAND LINE= oree /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb mod CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-430203-1177992845 -o ROOT/results/node17/conversion-430203-1177992845 -C 600 -M 1800 /tmp/evaluation/430203-1177992845/substituteSizeProductKeyword /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-430203-1177992845 -o ROOT/results/node17/solver-430203-1177992845 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb mod META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e MD5SUM BENCH= 651e385f00e2858954d8683e891a1dbe RANDOM SEED= 416385773 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node17.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.240 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.240 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: 1819000 kB Buffers: 29072 kB Cached: 126276 kB SwapCached: 15196 kB Active: 123116 kB Inactive: 55120 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1819000 kB SwapTotal: 4192956 kB SwapFree: 4140032 kB Dirty: 1396 kB Writeback: 0 kB Mapped: 29744 kB Slab: 44164 kB Committed_AS: 7398968 kB PageTables: 1796 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 node17 on Tue May 1 04:44:08 UTC 2007