Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (MO) | 1209.92 | 1210.3 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_9.opb |
MD5SUM | d90f6236f870e45ceb3cd4a6e4593f30 |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.52 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 24 |
Optimality of the best value was proved | NO |
Number of variables | 14352 |
Total number of constraints | 53247 |
Number of constraints which are clauses | 53237 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 9 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1036 |
Number of terms in the objective function | 1036 |
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 | 1036 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1068 |
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-1875494-1245184157.opb. 0.00/0.00 c Instance file HOME/instance-1875494-1245184157.opb 0.00/0.00 c File size is 1582828 bytes. 0.19/0.22 c Highest Coefficient sum: 1068 0.19/0.22 c ============================[ Problem Statistics ]============================= 0.19/0.22 c | | 0.19/0.22 c | Parsing time: 0.22 s | 0.19/0.22 c | Number Variables: 14352 | 0.19/0.22 c | Number Clauses: 54273 | 0.19/0.22 c | Number Cardinality: 1 | 0.19/0.22 c | Number PB Constraints: 9 | 0.19/0.22 c core #1 0.19/0.22 c Core size: 2 Core Weight: 1 Total Weight: 1 0.19/0.22 c Elapsed CPU time: 0.223965 s Remaining CPU time: 1799.78 s 0.19/0.27 c core #2 0.19/0.27 c Core size: 2 Core Weight: 1 Total Weight: 2 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 1799.74 s 0.29/0.31 c core #3 0.29/0.31 c Core size: 2 Core Weight: 1 Total Weight: 3 0.29/0.31 c Elapsed CPU time: 0.304953 s Remaining CPU time: 1799.7 s 0.29/0.36 c core #4 0.29/0.36 c Core size: 2 Core Weight: 1 Total Weight: 4 0.29/0.36 c Elapsed CPU time: 0.346947 s Remaining CPU time: 1799.65 s 0.39/0.40 c core #5 0.39/0.40 c Core size: 2 Core Weight: 1 Total Weight: 5 0.39/0.40 c Elapsed CPU time: 0.39094 s Remaining CPU time: 1799.61 s 0.39/0.45 c core #6 0.39/0.45 c Core size: 73 Core Weight: 1 Total Weight: 6 0.39/0.45 c Elapsed CPU time: 0.435933 s Remaining CPU time: 1799.56 s 0.49/0.50 c core #7 0.49/0.50 c Core size: 720 Core Weight: 1 Total Weight: 7 0.49/0.50 c Elapsed CPU time: 0.492925 s Remaining CPU time: 1799.51 s 0.49/0.56 c core #8 0.49/0.56 c Core size: 82 Core Weight: 1 Total Weight: 8 0.49/0.56 c Elapsed CPU time: 0.546916 s Remaining CPU time: 1799.45 s 0.59/0.61 c core #9 0.59/0.61 c Core size: 360 Core Weight: 1 Total Weight: 9 0.59/0.61 c Elapsed CPU time: 0.601908 s Remaining CPU time: 1799.4 s 0.59/0.67 c core #10 0.59/0.67 c Core size: 363 Core Weight: 1 Total Weight: 10 0.59/0.67 c Elapsed CPU time: 0.659899 s Remaining CPU time: 1799.34 s 0.69/0.73 c ============================[ Search Statistics ]============================== 0.69/0.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.73 c =============================================================================== 0.69/0.73 c | 0 | 10984 54293 133117 | 18097 0 nan | 0.000 % | 0.69/0.75 c =============================================================================== 0.69/0.75 c core #11 0.69/0.75 c Core size: 198 Core Weight: 1 Total Weight: 11 0.69/0.75 c Elapsed CPU time: 0.727889 s Remaining CPU time: 1799.27 s 0.79/0.81 c Learning 2 hard constraints 0.79/0.81 c ============================[ Search Statistics ]============================== 0.79/0.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.81 c =============================================================================== 0.79/0.81 c | 0 | 11138 54296 133728 | 18098 0 nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c core #12 0.89/0.93 c Core size: 2405 Core Weight: 1 Total Weight: 12 0.89/0.93 c Elapsed CPU time: 0.91486 s Remaining CPU time: 1799.09 s 0.89/0.99 c ============================[ Search Statistics ]============================== 0.89/0.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.89/0.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.89/0.99 c =============================================================================== 0.89/0.99 c | 0 | 13773 54297 136462 | 18099 0 nan | 0.000 % | 0.99/1.03 c | 101 | 13773 54297 136462 | 19908 101 40 | 10.402 % | 0.99/1.05 c | 251 | 13771 54297 136462 | 21899 251 40 | 10.415 % | 0.99/1.08 c | 477 | 13770 54297 136462 | 24089 471 42 | 10.422 % | 0.99/1.09 c =============================================================================== 0.99/1.09 c core #13 0.99/1.09 c Core size: 484 Core Weight: 1 Total Weight: 13 0.99/1.09 c Elapsed CPU time: 1.07184 s Remaining CPU time: 1798.93 s 1.09/1.15 c Learning 1 hard constraints 1.09/1.15 c ============================[ Search Statistics ]============================== 1.09/1.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.09/1.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.09/1.15 c =============================================================================== 1.09/1.15 c | 0 | 13829 54299 136608 | 18099 0 nan | 0.000 % | 1.09/1.18 c | 100 | 13829 54299 136608 | 19909 100 62 | 10.364 % | 1.09/1.19 c | 250 | 13829 54299 136608 | 21900 250 45 | 10.364 % | 1.19/1.23 c | 479 | 13829 54299 136608 | 24090 479 47 | 10.364 % | 1.19/1.28 c | 817 | 13829 54299 136608 | 26499 817 50 | 10.364 % | 1.29/1.36 c | 1324 | 13829 54299 136608 | 29149 1324 49 | 10.364 % | 1.39/1.46 c | 2087 | 13829 54299 136608 | 32064 2087 48 | 10.364 % | 1.69/1.73 c | 3229 | 13829 54299 136608 | 35271 3229 65 | 10.364 % | 2.19/2.25 c | 4937 | 13829 54299 136608 | 38798 4937 65 | 10.364 % | 2.99/3.01 c | 7499 | 13829 54299 136608 | 42678 7499 65 | 10.364 % | 3.59/3.61 c =============================================================================== 3.69/3.72 c core #14 3.69/3.72 c Core size: 686 Core Weight: 1 Total Weight: 14 3.69/3.72 c Elapsed CPU time: 3.67244 s Remaining CPU time: 1796.33 s 3.69/3.79 c Learning 34 hard constraints 3.69/3.79 c ============================[ Search Statistics ]============================== 3.69/3.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.69/3.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.69/3.79 c =============================================================================== 3.69/3.79 c | 0 | 13885 54334 137276 | 18111 0 nan | 0.000 % | 3.88/3.95 c | 101 | 13884 54334 137276 | 19922 100 194 | 10.333 % | 4.09/4.16 c | 252 | 13882 54334 137276 | 21914 250 170 | 10.346 % | 4.29/4.36 c | 478 | 13882 54334 137276 | 24106 476 193 | 10.346 % | 5.09/5.11 c | 822 | 13881 54334 137276 | 26516 818 248 | 10.353 % | 6.39/6.47 c | 1330 | 13880 54334 137276 | 29168 1325 330 | 10.359 % | 7.79/7.84 c | 2089 | 13876 54334 137276 | 32085 2082 427 | 10.385 % | 10.49/10.57 c | 3229 | 13870 54334 137276 | 35293 3214 653 | 10.424 % | 16.39/16.43 c | 4938 | 13862 54334 137276 | 38823 4918 922 | 10.476 % | 23.19/23.23 c =============================================================================== 23.39/23.48 c core #15 23.39/23.48 c Core size: 14515 Core Weight: 1 Total Weight: 15 23.39/23.48 c Elapsed CPU time: 23.2485 s Remaining CPU time: 1776.75 s 23.49/23.56 c Learning 51 hard constraints 23.49/23.56 c ============================[ Search Statistics ]============================== 23.49/23.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 23.49/23.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 23.49/23.56 c =============================================================================== 23.49/23.56 c | 0 | 14376 54386 143430 | 18128 0 nan | 0.000 % | 23.69/23.73 c | 100 | 14376 54386 143430 | 19941 100 162 | 10.009 % | 23.78/23.88 c | 250 | 14376 54386 143430 | 21935 250 293 | 10.009 % | 23.98/24.01 c | 475 | 14376 54386 143430 | 24129 475 256 | 10.010 % | 24.09/24.11 c | 813 | 14376 54386 143430 | 26542 813 324 | 10.009 % | 24.39/24.44 c | 1319 | 14376 54386 143430 | 29196 1319 562 | 10.009 % | 26.29/26.33 c | 2078 | 14376 54386 143430 | 32116 2078 566 | 10.009 % | 27.78/27.83 c | 3217 | 14376 54386 143430 | 35327 3217 567 | 10.009 % | 30.38/30.40 c | 4929 | 14376 54386 143430 | 38860 4929 572 | 10.009 % | 34.38/34.42 c | 7492 | 14376 54386 143430 | 42746 7492 918 | 10.009 % | 40.67/40.77 c | 11339 | 14376 54386 143430 | 47021 11339 894 | 10.009 % | 54.77/54.87 c | 17106 | 14376 54386 143430 | 51723 17106 1201 | 10.009 % | 74.67/74.74 c | 25755 | 14376 54386 143430 | 56895 25755 1239 | 10.009 % | 123.35/123.44 c | 38729 | 14376 54386 143430 | 62585 38729 1395 | 10.009 % | 257.52/257.68 c | 58192 | 14376 54386 143430 | 68843 58192 1877 | 10.009 % | 460.26/460.40 c | 87387 | 14376 54386 143430 | 75727 30070 2575 | 10.009 % | 777.88/778.10 c | 131177 | 14376 54386 143430 | 83300 73860 2528 | 10.009 % |
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-1875494-1245184157/watcher-1875494-1245184157 -o /tmp/evaluation-result-1875494-1245184157/solver-1875494-1245184157 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875494-1245184157.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: 0.99 0.97 0.98 3/64 12285 /proc/meminfo: memFree=1848112/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=4220 CPUtime=0 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 71118553 4321280 235 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 1055 235 127 292 0 373 0 [startup+0.0201269 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12285 /proc/meminfo: memFree=1848112/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=4652 CPUtime=0.01 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 375 0 0 0 1 0 0 0 18 0 1 0 71118553 4763648 359 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 1163 359 153 292 0 481 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4652 [startup+0.101137 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12285 /proc/meminfo: memFree=1848112/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=6112 CPUtime=0.09 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 859 0 0 0 9 0 0 0 18 0 1 0 71118553 6258688 843 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 1528 843 290 292 0 846 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6112 [startup+0.30116 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12285 /proc/meminfo: memFree=1848112/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=11840 CPUtime=0.29 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 3030 0 0 0 28 1 0 0 19 0 1 0 71118553 12124160 2345 1992294400 134512640 135709839 4294956240 18446744073709551615 135166121 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 2960 2345 133 292 0 2665 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11840 [startup+0.701205 s] /proc/loadavg: 0.99 0.97 0.98 3/64 12285 /proc/meminfo: memFree=1848112/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=13424 CPUtime=0.69 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 4031 0 0 0 67 2 0 0 22 0 1 0 71118553 13746176 2832 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 3356 2832 134 292 0 3061 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13424 [startup+1.5013 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1837288/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=11980 CPUtime=1.49 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 4343 0 0 0 146 3 0 0 25 0 1 0 71118553 12267520 2567 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 2995 2567 136 292 0 2700 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11980 [startup+3.10248 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1838056/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=12772 CPUtime=3.09 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 4537 0 0 0 305 4 0 0 25 0 1 0 71118553 13078528 2761 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 3193 2761 136 292 0 2898 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12772 [startup+6.30185 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1832488/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=17804 CPUtime=6.29 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 5732 0 0 0 622 7 0 0 25 0 1 0 71118553 18231296 3956 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 4451 3956 136 292 0 4156 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17804 [startup+12.7016 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1823656/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=28228 CPUtime=12.69 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 8359 0 0 0 1253 16 0 0 25 0 1 0 71118553 28905472 6583 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 7057 6583 136 292 0 6762 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28228 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1803368/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=47072 CPUtime=25.48 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 13006 0 0 0 2523 25 0 0 25 0 1 0 71118553 48201728 11230 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 11768 11230 136 292 0 11473 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 47072 [startup+51.102 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1742760/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=110260 CPUtime=51.07 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 28855 0 0 0 5061 46 0 0 25 0 1 0 71118553 112906240 27079 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 27565 27079 136 292 0 27270 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 110260 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1624936/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=225224 CPUtime=102.26 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 57564 0 0 0 10155 71 0 0 25 0 1 0 71118553 230629376 55788 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 56306 55788 136 292 0 56011 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 225224 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1513384/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=337600 CPUtime=162.24 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 85660 0 0 0 16133 91 0 0 25 0 1 0 71118553 345702400 83884 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 84400 83884 136 292 0 84105 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 337600 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1409320/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=440640 CPUtime=222.23 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 111424 0 0 0 22114 109 0 0 25 0 1 0 71118553 451215360 109648 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 110160 109648 136 292 0 109865 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 440640 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1331112/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=519192 CPUtime=282.21 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 131023 0 0 0 28095 126 0 0 25 0 1 0 71118553 531652608 129247 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 129798 129247 136 292 0 129503 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 519192 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1226984/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=623128 CPUtime=342.19 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 157017 0 0 0 34075 144 0 0 25 0 1 0 71118553 638083072 155241 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 155782 155241 136 292 0 155487 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 623128 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=1099496/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=751292 CPUtime=402.18 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 189082 0 0 0 40053 165 0 0 25 0 1 0 71118553 769323008 187306 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 187823 187306 136 292 0 187528 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 751292 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=986600/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=862352 CPUtime=462.16 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 216833 0 0 0 46029 187 0 0 25 0 1 0 71118553 883048448 215057 1992294400 134512640 135709839 4294956240 18446744073709551615 134578634 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 215588 215057 136 292 0 215293 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 862352 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=887336/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=962016 CPUtime=522.14 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 241759 0 0 0 52006 208 0 0 25 0 1 0 71118553 985104384 239983 1992294400 134512640 135709839 4294956240 18446744073709551615 134579155 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 240504 239983 136 292 0 240209 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 962016 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=786536/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1062964 CPUtime=582.13 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 266975 0 0 0 57985 228 0 0 25 0 1 0 71118553 1088475136 265199 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 265741 265199 136 292 0 265446 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1062964 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=705960/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1142148 CPUtime=642.12 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 286783 0 0 0 63965 247 0 0 25 0 1 0 71118553 1169559552 285007 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 285537 285007 136 292 0 285242 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1142148 [startup+702.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=636648/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1212380 CPUtime=702.09 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 304324 0 0 0 69950 259 0 0 25 0 1 0 71118553 1241477120 302548 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 303095 302548 136 292 0 302800 0 Current children cumulated CPU time (s) 702.09 Current children cumulated vsize (KiB) 1212380 [startup+762.306 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=550760/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1297116 CPUtime=762.08 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 325517 0 0 0 75934 274 0 0 25 0 1 0 71118553 1328246784 323741 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 324279 323741 136 292 0 323984 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 1297116 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=483304/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1364628 CPUtime=822.07 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 342392 0 0 0 81921 286 0 0 25 0 1 0 71118553 1397379072 340616 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 341157 340616 136 292 0 340862 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1364628 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=439400/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1408376 CPUtime=882.05 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 353318 0 0 0 87909 296 0 0 25 0 1 0 71118553 1442177024 351542 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 352094 351542 136 292 0 351799 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1408376 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=377960/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1470768 CPUtime=942.04 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 368929 0 0 0 93894 310 0 0 25 0 1 0 71118553 1506066432 367153 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 367692 367153 136 292 0 367397 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1470768 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=257704/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1589432 CPUtime=1002.02 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 398575 0 0 0 99867 335 0 0 25 0 1 0 71118553 1627578368 396799 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 397358 396799 136 292 0 397063 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1589432 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=190888/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1657100 CPUtime=1062 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 415494 0 0 0 105852 348 0 0 25 0 1 0 71118553 1696870400 413718 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 414275 413718 136 292 0 413980 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1657100 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=114408/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1733148 CPUtime=1121.99 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 434501 0 0 0 111835 364 0 0 25 0 1 0 71118553 1774743552 432725 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 433287 432725 136 292 0 432992 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1733148 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=40808/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1806880 CPUtime=1181.97 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 452924 0 0 0 117821 376 0 0 25 0 1 0 71118553 1850245120 451148 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 451720 451148 136 292 0 451425 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1806880 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1210 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=14824/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=1843220 CPUtime=1209.62 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4194304 462019 0 0 0 120580 382 0 0 25 0 1 0 71118553 1887457280 460243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 460805 460243 136 292 0 460510 0 Current children cumulated CPU time (s) 1209.62 Current children cumulated vsize (KiB) 1843220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1210.2 s] /proc/loadavg: 0.99 0.97 0.98 2/65 12286 /proc/meminfo: memFree=14824/2055920 swapFree=4192952/4192956 [pid=12285] ppid=12283 vsize=0 CPUtime=1209.81 /proc/12285/stat : 12285 (wbo) R 12283 12285 12171 0 -1 4195332 462019 0 0 0 120580 401 0 0 25 0 1 0 71118553 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/12285/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1209.81 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1210.3 CPU time (s): 1209.92 CPU user time (s): 1205.81 CPU system time (s): 4.10938 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1843220 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1205.81 system time used= 4.10938 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 462019 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= 1648 runsolver used 0.971852 second user time and 2.68259 second system time The end
Begin job on node20 at 2009-06-16 22:29:17 IDJOB=1875494 IDBENCH=25016 IDSOLVER=698 FILE ID=node20/1875494-1245184157 PBS_JOBID= 9368283 Free space on /tmp= 66320 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_9.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-1875494-1245184157/watcher-1875494-1245184157 -o /tmp/evaluation-result-1875494-1245184157/solver-1875494-1245184157 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875494-1245184157.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d90f6236f870e45ceb3cd4a6e4593f30 RANDOM SEED=501796057 node20.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.234 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.234 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: 1848656 kB Buffers: 43380 kB Cached: 78472 kB SwapCached: 4 kB Active: 41896 kB Inactive: 93372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1848656 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 3924 kB Writeback: 0 kB Mapped: 23232 kB Slab: 57984 kB Committed_AS: 136908 kB PageTables: 1400 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-1875494-1245184157.opb Free space on /tmp at the end= 66320 MiB End job on node20 at 2009-06-16 22:49:29