Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.33 | 1800.88 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_2.opb |
MD5SUM | b690996610ff381ef60353517fe5a0e9 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 6 |
Best CPU time to get the best result obtained on this benchmark | 1802.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 6 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
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 | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
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 | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4389 |
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=146 #constraints=13 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.24 c restart after 401 decisions 0.19/0.25 c nbDecision=500 #constraints=299 0.59/0.63 c restart after 801 decisions 0.69/0.77 c nbDecision=1000 #constraints=664 1.79/1.80 c nbDecision=1500 #constraints=1161 2.09/2.11 c restart after 1601 decisions 2.99/3.07 c nbDecision=2000 #constraints=1545 5.59/5.67 c nbDecision=2500 #constraints=2046 9.19/9.29 c nbDecision=3000 #constraints=2545 10.79/10.86 c restart after 3201 decisions 12.78/12.83 c nbDecision=3500 #constraints=2929 17.89/17.97 c nbDecision=4000 #constraints=3427 24.89/24.91 c nbDecision=4500 #constraints=3924 33.08/33.14 c nbDecision=5000 #constraints=4423 42.28/42.38 c nbDecision=5500 #constraints=4921 52.58/52.70 c nbDecision=6000 #constraints=5422 62.27/62.35 c restart after 6401 decisions 62.58/62.63 c nbDecision=6500 #constraints=5820 77.57/77.66 c nbDecision=7000 #constraints=6302 94.47/94.53 c nbDecision=7500 #constraints=6799 111.06/111.17 c nbDecision=8000 #constraints=7300 129.56/129.64 c nbDecision=8500 #constraints=7800 149.76/149.83 c nbDecision=9000 #constraints=8300 169.75/169.81 c nbDecision=9500 #constraints=8793 193.14/193.28 c nbDecision=10000 #constraints=9291 217.24/217.37 c nbDecision=10500 #constraints=9791 241.34/241.42 c nbDecision=11000 #constraints=10291 267.72/267.89 c nbDecision=11500 #constraints=10792 295.22/295.38 c nbDecision=12000 #constraints=11292 320.81/320.95 c nbDecision=12500 #constraints=11794 338.31/338.49 c restart after 12801 decisions 344.71/344.82 c nbDecision=13000 #constraints=12177 378.39/378.50 c nbDecision=13500 #constraints=12674 409.59/409.71 c nbDecision=14000 #constraints=13174 442.58/442.75 c nbDecision=14500 #constraints=13676 473.98/474.12 c nbDecision=15000 #constraints=14176 507.37/507.53 c nbDecision=15500 #constraints=14674 542.55/542.80 c nbDecision=16000 #constraints=15174 578.05/578.22 c nbDecision=16500 #constraints=15675 616.24/616.43 c nbDecision=17000 #constraints=16175 648.83/649.02 c nbDecision=17500 #constraints=16675 692.52/692.78 c nbDecision=18000 #constraints=17175 736.51/736.75 c nbDecision=18500 #constraints=17674 783.30/783.53 c nbDecision=19000 #constraints=18176 828.89/829.14 c nbDecision=19500 #constraints=18674 871.87/872.11 c nbDecision=20000 #constraints=19175 917.06/917.34 c nbDecision=20500 #constraints=19677 964.55/964.86 c nbDecision=21000 #constraints=20174 1017.74/1018.09 c nbDecision=21500 #constraints=20675 1069.93/1070.28 c nbDecision=22000 #constraints=21176 1120.91/1121.29 c nbDecision=22500 #constraints=21674 1172.90/1173.24 c nbDecision=23000 #constraints=22176 1223.13/1223.54 c nbDecision=23500 #constraints=22673 1277.37/1277.81 c nbDecision=24000 #constraints=23174 1330.87/1331.31 c nbDecision=24500 #constraints=23675 1386.25/1386.70 c nbDecision=25000 #constraints=24176 1440.44/1440.94 c nbDecision=25500 #constraints=24675 1451.93/1452.42 c restart after 25601 decisions 1494.22/1494.70 c nbDecision=26000 #constraints=25059 1555.71/1556.20 c nbDecision=26500 #constraints=25558 1621.79/1622.33 c nbDecision=27000 #constraints=26057 1684.28/1684.86 c nbDecision=27500 #constraints=26559 1748.76/1749.38 c nbDecision=28000 #constraints=27059 1800.06/1800.60 Received signal 15 1800.25/1800.85 1800.25/1800.85 s UNKNOWN 1800.25/1800.85 1800.25/1800.85 c user time= 1799.91 s 1800.25/1800.85 c system time= 0.404938 s 1800.25/1800.85 c wall clock time=1800.85
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node4/watcher-357469-1177000859 -o ROOT/results/node4/solver-357469-1177000859 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357469-1177000859/instance-357469-1177000859.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.85 0.97 0.99 3/77 10577 /proc/meminfo: memFree=1708888/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=1468 CPUtime=0 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 176123685 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746933 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 367 176 139 317 0 46 0 [startup+0.078413 s] /proc/loadavg: 0.85 0.97 0.99 3/77 10577 /proc/meminfo: memFree=1708888/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=1860 CPUtime=0.07 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 294 0 0 0 7 0 0 0 18 0 1 0 176123685 1904640 276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 465 276 139 317 0 144 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1860 [startup+0.101415 s] /proc/loadavg: 0.85 0.97 0.99 3/77 10577 /proc/meminfo: memFree=1708888/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=1992 CPUtime=0.09 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 326 0 0 0 9 0 0 0 18 0 1 0 176123685 2039808 308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 498 308 139 317 0 177 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1992 [startup+0.301433 s] /proc/loadavg: 0.85 0.97 0.99 3/77 10577 /proc/meminfo: memFree=1708888/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=2904 CPUtime=0.29 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 535 0 0 0 29 0 0 0 19 0 1 0 176123685 2973696 517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 726 517 139 317 0 405 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2904 [startup+0.701472 s] /proc/loadavg: 0.85 0.97 0.99 3/77 10577 /proc/meminfo: memFree=1708888/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=3960 CPUtime=0.69 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 823 0 0 0 69 0 0 0 23 0 1 0 176123685 4055040 805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 990 805 139 317 0 669 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3960 [startup+1.50155 s] /proc/loadavg: 0.86 0.97 0.99 2/78 10578 /proc/meminfo: memFree=1705488/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=5676 CPUtime=1.49 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 1236 0 0 0 149 0 0 0 25 0 1 0 176123685 5812224 1218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593323 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 1419 1218 139 317 0 1098 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5676 [startup+3.1027 s] /proc/loadavg: 0.86 0.97 0.99 3/78 10578 /proc/meminfo: memFree=1703440/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=7824 CPUtime=3.09 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 1766 0 0 0 309 0 0 0 25 0 1 0 176123685 8011776 1748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 1956 1748 139 317 0 1635 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 7824 [startup+6.30201 s] /proc/loadavg: 0.86 0.97 0.99 2/78 10578 /proc/meminfo: memFree=1700432/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=10540 CPUtime=6.29 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 2392 0 0 0 628 1 0 0 25 0 1 0 176123685 10792960 2374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 2635 2374 139 317 0 2314 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10540 [startup+12.7016 s] /proc/loadavg: 0.88 0.97 0.99 2/78 10578 /proc/meminfo: memFree=1696784/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=13784 CPUtime=12.68 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 3177 0 0 0 1266 2 0 0 25 0 1 0 176123685 14114816 3159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 3446 3159 139 317 0 3125 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13784 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.99 2/78 10578 /proc/meminfo: memFree=1692560/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=17600 CPUtime=25.49 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 4177 0 0 0 2545 4 0 0 25 0 1 0 176123685 18022400 4159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711135 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 4400 4159 139 317 0 4079 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 17600 [startup+51.1013 s] /proc/loadavg: 0.93 0.97 0.99 2/78 10578 /proc/meminfo: memFree=1686608/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=24392 CPUtime=51.08 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 5712 0 0 0 5103 5 0 0 25 0 1 0 176123685 24977408 5694 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 6098 5694 170 317 0 5777 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 24392 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/78 10578 /proc/meminfo: memFree=1680080/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=30664 CPUtime=102.27 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 7311 0 0 0 10220 7 0 0 25 0 1 0 176123685 31399936 7293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 7666 7293 170 317 0 7345 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 30664 [startup+162.302 s] /proc/loadavg: 1.02 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1673616/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=37828 CPUtime=162.26 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 9005 0 0 0 16217 9 0 0 25 0 1 0 176123685 38735872 8930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 9457 8930 170 317 0 9136 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 37828 [startup+222.302 s] /proc/loadavg: 1.01 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1668432/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=43200 CPUtime=222.24 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 10259 0 0 0 22214 10 0 0 25 0 1 0 176123685 44236800 10184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 10800 10184 170 317 0 10479 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 43200 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1663824/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=48216 CPUtime=282.22 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 11410 0 0 0 28211 11 0 0 25 0 1 0 176123685 49373184 11335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 12054 11335 170 317 0 11733 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 48216 [startup+342.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1659536/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=52564 CPUtime=342.21 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 12472 0 0 0 34208 13 0 0 25 0 1 0 176123685 53825536 12397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 13141 12397 170 317 0 12820 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 52564 [startup+402.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1656016/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=55796 CPUtime=402.19 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 13345 0 0 0 40205 14 0 0 25 0 1 0 176123685 57135104 13270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 13949 13270 170 317 0 13628 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 55796 [startup+462.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1652368/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=60056 CPUtime=462.17 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 14295 0 0 0 46202 15 0 0 25 0 1 0 176123685 61497344 14220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 15014 14220 170 317 0 14693 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 60056 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1648976/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=63072 CPUtime=522.16 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 15146 0 0 0 52199 17 0 0 25 0 1 0 176123685 64585728 15071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 15768 15071 170 317 0 15447 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 63072 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1645392/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=66688 CPUtime=582.15 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 16016 0 0 0 58197 18 0 0 25 0 1 0 176123685 68288512 15941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 16672 15941 170 317 0 16351 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 66688 [startup+642.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1641616/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=72252 CPUtime=642.13 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 17309 0 0 0 64194 19 0 0 25 0 1 0 176123685 73986048 16857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 18063 16857 170 317 0 17742 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 72252 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1630928/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=83872 CPUtime=882.08 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 20317 0 0 0 88184 24 0 0 25 0 1 0 176123685 85884928 19535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 20968 19535 170 317 0 20647 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 83872 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 10578 /proc/meminfo: memFree=1628240/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=86484 CPUtime=942.06 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 21036 0 0 0 94181 25 0 0 25 0 1 0 176123685 88559616 20221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 21621 20221 170 317 0 21300 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 86484 [startup+1002.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 10578 /proc/meminfo: memFree=1625360/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=90008 CPUtime=1002.04 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 21848 0 0 0 100178 26 0 0 25 0 1 0 176123685 92168192 20868 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 22502 20868 170 317 0 22181 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 90008 [startup+1062.3 s] /proc/loadavg: 1.02 1.00 1.00 2/78 10578 /proc/meminfo: memFree=1623568/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=91848 CPUtime=1062.03 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 22369 0 0 0 106176 27 0 0 25 0 1 0 176123685 94052352 21356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 22962 21356 170 317 0 22641 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 91848 [startup+1122.3 s] /proc/loadavg: 1.01 1.00 1.00 2/78 10578 /proc/meminfo: memFree=1621392/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=94000 CPUtime=1122.01 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 22950 0 0 0 112173 28 0 0 25 0 1 0 176123685 96256000 21904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 23500 21904 170 317 0 23179 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 94000 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 10578 /proc/meminfo: memFree=1618960/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=96504 CPUtime=1182 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 23555 0 0 0 118171 29 0 0 25 0 1 0 176123685 98820096 22509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 24126 22509 170 317 0 23805 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 96504 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 10748 /proc/meminfo: memFree=1615456/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=98588 CPUtime=1241.9 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 24140 0 0 0 124159 31 0 0 25 0 1 0 176123685 100954112 23061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718671 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 24647 23061 170 317 0 24326 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 98588 [startup+1302.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 10776 /proc/meminfo: memFree=1614416/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=100928 CPUtime=1301.88 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 24750 0 0 0 130156 32 0 0 25 0 1 0 176123685 103350272 23605 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 25232 23605 170 317 0 24911 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 100928 [startup+1362.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 10776 /proc/meminfo: memFree=1612176/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=103028 CPUtime=1361.86 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 25331 0 0 0 136153 33 0 0 25 0 1 0 176123685 105500672 24153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 25757 24153 170 317 0 25436 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 103028 [startup+1422.31 s] /proc/loadavg: 1.09 1.04 1.00 2/78 10776 /proc/meminfo: memFree=1610064/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=105124 CPUtime=1421.85 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 25921 0 0 0 142151 34 0 0 25 0 1 0 176123685 107646976 24710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 26281 24710 170 317 0 25960 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 105124 [startup+1482.3 s] /proc/loadavg: 1.13 1.06 1.01 2/78 10776 /proc/meminfo: memFree=1608336/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=106704 CPUtime=1481.83 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 26355 0 0 0 148148 35 0 0 25 0 1 0 176123685 109264896 25144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 26676 25144 170 317 0 26355 0 Current children cumulated CPU time (s) 1481.83 Current children cumulated vsize (KiB) 106704 [startup+1542.3 s] /proc/loadavg: 1.05 1.04 1.00 2/78 10776 /proc/meminfo: memFree=1606608/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=108268 CPUtime=1541.82 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 26820 0 0 0 154146 36 0 0 25 0 1 0 176123685 110866432 25609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 27067 25609 170 317 0 26746 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 108268 [startup+1602.3 s] /proc/loadavg: 1.02 1.03 1.00 2/78 10776 /proc/meminfo: memFree=1604880/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=109840 CPUtime=1601.8 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 27264 0 0 0 160143 37 0 0 25 0 1 0 176123685 112476160 26053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 27460 26053 170 317 0 27139 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 109840 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 10776 /proc/meminfo: memFree=1602896/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=111672 CPUtime=1661.79 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 27777 0 0 0 166141 38 0 0 25 0 1 0 176123685 114352128 26533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 27918 26533 170 317 0 27597 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 111672 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 10776 /proc/meminfo: memFree=1600720/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=114264 CPUtime=1721.76 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 28359 0 0 0 172138 38 0 0 25 0 1 0 176123685 117006336 27082 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 28566 27082 170 317 0 28245 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 114264 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10776 /proc/meminfo: memFree=1598800/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=115984 CPUtime=1781.75 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 28869 0 0 0 178136 39 0 0 25 0 1 0 176123685 118767616 27559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 28996 27559 170 317 0 28675 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 115984 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10776 /proc/meminfo: memFree=1598224/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=116636 CPUtime=1800.06 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 29034 0 0 0 179966 40 0 0 25 0 1 0 176123685 119435264 27691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 29159 27691 170 317 0 28838 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 116636 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.01 1.00 2/78 10776 /proc/meminfo: memFree=1598224/2055920 swapFree=4153812/4192956 [pid=10577] ppid=10575 vsize=116636 CPUtime=1800.25 /proc/10577/stat : 10577 (oree) R 10575 10577 10520 0 -1 4194304 29035 0 0 0 179985 40 0 0 25 0 1 0 176123685 119435264 27692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/10577/statm: 29159 27692 170 317 0 28838 0 Current children cumulated CPU time (s) 1800.25 Current children cumulated vsize (KiB) 116636 Child status: 0 Real time (s): 1800.88 CPU time (s): 1800.33 CPU user time (s): 1799.91 CPU system time (s): 0.423935 CPU usage (%): 99.9698 Max. virtual memory (cumulated for all children) (KiB): 116636 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.91 system time used= 0.423935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29051 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= 37428 runsolver used 2.12168 second user time and 4.28635 second system time The end
Begin job on node4 on Thu Apr 19 16:40:59 UTC 2007 IDJOB= 357469 IDBENCH= 2908 IDSOLVER= 172 FILE ID= node4/357469-1177000859 PBS_JOBID= 4630500 Free space on /tmp= 66473 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_6_50_2.opb COMMAND LINE= oree /tmp/evaluation/357469-1177000859/instance-357469-1177000859.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-357469-1177000859 -o ROOT/results/node4/solver-357469-1177000859 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357469-1177000859/instance-357469-1177000859.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9 RANDOM SEED= 351888862 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node4.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.218 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 : 5931.00 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.218 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: 1709296 kB Buffers: 37344 kB Cached: 227728 kB SwapCached: 2236 kB Active: 77952 kB Inactive: 209548 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1709296 kB SwapTotal: 4192956 kB SwapFree: 4153812 kB Dirty: 1496 kB Writeback: 0 kB Mapped: 30024 kB Slab: 44564 kB Committed_AS: 5289884 kB PageTables: 1816 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= 66473 MiB End job on node4 on Thu Apr 19 17:11:02 UTC 2007