Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.09 | 1800.94 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_60_5.opb |
MD5SUM | d7281b7a8bb5680ab95cd17583e8be43 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 44 |
Best CPU time to get the best result obtained on this benchmark | 1800.43 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 42 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 109 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 75288 |
Sum of products size (including duplicates) | 150576 |
Number of different products | 75288 |
Sum of products size | 150576 |
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-1875289-1245192982.opb. 0.00/0.00 c Instance file HOME/instance-1875289-1245192982.opb 0.00/0.00 c File size is 5904429 bytes. 0.79/0.82 c Highest Coefficient sum: 110 0.79/0.83 c ============================[ Problem Statistics ]============================= 0.79/0.83 c | | 0.79/0.83 c | Parsing time: 0.80 s | 0.79/0.83 c | Number Variables: 76288 | 0.79/0.83 c | Number Clauses: 77288 | 0.79/0.83 c | Number Cardinality: 0 | 0.79/0.83 c | Number PB Constraints: 75288 | 0.79/0.83 c core #1 0.79/0.83 c Core size: 122 Core Weight: 1 Total Weight: 1 0.79/0.83 c Elapsed CPU time: 0.800878 s Remaining CPU time: 1799.2 s 0.99/1.02 c core #2 0.99/1.02 c Core size: 132 Core Weight: 1 Total Weight: 2 0.99/1.02 c Elapsed CPU time: 0.976851 s Remaining CPU time: 1799.02 s 1.19/1.29 c core #3 1.19/1.29 c Core size: 289 Core Weight: 1 Total Weight: 3 1.19/1.29 c Elapsed CPU time: 1.22781 s Remaining CPU time: 1798.77 s 1.49/1.57 c ============================[ Search Statistics ]============================== 1.49/1.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.57 c =============================================================================== 1.49/1.57 c | 0 | 20798 152579 363750 | 50859 0 nan | 0.000 % | 1.99/2.01 c | 103 | 20798 152579 363750 | 55945 103 270 | 72.833 % | 2.59/2.66 c =============================================================================== 2.59/2.67 c core #4 2.59/2.67 c Core size: 2877 Core Weight: 1 Total Weight: 4 2.59/2.67 c Elapsed CPU time: 2.59061 s Remaining CPU time: 1797.41 s 2.89/2.97 c ============================[ Search Statistics ]============================== 2.89/2.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.89/2.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.89/2.97 c =============================================================================== 2.89/2.97 c | 0 | 70690 152580 511277 | 50860 0 nan | 0.000 % | 3.39/3.49 c | 105 | 70690 152580 511277 | 55946 105 443 | 8.689 % | 6.09/6.15 c | 257 | 70690 152580 511277 | 61540 257 401 | 8.689 % | 12.29/12.38 c | 484 | 70690 152580 511277 | 67694 484 449 | 8.689 % | 22.08/22.18 c | 823 | 70690 152580 511277 | 74464 823 442 | 8.689 % | 36.57/36.66 c | 1332 | 70690 152580 511277 | 81910 1332 398 | 8.689 % | 59.66/59.80 c | 2091 | 70690 152580 511277 | 90101 2091 386 | 8.689 % | 91.55/91.64 c | 3230 | 70690 152580 511277 | 99111 3230 395 | 8.689 % | 138.11/138.20 c | 4939 | 70690 152580 511277 | 109022 4939 374 | 8.689 % | 195.19/195.33 c | 7502 | 70690 152580 511277 | 119925 7502 406 | 8.689 % | 304.04/304.29 c | 11346 | 70690 152580 511277 | 131917 11346 443 | 8.689 % | 473.46/473.71 c | 17113 | 70690 152580 511277 | 145109 17113 472 | 8.689 % | 709.96/710.33 c | 25762 | 70690 152580 511277 | 159620 25762 504 | 8.689 % | 974.54/975.07 c =============================================================================== 975.54/976.07 c core #5 975.54/976.07 c Core size: 7925 Core Weight: 1 Total Weight: 5 975.54/976.07 c Elapsed CPU time: 974.955 s Remaining CPU time: 825.045 s 975.94/976.48 c Learning 2 hard constraints 975.94/976.48 c ============================[ Search Statistics ]============================== 975.94/976.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 975.94/976.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 975.94/976.48 c =============================================================================== 975.94/976.48 c | 0 | 78350 152583 533146 | 50861 0 nan | 0.000 % | 976.84/977.39 c | 100 | 78350 152583 533146 | 55947 100 347 | 0.079 % | 982.44/982.93 c | 251 | 78350 152583 533146 | 61541 251 243 | 0.079 % | 989.13/989.61 c | 476 | 78350 152583 533146 | 67695 476 214 | 0.079 % | 996.33/996.87 c | 813 | 78350 152583 533146 | 74465 813 288 | 0.079 % | 1003.23/1003.75 c | 1319 | 78350 152583 533146 | 81912 1319 299 | 0.079 % | 1015.11/1015.68 c | 2079 | 78350 152583 533146 | 90103 2079 332 | 0.079 % | 1033.51/1034.01 c | 3218 | 78350 152583 533146 | 99113 3218 335 | 0.079 % | 1055.69/1056.27 c | 4926 | 78350 152583 533146 | 109025 4926 338 | 0.079 % | 1101.87/1102.40 c | 7488 | 78350 152583 533146 | 119927 7488 368 | 0.079 % | 1203.52/1204.15 c | 11332 | 78350 152583 533146 | 131920 11332 359 | 0.079 % | 1309.08/1309.80 c | 17101 | 78350 152583 533146 | 145112 17101 391 | 0.079 % | 1525.07/1525.81 c | 25750 | 78350 152583 533146 | 159623 25750 533 | 0.079 % | 1778.05/1778.96 c | 38726 | 78350 152583 533146 | 175585 38726 527 | 0.079 % |
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-1875289-1245192982/watcher-1875289-1245192982 -o /tmp/evaluation-result-1875289-1245192982/solver-1875289-1245192982 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875289-1245192982.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.93 0.98 0.99 3/64 3177 /proc/meminfo: memFree=1853720/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=8608 CPUtime=0 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 186898899 8814592 265 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 2152 265 125 292 0 415 0 [startup+0.0610659 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3177 /proc/meminfo: memFree=1853720/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=13836 CPUtime=0.05 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 1491 0 0 0 5 0 0 0 18 0 1 0 186898899 14168064 1423 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 3459 1423 200 292 0 1722 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 13836 [startup+0.10207 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3177 /proc/meminfo: memFree=1853720/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=16512 CPUtime=0.1 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 2256 0 0 0 9 1 0 0 18 0 1 0 186898899 16908288 2099 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 4128 2099 252 292 0 2391 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 16512 [startup+0.301102 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3177 /proc/meminfo: memFree=1853720/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=22384 CPUtime=0.29 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 3882 0 0 0 28 1 0 0 19 0 1 0 186898899 22921216 3660 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 5596 3660 602 292 0 3859 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 22384 [startup+0.702164 s] /proc/loadavg: 0.93 0.98 0.99 3/64 3177 /proc/meminfo: memFree=1853720/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=27376 CPUtime=0.69 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 5863 0 0 0 67 2 0 0 23 0 1 0 186898899 28033024 5641 1992294400 134512640 135709839 4294956240 18446744073709551615 134557204 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 6844 5642 1325 292 0 5107 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 27376 [startup+1.50129 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1816272/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=57212 CPUtime=1.49 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 17799 0 0 0 142 7 0 0 25 0 1 0 186898899 58585088 12843 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 14303 12843 134 292 0 14008 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 57212 [startup+3.10154 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1805392/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=58508 CPUtime=3.09 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 20936 0 0 0 300 9 0 0 25 0 1 0 186898899 59912192 13586 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 14627 13586 136 292 0 14332 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58508 [startup+6.30104 s] /proc/loadavg: 0.93 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1799504/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=58508 CPUtime=6.28 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 20937 0 0 0 619 9 0 0 25 0 1 0 186898899 59912192 13587 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 14627 13587 136 292 0 14332 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 58508 [startup+12.701 s] /proc/loadavg: 0.94 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1799576/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=58508 CPUtime=12.69 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 20937 0 0 0 1259 10 0 0 25 0 1 0 186898899 59912192 13587 1992294400 134512640 135709839 4294956240 18446744073709551615 134587936 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 14627 13587 136 292 0 14332 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58508 [startup+25.501 s] /proc/loadavg: 0.95 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1799640/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=58508 CPUtime=25.48 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 20940 0 0 0 2537 11 0 0 25 0 1 0 186898899 59912192 13590 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 14627 13590 136 292 0 14332 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 58508 [startup+51.1011 s] /proc/loadavg: 0.97 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1799128/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=59176 CPUtime=51.06 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 21123 0 0 0 5094 12 0 0 25 0 1 0 186898899 60596224 13773 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 14794 13773 136 292 0 14499 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 59176 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1795416/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=62748 CPUtime=102.24 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 22042 0 0 0 10208 16 0 0 25 0 1 0 186898899 64253952 14692 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 15687 14692 136 292 0 15392 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 62748 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1790936/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=67368 CPUtime=162.2 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 23170 0 0 0 16200 20 0 0 25 0 1 0 186898899 68984832 15820 1992294400 134512640 135709839 4294956240 18446744073709551615 134587989 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 16842 15820 136 292 0 16547 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 67368 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3178 /proc/meminfo: memFree=1783192/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=74944 CPUtime=222.18 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 25087 0 0 0 22193 25 0 0 25 0 1 0 186898899 76742656 17737 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 18736 17737 136 292 0 18441 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 74944 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1776856/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=81156 CPUtime=282.16 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 26641 0 0 0 28188 28 0 0 25 0 1 0 186898899 83103744 19291 1992294400 134512640 135709839 4294956240 18446744073709551615 134578626 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 20289 19291 136 292 0 19994 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 81156 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1769304/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=88724 CPUtime=342.13 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 28520 0 0 0 34182 31 0 0 25 0 1 0 186898899 90853376 21170 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 22181 21170 136 292 0 21886 0 Current children cumulated CPU time (s) 342.13 Current children cumulated vsize (KiB) 88724 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1762648/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=95476 CPUtime=402.09 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 30220 0 0 0 40175 34 0 0 25 0 1 0 186898899 97767424 22870 1992294400 134512640 135709839 4294956240 18446744073709551615 134572576 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 23869 22870 136 292 0 23574 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 95476 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1757848/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=100236 CPUtime=462.06 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 31400 0 0 0 46170 36 0 0 25 0 1 0 186898899 102641664 24050 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 25059 24050 136 292 0 24764 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 100236 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1751384/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=106752 CPUtime=522.04 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 33035 0 0 0 52163 41 0 0 25 0 1 0 186898899 109314048 25685 1992294400 134512640 135709839 4294956240 18446744073709551615 134579153 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 26688 25685 136 292 0 26393 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 106752 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1744024/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=114156 CPUtime=582.01 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 34856 0 0 0 58157 44 0 0 25 0 1 0 186898899 116895744 27506 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 28539 27506 136 292 0 28244 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 114156 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 3184 /proc/meminfo: memFree=1736600/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=121432 CPUtime=641.99 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 36701 0 0 0 64152 47 0 0 25 0 1 0 186898899 124346368 29351 1992294400 134512640 135709839 4294956240 18446744073709551615 134572842 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 30358 29351 136 292 0 30063 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 121432 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.06 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1703896/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=154028 CPUtime=881.88 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 44842 0 0 0 88126 62 0 0 25 0 1 0 186898899 157724672 37492 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 38507 37492 136 292 0 38212 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 154028 [startup+942.301 s] /proc/loadavg: 1.08 1.02 1.00 2/65 3184 /proc/meminfo: memFree=1695064/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=162944 CPUtime=941.85 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 47070 0 0 0 94120 65 0 0 25 0 1 0 186898899 166854656 39720 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 40736 39720 136 292 0 40441 0 Current children cumulated CPU time (s) 941.85 Current children cumulated vsize (KiB) 162944 [startup+1002.3 s] /proc/loadavg: 1.09 1.03 1.00 2/65 3184 /proc/meminfo: memFree=1679256/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178548 CPUtime=1001.83 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52146 0 0 0 100112 71 0 0 25 0 1 0 186898899 182833152 43586 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44637 43586 136 292 0 44342 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 178548 [startup+1062.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 3184 /proc/meminfo: memFree=1679128/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178548 CPUtime=1061.79 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52146 0 0 0 106102 77 0 0 25 0 1 0 186898899 182833152 43586 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44637 43586 136 292 0 44342 0 Current children cumulated CPU time (s) 1061.79 Current children cumulated vsize (KiB) 178548 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 3184 /proc/meminfo: memFree=1679192/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178548 CPUtime=1121.76 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52146 0 0 0 112097 79 0 0 25 0 1 0 186898899 182833152 43586 1992294400 134512640 135709839 4294956240 18446744073709551615 134578626 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44637 43586 136 292 0 44342 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 178548 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 3184 /proc/meminfo: memFree=1679128/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178548 CPUtime=1181.73 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52146 0 0 0 118092 81 0 0 25 0 1 0 186898899 182833152 43586 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44637 43586 136 292 0 44342 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 178548 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1678936/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178548 CPUtime=1241.7 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52146 0 0 0 124086 84 0 0 25 0 1 0 186898899 182833152 43586 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44637 43586 136 292 0 44342 0 Current children cumulated CPU time (s) 1241.7 Current children cumulated vsize (KiB) 178548 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1678936/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178548 CPUtime=1301.68 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52156 0 0 0 130081 87 0 0 25 0 1 0 186898899 182833152 43596 1992294400 134512640 135709839 4294956240 18446744073709551615 134587989 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44637 43596 136 292 0 44342 0 Current children cumulated CPU time (s) 1301.68 Current children cumulated vsize (KiB) 178548 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1678680/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=178944 CPUtime=1361.65 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 52277 0 0 0 136076 89 0 0 25 0 1 0 186898899 183238656 43717 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 44736 43717 136 292 0 44441 0 Current children cumulated CPU time (s) 1361.65 Current children cumulated vsize (KiB) 178944 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1667928/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=189692 CPUtime=1421.63 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 54976 0 0 0 142070 93 0 0 25 0 1 0 186898899 194244608 46416 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 47423 46416 136 292 0 47128 0 Current children cumulated CPU time (s) 1421.63 Current children cumulated vsize (KiB) 189692 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1659160/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=198584 CPUtime=1481.59 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 57196 0 0 0 148061 98 0 0 25 0 1 0 186898899 203350016 48636 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 49646 48636 136 292 0 49351 0 Current children cumulated CPU time (s) 1481.59 Current children cumulated vsize (KiB) 198584 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1649880/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=207748 CPUtime=1541.56 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 59488 0 0 0 154055 101 0 0 25 0 1 0 186898899 212733952 50928 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 51937 50928 136 292 0 51642 0 Current children cumulated CPU time (s) 1541.56 Current children cumulated vsize (KiB) 207748 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1641304/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=216308 CPUtime=1601.54 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 61633 0 0 0 160046 108 0 0 25 0 1 0 186898899 221499392 53073 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 54077 53073 136 292 0 53782 0 Current children cumulated CPU time (s) 1601.54 Current children cumulated vsize (KiB) 216308 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1633624/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=223840 CPUtime=1661.51 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 63516 0 0 0 166040 111 0 0 25 0 1 0 186898899 229212160 54956 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 55960 54956 136 292 0 55665 0 Current children cumulated CPU time (s) 1661.51 Current children cumulated vsize (KiB) 223840 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1625560/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=231896 CPUtime=1721.48 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 65541 0 0 0 172031 117 0 0 25 0 1 0 186898899 237461504 56981 1992294400 134512640 135709839 4294956240 18446744073709551615 134572600 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 57974 56981 136 292 0 57679 0 Current children cumulated CPU time (s) 1721.48 Current children cumulated vsize (KiB) 231896 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1616344/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=240884 CPUtime=1781.45 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 67781 0 0 0 178022 123 0 0 25 0 1 0 186898899 246665216 59221 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 60221 59221 136 292 0 59926 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (KiB) 240884 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1613912/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=243260 CPUtime=1800.05 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 68378 0 0 0 179881 124 0 0 25 0 1 0 186898899 249098240 59818 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 60815 59818 136 292 0 60520 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 243260 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 3184 /proc/meminfo: memFree=1613912/2055920 swapFree=4192812/4192956 [pid=3177] ppid=3175 vsize=243260 CPUtime=1800.05 /proc/3177/stat : 3177 (wbo) R 3175 3177 2553 0 -1 4194304 68378 0 0 0 179881 124 0 0 25 0 1 0 186898899 249098240 59818 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 0 0 0 /proc/3177/statm: 60815 59818 136 292 0 60520 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 243260 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.94 CPU time (s): 1800.09 CPU user time (s): 1798.81 CPU system time (s): 1.27981 CPU usage (%): 99.9529 Max. virtual memory (cumulated for all children) (KiB): 243260 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.81 system time used= 1.27981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 68378 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= 7318 runsolver used 1.54276 second user time and 5.02024 second system time The end
Begin job on node15 at 2009-06-17 00:56:22 IDJOB=1875289 IDBENCH=48129 IDSOLVER=698 FILE ID=node15/1875289-1245192982 PBS_JOBID= 9368294 Free space on /tmp= 66300 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_5.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-1875289-1245192982/watcher-1875289-1245192982 -o /tmp/evaluation-result-1875289-1245192982/solver-1875289-1245192982 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875289-1245192982.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d7281b7a8bb5680ab95cd17583e8be43 RANDOM SEED=1395864377 node15.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.261 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 : 5931.00 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.261 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: 1859192 kB Buffers: 45876 kB Cached: 79788 kB SwapCached: 0 kB Active: 73992 kB Inactive: 65128 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1859192 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 3408 kB Writeback: 0 kB Mapped: 23248 kB Slab: 43524 kB Committed_AS: 189648 kB PageTables: 1460 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-1875289-1245192982.opb Free space on /tmp at the end= 66296 MiB End job on node15 at 2009-06-17 01:26:28