Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.1 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_1.opb |
MD5SUM | 8dbaef61ba32642517e0b17ac09a002e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 24.3463 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
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 | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
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 | 851 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2553 |
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=31 #constraints=10 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.10/0.18 c restart after 401 decisions 0.20/0.25 c nbDecision=500 #constraints=490 0.40/0.48 c restart after 801 decisions 0.60/0.68 c nbDecision=1000 #constraints=981 1.19/1.29 c nbDecision=1500 #constraints=1480 1.39/1.48 c restart after 1601 decisions 2.29/2.35 c nbDecision=2000 #constraints=1972 3.79/3.82 c nbDecision=2500 #constraints=2471 5.89/5.91 c nbDecision=3000 #constraints=2970 6.79/6.89 c restart after 3201 decisions 8.89/8.96 c nbDecision=3500 #constraints=3461 12.99/13.02 c nbDecision=4000 #constraints=3962 18.28/18.38 c nbDecision=4500 #constraints=4462 24.88/24.94 c nbDecision=5000 #constraints=4962 32.38/32.45 c nbDecision=5500 #constraints=5462 39.98/40.05 c nbDecision=6000 #constraints=5959 47.18/47.24 c restart after 6401 decisions 48.97/49.09 c nbDecision=6500 #constraints=6451 57.27/57.30 c nbDecision=7000 #constraints=6950 66.57/66.66 c nbDecision=7500 #constraints=7451 77.67/77.76 c nbDecision=8000 #constraints=7951 89.46/89.58 c nbDecision=8500 #constraints=8450 103.96/104.08 c nbDecision=9000 #constraints=8950 117.35/117.46 c nbDecision=9500 #constraints=9451 131.55/131.69 c nbDecision=10000 #constraints=9950 147.45/147.52 c nbDecision=10500 #constraints=10450 162.24/162.34 c nbDecision=11000 #constraints=10951 178.93/179.05 c nbDecision=11500 #constraints=11451 199.53/199.60 c nbDecision=12000 #constraints=11952 219.12/219.27 c nbDecision=12500 #constraints=12452 231.51/231.61 c restart after 12801 decisions 239.02/239.17 c nbDecision=13000 #constraints=12943 260.51/260.60 c nbDecision=13500 #constraints=13443 283.00/283.16 c nbDecision=14000 #constraints=13943 304.50/304.62 c nbDecision=14500 #constraints=14441 326.78/326.92 c nbDecision=15000 #constraints=14941 349.98/350.14 c nbDecision=15500 #constraints=15440 376.47/376.63 c nbDecision=16000 #constraints=15941 404.36/404.52 c nbDecision=16500 #constraints=16440 432.75/432.90 c nbDecision=17000 #constraints=16944 463.44/463.66 c nbDecision=17500 #constraints=17439 490.84/491.08 c nbDecision=18000 #constraints=17940 520.93/521.18 c nbDecision=18500 #constraints=18440 552.32/552.54 c nbDecision=19000 #constraints=18941 584.21/584.43 c nbDecision=19500 #constraints=19440 623.50/623.76 c nbDecision=20000 #constraints=19939 663.68/663.92 c nbDecision=20500 #constraints=20438 699.47/699.72 c nbDecision=21000 #constraints=20939 733.85/734.19 c nbDecision=21500 #constraints=21439 772.95/773.29 c nbDecision=22000 #constraints=21940 806.54/806.85 c nbDecision=22500 #constraints=22440 843.62/843.93 c nbDecision=23000 #constraints=22938 881.01/881.32 c nbDecision=23500 #constraints=23438 915.70/916.03 c nbDecision=24000 #constraints=23940 953.40/953.73 c nbDecision=24500 #constraints=24439 992.18/992.51 c nbDecision=25000 #constraints=24939 1036.06/1036.40 c nbDecision=25500 #constraints=25437 1044.36/1044.73 c restart after 25601 decisions 1082.35/1082.71 c nbDecision=26000 #constraints=25929 1128.53/1128.98 c nbDecision=26500 #constraints=26427 1181.52/1181.95 c nbDecision=27000 #constraints=26929 1230.51/1230.94 c nbDecision=27500 #constraints=27429 1279.08/1279.63 c nbDecision=28000 #constraints=27928 1331.96/1332.57 c nbDecision=28500 #constraints=28431 1385.54/1386.11 c nbDecision=29000 #constraints=28928 1442.42/1443.02 c nbDecision=29500 #constraints=29427 1496.01/1496.62 c nbDecision=30000 #constraints=29928 1547.59/1548.23 c nbDecision=30500 #constraints=30427 1604.18/1604.85 c nbDecision=31000 #constraints=30928 1659.85/1660.57 c nbDecision=31500 #constraints=31427 1715.84/1716.59 c nbDecision=32000 #constraints=31928 1772.22/1772.94 c nbDecision=32500 #constraints=32427 1800.02/1800.71 Received signal 15 1800.02/1800.76 1800.02/1800.76 s UNKNOWN 1800.02/1800.76 1800.02/1800.76 c user time= 1799.96 s 1800.02/1800.76 c system time= 0.122981 s 1800.02/1800.76 c wall clock time=1800.76
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node69/watcher-366810-1177000824 -o ROOT/results/node69/solver-366810-1177000824 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366810-1177000824/instance-366810-1177000824.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/64 2771 /proc/meminfo: memFree=1656324/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=1468 CPUtime=0 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 176071873 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593077 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 367 163 138 317 0 46 0 [startup+0.0756689 s] /proc/loadavg: 0.85 0.97 0.99 3/64 2771 /proc/meminfo: memFree=1656324/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=1728 CPUtime=0.07 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 237 0 0 0 7 0 0 0 18 0 1 0 176071873 1769472 219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 432 219 138 317 0 111 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1728 [startup+0.101672 s] /proc/loadavg: 0.85 0.97 0.99 3/64 2771 /proc/meminfo: memFree=1656324/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=1728 CPUtime=0.1 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 253 0 0 0 10 0 0 0 18 0 1 0 176071873 1769472 235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712464 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 432 235 138 317 0 111 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1728 [startup+0.301704 s] /proc/loadavg: 0.85 0.97 0.99 3/64 2771 /proc/meminfo: memFree=1656324/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=2120 CPUtime=0.3 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 394 0 0 0 30 0 0 0 19 0 1 0 176071873 2170880 376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 530 376 169 317 0 209 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 2120 [startup+0.701769 s] /proc/loadavg: 0.85 0.97 0.99 3/64 2771 /proc/meminfo: memFree=1656324/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=2652 CPUtime=0.69 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 526 0 0 0 69 0 0 0 22 0 1 0 176071873 2715648 508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563308 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 663 508 169 317 0 342 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 2652 [startup+1.5019 s] /proc/loadavg: 0.85 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1654524/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=3448 CPUtime=1.49 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 720 0 0 0 149 0 0 0 25 0 1 0 176071873 3530752 702 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 862 702 169 317 0 541 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3448 [startup+3.10116 s] /proc/loadavg: 0.86 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1653692/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=4400 CPUtime=3.09 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 915 0 0 0 309 0 0 0 25 0 1 0 176071873 4505600 897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604164 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 1100 897 169 317 0 779 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4400 [startup+6.30168 s] /proc/loadavg: 0.86 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1652348/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=5468 CPUtime=6.29 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 1170 0 0 0 629 0 0 0 25 0 1 0 176071873 5599232 1152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 1367 1152 169 317 0 1046 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5468 [startup+12.7017 s] /proc/loadavg: 0.88 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1651132/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=6516 CPUtime=12.69 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 1444 0 0 0 1269 0 0 0 25 0 1 0 176071873 6672384 1426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716163 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 1629 1426 170 317 0 1308 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6516 [startup+25.5018 s] /proc/loadavg: 0.90 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1649724/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=8036 CPUtime=25.48 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 1782 0 0 0 2548 0 0 0 25 0 1 0 176071873 8228864 1764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 2009 1764 170 317 0 1688 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 8036 [startup+51.1019 s] /proc/loadavg: 0.93 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1647804/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=9908 CPUtime=51.07 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 2260 0 0 0 5106 1 0 0 25 0 1 0 176071873 10145792 2242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 2477 2242 170 317 0 2156 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9908 [startup+102.305 s] /proc/loadavg: 0.97 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1644924/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=13084 CPUtime=102.26 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 3034 0 0 0 10224 2 0 0 25 0 1 0 176071873 13398016 2959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 3271 2959 170 317 0 2950 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 13084 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1642364/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=15744 CPUtime=162.24 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 3664 0 0 0 16221 3 0 0 25 0 1 0 176071873 16121856 3589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711009 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 3936 3589 170 317 0 3615 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15744 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1640444/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=17736 CPUtime=222.22 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 4130 0 0 0 22219 3 0 0 25 0 1 0 176071873 18161664 4055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713878 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 4434 4055 170 317 0 4113 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 17736 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1638716/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=19592 CPUtime=282.2 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 4565 0 0 0 28216 4 0 0 25 0 1 0 176071873 20062208 4490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 4898 4490 170 317 0 4577 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 19592 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1637052/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=21252 CPUtime=342.19 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 4973 0 0 0 34214 5 0 0 25 0 1 0 176071873 21762048 4898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 5313 4898 170 317 0 4992 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 21252 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1635644/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=22828 CPUtime=402.16 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 5331 0 0 0 40211 5 0 0 25 0 1 0 176071873 23375872 5256 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 5707 5256 170 317 0 5386 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 22828 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1634428/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=24584 CPUtime=462.14 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 5801 0 0 0 46209 5 0 0 25 0 1 0 176071873 25174016 5547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 6146 5547 170 317 0 5825 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 24584 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1633148/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=25796 CPUtime=522.13 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 6120 0 0 0 52207 6 0 0 25 0 1 0 176071873 26415104 5866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 6449 5866 170 317 0 6128 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 25796 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1632060/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=26972 CPUtime=582.11 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 6407 0 0 0 58205 6 0 0 25 0 1 0 176071873 27619328 6153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 6743 6153 170 317 0 6422 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 26972 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 2772 /proc/meminfo: memFree=1631100/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=27752 CPUtime=642.09 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 6631 0 0 0 64203 6 0 0 25 0 1 0 176071873 28418048 6377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 6938 6377 170 317 0 6617 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 27752 ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 1.13 1.06 1.02 2/65 2772 /proc/meminfo: memFree=1627068/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=32192 CPUtime=882.01 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 7741 0 0 0 88194 7 0 0 25 0 1 0 176071873 32964608 7388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 8048 7388 170 317 0 7727 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 32192 [startup+942.302 s] /proc/loadavg: 1.05 1.05 1.01 2/65 2772 /proc/meminfo: memFree=1626044/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=33228 CPUtime=941.99 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 7998 0 0 0 94192 7 0 0 25 0 1 0 176071873 34025472 7645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 8307 7645 170 317 0 7986 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 33228 [startup+1002.3 s] /proc/loadavg: 1.02 1.04 1.01 2/65 2772 /proc/meminfo: memFree=1625212/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=34144 CPUtime=1001.97 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 8222 0 0 0 100189 8 0 0 25 0 1 0 176071873 34963456 7869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711202 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 8536 7869 170 317 0 8215 0 Current children cumulated CPU time (s) 1001.97 Current children cumulated vsize (KiB) 34144 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 1.00 2/65 2772 /proc/meminfo: memFree=1624316/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=35056 CPUtime=1061.95 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 8466 0 0 0 106187 8 0 0 25 0 1 0 176071873 35897344 8080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 8764 8080 170 317 0 8443 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 35056 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 3/65 2772 /proc/meminfo: memFree=1623548/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=35712 CPUtime=1121.93 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 8658 0 0 0 112185 8 0 0 25 0 1 0 176071873 36569088 8272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 8928 8272 170 317 0 8607 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 35712 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2772 /proc/meminfo: memFree=1622908/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=36620 CPUtime=1181.92 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 8888 0 0 0 118183 9 0 0 25 0 1 0 176071873 37498880 8436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 9155 8436 170 317 0 8834 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 36620 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/71 2838 /proc/meminfo: memFree=1620740/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=37268 CPUtime=1241.86 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 9084 0 0 0 124177 9 0 0 25 0 1 0 176071873 38162432 8632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 9317 8632 170 317 0 8996 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 37268 [startup+1302.3 s] /proc/loadavg: 1.13 1.04 1.01 2/65 2970 /proc/meminfo: memFree=1620988/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=37920 CPUtime=1301.78 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 9259 0 0 0 130168 10 0 0 25 0 1 0 176071873 38830080 8807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 9480 8807 170 317 0 9159 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 37920 [startup+1362.3 s] /proc/loadavg: 1.05 1.03 1.00 2/65 2970 /proc/meminfo: memFree=1620476/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=38448 CPUtime=1361.75 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 9428 0 0 0 136165 10 0 0 25 0 1 0 176071873 39370752 8976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 9612 8976 170 317 0 9291 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 38448 [startup+1422.31 s] /proc/loadavg: 1.02 1.02 1.00 2/65 2970 /proc/meminfo: memFree=1619964/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=39096 CPUtime=1421.73 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 9619 0 0 0 142163 10 0 0 25 0 1 0 176071873 40034304 9134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 9774 9134 170 317 0 9453 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 39096 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 2970 /proc/meminfo: memFree=1619324/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=39876 CPUtime=1481.72 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 9820 0 0 0 148161 11 0 0 25 0 1 0 176071873 40833024 9302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 9969 9302 170 317 0 9648 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 39876 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 2970 /proc/meminfo: memFree=1618620/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=40528 CPUtime=1541.7 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10025 0 0 0 154159 11 0 0 25 0 1 0 176071873 41500672 9474 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10132 9474 170 317 0 9811 0 Current children cumulated CPU time (s) 1541.7 Current children cumulated vsize (KiB) 40528 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2970 /proc/meminfo: memFree=1617916/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=41312 CPUtime=1601.68 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10222 0 0 0 160157 11 0 0 25 0 1 0 176071873 42303488 9638 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10328 9638 170 317 0 10007 0 Current children cumulated CPU time (s) 1601.68 Current children cumulated vsize (KiB) 41312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2970 /proc/meminfo: memFree=1617276/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=41828 CPUtime=1661.65 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10382 0 0 0 166154 11 0 0 25 0 1 0 176071873 42831872 9798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10457 9798 170 317 0 10136 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 41828 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2970 /proc/meminfo: memFree=1616572/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=42484 CPUtime=1721.64 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10544 0 0 0 172152 12 0 0 25 0 1 0 176071873 43503616 9960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10621 9960 170 317 0 10300 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 42484 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2970 /proc/meminfo: memFree=1615932/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=43128 CPUtime=1781.62 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10730 0 0 0 178150 12 0 0 25 0 1 0 176071873 44163072 10113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10782 10113 170 317 0 10461 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 43128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 2970 /proc/meminfo: memFree=1615804/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=43256 CPUtime=1800.02 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10769 0 0 0 179990 12 0 0 25 0 1 0 176071873 44294144 10152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10814 10152 170 317 0 10493 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 43256 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 2970 /proc/meminfo: memFree=1615804/2055920 swapFree=4182908/4192956 [pid=2771] ppid=2769 vsize=43256 CPUtime=1800.02 /proc/2771/stat : 2771 (oree) R 2769 2771 2714 0 -1 4194304 10769 0 0 0 179990 12 0 0 25 0 1 0 176071873 44294144 10152 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/2771/statm: 10814 10152 170 317 0 10493 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 43256 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.1 CPU user time (s): 1799.97 CPU system time (s): 0.131979 CPU usage (%): 99.9609 Max. virtual memory (cumulated for all children) (KiB): 43256 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.97 system time used= 0.131979 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 10785 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= 2032 runsolver used 1.3268 second user time and 3.66644 second system time The end
Begin job on node69 on Thu Apr 19 16:40:24 UTC 2007 IDJOB= 366810 IDBENCH= 2905 IDSOLVER= 172 FILE ID= node69/366810-1177000824 PBS_JOBID= 4630498 Free space on /tmp= 66497 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_4_30_1.opb COMMAND LINE= oree /tmp/evaluation/366810-1177000824/instance-366810-1177000824.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-366810-1177000824 -o ROOT/results/node69/solver-366810-1177000824 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366810-1177000824/instance-366810-1177000824.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 8dbaef61ba32642517e0b17ac09a002e RANDOM SEED= 224743742 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node69.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.264 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.264 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: 1656732 kB Buffers: 30428 kB Cached: 300380 kB SwapCached: 3888 kB Active: 147824 kB Inactive: 192220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1656732 kB SwapTotal: 4192956 kB SwapFree: 4182908 kB Dirty: 1488 kB Writeback: 0 kB Mapped: 15188 kB Slab: 45100 kB Committed_AS: 1532612 kB PageTables: 1472 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= 66497 MiB End job on node69 on Thu Apr 19 17:10:27 UTC 2007