Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (MO) | 1425.68 | 1426.05 |
Name | normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-air03.opb |
MD5SUM | 721f63c71e5f6018eabb753425e3fdd2 |
Bench Category | OPT-MEDINT (optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 211229 |
Best CPU time to get the best result obtained on this benchmark | 686.906 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 170080 |
Optimality of the best value was proved | YES |
Number of variables | 10757 |
Total number of constraints | 124 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 124 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3861 |
Number of terms in the objective function | 10757 |
Biggest coefficient in the objective function | 6873 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 13748961 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 6873 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 13748961 |
Number of bits of the biggest sum of numbers | 24 |
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.19/0.29 c ...done 0.19/0.29 c #vars=10757 #constraints=249 hasObjective=yes 0.49/0.54 c res. mode=mod 0.49/0.54 c VSIDS like heuristics 0.49/0.54 c complete search running 0.69/0.70 c restart after 401 decisions 0.79/0.85 c nbDecision=500 #constraints=249 0.79/0.89 c restart after 801 decisions 1.00/1.10 c nbDecision=1000 #constraints=249 1.10/1.15 c nbDecision=1500 #constraints=249 1.10/1.16 c restart after 1601 decisions 1.29/1.35 c nbDecision=2000 #constraints=249 1.39/1.40 c nbDecision=2500 #constraints=249 1.39/1.45 c nbDecision=3000 #constraints=249 1.39/1.47 c restart after 3201 decisions 1.59/1.65 c nbDecision=3500 #constraints=249 1.69/1.71 c nbDecision=4000 #constraints=249 1.69/1.76 c nbDecision=4500 #constraints=249 1.79/1.80 c nbDecision=5000 #constraints=249 1.79/1.84 c nbDecision=5500 #constraints=249 1.79/1.89 c nbDecision=5964 #constraints=249 1.79/1.89 c linear search for optimum 1.79/1.89 o 602151 1.89/1.93 c nbDecision=5964 #constraints=251 1.89/1.93 o 588802 1.89/1.98 c nbDecision=5965 #constraints=253 1.89/1.98 o 588735 1.99/2.02 c nbDecision=5965 #constraints=255 1.99/2.02 o 575386 2.10/2.10 c nbDecision=5966 #constraints=257 2.10/2.10 o 564703 2.10/2.14 c nbDecision=5966 #constraints=259 2.10/2.14 o 551354 2.20/2.27 c nbDecision=5968 #constraints=263 2.20/2.27 o 541640 2.59/2.68 c nbDecision=5974 #constraints=270 2.59/2.68 o 539872 2.79/2.80 c nbDecision=5976 #constraints=274 2.79/2.80 o 530158 3.39/3.49 c nbDecision=5976 #constraints=284 3.39/3.49 o 527896 3.59/3.63 c nbDecision=5976 #constraints=286 3.59/3.63 o 527697 3.79/3.82 c nbDecision=5976 #constraints=288 3.79/3.82 o 524053 4.09/4.11 c nbDecision=5976 #constraints=291 4.09/4.11 o 523855 4.59/4.62 c nbDecision=5979 #constraints=297 4.59/4.63 o 512428 5.09/5.19 c nbDecision=5992 #constraints=308 5.09/5.19 o 503054 5.29/5.33 c nbDecision=5992 #constraints=311 5.29/5.33 o 502856 7.88/7.93 c nbDecision=6000 #constraints=337 8.08/8.19 c nbDecision=6005 #constraints=340 8.08/8.19 o 501010 8.29/8.32 c nbDecision=6005 #constraints=343 8.29/8.32 o 500812 11.00/11.03 c nbDecision=6053 #constraints=373 11.00/11.03 o 494387 11.09/11.17 c nbDecision=6053 #constraints=376 11.09/11.17 o 494189 14.08/14.13 c nbDecision=6066 #constraints=405 14.08/14.13 o 492343 14.18/14.27 c nbDecision=6066 #constraints=408 14.18/14.27 o 492145 17.68/17.77 c nbDecision=6099 #constraints=443 17.68/17.77 o 491493 17.78/17.85 c nbDecision=6099 #constraints=445 17.78/17.85 o 491295 20.98/21.03 c nbDecision=6123 #constraints=475 20.98/21.03 o 490605 33.78/33.88 c nbDecision=6203 #constraints=586 33.78/33.88 o 490128 46.97/47.09 c nbDecision=6369 #constraints=693 46.97/47.09 o 484744 47.18/47.26 c nbDecision=6369 #constraints=696 47.18/47.26 o 484546 50.98/51.08 c nbDecision=6383 #constraints=726 50.98/51.08 o 482700 51.18/51.24 c nbDecision=6383 #constraints=729 51.18/51.24 o 482502 53.18/53.23 c restart after 6401 decisions 54.88/54.92 c nbDecision=6500 #constraints=740 54.98/55.04 c nbDecision=7000 #constraints=740 55.08/55.15 c nbDecision=7500 #constraints=740 55.18/55.25 c nbDecision=8000 #constraints=740 55.28/55.35 c nbDecision=8500 #constraints=740 55.58/55.62 c nbDecision=9000 #constraints=740 58.38/58.46 c nbDecision=9146 #constraints=763 58.38/58.46 o 481850 58.48/58.55 c nbDecision=9146 #constraints=765 58.48/58.55 o 481652 62.67/62.73 c nbDecision=9170 #constraints=795 62.67/62.73 o 480962 78.57/78.63 c nbDecision=9245 #constraints=902 78.57/78.63 o 480485 97.06/97.16 c nbDecision=9327 #constraints=1004 97.06/97.16 o 480338 97.26/97.36 c nbDecision=9327 #constraints=1007 97.26/97.36 o 479488 100.16/100.24 c nbDecision=9350 #constraints=1028 100.16/100.24 o 478907 101.67/101.74 c nbDecision=9373 #constraints=1046 101.67/101.74 o 471002 101.87/101.94 c nbDecision=9373 #constraints=1049 101.87/101.94 o 470804 102.27/102.35 c nbDecision=9376 #constraints=1054 102.27/102.35 o 470152 102.37/102.44 c nbDecision=9376 #constraints=1056 102.37/102.44 o 469954 102.96/103.01 c nbDecision=9377 #constraints=1061 102.96/103.01 o 469264 105.36/105.47 c nbDecision=9396 #constraints=1082 105.36/105.47 o 469226 113.76/113.89 c nbDecision=9427 #constraints=1123 113.76/113.89 o 469012 113.96/114.08 c nbDecision=9427 #constraints=1126 113.96/114.08 o 468814 114.36/114.48 c nbDecision=9429 #constraints=1130 114.36/114.48 o 468162 114.46/114.58 c nbDecision=9429 #constraints=1132 114.46/114.58 o 467964 115.06/115.16 c nbDecision=9430 #constraints=1137 115.06/115.16 o 467274 133.65/133.75 c nbDecision=9500 #constraints=1227 161.55/161.65 c nbDecision=9700 #constraints=1404 161.55/161.65 o 466761 161.94/162.06 c nbDecision=9708 #constraints=1413 161.94/162.06 o 465785 162.14/162.25 c nbDecision=9709 #constraints=1416 162.14/162.25 o 457118 163.25/163.33 c nbDecision=9713 #constraints=1425 163.25/163.33 o 457080 165.85/165.98 c nbDecision=9722 #constraints=1438 165.85/165.98 o 455128 180.24/180.35 c nbDecision=9784 #constraints=1516 180.24/180.35 o 455056 188.64/188.77 c nbDecision=9833 #constraints=1568 188.64/188.77 o 455049 222.63/222.79 c nbDecision=10000 #constraints=1733 283.62/283.72 c nbDecision=10254 #constraints=2002 283.62/283.72 o 454322 335.40/335.51 c nbDecision=10500 #constraints=2198 370.29/370.45 c nbDecision=10659 #constraints=2352 370.29/370.45 o 454165 370.69/370.80 c nbDecision=10660 #constraints=2355 370.69/370.81 o 445498 381.79/381.98 c nbDecision=10690 #constraints=2399 381.79/381.99 o 445426 384.59/384.70 c nbDecision=10695 #constraints=2409 384.59/384.70 o 445419 427.68/427.85 c nbDecision=10838 #constraints=2565 427.68/427.85 o 444692 468.47/468.62 c nbDecision=11000 #constraints=2674 490.37/490.54 c nbDecision=11068 #constraints=2774 490.37/490.54 o 436442 502.05/502.25 c nbDecision=11094 #constraints=2814 502.05/502.25 o 436370 505.05/505.24 c nbDecision=11099 #constraints=2824 505.05/505.24 o 436363 549.44/549.64 c nbDecision=11228 #constraints=2966 549.44/549.64 o 435636 644.72/644.99 c nbDecision=11500 #constraints=3234 710.41/710.60 c nbDecision=11676 #constraints=3417 710.41/710.60 o 435369 711.00/711.21 c nbDecision=11676 #constraints=3419 711.00/711.21 o 435331 825.78/826.04 c nbDecision=12000 #constraints=3717 924.45/924.70 c nbDecision=12212 #constraints=3956 924.45/924.70 o 435226 925.05/925.38 c nbDecision=12212 #constraints=3958 925.05/925.38 o 435188 1047.21/1047.51 c nbDecision=12500 #constraints=4252 1180.87/1181.28 c restart after 12801 decisions 1224.56/1225.00 c nbDecision=13000 #constraints=4535 1225.96/1226.35 c nbDecision=13500 #constraints=4535 1227.36/1227.76 c nbDecision=14000 #constraints=4535 1228.87/1229.23 c nbDecision=14500 #constraints=4535 1230.37/1230.73 c nbDecision=15000 #constraints=4535 1295.45/1295.82 c nbDecision=15500 #constraints=4656 1423.41/1423.80 Received signal 15
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-362162-1176845381 -o ROOT/results/node41/solver-362162-1176845381 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362162-1176845381/instance-362162-1176845381.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: 1.00 1.00 1.00 3/77 4718 /proc/meminfo: memFree=1747784/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1468 CPUtime=0 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132450017 1503232 161 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 367 161 126 317 0 46 0 [startup+0.0968241 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4718 /proc/meminfo: memFree=1747784/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=3808 CPUtime=0.09 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 761 0 0 0 9 0 0 0 18 0 1 0 132450017 3899392 710 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 952 710 131 317 0 631 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3808 [startup+0.101824 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4718 /proc/meminfo: memFree=1747784/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=3940 CPUtime=0.09 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 795 0 0 0 9 0 0 0 18 0 1 0 132450017 4034560 744 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 985 744 131 317 0 664 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3940 [startup+0.301841 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4718 /proc/meminfo: memFree=1747784/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=10524 CPUtime=0.29 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 2294 0 0 0 28 1 0 0 19 0 1 0 132450017 10776576 2243 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 2631 2243 137 317 0 2310 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 10524 [startup+0.701876 s] /proc/loadavg: 1.00 1.00 1.00 3/77 4718 /proc/meminfo: memFree=1747784/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=12764 CPUtime=0.69 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 2858 0 0 0 68 1 0 0 23 0 1 0 132450017 13070336 2807 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 3191 2807 138 317 0 2870 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12764 [startup+1.50195 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1737088/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=12764 CPUtime=1.49 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 2861 0 0 0 148 1 0 0 25 0 1 0 132450017 13070336 2810 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 3191 2810 138 317 0 2870 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12764 [startup+3.10108 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1735936/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=19936 CPUtime=3.09 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 5390 0 0 0 307 2 0 0 25 0 1 0 132450017 20414464 4364 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 4984 4364 170 317 0 4663 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19936 [startup+6.30136 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1721920/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=34756 CPUtime=6.29 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 11002 0 0 0 625 4 0 0 25 0 1 0 132450017 35590144 7434 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135339169 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 8689 7434 170 317 0 8368 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34756 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1697744/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=61948 CPUtime=12.69 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 21289 0 0 0 1260 9 0 0 25 0 1 0 132450017 63434752 13135 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716132 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 15487 13135 170 317 0 15166 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 61948 [startup+25.501 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1654096/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=113860 CPUtime=25.49 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 40517 0 0 0 2533 16 0 0 25 0 1 0 132450017 116592640 23613 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 28465 23613 170 317 0 28144 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 113860 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1585872/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=196460 CPUtime=51.08 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 70344 0 0 0 5080 28 0 0 25 0 1 0 132450017 201175040 40716 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 49115 40716 170 317 0 48794 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 196460 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1486032/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=315144 CPUtime=102.27 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 112786 0 0 0 10184 43 0 0 25 0 1 0 132450017 322707456 65421 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 78786 65421 170 317 0 78465 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 315144 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1366544/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=464328 CPUtime=162.24 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 163720 0 0 0 16162 62 0 0 25 0 1 0 132450017 475471872 95731 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602744 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 116082 95731 170 317 0 115761 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 464328 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1260432/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=589872 CPUtime=222.23 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 209173 0 0 0 22145 78 0 0 25 0 1 0 132450017 604028928 121645 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 147468 121645 170 317 0 147147 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 589872 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1158608/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=712684 CPUtime=282.21 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 251113 0 0 0 28127 94 0 0 25 0 1 0 132450017 729788416 147357 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 178171 147357 170 317 0 177850 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 712684 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1090640/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=793692 CPUtime=342.2 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 280594 0 0 0 34115 105 0 0 25 0 1 0 132450017 812740608 164030 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 198423 164030 170 317 0 198102 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 793692 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=1014736/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=890736 CPUtime=402.18 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 311821 0 0 0 40103 115 0 0 25 0 1 0 132450017 912113664 183078 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 222684 183078 170 317 0 222363 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 890736 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4719 /proc/meminfo: memFree=943760/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=982632 CPUtime=462.17 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 340889 0 0 0 46092 125 0 0 25 0 1 0 132450017 1006215168 200649 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 245658 200649 170 317 0 245337 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 982632 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=875856/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1065060 CPUtime=522.16 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 368741 0 0 0 52082 134 0 0 25 0 1 0 132450017 1090621440 217750 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134550067 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 266265 217750 170 317 0 265944 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1065060 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=813264/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1139724 CPUtime=582.13 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 393741 0 0 0 58070 143 0 0 25 0 1 0 132450017 1167077376 233233 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 284931 233233 170 317 0 284610 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1139724 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=755600/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1207384 CPUtime=642.13 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 416034 0 0 0 64062 151 0 0 25 0 1 0 132450017 1236361216 247552 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 301846 247552 170 317 0 301525 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1207384 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=699408/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1272160 CPUtime=702.11 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 438729 0 0 0 70052 159 0 0 25 0 1 0 132450017 1302691840 261694 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 318040 261694 170 317 0 317719 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1272160 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=648656/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1330204 CPUtime=762.1 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 457468 0 0 0 76042 168 0 0 25 0 1 0 132450017 1362128896 274329 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 332551 274329 170 317 0 332230 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1330204 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=608720/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1372928 CPUtime=822.07 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 472835 0 0 0 82033 174 0 0 25 0 1 0 132450017 1405878272 284273 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 343232 284273 170 317 0 342911 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1372928 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=560208/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1426648 CPUtime=882.06 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 492753 0 0 0 88024 182 0 0 25 0 1 0 132450017 1460887552 296348 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134558838 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 356662 296348 170 317 0 356341 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1426648 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=519248/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1472032 CPUtime=942.04 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 510025 0 0 0 94015 189 0 0 25 0 1 0 132450017 1507360768 306787 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 368008 306787 170 317 0 367687 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1472032 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=481040/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1513404 CPUtime=1002.03 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 524950 0 0 0 100008 195 0 0 25 0 1 0 132450017 1549725696 316138 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 378351 316138 170 317 0 378030 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1513404 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=445392/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1553184 CPUtime=1062.01 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 538822 0 0 0 106000 201 0 0 25 0 1 0 132450017 1590460416 325077 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 388296 325077 170 317 0 387975 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1553184 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=418000/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1584188 CPUtime=1121.99 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 549696 0 0 0 111995 204 0 0 25 0 1 0 132450017 1622208512 331776 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 396047 331776 170 317 0 395726 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1584188 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=377424/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1632544 CPUtime=1181.97 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 564716 0 0 0 117987 210 0 0 25 0 1 0 132450017 1671725056 341915 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 408136 341915 170 317 0 407815 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1632544 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=371216/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1641348 CPUtime=1241.96 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 566868 0 0 0 123985 211 0 0 25 0 1 0 132450017 1680740352 343550 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 410337 343550 170 317 0 410016 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1641348 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=328528/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1699120 CPUtime=1301.95 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 584705 0 0 0 129976 219 0 0 25 0 1 0 132450017 1739898880 354109 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 424780 354109 170 317 0 424459 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1699120 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=270672/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1783884 CPUtime=1361.93 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 606863 0 0 0 135965 228 0 0 25 0 1 0 132450017 1826697216 368721 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 445971 368721 170 317 0 445650 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 1783884 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=228560/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1841108 CPUtime=1421.92 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 623891 0 0 0 141957 235 0 0 25 0 1 0 132450017 1885294592 379110 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 460277 379110 170 317 0 459956 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1841108 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1423.8 s] /proc/loadavg: 1.00 1.00 1.00 2/78 4721 /proc/meminfo: memFree=226384/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1843576 CPUtime=1423.41 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 624557 0 0 0 142106 235 0 0 25 0 1 0 132450017 1887821824 379602 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 460894 379602 170 317 0 460573 0 Current children cumulated CPU time (s) 1423.41 Current children cumulated vsize (KiB) 1843576 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1425.4 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4722 /proc/meminfo: memFree=226056/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1846368 CPUtime=1425.01 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 625105 0 0 0 142266 235 0 0 25 0 1 0 132450017 1890680832 380064 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 461592 380064 170 317 0 461271 0 Current children cumulated CPU time (s) 1425.01 Current children cumulated vsize (KiB) 1846368 [startup+1425.8 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4722 /proc/meminfo: memFree=224136/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=1847784 CPUtime=1425.41 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4194304 625385 0 0 0 142306 235 0 0 25 0 1 0 132450017 1892130816 380300 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 461946 380300 170 317 0 461625 0 Current children cumulated CPU time (s) 1425.41 Current children cumulated vsize (KiB) 1847784 [startup+1426 s] /proc/loadavg: 1.00 1.00 1.00 2/79 4722 /proc/meminfo: memFree=224136/2055920 swapFree=4184436/4192956 [pid=4718] ppid=4716 vsize=0 CPUtime=1425.62 /proc/4718/stat : 4718 (oree) R 4716 4718 3977 0 -1 4195332 625385 0 0 0 142307 255 0 0 25 0 1 0 132450017 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/4718/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1425.62 Current children cumulated vsize (KiB) 0 Child ended because it received signal 9 (SIGKILL) Real time (s): 1426.05 CPU time (s): 1425.68 CPU user time (s): 1423.07 CPU system time (s): 2.6036 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (KiB): 1847784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1423.07 system time used= 2.6036 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 625385 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= 2480 runsolver used 1.64075 second user time and 3.51347 second system time The end
Begin job on node41 on Tue Apr 17 21:29:41 UTC 2007 IDJOB= 362162 IDBENCH= 1515 IDSOLVER= 172 FILE ID= node41/362162-1176845381 PBS_JOBID= 4590138 Free space on /tmp= 66497 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-air03.opb COMMAND LINE= oree /tmp/evaluation/362162-1176845381/instance-362162-1176845381.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-362162-1176845381 -o ROOT/results/node41/solver-362162-1176845381 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362162-1176845381/instance-362162-1176845381.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 721f63c71e5f6018eabb753425e3fdd2 RANDOM SEED= 698872212 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1748256 kB Buffers: 25764 kB Cached: 94064 kB SwapCached: 2980 kB Active: 72492 kB Inactive: 182348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1748256 kB SwapTotal: 4192956 kB SwapFree: 4184436 kB Dirty: 2248 kB Writeback: 0 kB Mapped: 149504 kB Slab: 38148 kB Committed_AS: 2560068 kB PageTables: 2008 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 node41 on Tue Apr 17 21:53:28 UTC 2007