Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.79 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_1.opb |
MD5SUM | ae75c4a4fdafb98542bd11b7f7eecd54 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3258 |
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=41 #constraints=12 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.26 c restart after 401 decisions 0.29/0.33 c nbDecision=500 #constraints=482 0.59/0.64 c restart after 801 decisions 0.90/0.91 c nbDecision=1000 #constraints=966 1.79/1.81 c nbDecision=1500 #constraints=1466 2.10/2.12 c restart after 1601 decisions 3.29/3.35 c nbDecision=2000 #constraints=1954 5.39/5.48 c nbDecision=2500 #constraints=2453 8.69/8.72 c nbDecision=3000 #constraints=2954 10.29/10.30 c restart after 3201 decisions 13.49/13.51 c nbDecision=3500 #constraints=3437 19.79/19.80 c nbDecision=4000 #constraints=3938 27.08/27.12 c nbDecision=4500 #constraints=4437 33.68/33.72 c nbDecision=5000 #constraints=4938 44.08/44.19 c nbDecision=5500 #constraints=5437 57.48/57.55 c nbDecision=6000 #constraints=5938 68.38/68.43 c restart after 6401 decisions 71.08/71.16 c nbDecision=6500 #constraints=6425 86.67/86.77 c nbDecision=7000 #constraints=6924 101.86/101.96 c nbDecision=7500 #constraints=7426 118.16/118.23 c nbDecision=8000 #constraints=7924 134.86/134.98 c nbDecision=8500 #constraints=8424 153.46/153.54 c nbDecision=9000 #constraints=8924 170.46/170.51 c nbDecision=9500 #constraints=9422 188.95/189.10 c nbDecision=10000 #constraints=9923 207.84/207.97 c nbDecision=10500 #constraints=10423 228.93/229.05 c nbDecision=11000 #constraints=10921 253.03/253.12 c nbDecision=11500 #constraints=11422 277.03/277.10 c nbDecision=12000 #constraints=11923 300.92/301.04 c nbDecision=12500 #constraints=12421 315.31/315.49 c restart after 12801 decisions 325.61/325.77 c nbDecision=13000 #constraints=12909 352.40/352.56 c nbDecision=13500 #constraints=13408 379.60/379.74 c nbDecision=14000 #constraints=13907 409.59/409.72 c nbDecision=14500 #constraints=14408 437.49/437.63 c nbDecision=15000 #constraints=14908 469.07/469.24 c nbDecision=15500 #constraints=15408 499.87/500.00 c nbDecision=16000 #constraints=15907 534.06/534.27 c nbDecision=16500 #constraints=16406 565.16/565.33 c nbDecision=17000 #constraints=16904 598.65/598.86 c nbDecision=17500 #constraints=17405 633.53/633.70 c nbDecision=18000 #constraints=17905 666.93/667.10 c nbDecision=18500 #constraints=18404 700.63/700.89 c nbDecision=19000 #constraints=18905 734.71/734.99 c nbDecision=19500 #constraints=19405 772.01/772.27 c nbDecision=20000 #constraints=19903 815.39/815.68 c nbDecision=20500 #constraints=20403 868.88/869.12 c nbDecision=21000 #constraints=20903 920.17/920.49 c nbDecision=21500 #constraints=21404 965.75/966.05 c nbDecision=22000 #constraints=21903 1012.54/1012.84 c nbDecision=22500 #constraints=22404 1071.54/1071.84 c nbDecision=23000 #constraints=22904 1127.07/1127.49 c nbDecision=23500 #constraints=23402 1183.31/1183.79 c nbDecision=24000 #constraints=23902 1233.30/1233.71 c nbDecision=24500 #constraints=24402 1278.98/1279.42 c nbDecision=25000 #constraints=24901 1333.67/1334.15 c nbDecision=25500 #constraints=25401 1343.17/1343.65 c restart after 25601 decisions 1387.76/1388.30 c nbDecision=26000 #constraints=25887 1442.15/1442.62 c nbDecision=26500 #constraints=26389 1493.34/1493.80 c nbDecision=27000 #constraints=26886 1563.82/1564.35 c nbDecision=27500 #constraints=27387 1633.20/1633.72 c nbDecision=28000 #constraints=27887 1693.68/1694.24 c nbDecision=28500 #constraints=28390 1752.67/1753.25 c nbDecision=29000 #constraints=28887 1800.07/1800.60 Received signal 15 1800.17/1800.77 1800.17/1800.77 s UNKNOWN 1800.17/1800.77 1800.17/1800.77 c user time= 1800.1 s 1800.17/1800.77 c system time= 0.143978 s 1800.17/1800.77 c wall clock time=1800.78
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node51/watcher-357474-1177000952 -o ROOT/results/node51/solver-357474-1177000952 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357474-1177000952/instance-357474-1177000952.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 18071 /proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=1468 CPUtime=0 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 54940288 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604848 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 367 167 138 317 0 46 0 [startup+0.0543679 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18071 /proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=1596 CPUtime=0.05 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 228 0 0 0 5 0 0 0 18 0 1 0 54940288 1634304 210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 399 210 138 317 0 78 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1596 [startup+0.10137 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18071 /proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=1856 CPUtime=0.09 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 267 0 0 0 9 0 0 0 18 0 1 0 54940288 1900544 249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 464 249 138 317 0 143 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1856 [startup+0.301389 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18071 /proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=2248 CPUtime=0.29 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 392 0 0 0 29 0 0 0 19 0 1 0 54940288 2301952 374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 562 374 138 317 0 241 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2248 [startup+0.701425 s] /proc/loadavg: 0.92 0.98 0.99 3/64 18071 /proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=3032 CPUtime=0.69 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 579 0 0 0 69 0 0 0 23 0 1 0 54940288 3104768 561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 758 561 138 317 0 437 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3032 [startup+1.5015 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1664408/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=4000 CPUtime=1.49 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 824 0 0 0 149 0 0 0 25 0 1 0 54940288 4096000 806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 1000 806 138 317 0 679 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4000 [startup+3.10164 s] /proc/loadavg: 0.92 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1663192/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=5188 CPUtime=3.09 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 1104 0 0 0 309 0 0 0 25 0 1 0 54940288 5312512 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 1297 1086 138 317 0 976 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5188 [startup+6.30193 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1661400/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=6644 CPUtime=6.29 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 1464 0 0 0 629 0 0 0 25 0 1 0 54940288 6803456 1446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 1661 1446 138 317 0 1340 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6644 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1659680/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=8272 CPUtime=12.69 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 1829 0 0 0 1268 1 0 0 25 0 1 0 54940288 8470528 1811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 2068 1811 138 317 0 1747 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 8272 [startup+25.5017 s] /proc/loadavg: 0.95 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1657888/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=10260 CPUtime=25.48 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 2290 0 0 0 2547 1 0 0 25 0 1 0 54940288 10506240 2272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 2565 2272 138 317 0 2244 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 10260 [startup+51.102 s] /proc/loadavg: 0.96 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1655264/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=12808 CPUtime=51.08 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 2918 0 0 0 5105 3 0 0 25 0 1 0 54940288 13115392 2900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 3202 2900 138 317 0 2881 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12808 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1652128/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=15896 CPUtime=102.27 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 3692 0 0 0 10224 3 0 0 25 0 1 0 54940288 16277504 3674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 3974 3674 139 317 0 3653 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 15896 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1648928/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=19804 CPUtime=162.26 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 4552 0 0 0 16222 4 0 0 25 0 1 0 54940288 20279296 4477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 4951 4477 139 317 0 4630 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 19804 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1645856/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=22968 CPUtime=222.23 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 5289 0 0 0 22219 4 0 0 25 0 1 0 54940288 23519232 5214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 5742 5214 139 317 0 5421 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22968 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1643616/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=25056 CPUtime=282.22 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 5852 0 0 0 28217 5 0 0 25 0 1 0 54940288 25657344 5777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 6264 5777 139 317 0 5943 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 25056 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1641440/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=27224 CPUtime=342.2 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 6392 0 0 0 34215 5 0 0 25 0 1 0 54940288 27877376 6317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 6806 6317 139 317 0 6485 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 27224 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1639392/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=29176 CPUtime=402.19 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 6889 0 0 0 40213 6 0 0 25 0 1 0 54940288 29876224 6814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 7294 6814 139 317 0 6973 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 29176 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1637536/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=31204 CPUtime=462.18 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 7363 0 0 0 46212 6 0 0 25 0 1 0 54940288 31952896 7288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 7801 7288 139 317 0 7480 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 31204 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1635808/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=32896 CPUtime=522.17 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 7841 0 0 0 52210 7 0 0 25 0 1 0 54940288 33685504 7766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 8224 7766 170 317 0 7903 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 32896 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1633824/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=35460 CPUtime=582.15 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 8437 0 0 0 58208 7 0 0 25 0 1 0 54940288 36311040 8249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 8865 8249 170 317 0 8544 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 35460 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1632160/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=37448 CPUtime=642.14 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 8866 0 0 0 64207 7 0 0 25 0 1 0 54940288 38346752 8645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718522 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 9362 8645 170 317 0 9041 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 37448 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1626784/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=42616 CPUtime=882.08 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 10212 0 0 0 88199 9 0 0 25 0 1 0 54940288 43638784 9991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 10654 9991 170 317 0 10333 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 42616 [startup+942.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1625760/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=43528 CPUtime=942.06 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 10478 0 0 0 94197 9 0 0 25 0 1 0 54940288 44572672 10257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 10882 10257 170 317 0 10561 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 43528 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1624608/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=44716 CPUtime=1002.05 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 10763 0 0 0 100196 9 0 0 25 0 1 0 54940288 45789184 10542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 11179 10542 170 317 0 10858 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 44716 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18072 /proc/meminfo: memFree=1623776/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=45624 CPUtime=1062.04 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11016 0 0 0 106194 10 0 0 25 0 1 0 54940288 46718976 10762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 11406 10762 170 317 0 11085 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 45624 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/71 18154 /proc/meminfo: memFree=1621480/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=46568 CPUtime=1121.99 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11252 0 0 0 112188 11 0 0 25 0 1 0 54940288 47685632 10998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 11642 10998 170 317 0 11321 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 46568 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18270 /proc/meminfo: memFree=1621656/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=47480 CPUtime=1181.91 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11468 0 0 0 118179 12 0 0 25 0 1 0 54940288 48619520 11214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 11870 11214 170 317 0 11549 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 47480 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18270 /proc/meminfo: memFree=1620504/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=48792 CPUtime=1241.89 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11818 0 0 0 124177 12 0 0 25 0 1 0 54940288 49963008 11498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 12198 11498 170 317 0 11877 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 48792 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18270 /proc/meminfo: memFree=1619416/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=50100 CPUtime=1301.88 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 12148 0 0 0 130176 12 0 0 25 0 1 0 54940288 51302400 11762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 12525 11762 170 317 0 12204 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 50100 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 18270 /proc/meminfo: memFree=1618456/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=51136 CPUtime=1361.86 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 12451 0 0 0 136174 12 0 0 25 0 1 0 54940288 52363264 11999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 12784 11999 170 317 0 12463 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 51136 [startup+1422.3 s] /proc/loadavg: 1.03 1.00 1.00 2/65 18270 /proc/meminfo: memFree=1617304/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=52320 CPUtime=1421.86 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 12725 0 0 0 142173 13 0 0 25 0 1 0 54940288 53575680 12273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 13080 12273 170 317 0 12759 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 52320 [startup+1482.3 s] /proc/loadavg: 1.17 1.04 1.01 2/65 18270 /proc/meminfo: memFree=1616224/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=53596 CPUtime=1481.84 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13047 0 0 0 148171 13 0 0 25 0 1 0 54940288 54882304 12562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 13399 12562 170 317 0 13078 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 53596 [startup+1542.3 s] /proc/loadavg: 1.06 1.03 1.00 2/65 18272 /proc/meminfo: memFree=1615392/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=54380 CPUtime=1541.82 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13242 0 0 0 154169 13 0 0 25 0 1 0 54940288 55685120 12757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 13595 12757 170 317 0 13274 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 54380 [startup+1602.3 s] /proc/loadavg: 1.02 1.02 1.00 2/65 18272 /proc/meminfo: memFree=1614688/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=55032 CPUtime=1601.81 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13449 0 0 0 160168 13 0 0 25 0 1 0 54940288 56352768 12931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 13758 12931 170 317 0 13437 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 55032 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 18272 /proc/meminfo: memFree=1613856/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=56468 CPUtime=1661.79 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13770 0 0 0 166166 13 0 0 25 0 1 0 54940288 57823232 13120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 14117 13120 170 317 0 13796 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 56468 [startup+1722.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18272 /proc/meminfo: memFree=1613024/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=57540 CPUtime=1721.77 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14018 0 0 0 172164 13 0 0 25 0 1 0 54940288 58920960 13368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563891 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 14385 13368 170 317 0 14064 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 57540 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 18272 /proc/meminfo: memFree=1611936/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=58844 CPUtime=1781.76 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14341 0 0 0 178162 14 0 0 25 0 1 0 54940288 60256256 13625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 14711 13625 170 317 0 14390 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 58844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 18272 /proc/meminfo: memFree=1611744/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=59100 CPUtime=1800.07 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14404 0 0 0 179993 14 0 0 25 0 1 0 54940288 60518400 13688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 14775 13688 170 317 0 14454 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 59100 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 18272 /proc/meminfo: memFree=1611744/2055920 swapFree=4183244/4192956 [pid=18071] ppid=18069 vsize=59100 CPUtime=1800.17 /proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14404 0 0 0 180003 14 0 0 25 0 1 0 54940288 60518400 13688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18071/statm: 14775 13688 170 317 0 14454 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 59100 Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.26 CPU user time (s): 1800.1 CPU system time (s): 0.152976 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 59100 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.1 system time used= 0.152976 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 14420 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= 1703 runsolver used 1.38179 second user time and 3.63245 second system time The end
Begin job on node51 on Thu Apr 19 16:42:32 UTC 2007 IDJOB= 357474 IDBENCH= 2913 IDSOLVER= 172 FILE ID= node51/357474-1177000952 PBS_JOBID= 4630484 Free space on /tmp= 66461 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-market-split_5_40_1.opb COMMAND LINE= oree /tmp/evaluation/357474-1177000952/instance-357474-1177000952.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-357474-1177000952 -o ROOT/results/node51/solver-357474-1177000952 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357474-1177000952/instance-357474-1177000952.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= ae75c4a4fdafb98542bd11b7f7eecd54 RANDOM SEED= 606387918 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node51.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.223 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.223 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: 1666936 kB Buffers: 27008 kB Cached: 314072 kB SwapCached: 3544 kB Active: 215388 kB Inactive: 135128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1666936 kB SwapTotal: 4192956 kB SwapFree: 4183244 kB Dirty: 1304 kB Writeback: 0 kB Mapped: 15400 kB Slab: 24488 kB Committed_AS: 2633728 kB PageTables: 1408 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= 66461 MiB End job on node51 on Thu Apr 19 17:12:34 UTC 2007