Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1737.38 | 1737.87 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb |
MD5SUM | a7af672db5daf9bd21f1768f531add6b |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 27 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 21320 |
Total number of constraints | 79746 |
Number of constraints which are clauses | 79734 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1407 |
Number of terms in the objective function | 1407 |
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 | 1407 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 35 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1442 |
Number of bits of the biggest sum of numbers | 11 |
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-1875497-1245184793.opb. 0.00/0.00 c Instance file HOME/instance-1875497-1245184793.opb 0.00/0.00 c File size is 2416408 bytes. 0.29/0.32 c Highest Coefficient sum: 1442 0.29/0.32 c ============================[ Problem Statistics ]============================= 0.29/0.32 c | | 0.29/0.32 c | Parsing time: 0.32 s | 0.29/0.32 c | Number Variables: 21320 | 0.29/0.32 c | Number Clauses: 81141 | 0.29/0.32 c | Number Cardinality: 1 | 0.29/0.32 c | Number PB Constraints: 11 | 0.29/0.32 c core #1 0.29/0.32 c Core size: 2 Core Weight: 1 Total Weight: 1 0.29/0.32 c Elapsed CPU time: 0.315951 s Remaining CPU time: 1799.68 s 0.29/0.39 c core #2 0.29/0.39 c Core size: 2 Core Weight: 1 Total Weight: 2 0.29/0.39 c Elapsed CPU time: 0.372943 s Remaining CPU time: 1799.63 s 0.39/0.45 c core #3 0.39/0.45 c Core size: 2 Core Weight: 1 Total Weight: 3 0.39/0.45 c Elapsed CPU time: 0.434933 s Remaining CPU time: 1799.57 s 0.49/0.52 c core #4 0.49/0.52 c Core size: 2 Core Weight: 1 Total Weight: 4 0.49/0.52 c Elapsed CPU time: 0.501923 s Remaining CPU time: 1799.5 s 0.49/0.59 c core #5 0.49/0.59 c Core size: 2 Core Weight: 1 Total Weight: 5 0.49/0.59 c Elapsed CPU time: 0.564914 s Remaining CPU time: 1799.44 s 0.59/0.65 c core #6 0.59/0.65 c Core size: 161 Core Weight: 1 Total Weight: 6 0.59/0.65 c Elapsed CPU time: 0.630904 s Remaining CPU time: 1799.37 s 0.69/0.72 c core #7 0.69/0.72 c Core size: 169 Core Weight: 1 Total Weight: 7 0.69/0.72 c Elapsed CPU time: 0.697893 s Remaining CPU time: 1799.3 s 0.79/0.81 c core #8 0.79/0.81 c Core size: 727 Core Weight: 1 Total Weight: 8 0.79/0.81 c Elapsed CPU time: 0.78588 s Remaining CPU time: 1799.21 s 0.79/0.89 c core #9 0.79/0.89 c Core size: 359 Core Weight: 1 Total Weight: 9 0.79/0.89 c Elapsed CPU time: 0.860869 s Remaining CPU time: 1799.14 s 0.89/0.98 c core #10 0.89/0.98 c Core size: 748 Core Weight: 1 Total Weight: 10 0.89/0.98 c Elapsed CPU time: 0.952855 s Remaining CPU time: 1799.05 s 0.99/1.07 c ============================[ Search Statistics ]============================== 0.99/1.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.99/1.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.99/1.07 c =============================================================================== 0.99/1.07 c | 0 | 16449 81163 199304 | 27054 0 nan | 0.000 % | 1.09/1.14 c =============================================================================== 1.09/1.14 c core #11 1.09/1.14 c Core size: 425 Core Weight: 1 Total Weight: 11 1.09/1.14 c Elapsed CPU time: 1.10483 s Remaining CPU time: 1798.9 s 1.19/1.23 c Learning 3 hard constraints 1.19/1.23 c ============================[ Search Statistics ]============================== 1.19/1.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.23 c =============================================================================== 1.19/1.23 c | 0 | 16806 81167 201062 | 27055 0 nan | 0.000 % | 1.29/1.30 c | 101 | 16743 81167 201062 | 29761 101 116 | 26.741 % | 1.29/1.32 c =============================================================================== 1.29/1.32 c core #12 1.29/1.32 c Core size: 2292 Core Weight: 1 Total Weight: 12 1.29/1.32 c Elapsed CPU time: 1.2858 s Remaining CPU time: 1798.71 s 1.39/1.41 c ============================[ Search Statistics ]============================== 1.39/1.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.41 c =============================================================================== 1.39/1.41 c | 0 | 20595 81168 205186 | 27056 0 nan | 0.000 % | 1.39/1.48 c | 100 | 20595 81168 205186 | 29761 100 46 | 9.313 % | 1.49/1.51 c | 250 | 20593 81168 205186 | 32737 250 65 | 9.322 % | 1.49/1.56 c | 476 | 20587 81168 205186 | 36011 472 84 | 9.348 % | 1.59/1.68 c | 815 | 20580 81168 205186 | 39612 811 102 | 9.379 % | 1.79/1.88 c | 1321 | 20570 81168 205186 | 43573 1302 107 | 9.423 % | 1.89/1.94 c =============================================================================== 1.89/1.95 c core #13 1.89/1.95 c Core size: 1553 Core Weight: 1 Total Weight: 13 1.89/1.95 c Elapsed CPU time: 1.89571 s Remaining CPU time: 1798.1 s 1.99/2.04 c Learning 16 hard constraints 1.99/2.04 c ============================[ Search Statistics ]============================== 1.99/2.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.04 c =============================================================================== 1.99/2.04 c | 0 | 20712 81185 205934 | 27061 0 nan | 0.000 % | 2.09/2.19 c | 100 | 20691 81185 205934 | 29767 100 103 | 9.568 % | 2.19/2.29 c | 251 | 20622 81185 205934 | 32744 235 66 | 9.664 % | 2.59/2.68 c | 476 | 20552 81185 205934 | 36019 444 121 | 9.971 % | 3.09/3.16 c =============================================================================== 3.09/3.16 c core #14 3.09/3.16 c Core size: 4070 Core Weight: 1 Total Weight: 14 3.09/3.16 c Elapsed CPU time: 3.07453 s Remaining CPU time: 1796.93 s 3.20/3.25 c Learning 2 hard constraints 3.20/3.25 c ============================[ Search Statistics ]============================== 3.20/3.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.20/3.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.20/3.25 c =============================================================================== 3.20/3.25 c | 0 | 23264 81188 209008 | 27062 0 nan | 0.000 % | 3.30/3.35 c | 104 | 23264 81188 209008 | 29768 104 76 | 0.043 % | 3.49/3.51 c | 255 | 23263 81188 209008 | 32745 254 125 | 0.047 % | 3.69/3.78 c | 480 | 23262 81188 209008 | 36020 479 146 | 0.052 % | 4.29/4.35 c | 818 | 23262 81188 209008 | 39622 814 171 | 0.052 % | 5.08/5.16 c | 1324 | 23260 81188 209008 | 43584 1319 163 | 0.172 % | 6.59/6.66 c | 2085 | 23224 81188 209008 | 47943 2061 164 | 0.215 % | 8.58/8.67 c | 3224 | 23189 81188 209008 | 52737 3189 191 | 0.365 % | 12.29/12.31 c | 4933 | 23116 81188 209008 | 58011 4823 248 | 0.679 % | 19.49/19.55 c | 7495 | 22398 81188 209008 | 63812 7082 315 | 3.772 % | 28.27/28.38 c =============================================================================== 28.48/28.56 c core #15 28.48/28.56 c Core size: 19241 Core Weight: 1 Total Weight: 15 28.48/28.56 c Elapsed CPU time: 28.1137 s Remaining CPU time: 1771.89 s 28.58/28.68 c Learning 87 hard constraints 28.58/28.68 c ============================[ Search Statistics ]============================== 28.58/28.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.58/28.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 28.58/28.68 c =============================================================================== 28.58/28.68 c | 0 | 24475 81276 215754 | 27092 0 nan | 0.000 % | 28.78/28.81 c | 100 | 24475 81276 215754 | 29801 100 370 | 0.041 % | 28.98/29.08 c | 250 | 24475 81276 215754 | 32781 250 230 | 0.041 % | 29.27/29.37 c | 475 | 24475 81276 215754 | 36059 475 188 | 0.041 % | 30.08/30.18 c | 812 | 24475 81276 215754 | 39665 812 140 | 0.041 % | 30.68/30.71 c | 1318 | 24475 81276 215754 | 43631 1318 180 | 0.041 % | 31.98/32.06 c | 2077 | 24475 81276 215754 | 47995 2077 170 | 0.041 % | 34.08/34.12 c | 3219 | 24475 81276 215754 | 52794 3219 194 | 0.041 % | 36.28/36.36 c | 4927 | 24475 81276 215754 | 58074 4927 219 | 0.041 % | 41.97/42.05 c | 7489 | 24475 81276 215754 | 63881 7489 256 | 0.041 % | 51.28/51.39 c | 11333 | 24475 81276 215754 | 70269 11333 338 | 0.041 % | 67.46/67.50 c | 17101 | 24475 81276 215754 | 77296 17101 349 | 0.041 % | 87.36/87.41 c | 25750 | 24475 81276 215754 | 85026 25750 437 | 0.041 % | 135.45/135.53 c | 38725 | 24475 81276 215754 | 93528 38725 700 | 0.041 % | 212.72/212.83 c | 58189 | 24475 81276 215754 | 102881 58189 794 | 0.041 % | 427.17/427.38 c | 87382 | 24475 81276 215754 | 113170 87382 861 | 0.041 % | 691.09/691.37 c | 131171 | 24475 81276 215754 | 124487 37656 1043 | 0.041 % | 1172.27/1172.65 c | 196859 | 24475 81276 215754 | 136935 103344 1930 | 0.041 % |
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-1875497-1245184793/watcher-1875497-1245184793 -o /tmp/evaluation-result-1875497-1245184793/solver-1875497-1245184793 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875497-1245184793.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/65 4188 /proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=5032 CPUtime=0 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 254 0 0 0 0 0 0 0 20 0 1 0 4391538 5152768 238 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 1291 248 128 292 0 406 0 [startup+0.0188251 s] /proc/loadavg: 1.00 1.00 1.00 3/65 4188 /proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=5588 CPUtime=0.01 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 402 0 0 0 1 0 0 0 20 0 1 0 4391538 5722112 386 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 1397 386 152 292 0 512 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5588 [startup+0.101833 s] /proc/loadavg: 1.00 1.00 1.00 3/65 4188 /proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=7196 CPUtime=0.09 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 947 0 0 0 9 0 0 0 20 0 1 0 4391538 7368704 931 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 1799 931 303 292 0 914 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7196 [startup+0.301851 s] /proc/loadavg: 1.00 1.00 1.00 3/65 4188 /proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=11088 CPUtime=0.29 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 2210 0 0 0 28 1 0 0 22 0 1 0 4391538 11354112 2194 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 2772 2194 672 292 0 1887 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11088 [startup+0.701889 s] /proc/loadavg: 1.00 1.00 1.00 3/65 4188 /proc/meminfo: memFree=1901368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=16592 CPUtime=0.69 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 5562 0 0 0 67 2 0 0 25 0 1 0 4391538 16990208 3406 1992294400 134512640 135709839 4294956240 18446744073709551615 134605228 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 4148 3406 134 292 0 3853 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 16592 [startup+1.50196 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1887152/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=16636 CPUtime=1.49 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 7618 0 0 0 145 4 0 0 25 0 1 0 4391538 17035264 3547 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 4159 3547 136 292 0 3864 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16636 [startup+3.10111 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1886448/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=17524 CPUtime=3.09 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 8091 0 0 0 301 8 0 0 25 0 1 0 4391538 17944576 3752 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 4381 3752 136 292 0 4086 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17524 [startup+6.30241 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1886064/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=17772 CPUtime=6.28 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 8577 0 0 0 617 11 0 0 25 0 1 0 4391538 18198528 3842 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 4443 3842 136 292 0 4148 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17772 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1883056/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=21496 CPUtime=12.68 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 9515 0 0 0 1245 23 0 0 25 0 1 0 4391538 22011904 4780 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 5374 4780 136 292 0 5079 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 21496 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1870000/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=34448 CPUtime=25.48 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 12729 0 0 0 2506 42 0 0 25 0 1 0 4391538 35274752 7994 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 8612 7994 136 292 0 8317 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 34448 [startup+51.1016 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1857520/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=46188 CPUtime=51.08 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 16095 0 0 0 5047 61 0 0 25 0 1 0 4391538 47296512 10945 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 11547 10945 136 292 0 11252 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 46188 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1810800/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=93108 CPUtime=102.27 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 27811 0 0 0 10140 87 0 0 25 0 1 0 4391538 95342592 22661 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 23277 22661 136 292 0 22982 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 93108 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1728432/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=175580 CPUtime=162.24 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 48451 0 0 0 16105 119 0 0 25 0 1 0 4391538 179793920 43301 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 43895 43301 136 292 0 43600 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 175580 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1665008/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=238484 CPUtime=222.23 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 64171 0 0 0 22082 141 0 0 25 0 1 0 4391538 244207616 59021 1992294400 134512640 135709839 4294956240 18446744073709551615 134518193 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 59621 59021 136 292 0 59326 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 238484 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1621104/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=282532 CPUtime=282.21 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 75137 0 0 0 28067 154 0 0 25 0 1 0 4391538 289312768 69987 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 70633 69987 136 292 0 70338 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 282532 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1580400/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=323368 CPUtime=342.19 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 85353 0 0 0 34055 164 0 0 25 0 1 0 4391538 331128832 80203 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 80842 80203 136 292 0 80547 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 323368 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1546096/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=357700 CPUtime=402.17 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 93921 0 0 0 40043 174 0 0 25 0 1 0 4391538 366284800 88771 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 89425 88771 136 292 0 89130 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 357700 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1502896/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=400804 CPUtime=462.16 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 104667 0 0 0 46027 189 0 0 25 0 1 0 4391538 410423296 99517 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 100201 99517 136 292 0 99906 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 400804 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1459952/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=444020 CPUtime=522.14 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 115462 0 0 0 52011 203 0 0 25 0 1 0 4391538 454676480 110312 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 111005 110312 136 292 0 110710 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 444020 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1389360/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=513728 CPUtime=582.13 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 132901 0 0 0 57992 221 0 0 25 0 1 0 4391538 526057472 127751 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 128432 127751 136 292 0 128137 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 513728 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1327664/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=575116 CPUtime=642.11 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 148239 0 0 0 63960 251 0 0 25 0 1 0 4391538 588918784 143089 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 143779 143089 136 292 0 143484 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 575116 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=1096944/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=806372 CPUtime=822.06 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 206067 0 0 0 81885 321 0 0 25 0 1 0 4391538 825724928 200917 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 201593 200917 136 292 0 201298 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 806372 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=999856/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=902512 CPUtime=882.04 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 230115 0 0 0 87861 343 0 0 25 0 1 0 4391538 924172288 224965 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 225628 224965 136 292 0 225333 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 902512 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=907376/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=995568 CPUtime=942.03 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 253353 0 0 0 93835 368 0 0 25 0 1 0 4391538 1019461632 248203 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 248892 248203 136 292 0 248597 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 995568 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=822832/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1078956 CPUtime=1002.02 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 274208 0 0 0 99811 391 0 0 25 0 1 0 4391538 1104850944 269058 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 269739 269058 136 292 0 269444 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1078956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=749424/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1152608 CPUtime=1062 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 292618 0 0 0 105786 414 0 0 25 0 1 0 4391538 1180270592 287468 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 288152 287468 136 292 0 287857 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1152608 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=672368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1229104 CPUtime=1121.98 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 311741 0 0 0 111766 432 0 0 25 0 1 0 4391538 1258602496 306591 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 307276 306591 136 292 0 306981 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1229104 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=600048/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1302144 CPUtime=1181.97 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 330006 0 0 0 117747 450 0 0 25 0 1 0 4391538 1333395456 324856 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 325536 324856 136 292 0 325241 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1302144 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4189 /proc/meminfo: memFree=538032/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1364060 CPUtime=1241.95 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 345451 0 0 0 123729 466 0 0 25 0 1 0 4391538 1396797440 340301 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 341015 340301 136 292 0 340720 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1364060 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=488368/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1412524 CPUtime=1301.93 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 357581 0 0 0 129714 479 0 0 25 0 1 0 4391538 1446424576 352431 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 353131 352431 136 292 0 352836 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 1412524 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=443632/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1457160 CPUtime=1361.91 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 368747 0 0 0 135701 490 0 0 25 0 1 0 4391538 1492131840 363597 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 364290 363597 136 292 0 363995 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1457160 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=399856/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1501020 CPUtime=1421.9 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 379694 0 0 0 141690 500 0 0 25 0 1 0 4391538 1537044480 374544 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 375255 374544 136 292 0 374960 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 1501020 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=354032/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1547420 CPUtime=1481.88 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 391289 0 0 0 147677 511 0 0 25 0 1 0 4391538 1584558080 386139 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 386855 386139 136 292 0 386560 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1547420 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=308848/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1591640 CPUtime=1541.86 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 402336 0 0 0 153665 521 0 0 25 0 1 0 4391538 1629839360 397186 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 397910 397186 136 292 0 397615 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 1591640 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=228016/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1673776 CPUtime=1601.85 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 422828 0 0 0 159649 536 0 0 25 0 1 0 4391538 1713946624 417678 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 418444 417678 136 292 0 418149 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1673776 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=143920/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1756496 CPUtime=1661.83 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 443497 0 0 0 165627 556 0 0 25 0 1 0 4391538 1798651904 438347 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 439124 438347 136 292 0 438829 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 1756496 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=71088/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1830228 CPUtime=1721.81 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 461937 0 0 0 171604 577 0 0 25 0 1 0 4391538 1874153472 456787 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 457557 456787 136 292 0 457262 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1830228 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1737.6 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=56880/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=1843416 CPUtime=1737.11 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4194304 465213 0 0 0 173131 580 0 0 25 0 1 0 4391538 1887657984 460063 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 460854 460063 136 292 0 460559 0 Current children cumulated CPU time (s) 1737.11 Current children cumulated vsize (KiB) 1843416 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1737.8 s] /proc/loadavg: 1.00 1.00 1.00 2/66 4195 /proc/meminfo: memFree=56880/2055920 swapFree=4192956/4192956 [pid=4188] ppid=4186 vsize=0 CPUtime=1737.31 /proc/4188/stat : 4188 (wbo) R 4186 4188 3324 0 -1 4195332 465213 0 0 0 173131 600 0 0 25 0 1 0 4391538 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/4188/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1737.31 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1737.87 CPU time (s): 1737.38 CPU user time (s): 1731.32 CPU system time (s): 6.06408 CPU usage (%): 99.9723 Max. virtual memory (cumulated for all children) (KiB): 1843416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1731.32 system time used= 6.06408 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 465213 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= 2251 runsolver used 1.89171 second user time and 4.08438 second system time The end
Begin job on node8 at 2009-06-16 22:39:53 IDJOB=1875497 IDBENCH=25019 IDSOLVER=698 FILE ID=node8/1875497-1245184793 PBS_JOBID= 9363940 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.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-1875497-1245184793/watcher-1875497-1245184793 -o /tmp/evaluation-result-1875497-1245184793/solver-1875497-1245184793 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875497-1245184793.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7af672db5daf9bd21f1768f531add6b RANDOM SEED=418995956 node8.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.236 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.236 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 : 5996.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1901784 kB Buffers: 38848 kB Cached: 71652 kB SwapCached: 0 kB Active: 82412 kB Inactive: 41812 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1901784 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 4736 kB Writeback: 0 kB Mapped: 23496 kB Slab: 15712 kB Committed_AS: 62460 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875497-1245184793.opb Free space on /tmp at the end= 66284 MiB End job on node8 at 2009-06-16 23:08:53