Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_7_60_4.opb |
MD5SUM | 8206de06d2228a9d751f3cf3a6d7aa05 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | NO |
Number of variables | 172 |
Total number of constraints | 14 |
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 | 14 |
Minimum length of a constraint | 75 |
Maximum length of a constraint | 76 |
Number of terms in the objective function | 112 |
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 | 3570 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1531 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5104 |
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=172 #constraints=15 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.19/0.30 c restart after 401 decisions 0.29/0.30 c nbDecision=500 #constraints=276 0.59/0.69 c restart after 801 decisions 0.79/0.80 c nbDecision=1000 #constraints=596 1.89/1.94 c nbDecision=1500 #constraints=1097 2.09/2.20 c restart after 1601 decisions 2.99/3.02 c nbDecision=2000 #constraints=1458 5.09/5.13 c nbDecision=2500 #constraints=1958 8.49/8.52 c nbDecision=3000 #constraints=2458 10.09/10.16 c restart after 3201 decisions 12.09/12.15 c nbDecision=3500 #constraints=2819 18.39/18.42 c nbDecision=4000 #constraints=3319 25.68/25.70 c nbDecision=4500 #constraints=3819 32.89/32.91 c nbDecision=5000 #constraints=4320 43.28/43.30 c nbDecision=5500 #constraints=4819 53.38/53.47 c nbDecision=6000 #constraints=5319 61.88/61.98 c restart after 6401 decisions 62.18/62.26 c nbDecision=6500 #constraints=5721 74.77/74.83 c nbDecision=7000 #constraints=6180 87.57/87.67 c nbDecision=7500 #constraints=6679 102.36/102.48 c nbDecision=8000 #constraints=7180 116.47/116.58 c nbDecision=8500 #constraints=7680 132.55/132.68 c nbDecision=9000 #constraints=8182 148.05/148.11 c nbDecision=9500 #constraints=8682 171.45/171.57 c nbDecision=10000 #constraints=9180 197.05/197.16 c nbDecision=10500 #constraints=9681 222.94/223.01 c nbDecision=11000 #constraints=10180 247.23/247.30 c nbDecision=11500 #constraints=10680 273.23/273.38 c nbDecision=12000 #constraints=11178 301.42/301.52 c nbDecision=12500 #constraints=11678 319.52/319.62 c restart after 12801 decisions 324.91/325.01 c nbDecision=13000 #constraints=12040 359.61/359.74 c nbDecision=13500 #constraints=12539 392.80/392.96 c nbDecision=14000 #constraints=13038 429.58/429.70 c nbDecision=14500 #constraints=13537 460.08/460.25 c nbDecision=15000 #constraints=14038 492.97/493.19 c nbDecision=15500 #constraints=14539 525.76/525.92 c nbDecision=16000 #constraints=15040 557.16/557.32 c nbDecision=16500 #constraints=15540 599.04/599.29 c nbDecision=17000 #constraints=16039 639.23/639.44 c nbDecision=17500 #constraints=16539 680.52/680.76 c nbDecision=18000 #constraints=17038 717.21/717.49 c nbDecision=18500 #constraints=17539 750.11/750.30 c nbDecision=19000 #constraints=18041 788.70/788.94 c nbDecision=19500 #constraints=18539 825.59/825.82 c nbDecision=20000 #constraints=19040 872.54/872.88 c nbDecision=20500 #constraints=19540 923.46/923.85 c nbDecision=21000 #constraints=20039 971.75/972.16 c nbDecision=21500 #constraints=20540 1023.03/1023.44 c nbDecision=22000 #constraints=21038 1071.73/1072.18 c nbDecision=22500 #constraints=21539 1120.32/1120.71 c nbDecision=23000 #constraints=22038 1166.71/1167.18 c nbDecision=23500 #constraints=22539 1212.09/1212.52 c nbDecision=24000 #constraints=23039 1261.58/1262.05 c nbDecision=24500 #constraints=23538 1306.87/1307.39 c nbDecision=25000 #constraints=24040 1355.56/1356.07 c nbDecision=25500 #constraints=24539 1364.46/1364.97 c restart after 25601 decisions 1407.04/1407.55 c nbDecision=26000 #constraints=24900 1479.13/1479.69 c nbDecision=26500 #constraints=25399 1552.81/1553.40 c nbDecision=27000 #constraints=25899 1627.89/1628.45 c nbDecision=27500 #constraints=26400 1695.68/1696.25 c nbDecision=28000 #constraints=26899 1762.46/1763.02 c nbDecision=28500 #constraints=27399 1800.06/1800.61 Received signal 15 1800.15/1800.72 1800.15/1800.72 s UNKNOWN 1800.15/1800.72 1800.15/1800.72 c user time= 1799.87 s 1800.15/1800.72 c system time= 0.312952 s 1800.15/1800.72 c wall clock time=1800.73
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node52/watcher-357480-1177001196 -o ROOT/results/node52/solver-357480-1177001196 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357480-1177001196/instance-357480-1177001196.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: 1.00 1.00 1.00 3/64 14165 /proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=1468 CPUtime=0 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 54964634 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 367 175 137 317 0 46 0 [startup+0.051299 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14165 /proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=1728 CPUtime=0.04 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 250 0 0 0 4 0 0 0 18 0 1 0 54964634 1769472 232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 432 232 139 317 0 111 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 1728 [startup+0.101302 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14165 /proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=1992 CPUtime=0.09 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 303 0 0 0 9 0 0 0 18 0 1 0 54964634 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 498 285 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.301316 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14165 /proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=2792 CPUtime=0.29 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 504 0 0 0 29 0 0 0 19 0 1 0 54964634 2859008 486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 698 486 139 317 0 377 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2792 [startup+0.701342 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14165 /proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=3976 CPUtime=0.69 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 821 0 0 0 69 0 0 0 23 0 1 0 54964634 4071424 803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 994 803 139 317 0 673 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3976 [startup+1.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1794764/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=5820 CPUtime=1.49 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 1259 0 0 0 149 0 0 0 25 0 1 0 54964634 5959680 1241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 1455 1241 139 317 0 1134 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5820 [startup+3.10151 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1792396/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=8512 CPUtime=3.09 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 1912 0 0 0 309 0 0 0 25 0 1 0 54964634 8716288 1894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 2128 1894 139 317 0 1807 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8512 [startup+6.30172 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1788620/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=11784 CPUtime=6.29 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 2691 0 0 0 628 1 0 0 25 0 1 0 54964634 12066816 2673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 2946 2673 139 317 0 2625 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 11784 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1784780/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=15024 CPUtime=12.69 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 3496 0 0 0 1268 1 0 0 25 0 1 0 54964634 15384576 3478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604419 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 3756 3478 139 317 0 3435 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15024 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1780428/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=18992 CPUtime=25.48 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 4516 0 0 0 2546 2 0 0 25 0 1 0 54964634 19447808 4498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 4748 4498 139 317 0 4427 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18992 [startup+51.1017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1773644/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=26540 CPUtime=51.08 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 6211 0 0 0 5104 4 0 0 25 0 1 0 54964634 27176960 6193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 6635 6193 139 317 0 6314 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 26540 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1765196/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=34556 CPUtime=102.27 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 8295 0 0 0 10221 6 0 0 25 0 1 0 54964634 35385344 8277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 8639 8277 139 317 0 8318 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 34556 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1757004/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=43716 CPUtime=162.25 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 10396 0 0 0 16217 8 0 0 25 0 1 0 54964634 44765184 10321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 10929 10321 139 317 0 10608 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 43716 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1751372/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=50376 CPUtime=222.24 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 11785 0 0 0 22214 10 0 0 25 0 1 0 54964634 51585024 11710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 12594 11710 139 317 0 12273 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 50376 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1746444/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=55044 CPUtime=282.22 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 13022 0 0 0 28211 11 0 0 25 0 1 0 54964634 56365056 12947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 13761 12947 139 317 0 13440 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 55044 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1742284/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=59332 CPUtime=342.2 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 14030 0 0 0 34208 12 0 0 25 0 1 0 54964634 60755968 13955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 14833 13955 139 317 0 14512 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 59332 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1738444/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=62860 CPUtime=402.19 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 14992 0 0 0 40206 13 0 0 25 0 1 0 54964634 64368640 14917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 15715 14917 139 317 0 15394 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 62860 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1734476/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=66536 CPUtime=462.17 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 15982 0 0 0 46204 13 0 0 25 0 1 0 54964634 68132864 15907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 16634 15907 139 317 0 16313 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 66536 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1730572/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=70344 CPUtime=522.16 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 16977 0 0 0 52202 14 0 0 25 0 1 0 54964634 72032256 16902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 17586 16902 139 317 0 17265 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 70344 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1726988/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=73744 CPUtime=582.15 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 17869 0 0 0 58200 15 0 0 25 0 1 0 54964634 75513856 17794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 18436 17794 139 317 0 18115 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 73744 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14166 /proc/meminfo: memFree=1722828/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=80040 CPUtime=642.13 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 19386 0 0 0 64197 16 0 0 25 0 1 0 54964634 81960960 18769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 20010 18769 139 317 0 19689 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 80040 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/71 14274 /proc/meminfo: memFree=1708172/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=94876 CPUtime=882.03 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 23176 0 0 0 88183 20 0 0 25 0 1 0 54964634 97153024 22130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 23719 22130 139 317 0 23398 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 94876 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14364 /proc/meminfo: memFree=1706252/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=99260 CPUtime=941.96 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 24120 0 0 0 94174 22 0 0 25 0 1 0 54964634 101642240 22876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 24815 22876 139 317 0 24494 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 99260 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14364 /proc/meminfo: memFree=1703564/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=101864 CPUtime=1001.94 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 24794 0 0 0 100172 22 0 0 25 0 1 0 54964634 104308736 23550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 25466 23550 139 317 0 25145 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 101864 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14364 /proc/meminfo: memFree=1700684/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=105028 CPUtime=1061.93 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 25542 0 0 0 106170 23 0 0 25 0 1 0 54964634 107548672 24265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 26257 24265 139 317 0 25936 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 105028 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14364 /proc/meminfo: memFree=1697932/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=107756 CPUtime=1121.92 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 26284 0 0 0 112168 24 0 0 25 0 1 0 54964634 110342144 24974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 26939 24974 139 317 0 26618 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 107756 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14364 /proc/meminfo: memFree=1695052/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=110492 CPUtime=1181.9 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 27039 0 0 0 118166 24 0 0 25 0 1 0 54964634 113143808 25696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 27623 25696 139 317 0 27302 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 110492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14364 /proc/meminfo: memFree=1692300/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=112980 CPUtime=1241.89 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 27741 0 0 0 124164 25 0 0 25 0 1 0 54964634 115691520 26365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 28245 26365 139 317 0 27924 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 112980 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1689292/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=115796 CPUtime=1301.88 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 28509 0 0 0 130162 26 0 0 25 0 1 0 54964634 118575104 27100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 28949 27100 139 317 0 28628 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 115796 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1686604/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=118296 CPUtime=1361.86 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 29190 0 0 0 136159 27 0 0 25 0 1 0 54964634 121135104 27781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 29574 27781 139 317 0 29253 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 118296 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1684876/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=119864 CPUtime=1421.84 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 29610 0 0 0 142157 27 0 0 25 0 1 0 54964634 122740736 28201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 29966 28201 139 317 0 29645 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 119864 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1682956/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=121432 CPUtime=1481.83 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 30080 0 0 0 148155 28 0 0 25 0 1 0 54964634 124346368 28671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 30358 28671 139 317 0 30037 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 121432 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1681036/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=123268 CPUtime=1541.82 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 30582 0 0 0 154153 29 0 0 25 0 1 0 54964634 126226432 29140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 30817 29140 139 317 0 30496 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 123268 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1679244/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=124836 CPUtime=1601.8 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 31040 0 0 0 160151 29 0 0 25 0 1 0 54964634 127832064 29598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 31209 29598 139 317 0 30888 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 124836 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1677580/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=126416 CPUtime=1661.78 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 31459 0 0 0 166149 29 0 0 25 0 1 0 54964634 129449984 30017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 31604 30017 139 317 0 31283 0 Current children cumulated CPU time (s) 1661.78 Current children cumulated vsize (KiB) 126416 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1675404/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=128840 CPUtime=1721.76 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32060 0 0 0 172146 30 0 0 25 0 1 0 54964634 131932160 30552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 32210 30552 139 317 0 31889 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 128840 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1673228/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=130708 CPUtime=1781.75 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32596 0 0 0 178144 31 0 0 25 0 1 0 54964634 133844992 31088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 32677 31088 139 317 0 32356 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 130708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1672588/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=131236 CPUtime=1800.06 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32745 0 0 0 179975 31 0 0 25 0 1 0 54964634 134385664 31237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 32809 31237 139 317 0 32488 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 131236 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14366 /proc/meminfo: memFree=1672588/2055920 swapFree=4182956/4192956 [pid=14165] ppid=14163 vsize=131236 CPUtime=1800.15 /proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32746 0 0 0 179984 31 0 0 25 0 1 0 54964634 134385664 31238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/14165/statm: 32809 31238 139 317 0 32488 0 Current children cumulated CPU time (s) 1800.15 Current children cumulated vsize (KiB) 131236 Child status: 0 Real time (s): 1800.75 CPU time (s): 1800.21 CPU user time (s): 1799.87 CPU system time (s): 0.333949 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 131236 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.87 system time used= 0.333949 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 32762 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= 3712 runsolver used 1.22481 second user time and 3.76343 second system time The end
Begin job on node52 on Thu Apr 19 16:46:36 UTC 2007 IDJOB= 357480 IDBENCH= 2921 IDSOLVER= 172 FILE ID= node52/357480-1177001196 PBS_JOBID= 4630454 Free space on /tmp= 66312 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_7_60_4.opb COMMAND LINE= oree /tmp/evaluation/357480-1177001196/instance-357480-1177001196.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node52/watcher-357480-1177001196 -o ROOT/results/node52/solver-357480-1177001196 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357480-1177001196/instance-357480-1177001196.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8206de06d2228a9d751f3cf3a6d7aa05 RANDOM SEED= 582132869 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node52.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.236 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.236 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: 1798572 kB Buffers: 13056 kB Cached: 195272 kB SwapCached: 3832 kB Active: 64928 kB Inactive: 153032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1798572 kB SwapTotal: 4192956 kB SwapFree: 4182956 kB Dirty: 1312 kB Writeback: 0 kB Mapped: 15612 kB Slab: 25336 kB Committed_AS: 1630408 kB PageTables: 1484 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= 66312 MiB End job on node52 on Thu Apr 19 17:16:38 UTC 2007