Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.21 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-mps-v2-20-10-pilot.we.opb |
MD5SUM | 78c28cbc46584ca3f2053cae625d9faa |
Bench Category | OPT-BIGINT (optimisation, big 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 | 35.4566 |
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 | 77678 |
Total number of constraints | 1016 |
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 | 1016 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 2430 |
Number of terms in the objective function | 2760 |
Biggest coefficient in the objective function | 114621939712000000000 |
Number of bits for the biggest coefficient in the objective function | 67 |
Sum of the numbers in the objective function | 6133849937192095161813 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 114621939712000000000 |
Number of bits of the biggest number in a constraint | 67 |
Biggest sum of numbers in a constraint | 6133849937192095161813 |
Number of bits of the biggest sum of numbers | 73 |
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... 1.19/1.25 c ...done 1.19/1.25 c #vars=77678 #constraints=1600 hasObjective=yes 1.39/1.44 c res. mode=mod 1.39/1.44 c VSIDS like heuristics 1.39/1.44 c complete search running 2.89/2.92 c restart after 401 decisions 3.19/3.22 c nbDecision=500 #constraints=1740 4.49/4.57 c restart after 801 decisions 5.09/5.18 c nbDecision=1000 #constraints=1898 7.38/7.41 c nbDecision=1500 #constraints=2255 7.89/7.93 c restart after 1601 decisions 9.39/9.48 c nbDecision=2000 #constraints=2468 12.19/12.24 c nbDecision=2500 #constraints=2821 15.39/15.44 c nbDecision=3000 #constraints=3196 16.69/16.79 c restart after 3201 decisions 17.88/17.96 c nbDecision=3500 #constraints=3383 21.88/21.92 c nbDecision=4000 #constraints=3766 26.48/26.50 c nbDecision=4500 #constraints=4150 31.28/31.34 c nbDecision=5000 #constraints=4502 36.88/36.95 c nbDecision=5500 #constraints=4875 43.18/43.29 c nbDecision=6000 #constraints=5242 48.38/48.46 c restart after 6401 decisions 48.78/48.84 c nbDecision=6500 #constraints=5532 52.28/52.31 c nbDecision=7000 #constraints=5686 54.28/54.33 c nbDecision=7500 #constraints=6022 56.28/56.35 c nbDecision=8000 #constraints=6311 58.38/58.43 c nbDecision=8500 #constraints=6647 60.77/60.85 c nbDecision=9000 #constraints=7008 63.57/63.66 c nbDecision=9500 #constraints=7352 66.78/66.88 c nbDecision=10000 #constraints=7694 70.38/70.44 c nbDecision=10500 #constraints=8036 74.67/74.75 c nbDecision=11000 #constraints=8387 79.27/79.30 c nbDecision=11500 #constraints=8738 84.37/84.42 c nbDecision=12000 #constraints=9072 90.07/90.12 c nbDecision=12500 #constraints=9416 94.16/94.21 c restart after 12801 decisions 94.86/94.97 c nbDecision=13000 #constraints=9636 103.57/103.69 c nbDecision=13500 #constraints=10003 112.87/112.90 c nbDecision=14000 #constraints=10363 122.86/122.91 c nbDecision=14500 #constraints=10735 133.76/133.83 c nbDecision=15000 #constraints=11091 145.26/145.40 c nbDecision=15500 #constraints=11469 156.16/156.24 c nbDecision=16000 #constraints=11833 169.65/169.79 c nbDecision=16500 #constraints=12193 183.66/183.73 c nbDecision=17000 #constraints=12562 197.85/197.97 c nbDecision=17500 #constraints=12931 213.54/213.63 c nbDecision=18000 #constraints=13324 229.85/229.90 c nbDecision=18500 #constraints=13709 246.13/246.24 c nbDecision=19000 #constraints=14083 263.74/263.81 c nbDecision=19500 #constraints=14446 279.83/279.95 c nbDecision=20000 #constraints=14799 298.42/298.50 c nbDecision=20500 #constraints=15169 317.22/317.33 c nbDecision=21000 #constraints=15550 338.12/338.21 c nbDecision=21500 #constraints=15936 357.91/358.06 c nbDecision=22000 #constraints=16326 376.71/376.84 c nbDecision=22500 #constraints=16686 398.30/398.44 c nbDecision=23000 #constraints=17056 419.09/419.28 c nbDecision=23500 #constraints=17436 441.30/441.46 c nbDecision=24000 #constraints=17809 461.79/461.94 c nbDecision=24500 #constraints=18152 485.99/486.13 c nbDecision=25000 #constraints=18530 513.97/514.14 c nbDecision=25500 #constraints=18918 518.88/519.01 c restart after 25601 decisions 520.78/520.94 c nbDecision=26000 #constraints=19012 527.58/527.74 c nbDecision=26500 #constraints=19344 535.27/535.47 c nbDecision=27000 #constraints=19680 544.18/544.38 c nbDecision=27500 #constraints=20029 552.87/553.03 c nbDecision=28000 #constraints=20381 561.87/562.01 c nbDecision=28500 #constraints=20716 571.46/571.61 c nbDecision=29000 #constraints=21040 581.87/582.01 c nbDecision=29500 #constraints=21369 591.96/592.19 c nbDecision=30000 #constraints=21702 603.46/603.63 c nbDecision=30500 #constraints=22051 617.03/617.26 c nbDecision=31000 #constraints=22387 629.89/630.11 c nbDecision=31500 #constraints=22731 644.37/644.62 c nbDecision=32000 #constraints=23075 658.45/658.71 c nbDecision=32500 #constraints=23439 675.14/675.42 c nbDecision=33000 #constraints=23789 691.22/691.54 c nbDecision=33500 #constraints=24140 708.23/708.54 c nbDecision=34000 #constraints=24511 725.92/726.23 c nbDecision=34500 #constraints=24850 743.71/744.04 c nbDecision=35000 #constraints=25198 762.62/762.98 c nbDecision=35500 #constraints=25553 781.31/781.65 c nbDecision=36000 #constraints=25897 798.80/799.18 c nbDecision=36500 #constraints=26228 819.91/820.22 c nbDecision=37000 #constraints=26568 839.30/839.68 c nbDecision=37500 #constraints=26905 859.10/859.41 c nbDecision=38000 #constraints=27258 879.59/879.91 c nbDecision=38500 #constraints=27601 901.18/901.55 c nbDecision=39000 #constraints=27920 923.28/923.65 c nbDecision=39500 #constraints=28267 947.07/947.49 c nbDecision=40000 #constraints=28606 971.36/971.79 c nbDecision=40500 #constraints=28955 995.96/996.31 c nbDecision=41000 #constraints=29282 1020.46/1020.88 c nbDecision=41500 #constraints=29621 1046.85/1047.26 c nbDecision=42000 #constraints=29977 1074.85/1075.25 c nbDecision=42500 #constraints=30335 1102.85/1103.27 c nbDecision=43000 #constraints=30693 1130.04/1130.44 c nbDecision=43500 #constraints=31031 1156.53/1156.93 c nbDecision=44000 #constraints=31362 1187.22/1187.67 c nbDecision=44500 #constraints=31701 1215.72/1216.10 c nbDecision=45000 #constraints=32042 1245.41/1245.84 c nbDecision=45500 #constraints=32396 1276.90/1277.30 c nbDecision=46000 #constraints=32744 1308.00/1308.44 c nbDecision=46500 #constraints=33079 1339.59/1340.09 c nbDecision=47000 #constraints=33406 1377.58/1378.06 c nbDecision=47500 #constraints=33761 1413.47/1414.00 c nbDecision=48000 #constraints=34094 1444.67/1445.19 c nbDecision=48500 #constraints=34420 1482.56/1483.04 c nbDecision=49000 #constraints=34767 1517.65/1518.17 c nbDecision=49500 #constraints=35118 1536.85/1537.30 c nbDecision=50000 #constraints=35448 1539.15/1539.66 c nbDecision=50500 #constraints=35803 1543.34/1543.88 c nbDecision=51000 #constraints=36055 1545.34/1545.87 c restart after 51201 decisions 1547.04/1547.54 c nbDecision=51500 #constraints=36221 1551.44/1551.91 c nbDecision=52000 #constraints=36525 1556.54/1557.04 c nbDecision=52500 #constraints=36905 1562.24/1562.74 c nbDecision=53000 #constraints=37293 1568.24/1568.79 c nbDecision=53500 #constraints=37659 1574.94/1575.46 c nbDecision=54000 #constraints=38039 1582.44/1582.94 c nbDecision=54500 #constraints=38419 1590.24/1590.79 c nbDecision=55000 #constraints=38791 1598.43/1598.98 c nbDecision=55500 #constraints=39151 1608.04/1608.58 c nbDecision=56000 #constraints=39543 1617.83/1618.35 c nbDecision=56500 #constraints=39923 1628.03/1628.57 c nbDecision=57000 #constraints=40286 1640.92/1641.48 c nbDecision=57500 #constraints=40639 1653.62/1654.19 c nbDecision=58000 #constraints=41004 1666.22/1666.77 c nbDecision=58500 #constraints=41370 1680.52/1681.04 c nbDecision=59000 #constraints=41728 1694.32/1694.86 c nbDecision=59500 #constraints=42108 1709.01/1709.52 c nbDecision=60000 #constraints=42502 1723.61/1724.11 c nbDecision=60500 #constraints=42862 1740.40/1740.94 c nbDecision=61000 #constraints=43240 1758.80/1759.33 c nbDecision=61500 #constraints=43624 1775.70/1776.28 c nbDecision=62000 #constraints=43988 1793.79/1794.33 c nbDecision=62500 #constraints=44349 1800.10/1800.60 Received signal 15 1800.10/1800.66 1800.10/1800.66 s UNKNOWN 1800.10/1800.66 1800.10/1800.66 c user time= 1799.69 s 1800.10/1800.66 c system time= 0.474927 s 1800.10/1800.66 c wall clock time=1800.66
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node29/watcher-365442-1176994255 -o ROOT/results/node29/solver-365442-1176994255 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365442-1176994255/instance-365442-1176994255.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/77 806 /proc/meminfo: memFree=1015368/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=1468 CPUtime=0 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 147341285 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 367 160 127 317 0 46 0 [startup+0.067595 s] /proc/loadavg: 0.92 0.98 0.99 3/77 806 /proc/meminfo: memFree=1015368/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=2420 CPUtime=0.06 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 394 0 0 0 6 0 0 0 18 0 1 0 147341285 2478080 376 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 605 376 131 317 0 284 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2420 [startup+0.101596 s] /proc/loadavg: 0.92 0.98 0.99 3/77 806 /proc/meminfo: memFree=1015368/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=2816 CPUtime=0.09 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 147341285 2883584 490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 704 490 131 317 0 383 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2816 [startup+0.301608 s] /proc/loadavg: 0.92 0.98 0.99 3/77 806 /proc/meminfo: memFree=1015368/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=5652 CPUtime=0.29 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 1165 0 0 0 29 0 0 0 19 0 1 0 147341285 5787648 1147 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 1413 1147 131 317 0 1092 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5652 [startup+0.701633 s] /proc/loadavg: 0.92 0.98 0.99 3/77 806 /proc/meminfo: memFree=1015368/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=12048 CPUtime=0.69 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 2674 0 0 0 68 1 0 0 22 0 1 0 147341285 12337152 2656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 3012 2656 131 317 0 2691 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12048 [startup+1.50168 s] /proc/loadavg: 0.92 0.98 0.99 2/78 807 /proc/meminfo: memFree=1000768/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=31772 CPUtime=1.49 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 7421 0 0 0 146 3 0 0 25 0 1 0 147341285 32534528 7403 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 7943 7403 138 317 0 7622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 31772 [startup+3.10178 s] /proc/loadavg: 0.93 0.98 0.99 2/78 807 /proc/meminfo: memFree=986048/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=32160 CPUtime=3.09 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 7537 0 0 0 306 3 0 0 25 0 1 0 147341285 32931840 7519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 8040 7519 170 317 0 7719 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32160 [startup+6.30198 s] /proc/loadavg: 0.93 0.98 0.99 3/78 807 /proc/meminfo: memFree=984896/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=33076 CPUtime=6.28 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 7783 0 0 0 625 3 0 0 25 0 1 0 147341285 33869824 7765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 8269 7765 170 317 0 7948 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 33076 [startup+12.7014 s] /proc/loadavg: 0.94 0.98 0.99 2/78 807 /proc/meminfo: memFree=982656/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=35344 CPUtime=12.69 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 8345 0 0 0 1265 4 0 0 25 0 1 0 147341285 36192256 8327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 8836 8327 170 317 0 8515 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35344 [startup+25.5012 s] /proc/loadavg: 0.95 0.98 0.99 2/78 807 /proc/meminfo: memFree=979328/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=38752 CPUtime=25.48 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 9139 0 0 0 2544 4 0 0 25 0 1 0 147341285 39682048 9121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 9688 9121 170 317 0 9367 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38752 [startup+51.1018 s] /proc/loadavg: 0.96 0.98 0.99 2/78 807 /proc/meminfo: memFree=975168/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=42876 CPUtime=51.08 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 10187 0 0 0 5103 5 0 0 25 0 1 0 147341285 43905024 10169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 10719 10169 170 317 0 10398 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 42876 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 807 /proc/meminfo: memFree=958784/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=59652 CPUtime=102.28 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 14321 0 0 0 10219 9 0 0 25 0 1 0 147341285 61083648 14260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 14913 14260 170 317 0 14592 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 59652 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=953280/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=65172 CPUtime=162.25 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 15688 0 0 0 16215 10 0 0 25 0 1 0 147341285 66736128 15627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 16293 15627 170 317 0 15972 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 65172 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=949248/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=69236 CPUtime=222.24 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 16767 0 0 0 22212 12 0 0 25 0 1 0 147341285 70897664 16621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 17309 16621 170 317 0 16988 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 69236 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 3/78 807 /proc/meminfo: memFree=945536/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=74268 CPUtime=282.23 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 17708 0 0 0 28210 13 0 0 25 0 1 0 147341285 76050432 17562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 18567 17562 170 317 0 18246 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 74268 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=942400/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=77348 CPUtime=342.21 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 18477 0 0 0 34207 14 0 0 25 0 1 0 147341285 79204352 18331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 19337 18331 170 317 0 19016 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 77348 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=939520/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=80096 CPUtime=402.2 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 19198 0 0 0 40205 15 0 0 25 0 1 0 147341285 82018304 19052 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 20024 19052 170 317 0 19703 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 80096 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=936896/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=82984 CPUtime=462.19 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 19854 0 0 0 46203 16 0 0 25 0 1 0 147341285 84975616 19708 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563455 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 20746 19708 170 317 0 20425 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 82984 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=934528/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=85396 CPUtime=522.18 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 20480 0 0 0 52200 18 0 0 25 0 1 0 147341285 87445504 20334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 21349 20334 170 317 0 21028 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 85396 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 807 /proc/meminfo: memFree=925248/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=95204 CPUtime=582.17 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 22774 0 0 0 58196 21 0 0 25 0 1 0 147341285 97488896 22628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 23801 22628 170 317 0 23480 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 95204 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 975 /proc/meminfo: memFree=917632/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=100808 CPUtime=642.07 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 24330 0 0 0 64185 22 0 0 25 0 1 0 147341285 103227392 24184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 25202 24184 170 317 0 24881 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 100808 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=900288/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=121488 CPUtime=881.99 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 29133 0 0 0 88172 27 0 0 25 0 1 0 147341285 124403712 28817 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 30372 28817 170 317 0 30051 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 121488 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=896896/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=124596 CPUtime=941.97 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 29993 0 0 0 94169 28 0 0 25 0 1 0 147341285 127586304 29677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 31149 29677 170 317 0 30828 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 124596 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=893760/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=127456 CPUtime=1001.96 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 30761 0 0 0 100167 29 0 0 25 0 1 0 147341285 130514944 30445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 31864 30445 170 317 0 31543 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 127456 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=890688/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=130244 CPUtime=1061.95 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 31531 0 0 0 106164 31 0 0 25 0 1 0 147341285 133369856 31215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 32561 31215 170 317 0 32240 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 130244 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=887936/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=132736 CPUtime=1121.94 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 32218 0 0 0 112162 32 0 0 25 0 1 0 147341285 135921664 31902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 33184 31902 170 317 0 32863 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 132736 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=885248/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=135640 CPUtime=1181.92 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 32899 0 0 0 118159 33 0 0 25 0 1 0 147341285 138895360 32583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 33910 32583 170 317 0 33589 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 135640 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=881856/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=142632 CPUtime=1241.92 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 34399 0 0 0 124157 35 0 0 25 0 1 0 147341285 146055168 33423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 35658 33423 170 317 0 35337 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 142632 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=879296/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=145516 CPUtime=1301.9 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 35064 0 0 0 130155 35 0 0 25 0 1 0 147341285 149008384 34055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 36379 34055 170 317 0 36058 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 145516 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=876992/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=147872 CPUtime=1361.88 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 35651 0 0 0 136152 36 0 0 25 0 1 0 147341285 151420928 34642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 36968 34642 170 317 0 36647 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 147872 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=874624/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=150076 CPUtime=1421.88 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 36237 0 0 0 142150 38 0 0 25 0 1 0 147341285 153677824 35195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 37519 35195 170 317 0 37198 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 150076 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=872576/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=152332 CPUtime=1481.86 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 36780 0 0 0 148147 39 0 0 25 0 1 0 147341285 155987968 35738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 38083 35738 170 317 0 37762 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 152332 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=867456/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=157280 CPUtime=1541.84 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 38045 0 0 0 154144 40 0 0 25 0 1 0 147341285 161054720 37003 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 39320 37003 170 317 0 38999 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 157280 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=858752/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=166180 CPUtime=1601.84 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 40248 0 0 0 160141 43 0 0 25 0 1 0 147341285 170168320 39206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384531 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 41545 39206 170 317 0 41224 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 166180 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=853312/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=172044 CPUtime=1661.82 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 41573 0 0 0 166138 44 0 0 25 0 1 0 147341285 176173056 40531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 43011 40531 170 317 0 42690 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 172044 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 1005 /proc/meminfo: memFree=849344/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=175808 CPUtime=1721.81 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 42596 0 0 0 172135 46 0 0 25 0 1 0 147341285 180027392 41554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 43952 41554 170 317 0 43631 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 175808 [startup+1782.3 s] /proc/loadavg: 1.03 1.00 0.99 2/78 1005 /proc/meminfo: memFree=845760/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=180124 CPUtime=1781.8 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 43493 0 0 0 178133 47 0 0 25 0 1 0 147341285 184446976 42451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 45031 42451 170 317 0 44710 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 180124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.02 1.00 0.99 3/78 1005 /proc/meminfo: memFree=844352/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=182092 CPUtime=1800.1 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194304 43828 0 0 0 179963 47 0 0 25 0 1 0 147341285 186462208 42786 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 45523 42786 170 317 0 45202 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 182092 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.02 1.00 0.99 3/78 1005 /proc/meminfo: memFree=844352/2055920 swapFree=4141972/4192956 [pid=806] ppid=804 vsize=0 CPUtime=1800.2 /proc/806/stat : 806 (oree) R 804 806 376 0 -1 4194308 43844 0 0 0 179971 49 0 0 25 0 1 0 147341285 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/806/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.21 CPU user time (s): 1799.71 CPU system time (s): 0.502923 CPU usage (%): 99.9722 Max. virtual memory (cumulated for all children) (KiB): 182092 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.71 system time used= 0.502923 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 43844 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= 1709 runsolver used 2.12068 second user time and 4.40733 second system time The end
Begin job on node29 on Thu Apr 19 14:50:55 UTC 2007 IDJOB= 365442 IDBENCH= 2390 IDSOLVER= 172 FILE ID= node29/365442-1176994255 PBS_JOBID= 4630456 Free space on /tmp= 66462 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-pilot.we.opb COMMAND LINE= oree /tmp/evaluation/365442-1176994255/instance-365442-1176994255.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-365442-1176994255 -o ROOT/results/node29/solver-365442-1176994255 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365442-1176994255/instance-365442-1176994255.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 78c28cbc46584ca3f2053cae625d9faa RANDOM SEED= 996725939 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node29.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.224 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.224 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: 1015840 kB Buffers: 49244 kB Cached: 895656 kB SwapCached: 15872 kB Active: 383884 kB Inactive: 588936 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1015840 kB SwapTotal: 4192956 kB SwapFree: 4141972 kB Dirty: 5900 kB Writeback: 0 kB Mapped: 30052 kB Slab: 52724 kB Committed_AS: 2097096 kB PageTables: 1872 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= 66462 MiB End job on node29 on Thu Apr 19 15:20:58 UTC 2007