Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.09 | 1800.79 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb |
MD5SUM | 14e0de9f4556c57c4cf25980f23fb0f1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 409600 |
Best CPU time to get the best result obtained on this benchmark | 1021 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 409600 |
Optimality of the best value was proved | NO |
Number of variables | 19747 |
Total number of constraints | 3145 |
Number of constraints which are clauses | 426 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2719 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 133 |
Biggest coefficient in the objective function | 536870912 |
Number of bits for the biggest coefficient in the objective function | 30 |
Sum of the numbers in the objective function | 1073847295 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1024000000 |
Number of bits of the biggest number in a constraint | 30 |
Biggest sum of numbers in a constraint | 2147758078 |
Number of bits of the biggest sum of numbers | 32 |
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.38/0.46 c ...done 0.38/0.46 c #vars=19747 #constraints=3147 hasObjective=yes 0.49/0.51 c res. mode=mod 0.49/0.51 c VSIDS like heuristics 0.49/0.51 c complete search running 0.79/0.86 c restart after 401 decisions 0.89/0.94 c nbDecision=500 #constraints=3147 1.09/1.19 c restart after 801 decisions 1.29/1.36 c nbDecision=1000 #constraints=3147 1.69/1.78 c nbDecision=1500 #constraints=3147 1.79/1.86 c restart after 1601 decisions 2.09/2.20 c nbDecision=2000 #constraints=3147 2.59/2.69 c nbDecision=2500 #constraints=3206 4.09/4.13 c nbDecision=3000 #constraints=3683 4.79/4.89 c restart after 3201 decisions 5.09/5.14 c nbDecision=3500 #constraints=3872 5.49/5.56 c nbDecision=4000 #constraints=3872 7.28/7.39 c nbDecision=4500 #constraints=4298 9.89/9.91 c nbDecision=5000 #constraints=4770 13.09/13.15 c nbDecision=5500 #constraints=5234 17.78/17.83 c nbDecision=6000 #constraints=5691 21.88/21.95 c restart after 6401 decisions 21.98/22.09 c nbDecision=6500 #constraints=6070 22.48/22.51 c nbDecision=7000 #constraints=6070 25.78/25.80 c nbDecision=7500 #constraints=6316 31.88/31.93 c nbDecision=8000 #constraints=6793 41.18/41.23 c nbDecision=8500 #constraints=7270 49.67/49.77 c nbDecision=9000 #constraints=7732 58.66/58.75 c nbDecision=9500 #constraints=8208 68.17/68.23 c nbDecision=10000 #constraints=8677 80.46/80.50 c nbDecision=10500 #constraints=9156 90.65/90.76 c nbDecision=11000 #constraints=9624 104.15/104.23 c nbDecision=11500 #constraints=10105 117.85/117.96 c nbDecision=12000 #constraints=10558 132.94/133.05 c nbDecision=12500 #constraints=11028 143.05/143.19 c restart after 12801 decisions 143.44/143.55 c nbDecision=13000 #constraints=11309 143.84/143.97 c nbDecision=13500 #constraints=11309 156.54/156.61 c nbDecision=14000 #constraints=11653 172.83/172.98 c nbDecision=14500 #constraints=12120 197.92/198.03 c nbDecision=15000 #constraints=12594 222.31/222.42 c nbDecision=15500 #constraints=13074 244.80/244.92 c nbDecision=16000 #constraints=13544 268.49/268.64 c nbDecision=16500 #constraints=14013 292.18/292.33 c nbDecision=17000 #constraints=14477 314.18/314.38 c nbDecision=17500 #constraints=14945 337.77/337.96 c nbDecision=18000 #constraints=15405 362.56/362.78 c nbDecision=18500 #constraints=15875 389.85/390.03 c nbDecision=19000 #constraints=16346 419.44/419.65 c nbDecision=19500 #constraints=16815 462.93/463.16 c nbDecision=20000 #constraints=17281 494.72/494.91 c nbDecision=20500 #constraints=17747 524.41/524.64 c nbDecision=21000 #constraints=18217 555.79/556.00 c nbDecision=21500 #constraints=18689 588.19/588.41 c nbDecision=22000 #constraints=19149 623.87/624.10 c nbDecision=22500 #constraints=19622 664.86/665.13 c nbDecision=23000 #constraints=20092 709.14/709.40 c nbDecision=23500 #constraints=20571 754.13/754.46 c nbDecision=24000 #constraints=21040 810.20/810.53 c nbDecision=24500 #constraints=21510 850.90/851.29 c nbDecision=25000 #constraints=21976 893.38/893.78 c nbDecision=25500 #constraints=22435 899.49/899.82 c restart after 25601 decisions 900.28/900.60 c nbDecision=26000 #constraints=22527 906.78/907.12 c nbDecision=26500 #constraints=22581 944.76/945.14 c nbDecision=27000 #constraints=23052 982.06/982.44 c nbDecision=27500 #constraints=23516 1034.04/1034.48 c nbDecision=28000 #constraints=23975 1080.52/1080.92 c nbDecision=28500 #constraints=24426 1128.10/1128.56 c nbDecision=29000 #constraints=24897 1176.19/1176.60 c nbDecision=29500 #constraints=25371 1226.37/1226.88 c nbDecision=30000 #constraints=25829 1262.26/1262.75 c nbDecision=30500 #constraints=26292 1304.24/1304.71 c nbDecision=31000 #constraints=26762 1349.33/1349.88 c nbDecision=31500 #constraints=27230 1408.80/1409.33 c nbDecision=32000 #constraints=27695 1474.29/1474.83 c nbDecision=32500 #constraints=28154 1537.66/1538.24 c nbDecision=33000 #constraints=28617 1596.04/1596.67 c nbDecision=33500 #constraints=29083 1656.59/1657.26 c nbDecision=34000 #constraints=29551 1709.42/1710.13 c nbDecision=34500 #constraints=30025 1762.41/1763.16 c nbDecision=35000 #constraints=30489 1800.01/1800.71 Received signal 15 1800.01/1800.76 1800.01/1800.76 s UNKNOWN 1800.01/1800.76 1800.01/1800.76 c user time= 1799.79 s 1800.01/1800.76 c system time= 0.281957 s 1800.01/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/node37/watcher-357279-1176993219 -o ROOT/results/node37/solver-357279-1176993219 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357279-1176993219/instance-357279-1176993219.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.99 0.99 3/78 1851 /proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=0 CPUtime=0 /proc/1851/stat : 1851 (runsolver) R 1849 1851 1411 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 147234406 0 0 18446744073709551615 0 0 0 18446744073709551615 213116316967 0 0 4096 24578 0 0 0 17 1 0 0 /proc/1851/statm: 0 0 0 0 0 0 0 [startup+0.103178 s] /proc/loadavg: 0.92 0.99 0.99 3/78 1851 /proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=2656 CPUtime=0.09 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 487 0 0 0 9 0 0 0 19 0 1 0 147234406 2719744 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 664 470 131 317 0 343 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2656 [startup+0.201195 s] /proc/loadavg: 0.92 0.99 0.99 3/78 1851 /proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=3976 CPUtime=0.19 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 792 0 0 0 19 0 0 0 20 0 1 0 147234406 4071424 774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 994 774 131 317 0 673 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3976 [startup+0.301214 s] /proc/loadavg: 0.92 0.99 0.99 3/78 1851 /proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=5032 CPUtime=0.29 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 1064 0 0 0 29 0 0 0 21 0 1 0 147234406 5152768 1046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 1258 1046 131 317 0 937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5032 [startup+0.70129 s] /proc/loadavg: 0.92 0.99 0.99 3/78 1851 /proc/meminfo: memFree=1669048/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=10288 CPUtime=0.69 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 2406 0 0 0 68 1 0 0 25 0 1 0 147234406 10534912 2388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 2572 2388 138 317 0 2251 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10288 [startup+1.50144 s] /proc/loadavg: 0.92 0.99 0.99 2/79 1852 /proc/meminfo: memFree=1659952/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=10288 CPUtime=1.49 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 2406 0 0 0 148 1 0 0 25 0 1 0 147234406 10534912 2388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135194616 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 2572 2388 138 317 0 2251 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10288 [startup+3.10174 s] /proc/loadavg: 0.92 0.99 0.99 2/79 1852 /proc/meminfo: memFree=1659824/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=10988 CPUtime=3.09 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 2574 0 0 0 308 1 0 0 25 0 1 0 147234406 11251712 2556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384506 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 2747 2556 170 317 0 2426 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10988 [startup+6.30134 s] /proc/loadavg: 0.93 0.99 0.99 2/79 1852 /proc/meminfo: memFree=1657840/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=12696 CPUtime=6.29 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 3007 0 0 0 627 2 0 0 25 0 1 0 147234406 13000704 2989 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385185 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 3174 2989 170 317 0 2853 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12696 [startup+12.7015 s] /proc/loadavg: 0.93 0.99 0.99 2/79 1852 /proc/meminfo: memFree=1654768/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=15452 CPUtime=12.69 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 3698 0 0 0 1266 3 0 0 25 0 1 0 147234406 15822848 3680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 3863 3680 170 317 0 3542 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 15452 [startup+25.502 s] /proc/loadavg: 1.03 1.01 1.00 2/79 1852 /proc/meminfo: memFree=1651568/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=18728 CPUtime=25.48 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 4486 0 0 0 2545 3 0 0 25 0 1 0 147234406 19177472 4425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 4682 4425 170 317 0 4361 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18728 [startup+51.1018 s] /proc/loadavg: 1.02 1.00 1.00 2/79 1852 /proc/meminfo: memFree=1648176/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=22704 CPUtime=51.07 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 5395 0 0 0 5103 4 0 0 25 0 1 0 147234406 23248896 5334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 5676 5334 170 317 0 5355 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 22704 [startup+102.301 s] /proc/loadavg: 1.01 1.00 1.00 2/79 1852 /proc/meminfo: memFree=1642608/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=28092 CPUtime=102.25 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 6768 0 0 0 10220 5 0 0 25 0 1 0 147234406 28766208 6707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 7023 6707 170 317 0 6702 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 28092 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1852 /proc/meminfo: memFree=1637936/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=33260 CPUtime=162.24 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 7918 0 0 0 16217 7 0 0 25 0 1 0 147234406 34058240 7857 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 8315 7857 170 317 0 7994 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 33260 [startup+222.306 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1852 /proc/meminfo: memFree=1634928/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=36896 CPUtime=222.21 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 8767 0 0 0 22214 7 0 0 25 0 1 0 147234406 37781504 8621 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 9224 8621 170 317 0 8903 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 36896 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1852 /proc/meminfo: memFree=1631984/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=39928 CPUtime=282.19 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 9483 0 0 0 28211 8 0 0 25 0 1 0 147234406 40886272 9337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 9982 9337 170 317 0 9661 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 39928 [startup+342.303 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1629040/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=42556 CPUtime=342.16 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 10213 0 0 0 34207 9 0 0 25 0 1 0 147234406 43577344 10067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 10639 10067 170 317 0 10318 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 42556 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1626480/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=45288 CPUtime=402.15 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 10857 0 0 0 40204 11 0 0 25 0 1 0 147234406 46374912 10711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 11322 10711 170 317 0 11001 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 45288 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1624816/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=46992 CPUtime=462.12 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 11277 0 0 0 46201 11 0 0 25 0 1 0 147234406 48119808 11131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604147 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 11748 11131 170 317 0 11427 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 46992 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1622640/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=48840 CPUtime=522.11 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 11825 0 0 0 52198 13 0 0 25 0 1 0 147234406 50012160 11679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 12210 11679 170 317 0 11889 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 48840 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1620528/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=51100 CPUtime=582.09 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 12353 0 0 0 58195 14 0 0 25 0 1 0 147234406 52326400 12207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 12775 12207 170 317 0 12454 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 51100 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1618480/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=54628 CPUtime=642.07 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 13021 0 0 0 64193 14 0 0 25 0 1 0 147234406 55939072 12710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 13657 12710 170 317 0 13336 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 54628 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1614128/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=59768 CPUtime=822 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 14103 0 0 0 82185 15 0 0 25 0 1 0 147234406 61202432 13792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711041 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 14942 13792 170 317 0 14621 0 Current children cumulated CPU time (s) 822 Current children cumulated vsize (KiB) 59768 [startup+882.305 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1612592/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=61720 CPUtime=881.98 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 14579 0 0 0 88182 16 0 0 25 0 1 0 147234406 63201280 14169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 15430 14169 170 317 0 15109 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 61720 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1610800/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=63540 CPUtime=941.96 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 15028 0 0 0 94179 17 0 0 25 0 1 0 147234406 65064960 14618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 15885 14618 170 317 0 15564 0 Current children cumulated CPU time (s) 941.96 Current children cumulated vsize (KiB) 63540 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1608944/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=65108 CPUtime=1001.94 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 15481 0 0 0 100176 18 0 0 25 0 1 0 147234406 66670592 15071 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 16277 15071 170 317 0 15956 0 Current children cumulated CPU time (s) 1001.94 Current children cumulated vsize (KiB) 65108 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1607792/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=66284 CPUtime=1061.92 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 15782 0 0 0 106173 19 0 0 25 0 1 0 147234406 67874816 15372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 16571 15372 170 317 0 16250 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 66284 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1605616/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=68812 CPUtime=1121.9 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 16447 0 0 0 112170 20 0 0 25 0 1 0 147234406 70463488 15867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 17203 15867 170 317 0 16882 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 68812 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1604848/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=69592 CPUtime=1181.89 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 16680 0 0 0 118168 21 0 0 25 0 1 0 147234406 71262208 16100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 17398 16100 170 317 0 17077 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 69592 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1603376/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=70896 CPUtime=1241.86 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 17034 0 0 0 124165 21 0 0 25 0 1 0 147234406 72597504 16454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 17724 16454 170 317 0 17403 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 70896 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1601584/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=72324 CPUtime=1301.84 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 17474 0 0 0 130162 22 0 0 25 0 1 0 147234406 74059776 16894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 18081 16894 170 317 0 17760 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 72324 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1599984/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=73768 CPUtime=1361.82 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 17864 0 0 0 136159 23 0 0 25 0 1 0 147234406 75538432 17284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 18442 17284 170 317 0 18121 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 73768 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1598960/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=75112 CPUtime=1421.81 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 18232 0 0 0 142157 24 0 0 25 0 1 0 147234406 76914688 17553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 18778 17553 170 317 0 18457 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 75112 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1598064/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=75752 CPUtime=1481.78 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 18449 0 0 0 148153 25 0 0 25 0 1 0 147234406 77570048 17770 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 18938 17770 170 317 0 18617 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 75752 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1596912/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=76936 CPUtime=1541.76 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 18729 0 0 0 154151 25 0 0 25 0 1 0 147234406 78782464 18050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712497 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 19234 18050 170 317 0 18913 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 76936 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 1854 /proc/meminfo: memFree=1595760/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=78116 CPUtime=1601.74 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 19018 0 0 0 160148 26 0 0 25 0 1 0 147234406 79990784 18339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 19529 18339 170 317 0 19208 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 78116 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/85 1976 /proc/meminfo: memFree=1593472/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=79412 CPUtime=1661.68 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 19386 0 0 0 166141 27 0 0 25 0 1 0 147234406 81317888 18608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 19853 18608 170 317 0 19532 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 79412 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2066 /proc/meminfo: memFree=1593136/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=80588 CPUtime=1721.62 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 19723 0 0 0 172135 27 0 0 25 0 1 0 147234406 82522112 18945 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 20147 18945 170 317 0 19826 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 80588 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2066 /proc/meminfo: memFree=1591856/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=81684 CPUtime=1781.61 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 20031 0 0 0 178133 28 0 0 25 0 1 0 147234406 83644416 19253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 20421 19253 170 317 0 20100 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (KiB) 81684 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.7 s] /proc/loadavg: 1.00 1.00 1.00 2/79 2066 /proc/meminfo: memFree=1591408/2055920 swapFree=4158988/4192956 [pid=1851] ppid=1849 vsize=82080 CPUtime=1800.01 /proc/1851/stat : 1851 (oree) R 1849 1851 1411 0 -1 4194304 20137 0 0 0 179973 28 0 0 25 0 1 0 147234406 84049920 19359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/1851/statm: 20520 19359 170 317 0 20199 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 82080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.79 CPU time (s): 1800.09 CPU user time (s): 1799.8 CPU system time (s): 0.294955 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 82080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.8 system time used= 0.294955 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20153 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= 7 involuntary context switches= 18727 runsolver used 1.81072 second user time and 4.75028 second system time The end
Begin job on node37 on Thu Apr 19 14:33:39 UTC 2007 IDJOB= 357279 IDBENCH= 2343 IDSOLVER= 172 FILE ID= node37/357279-1176993219 PBS_JOBID= 4630446 Free space on /tmp= 66413 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-railway_8_1_0.opb COMMAND LINE= oree /tmp/evaluation/357279-1176993219/instance-357279-1176993219.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-357279-1176993219 -o ROOT/results/node37/solver-357279-1176993219 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357279-1176993219/instance-357279-1176993219.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 14e0de9f4556c57c4cf25980f23fb0f1 RANDOM SEED= 657061312 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.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.281 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.281 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: 1669464 kB Buffers: 41768 kB Cached: 251176 kB SwapCached: 2516 kB Active: 97148 kB Inactive: 219672 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1669464 kB SwapTotal: 4192956 kB SwapFree: 4158988 kB Dirty: 3336 kB Writeback: 0 kB Mapped: 31448 kB Slab: 54980 kB Committed_AS: 1141840 kB PageTables: 2000 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= 66413 MiB End job on node37 on Thu Apr 19 15:03:42 UTC 2007