Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.22 | 1800.93 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1802.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
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 | 16 |
Minimum length of a constraint | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
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 | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
Number of bits of the biggest sum of numbers | 13 |
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=198 #constraints=17 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.29/0.35 c restart after 401 decisions 0.29/0.36 c nbDecision=500 #constraints=259 0.69/0.75 c restart after 801 decisions 0.79/0.83 c nbDecision=1000 #constraints=540 1.89/1.94 c nbDecision=1500 #constraints=1040 2.20/2.21 c restart after 1601 decisions 3.09/3.11 c nbDecision=2000 #constraints=1383 5.59/5.64 c nbDecision=2500 #constraints=1883 9.29/9.39 c nbDecision=3000 #constraints=2382 11.00/11.09 c restart after 3201 decisions 12.59/12.62 c nbDecision=3500 #constraints=2724 18.48/18.60 c nbDecision=4000 #constraints=3224 25.08/25.16 c nbDecision=4500 #constraints=3724 34.68/34.70 c nbDecision=5000 #constraints=4224 44.58/44.63 c nbDecision=5500 #constraints=4723 55.67/55.75 c nbDecision=6000 #constraints=5224 67.07/67.19 c restart after 6401 decisions 67.37/67.45 c nbDecision=6500 #constraints=5625 81.36/81.44 c nbDecision=7000 #constraints=6065 97.46/97.57 c nbDecision=7500 #constraints=6566 112.85/112.95 c nbDecision=8000 #constraints=7064 131.24/131.37 c nbDecision=8500 #constraints=7564 148.24/148.33 c nbDecision=9000 #constraints=8066 168.73/168.87 c nbDecision=9500 #constraints=8564 188.42/188.58 c nbDecision=10000 #constraints=9065 210.93/211.01 c nbDecision=10500 #constraints=9564 235.81/235.99 c nbDecision=11000 #constraints=10065 262.81/262.93 c nbDecision=11500 #constraints=10565 291.59/291.77 c nbDecision=12000 #constraints=11065 320.69/320.89 c nbDecision=12500 #constraints=11563 337.38/337.52 c restart after 12801 decisions 341.78/341.90 c nbDecision=13000 #constraints=11907 375.56/375.78 c nbDecision=13500 #constraints=12407 411.75/411.96 c nbDecision=14000 #constraints=12909 449.84/450.05 c nbDecision=14500 #constraints=13409 488.73/488.94 c nbDecision=15000 #constraints=13908 525.11/525.38 c nbDecision=15500 #constraints=14407 562.10/562.37 c nbDecision=16000 #constraints=14909 600.49/600.70 c nbDecision=16500 #constraints=15408 640.67/640.92 c nbDecision=17000 #constraints=15907 680.06/680.38 c nbDecision=17500 #constraints=16408 730.15/730.41 c nbDecision=18000 #constraints=16908 787.23/787.56 c nbDecision=18500 #constraints=17408 833.11/833.42 c nbDecision=19000 #constraints=17908 888.78/889.11 c nbDecision=19500 #constraints=18409 934.77/935.11 c nbDecision=20000 #constraints=18909 994.35/994.73 c nbDecision=20500 #constraints=19408 1055.24/1055.64 c nbDecision=21000 #constraints=19908 1110.92/1111.39 c nbDecision=21500 #constraints=20408 1172.30/1172.71 c nbDecision=22000 #constraints=20908 1232.37/1232.86 c nbDecision=22500 #constraints=21408 1293.56/1294.05 c nbDecision=23000 #constraints=21909 1348.24/1348.80 c nbDecision=23500 #constraints=22409 1413.71/1414.29 c nbDecision=24000 #constraints=22907 1468.92/1469.55 c nbDecision=24500 #constraints=23408 1530.27/1530.96 c nbDecision=25000 #constraints=23909 1602.46/1603.19 c nbDecision=25500 #constraints=24408 1614.25/1614.96 c restart after 25601 decisions 1648.54/1649.21 c nbDecision=26000 #constraints=24752 1715.22/1715.96 c nbDecision=26500 #constraints=25252 1783.89/1784.68 c nbDecision=27000 #constraints=25753 1800.09/1800.80 Received signal 15 1800.09/1800.90 1800.09/1800.90 s UNKNOWN 1800.09/1800.90 1800.09/1800.90 c user time= 1799.94 s 1800.09/1800.90 c system time= 0.25796 s 1800.09/1800.90 c wall clock time=1800.9
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-357460-1177000639 -o ROOT/results/node67/solver-357460-1177000639 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357460-1177000639/instance-357460-1177000639.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/64 10978 /proc/meminfo: memFree=1722592/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=1468 CPUtime=0 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176053385 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 367 164 132 317 0 46 0 [startup+0.0412921 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10978 /proc/meminfo: memFree=1722592/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=1732 CPUtime=0.04 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 239 0 0 0 4 0 0 0 18 0 1 0 176053385 1773568 221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 433 221 139 317 0 112 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1732 [startup+0.101302 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10978 /proc/meminfo: memFree=1722592/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=1996 CPUtime=0.1 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 302 0 0 0 10 0 0 0 18 0 1 0 176053385 2043904 284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274638 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 499 284 139 317 0 178 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1996 [startup+0.301338 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10978 /proc/meminfo: memFree=1722592/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=2520 CPUtime=0.29 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 439 0 0 0 29 0 0 0 20 0 1 0 176053385 2580480 421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 630 421 139 317 0 309 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2520 [startup+0.701411 s] /proc/loadavg: 0.92 0.98 0.99 3/64 10978 /proc/meminfo: memFree=1722592/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=3572 CPUtime=0.69 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 723 0 0 0 69 0 0 0 23 0 1 0 176053385 3657728 705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134558557 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 893 705 139 317 0 572 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3572 [startup+1.50156 s] /proc/loadavg: 0.92 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1719384/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=5416 CPUtime=1.49 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 1186 0 0 0 149 0 0 0 25 0 1 0 176053385 5545984 1168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 1354 1168 139 317 0 1033 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5416 [startup+3.10185 s] /proc/loadavg: 0.92 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1717080/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=8072 CPUtime=3.09 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 1852 0 0 0 308 1 0 0 25 0 1 0 176053385 8265728 1834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 2018 1834 170 317 0 1697 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8072 [startup+6.30144 s] /proc/loadavg: 0.93 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1713688/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=10572 CPUtime=6.29 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 2495 0 0 0 627 2 0 0 25 0 1 0 176053385 10825728 2477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 2643 2477 170 317 0 2322 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10572 [startup+12.7016 s] /proc/loadavg: 0.93 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1709600/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=14728 CPUtime=12.69 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 3418 0 0 0 1266 3 0 0 25 0 1 0 176053385 15081472 3400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 3682 3400 170 317 0 3361 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14728 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1705056/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=18824 CPUtime=25.48 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 4517 0 0 0 2544 4 0 0 25 0 1 0 176053385 19275776 4499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 4706 4499 170 317 0 4385 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18824 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1698976/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=25672 CPUtime=51.07 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 6047 0 0 0 5102 5 0 0 25 0 1 0 176053385 26288128 6029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 6418 6029 170 317 0 6097 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25672 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1691360/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=33048 CPUtime=102.26 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 7907 0 0 0 10219 7 0 0 25 0 1 0 176053385 33841152 7889 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 8262 7889 170 317 0 7941 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 33048 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10979 /proc/meminfo: memFree=1682976/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=42596 CPUtime=162.23 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 10045 0 0 0 16215 8 0 0 25 0 1 0 176053385 43618304 9970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 10649 9970 170 317 0 10328 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42596 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1676704/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=49440 CPUtime=222.22 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 11609 0 0 0 22213 9 0 0 25 0 1 0 176053385 50626560 11534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 12360 11534 170 317 0 12039 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 49440 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1671968/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=54320 CPUtime=282.19 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 12802 0 0 0 28210 9 0 0 25 0 1 0 176053385 55623680 12727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 13580 12727 170 317 0 13259 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 54320 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1667488/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=58560 CPUtime=342.18 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 13899 0 0 0 34208 10 0 0 25 0 1 0 176053385 59965440 13824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 14640 13824 170 317 0 14319 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 58560 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1663904/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=62072 CPUtime=402.16 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 14809 0 0 0 40205 11 0 0 25 0 1 0 176053385 63561728 14734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 15518 14734 170 317 0 15197 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 62072 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1660512/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=65092 CPUtime=462.13 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 15645 0 0 0 46202 11 0 0 25 0 1 0 176053385 66654208 15570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 16273 15570 170 317 0 15952 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 65092 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1657248/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=68220 CPUtime=522.11 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 16479 0 0 0 52199 12 0 0 25 0 1 0 176053385 69857280 16404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 17055 16404 170 317 0 16734 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 68220 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1653920/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=71352 CPUtime=582.09 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 17292 0 0 0 58196 13 0 0 25 0 1 0 176053385 73064448 17217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 17838 17217 170 317 0 17517 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 71352 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1650528/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=74536 CPUtime=642.08 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 18129 0 0 0 64194 14 0 0 25 0 1 0 176053385 76324864 18054 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 18634 18054 170 317 0 18313 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 74536 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1639328/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=90212 CPUtime=881.99 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 21842 0 0 0 88182 17 0 0 25 0 1 0 176053385 92377088 20829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 22553 20829 170 317 0 22232 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 90212 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1636448/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=93200 CPUtime=941.97 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 22726 0 0 0 94179 18 0 0 25 0 1 0 176053385 95436800 21548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 23300 21548 170 317 0 22979 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 93200 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1634208/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=96184 CPUtime=1001.95 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 23447 0 0 0 100177 18 0 0 25 0 1 0 176053385 98492416 22104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 24046 22104 170 317 0 23725 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 96184 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1631968/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=99056 CPUtime=1061.93 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 24059 0 0 0 106174 19 0 0 25 0 1 0 176053385 101433344 22650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718324 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 24764 22650 170 317 0 24443 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 99056 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1629408/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=101632 CPUtime=1121.91 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 24717 0 0 0 112171 20 0 0 25 0 1 0 176053385 104071168 23308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 25408 23308 170 317 0 25087 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 101632 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1627360/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=103316 CPUtime=1181.89 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 25209 0 0 0 118168 21 0 0 25 0 1 0 176053385 105795584 23800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 25829 23800 170 317 0 25508 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 103316 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1625312/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=105408 CPUtime=1241.87 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 25776 0 0 0 124166 21 0 0 25 0 1 0 176053385 107937792 24334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 26352 24334 170 317 0 26031 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 105408 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1622944/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=107636 CPUtime=1301.86 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 26370 0 0 0 130164 22 0 0 25 0 1 0 176053385 110219264 24895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 26909 24895 170 317 0 26588 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 107636 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1620832/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=109596 CPUtime=1361.83 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 26923 0 0 0 136161 22 0 0 25 0 1 0 176053385 112226304 25448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 27399 25448 170 317 0 27078 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 109596 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 10981 /proc/meminfo: memFree=1618784/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=111428 CPUtime=1421.81 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 27445 0 0 0 142159 22 0 0 25 0 1 0 176053385 114102272 25970 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 27857 25970 170 317 0 27536 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 111428 [startup+1482.3 s] /proc/loadavg: 1.04 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1616096/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=113784 CPUtime=1481.69 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 28103 0 0 0 148146 23 0 0 25 0 1 0 176053385 116514816 26595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 28446 26595 170 317 0 28125 0 Current children cumulated CPU time (s) 1481.69 Current children cumulated vsize (KiB) 113784 [startup+1542.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1614176/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=115608 CPUtime=1541.67 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 28608 0 0 0 154144 23 0 0 25 0 1 0 176053385 118382592 27067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 28902 27067 170 317 0 28581 0 Current children cumulated CPU time (s) 1541.67 Current children cumulated vsize (KiB) 115608 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1612384/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=117176 CPUtime=1601.66 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 29070 0 0 0 160142 24 0 0 25 0 1 0 176053385 119988224 27529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 29294 27529 170 317 0 28973 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 117176 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1610464/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=118924 CPUtime=1661.63 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 29566 0 0 0 166139 24 0 0 25 0 1 0 176053385 121778176 27992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 29731 27992 170 317 0 29410 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 118924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1608480/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=120756 CPUtime=1721.61 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 30093 0 0 0 172136 25 0 0 25 0 1 0 176053385 123654144 28486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 30189 28486 170 317 0 29868 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 120756 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1606496/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=122732 CPUtime=1781.59 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 30641 0 0 0 178134 25 0 0 25 0 1 0 176053385 125677568 28968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 30683 28968 170 317 0 30362 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 122732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1605856/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=123256 CPUtime=1800.09 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 30798 0 0 0 179984 25 0 0 25 0 1 0 176053385 126214144 29125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 30814 29125 170 317 0 30493 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 123256 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.91 s] /proc/loadavg: 1.00 1.00 1.00 2/65 11179 /proc/meminfo: memFree=1605856/2055920 swapFree=4179676/4192956 [pid=10978] ppid=10976 vsize=123388 CPUtime=1800.19 /proc/10978/stat : 10978 (oree) R 10976 10978 10550 0 -1 4194304 30815 0 0 0 179994 25 0 0 25 0 1 0 176053385 126349312 29142 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271308 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10978/statm: 30847 29142 186 317 0 30526 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 123388 Child status: 0 Real time (s): 1800.93 CPU time (s): 1800.22 CPU user time (s): 1799.94 CPU system time (s): 0.277957 CPU usage (%): 99.9607 Max. virtual memory (cumulated for all children) (KiB): 123388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.94 system time used= 0.277957 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30815 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= 2094 runsolver used 1.24181 second user time and 3.74643 second system time The end
Begin job on node67 on Thu Apr 19 16:37:19 UTC 2007 IDJOB= 357460 IDBENCH= 2895 IDSOLVER= 172 FILE ID= node67/357460-1177000639 PBS_JOBID= 4630476 Free space on /tmp= 66455 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_8_70_2.opb COMMAND LINE= oree /tmp/evaluation/357460-1177000639/instance-357460-1177000639.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-357460-1177000639 -o ROOT/results/node67/solver-357460-1177000639 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357460-1177000639/instance-357460-1177000639.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED= 793238176 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1723000 kB Buffers: 27416 kB Cached: 252536 kB SwapCached: 7008 kB Active: 82160 kB Inactive: 210596 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1723000 kB SwapTotal: 4192956 kB SwapFree: 4179676 kB Dirty: 1308 kB Writeback: 0 kB Mapped: 15464 kB Slab: 26108 kB Committed_AS: 280716 kB PageTables: 1452 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= 66455 MiB End job on node67 on Thu Apr 19 17:07:22 UTC 2007