Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.12 | 1800.76 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_4_30_2.opb |
MD5SUM | 031b0f629913e7cd5c934f00ec1a1885 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 21.4277 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 94 |
Total number of constraints | 8 |
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 | 8 |
Minimum length of a constraint | 44 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 64 |
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 | 2040 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 808 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2934 |
Number of bits of the biggest sum of numbers | 12 |
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=94 #constraints=9 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.09/0.19 c restart after 401 decisions 0.19/0.21 c nbDecision=500 #constraints=357 0.39/0.44 c restart after 801 decisions 0.59/0.60 c nbDecision=1000 #constraints=783 1.29/1.30 c nbDecision=1500 #constraints=1282 1.39/1.47 c restart after 1601 decisions 2.09/2.17 c nbDecision=2000 #constraints=1705 3.58/3.67 c nbDecision=2500 #constraints=2204 5.69/5.71 c nbDecision=3000 #constraints=2704 6.59/6.61 c restart after 3201 decisions 8.29/8.38 c nbDecision=3500 #constraints=3126 12.00/12.09 c nbDecision=4000 #constraints=3627 16.79/16.89 c nbDecision=4500 #constraints=4128 22.38/22.47 c nbDecision=5000 #constraints=4627 28.18/28.21 c nbDecision=5500 #constraints=5128 35.48/35.52 c nbDecision=6000 #constraints=5628 41.68/41.77 c restart after 6401 decisions 42.48/42.54 c nbDecision=6500 #constraints=6052 51.27/51.37 c nbDecision=7000 #constraints=6551 60.48/60.56 c nbDecision=7500 #constraints=7049 69.87/69.90 c nbDecision=8000 #constraints=7549 80.87/80.90 c nbDecision=8500 #constraints=8048 92.86/92.95 c nbDecision=9000 #constraints=8547 105.16/105.27 c nbDecision=9500 #constraints=9051 118.26/118.31 c nbDecision=10000 #constraints=9548 131.95/132.02 c nbDecision=10500 #constraints=10051 145.74/145.82 c nbDecision=11000 #constraints=10549 162.15/162.25 c nbDecision=11500 #constraints=11049 179.54/179.62 c nbDecision=12000 #constraints=11550 196.74/196.80 c nbDecision=12500 #constraints=12051 208.23/208.38 c restart after 12801 decisions 213.83/213.91 c nbDecision=13000 #constraints=12474 232.82/232.92 c nbDecision=13500 #constraints=12968 253.22/253.31 c nbDecision=14000 #constraints=13472 272.31/272.42 c nbDecision=14500 #constraints=13966 291.80/291.98 c nbDecision=15000 #constraints=14467 311.00/311.12 c nbDecision=15500 #constraints=14968 331.79/331.99 c nbDecision=16000 #constraints=15465 355.39/355.51 c nbDecision=16500 #constraints=15966 378.78/378.98 c nbDecision=17000 #constraints=16465 402.27/402.44 c nbDecision=17500 #constraints=16965 426.36/426.52 c nbDecision=18000 #constraints=17462 450.56/450.71 c nbDecision=18500 #constraints=17963 476.35/476.56 c nbDecision=19000 #constraints=18465 502.15/502.34 c nbDecision=19500 #constraints=18962 526.83/527.02 c nbDecision=20000 #constraints=19461 554.93/555.11 c nbDecision=20500 #constraints=19963 585.12/585.34 c nbDecision=21000 #constraints=20462 614.11/614.36 c nbDecision=21500 #constraints=20962 642.70/642.97 c nbDecision=22000 #constraints=21459 672.89/673.18 c nbDecision=22500 #constraints=21959 702.59/702.89 c nbDecision=23000 #constraints=22458 739.87/740.14 c nbDecision=23500 #constraints=22958 774.26/774.56 c nbDecision=24000 #constraints=23458 809.06/809.35 c nbDecision=24500 #constraints=23958 843.74/844.09 c nbDecision=25000 #constraints=24456 878.54/878.87 c nbDecision=25500 #constraints=24955 885.43/885.72 c restart after 25601 decisions 917.42/917.76 c nbDecision=26000 #constraints=25380 961.12/961.48 c nbDecision=26500 #constraints=25881 1000.89/1001.22 c nbDecision=27000 #constraints=26379 1040.38/1040.78 c nbDecision=27500 #constraints=26879 1080.25/1080.67 c nbDecision=28000 #constraints=27382 1123.97/1124.41 c nbDecision=28500 #constraints=27878 1170.34/1170.86 c nbDecision=29000 #constraints=28377 1213.03/1213.51 c nbDecision=29500 #constraints=28878 1255.81/1256.32 c nbDecision=30000 #constraints=29380 1299.20/1299.78 c nbDecision=30500 #constraints=29880 1347.09/1347.62 c nbDecision=31000 #constraints=30379 1395.57/1396.18 c nbDecision=31500 #constraints=30877 1443.76/1444.38 c nbDecision=32000 #constraints=31378 1486.44/1487.00 c nbDecision=32500 #constraints=31877 1538.63/1539.20 c nbDecision=33000 #constraints=32376 1583.52/1584.11 c nbDecision=33500 #constraints=32875 1633.10/1633.80 c nbDecision=34000 #constraints=33376 1680.10/1680.77 c nbDecision=34500 #constraints=33874 1727.88/1728.52 c nbDecision=35000 #constraints=34374 1773.17/1773.85 c nbDecision=35500 #constraints=34874 1800.06/1800.70 Received signal 15 1800.06/1800.73 1800.06/1800.73 s UNKNOWN 1800.06/1800.73 1800.06/1800.73 c user time= 1799.73 s 1800.06/1800.73 c system time= 0.372943 s 1800.06/1800.73 c wall clock time=1800.74
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node6/watcher-366838-1177000984 -o ROOT/results/node6/solver-366838-1177000984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366838-1177000984/instance-366838-1177000984.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.91 0.95 0.90 3/77 6794 /proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=1468 CPUtime=0 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 176136078 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 367 169 139 317 0 46 0 [startup+0.049998 s] /proc/loadavg: 0.91 0.95 0.90 3/77 6794 /proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=1732 CPUtime=0.04 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 250 0 0 0 4 0 0 0 18 0 1 0 176136078 1773568 232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 433 232 139 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.102004 s] /proc/loadavg: 0.91 0.95 0.90 3/77 6794 /proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=1996 CPUtime=0.09 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 324 0 0 0 9 0 0 0 18 0 1 0 176136078 2043904 306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 499 306 139 317 0 178 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1996 [startup+0.301027 s] /proc/loadavg: 0.91 0.95 0.90 3/77 6794 /proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=2788 CPUtime=0.29 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 531 0 0 0 29 0 0 0 19 0 1 0 176136078 2854912 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 697 514 139 317 0 376 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2788 [startup+0.701074 s] /proc/loadavg: 0.91 0.95 0.90 3/77 6794 /proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=4104 CPUtime=0.69 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 847 0 0 0 69 0 0 0 22 0 1 0 176136078 4202496 829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 1026 829 139 317 0 705 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4104 [startup+1.50117 s] /proc/loadavg: 0.91 0.95 0.90 2/78 6795 /proc/meminfo: memFree=1691120/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=5704 CPUtime=1.49 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 1239 0 0 0 149 0 0 0 25 0 1 0 176136078 5840896 1221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 1426 1221 139 317 0 1105 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5704 [startup+3.10136 s] /proc/loadavg: 0.91 0.95 0.90 2/78 6795 /proc/meminfo: memFree=1689136/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=7712 CPUtime=3.09 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 1727 0 0 0 309 0 0 0 25 0 1 0 176136078 7897088 1709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 1928 1709 139 317 0 1607 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7712 [startup+6.30173 s] /proc/loadavg: 0.92 0.95 0.90 2/78 6795 /proc/meminfo: memFree=1686320/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=10504 CPUtime=6.29 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 2365 0 0 0 628 1 0 0 25 0 1 0 176136078 10756096 2347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604405 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 2626 2347 139 317 0 2305 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10504 [startup+12.7015 s] /proc/loadavg: 0.93 0.95 0.90 2/78 6795 /proc/meminfo: memFree=1683248/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=12796 CPUtime=12.69 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 2969 0 0 0 1267 2 0 0 25 0 1 0 176136078 13103104 2951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 3199 2951 139 317 0 2878 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 12796 [startup+25.502 s] /proc/loadavg: 0.94 0.96 0.91 2/78 6795 /proc/meminfo: memFree=1679792/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=16192 CPUtime=25.48 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 3818 0 0 0 2546 2 0 0 25 0 1 0 176136078 16580608 3800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 4048 3800 170 317 0 3727 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16192 [startup+51.102 s] /proc/loadavg: 0.96 0.96 0.91 2/78 6795 /proc/meminfo: memFree=1674736/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=21752 CPUtime=51.07 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 5080 0 0 0 5104 3 0 0 25 0 1 0 176136078 22274048 5062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 5438 5062 170 317 0 5117 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 21752 [startup+102.306 s] /proc/loadavg: 0.98 0.96 0.91 2/78 6795 /proc/meminfo: memFree=1667568/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=29032 CPUtime=102.26 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 6886 0 0 0 10221 5 0 0 25 0 1 0 176136078 29728768 6811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 7258 6811 170 317 0 6937 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29032 [startup+162.301 s] /proc/loadavg: 1.03 0.98 0.91 2/78 6795 /proc/meminfo: memFree=1661104/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=35872 CPUtime=162.24 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 8506 0 0 0 16217 7 0 0 25 0 1 0 176136078 36732928 8431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 8968 8431 170 317 0 8647 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 35872 [startup+222.301 s] /proc/loadavg: 1.01 0.98 0.91 2/78 6795 /proc/meminfo: memFree=1656304/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=41016 CPUtime=222.23 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 9694 0 0 0 22215 8 0 0 25 0 1 0 176136078 42000384 9619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 10254 9619 170 317 0 9933 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 41016 [startup+282.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 6795 /proc/meminfo: memFree=1651568/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=46060 CPUtime=282.21 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 10873 0 0 0 28212 9 0 0 25 0 1 0 176136078 47165440 10798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 11515 10798 170 317 0 11194 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 46060 [startup+342.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 6795 /proc/meminfo: memFree=1647152/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=50160 CPUtime=342.18 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 11937 0 0 0 34208 10 0 0 25 0 1 0 176136078 51363840 11862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 12540 11862 170 317 0 12219 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 50160 [startup+402.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 6795 /proc/meminfo: memFree=1643440/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=54836 CPUtime=402.17 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 13120 0 0 0 40205 12 0 0 25 0 1 0 176136078 56152064 12800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 13709 12800 170 317 0 13388 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 54836 [startup+462.301 s] /proc/loadavg: 1.00 0.98 0.91 2/78 6795 /proc/meminfo: memFree=1639792/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=58148 CPUtime=462.15 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 14008 0 0 0 46202 13 0 0 25 0 1 0 176136078 59543552 13688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 14537 13688 170 317 0 14216 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 58148 [startup+522.301 s] /proc/loadavg: 1.06 1.00 0.92 2/78 6795 /proc/meminfo: memFree=1636144/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=62036 CPUtime=522.13 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 14933 0 0 0 52199 14 0 0 25 0 1 0 176136078 63524864 14613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 15509 14613 170 317 0 15188 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 62036 [startup+582.301 s] /proc/loadavg: 1.02 1.00 0.92 2/78 6795 /proc/meminfo: memFree=1632880/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=65196 CPUtime=582.12 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 15731 0 0 0 58196 16 0 0 25 0 1 0 176136078 66760704 15411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 16299 15411 170 317 0 15978 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 65196 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6795 /proc/meminfo: memFree=1629552/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=69520 CPUtime=642.1 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 16729 0 0 0 64194 16 0 0 25 0 1 0 176136078 71188480 16244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 17380 16244 170 317 0 17059 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 69520 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.92 2/78 6795 /proc/meminfo: memFree=1618864/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=81540 CPUtime=882.03 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 19839 0 0 0 88182 21 0 0 25 0 1 0 176136078 83496960 18859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 20385 18859 170 317 0 20064 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 81540 [startup+942.302 s] /proc/loadavg: 1.03 1.01 0.93 2/78 6795 /proc/meminfo: memFree=1617072/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=83116 CPUtime=942.01 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 20280 0 0 0 94179 22 0 0 25 0 1 0 176136078 85110784 19300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 20779 19300 170 317 0 20458 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 83116 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 0.93 2/78 6795 /proc/meminfo: memFree=1615088/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=85216 CPUtime=1001.99 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 20844 0 0 0 100176 23 0 0 25 0 1 0 176136078 87261184 19831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 21304 19831 170 317 0 20983 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 85216 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6795 /proc/meminfo: memFree=1612912/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=87192 CPUtime=1061.98 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 21378 0 0 0 106173 25 0 0 25 0 1 0 176136078 89284608 20365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 21798 20365 170 317 0 21477 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 87192 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/84 6967 /proc/meminfo: memFree=1609536/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=89020 CPUtime=1121.87 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 21900 0 0 0 112162 25 0 0 25 0 1 0 176136078 91156480 20887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 22255 20887 170 317 0 21934 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 89020 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1608752/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=90856 CPUtime=1181.83 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 22403 0 0 0 118157 26 0 0 25 0 1 0 176136078 93036544 21357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 22714 21357 170 317 0 22393 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 90856 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1606448/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=94024 CPUtime=1241.81 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 23209 0 0 0 124154 27 0 0 25 0 1 0 176136078 96280576 21899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 23506 21899 170 317 0 23185 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 94024 [startup+1302.3 s] /proc/loadavg: 1.05 1.01 0.93 2/78 6993 /proc/meminfo: memFree=1604272/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=95980 CPUtime=1301.8 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 23736 0 0 0 130152 28 0 0 25 0 1 0 176136078 98283520 22426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 23995 22426 170 317 0 23674 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 95980 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 0.93 2/78 6993 /proc/meminfo: memFree=1602672/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=97548 CPUtime=1361.78 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 24177 0 0 0 136149 29 0 0 25 0 1 0 176136078 99889152 22834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 24387 22834 170 317 0 24066 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 97548 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1600944/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=99120 CPUtime=1421.77 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 24603 0 0 0 142147 30 0 0 25 0 1 0 176136078 101498880 23260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 24780 23260 170 317 0 24459 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 99120 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1598960/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=100852 CPUtime=1481.74 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 25112 0 0 0 148143 31 0 0 25 0 1 0 176136078 103272448 23769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 25213 23769 170 317 0 24892 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 100852 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1597104/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=102692 CPUtime=1541.73 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 25548 0 0 0 154141 32 0 0 25 0 1 0 176136078 105156608 24205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 25673 24205 170 317 0 25352 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 102692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1594544/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=106844 CPUtime=1601.71 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 26674 0 0 0 160138 33 0 0 25 0 1 0 176136078 109408256 24813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 26711 24813 170 317 0 26390 0 Current children cumulated CPU time (s) 1601.71 Current children cumulated vsize (KiB) 106844 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1593008/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=108948 CPUtime=1661.69 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 27133 0 0 0 166135 34 0 0 25 0 1 0 176136078 111562752 25207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 27237 25207 170 317 0 26916 0 Current children cumulated CPU time (s) 1661.69 Current children cumulated vsize (KiB) 108948 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1591600/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=110520 CPUtime=1721.67 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 27582 0 0 0 172132 35 0 0 25 0 1 0 176136078 113172480 25623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 27630 25623 170 317 0 27309 0 Current children cumulated CPU time (s) 1721.67 Current children cumulated vsize (KiB) 110520 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1589424/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=112228 CPUtime=1781.66 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 28094 0 0 0 178129 37 0 0 25 0 1 0 176136078 114921472 26135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 28057 26135 170 317 0 27736 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 112228 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.93 2/78 6993 /proc/meminfo: memFree=1588848/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=112748 CPUtime=1800.06 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 28231 0 0 0 179969 37 0 0 25 0 1 0 176136078 115453952 26272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 28187 26272 170 317 0 27866 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 112748 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 0.93 2/78 6993 /proc/meminfo: memFree=1588848/2055924 swapFree=4146720/4192956 [pid=6794] ppid=6792 vsize=112748 CPUtime=1800.06 /proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 28231 0 0 0 179969 37 0 0 25 0 1 0 176136078 115453952 26272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/6794/statm: 28187 26272 170 317 0 27866 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 112748 Child status: 0 Real time (s): 1800.76 CPU time (s): 1800.12 CPU user time (s): 1799.73 CPU system time (s): 0.39094 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 112748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.73 system time used= 0.39094 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 28247 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= 2909 runsolver used 2.09468 second user time and 4.44932 second system time The end
Begin job on node6 on Thu Apr 19 16:43:04 UTC 2007 IDJOB= 366838 IDBENCH= 2916 IDSOLVER= 172 FILE ID= node6/366838-1177000984 PBS_JOBID= 4630457 Free space on /tmp= 66418 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb COMMAND LINE= oree /tmp/evaluation/366838-1177000984/instance-366838-1177000984.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node6/watcher-366838-1177000984 -o ROOT/results/node6/solver-366838-1177000984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366838-1177000984/instance-366838-1177000984.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 031b0f629913e7cd5c934f00ec1a1885 RANDOM SEED= 418330019 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node6.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.232 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.232 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: 2055924 kB MemFree: 1694992 kB Buffers: 28172 kB Cached: 266148 kB SwapCached: 13584 kB Active: 40636 kB Inactive: 278616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055924 kB LowFree: 1694992 kB SwapTotal: 4192956 kB SwapFree: 4146720 kB Dirty: 1324 kB Writeback: 0 kB Mapped: 32028 kB Slab: 27176 kB Committed_AS: 6943216 kB PageTables: 1788 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= 66418 MiB End job on node6 on Thu Apr 19 17:13:07 UTC 2007