Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.26 | 1800.85 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos19.opb |
MD5SUM | 1ef5c8e94b66b7ed63dffc6923ecd901 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -3 |
Best CPU time to get the best result obtained on this benchmark | 1798.33 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -3 |
Optimality of the best value was proved | NO |
Number of variables | 1041679 |
Total number of constraints | 127860 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 127780 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 275 |
Number of terms in the objective function | 1611 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1611 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24576 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 98256 |
Number of bits of the biggest sum of numbers | 17 |
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 wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875625-1245132283.opb. 0.00/0.00 c Instance file HOME/instance-1875625-1245132283.opb 0.00/0.00 c File size is 36556625 bytes. 8.79/8.82 c Highest Coefficient sum: 98256 8.79/8.83 c ============================[ Problem Statistics ]============================= 8.79/8.83 c | | 8.79/8.83 c | Parsing time: 8.48 s | 8.79/8.83 c | Number Variables: 1041679 | 8.79/8.83 c | Number Clauses: 4552 | 8.79/8.83 c | Number Cardinality: 1643 | 8.79/8.83 c | Number PB Constraints: 155612 | 8.79/8.88 c ============================[ Search Statistics ]============================== 8.79/8.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.79/8.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.79/8.88 c =============================================================================== 8.79/8.88 c | 0 | 1021287 161807 4813016 | 53935 0 nan | 0.000 % | 8.89/8.92 c | 100 | 1021287 161807 4813016 | 59329 100 111 | 1.958 % | 8.89/8.98 c | 250 | 1021287 161807 4813016 | 65262 250 108 | 1.958 % | 8.98/9.05 c | 475 | 1021287 161807 4813016 | 71788 475 108 | 1.958 % | 13.19/13.29 c | 812 | 1021287 161807 4813016 | 78967 812 82 | 1.958 % | 13.39/13.46 c | 1318 | 1021287 161807 4813016 | 86863 1318 83 | 1.958 % | 13.58/13.61 c | 2077 | 1021287 161807 4813016 | 95550 2077 85 | 1.958 % | 17.99/18.08 c | 3217 | 1021287 161807 4813016 | 105105 3217 88 | 1.958 % | 18.28/18.38 c | 4925 | 1021287 161807 4813016 | 115615 4925 97 | 1.958 % | 18.88/18.96 c | 7488 | 1021287 161807 4813016 | 127177 7488 103 | 1.958 % | 19.79/19.89 c | 11333 | 1021287 161807 4813016 | 139895 11333 106 | 1.958 % | 21.28/21.34 c | 17099 | 1021287 161807 4813016 | 153884 17099 108 | 1.958 % | 24.29/24.35 c | 25749 | 1021287 161807 4813016 | 169273 25749 109 | 1.958 % | 29.77/29.85 c | 38724 | 1021287 161807 4813016 | 186200 38724 110 | 1.958 % | 38.87/38.90 c | 58185 | 1021287 161807 4813016 | 204820 58185 109 | 1.958 % | 57.06/57.12 c | 87377 | 1021287 161807 4813016 | 225302 87377 107 | 1.958 % | 76.76/76.89 c | 131167 | 1021287 161807 4813016 | 247832 131167 106 | 1.958 % | 128.04/128.15 c | 196851 | 1021287 161807 4813016 | 272616 196851 104 | 1.958 % | 239.20/239.33 c | 295377 | 1021287 161807 4813016 | 299877 15533 101 | 1.958 % | 404.15/404.39 c | 443166 | 1021287 161807 4813016 | 329865 163322 104 | 1.958 % | 594.99/595.21 c | 664849 | 1021287 161807 4813016 | 362852 48101 98 | 1.958 % | 941.67/942.06 c | 997374 | 1021287 161807 4813016 | 399137 380626 108 | 1.958 % | 1705.92/1706.50 c | 1496162 | 1021287 161807 4813016 | 439051 67271 122 | 1.958 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875625-1245132283/watcher-1875625-1245132283 -o /tmp/evaluation-result-1875625-1245132283/solver-1875625-1245132283 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875625-1245132283.opb 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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31940 /proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=38508 CPUtime=0 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 180825762 39432192 243 1992294400 134512640 135709839 4294956240 18446744073709551615 135165876 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 9627 243 125 292 0 407 0 [startup+0.0235641 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31940 /proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=40192 CPUtime=0.02 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 656 0 0 0 2 0 0 0 18 0 1 0 180825762 41156608 640 1992294400 134512640 135709839 4294956240 18446744073709551615 134571093 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 10048 640 150 292 0 828 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 40192 [startup+0.101576 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31940 /proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=46524 CPUtime=0.09 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 2230 0 0 0 9 0 0 0 18 0 1 0 180825762 47640576 2141 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 11631 2141 245 292 0 2411 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 46524 [startup+0.301609 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31940 /proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=61504 CPUtime=0.29 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 6222 0 0 0 27 2 0 0 19 0 1 0 180825762 62980096 5843 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 15376 5845 494 292 0 6156 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 61504 [startup+0.701676 s] /proc/loadavg: 1.00 1.00 1.00 3/64 31940 /proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=90896 CPUtime=0.69 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 13855 0 0 0 64 5 0 0 22 0 1 0 180825762 93077504 12740 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 22724 12740 977 292 0 13504 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 90896 [startup+1.50282 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=1240724/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=151452 CPUtime=1.49 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 28214 0 0 0 137 12 0 0 25 0 1 0 180825762 155086848 25888 1992294400 134512640 135709839 4294956240 18446744073709551615 134548118 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 37863 25888 1896 292 0 28643 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 151452 [startup+3.10109 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=1166164/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=232208 CPUtime=3.09 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 54083 0 0 0 286 23 0 0 25 0 1 0 180825762 237780992 50362 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 58052 50362 3778 292 0 48832 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 232208 [startup+6.30263 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=1070740/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=294656 CPUtime=6.29 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 72844 0 0 0 599 30 0 0 25 0 1 0 180825762 301727744 69123 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 73664 69123 6893 292 0 64444 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 294656 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=1000084/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=318156 CPUtime=12.69 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 89545 0 0 0 1231 38 0 0 25 0 1 0 180825762 325791744 76770 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 79539 76770 135 292 0 79244 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 318156 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=976852/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=342320 CPUtime=25.49 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 95563 0 0 0 2502 47 0 0 25 0 1 0 180825762 350535680 82788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 85580 82788 135 292 0 85285 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 342320 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=934036/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=385336 CPUtime=51.06 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 106275 0 0 0 5045 61 0 0 25 0 1 0 180825762 394584064 93500 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 96334 93500 135 292 0 96039 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 385336 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=857556/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=461340 CPUtime=102.25 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 125202 0 0 0 10133 92 0 0 25 0 1 0 180825762 472412160 112427 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 115335 112427 135 292 0 115040 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 461340 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=820372/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=499068 CPUtime=162.22 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 134505 0 0 0 16117 105 0 0 25 0 1 0 180825762 511045632 121730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 124767 121730 135 292 0 124472 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 499068 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=757012/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=561732 CPUtime=222.2 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 150247 0 0 0 22089 131 0 0 25 0 1 0 180825762 575213568 137472 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 140433 137472 135 292 0 140138 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 561732 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=702740/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=616424 CPUtime=282.19 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 163879 0 0 0 28066 153 0 0 25 0 1 0 180825762 631218176 151104 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 154106 151104 135 292 0 153811 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 616424 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=667412/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=651440 CPUtime=342.17 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 172631 0 0 0 34046 171 0 0 25 0 1 0 180825762 667074560 159856 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 162860 159856 135 292 0 162565 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 651440 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=639892/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=679160 CPUtime=402.15 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 179538 0 0 0 40029 186 0 0 25 0 1 0 180825762 695459840 166763 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 169790 166763 135 292 0 169495 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 679160 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=571604/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=747236 CPUtime=462.13 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 196529 0 0 0 45997 216 0 0 25 0 1 0 180825762 765169664 183754 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 186809 183754 135 292 0 186514 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 747236 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=525076/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=794524 CPUtime=522.11 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 208197 0 0 0 51973 238 0 0 25 0 1 0 180825762 813592576 195422 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 198631 195422 135 292 0 198336 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 794524 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=503444/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=815704 CPUtime=582.09 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 213461 0 0 0 57961 248 0 0 25 0 1 0 180825762 835280896 200686 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 203926 200686 135 292 0 203631 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 815704 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=414676/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=904484 CPUtime=642.08 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 235593 0 0 0 63929 279 0 0 25 0 1 0 180825762 926191616 222818 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 226121 222818 135 292 0 225826 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 904484 [startup+702.303 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=249492/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1070236 CPUtime=882 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 276842 0 0 0 87850 350 0 0 25 0 1 0 180825762 1095921664 264067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 267559 264067 135 292 0 267264 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 1070236 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=226260/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1093796 CPUtime=941.97 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 282755 0 0 0 93834 363 0 0 25 0 1 0 180825762 1120047104 269980 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 273449 269980 135 292 0 273154 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1093796 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=193620/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1125444 CPUtime=1001.95 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 290755 0 0 0 99818 377 0 0 25 0 1 0 180825762 1152454656 277980 1992294400 134512640 135709839 4294956240 18446744073709551615 134568679 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 281361 277980 135 292 0 281066 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1125444 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=193556/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1125444 CPUtime=1061.93 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 290755 0 0 0 105816 377 0 0 25 0 1 0 180825762 1152454656 277980 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 281361 277980 135 292 0 281066 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 1125444 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=180756/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1138776 CPUtime=1121.92 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 294092 0 0 0 111811 381 0 0 25 0 1 0 180825762 1166106624 281317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 284694 281317 135 292 0 284399 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1138776 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=65172/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1255180 CPUtime=1181.9 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 323171 0 0 0 117766 424 0 0 25 0 1 0 180825762 1285304320 310396 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 313795 310396 135 292 0 313500 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1255180 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=16148/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1313744 CPUtime=1241.88 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 337778 0 0 0 123739 449 0 0 25 0 1 0 180825762 1345273856 325003 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 328436 325003 135 292 0 328141 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 1313744 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=15956/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1349076 CPUtime=1301.86 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 346553 0 0 0 129720 466 0 0 25 0 1 0 180825762 1381453824 333778 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 337269 333778 135 292 0 336974 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1349076 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=16020/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1366228 CPUtime=1361.83 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 350805 0 0 0 135708 475 0 0 25 0 1 0 180825762 1399017472 338030 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 341557 338030 135 292 0 341262 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1366228 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=15700/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1383396 CPUtime=1421.82 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 355075 0 0 0 141698 484 0 0 25 0 1 0 180825762 1416597504 342300 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 345849 342300 135 292 0 345554 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 1383396 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=15316/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1402360 CPUtime=1481.8 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 359800 0 0 0 147683 497 0 0 25 0 1 0 180825762 1436016640 347025 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 350590 347025 135 292 0 350295 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 1402360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=14996/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1421124 CPUtime=1541.78 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 364485 0 0 0 153668 510 0 0 25 0 1 0 180825762 1455230976 351710 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 355281 351710 135 292 0 354986 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 1421124 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 3/65 31941 /proc/meminfo: memFree=14804/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1438604 CPUtime=1601.76 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 368854 0 0 0 159653 523 0 0 25 0 1 0 180825762 1473130496 356079 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 359651 356079 135 292 0 359356 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 1438604 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=14868/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1444716 CPUtime=1661.74 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 370324 0 0 0 165647 527 0 0 25 0 1 0 180825762 1479389184 357549 1992294400 134512640 135709839 4294956240 18446744073709551615 134568690 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 361179 357549 135 292 0 360884 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 1444716 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=15188/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1510116 CPUtime=1721.72 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 386675 0 0 0 171619 553 0 0 25 0 1 0 180825762 1546358784 373900 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 377529 373900 135 292 0 377234 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 1510116 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=15444/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1563128 CPUtime=1781.7 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 399918 0 0 0 177593 577 0 0 25 0 1 0 180825762 1600643072 387143 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 390782 387143 135 292 0 390487 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 1563128 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=16340/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=1583744 CPUtime=1800.01 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 405075 0 0 0 179414 587 0 0 25 0 1 0 180825762 1621753856 392300 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 395936 392300 135 292 0 395641 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1583744 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/65 31941 /proc/meminfo: memFree=16340/2055920 swapFree=4181368/4192956 [pid=31940] ppid=31938 vsize=0 CPUtime=1800.2 /proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4195332 405075 0 0 0 179414 606 0 0 25 0 1 0 180825762 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/31940/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.2 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.85 CPU time (s): 1800.26 CPU user time (s): 1794.14 CPU system time (s): 6.11307 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 1583744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.14 system time used= 6.11307 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 405075 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= 2 involuntary context switches= 3209 runsolver used 1.20782 second user time and 3.85641 second system time The end
Begin job on node43 at 2009-06-16 08:04:45 IDJOB=1875625 IDBENCH=1845 IDSOLVER=698 FILE ID=node43/1875625-1245132283 PBS_JOBID= 9363711 Free space on /tmp= 66156 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875625-1245132283/watcher-1875625-1245132283 -o /tmp/evaluation-result-1875625-1245132283/solver-1875625-1245132283 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875625-1245132283.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901 RANDOM SEED=2057035505 node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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: 1307388 kB Buffers: 47460 kB Cached: 628616 kB SwapCached: 5352 kB Active: 108228 kB Inactive: 575676 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1307388 kB SwapTotal: 4192956 kB SwapFree: 4181368 kB Dirty: 38080 kB Writeback: 0 kB Mapped: 13528 kB Slab: 50580 kB Committed_AS: 166668 kB PageTables: 1448 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875625-1245132283.opb Free space on /tmp at the end= 66156 MiB End job on node43 at 2009-06-16 08:34:48