Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.18 | 1800.7 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_4.opb |
MD5SUM | b02c0aa46abe377e9678cb0b7b4280ae |
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 | 83 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 72 |
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 | 26 |
Maximum length of a constraint | 51 |
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) | 31592 |
Sum of products size (including duplicates) | 63184 |
Number of different products | 31592 |
Sum of products size | 63184 |
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-1875286-1245192554.opb. 0.00/0.00 c Instance file HOME/instance-1875286-1245192554.opb 0.00/0.00 c File size is 2475596 bytes. 0.29/0.36 c Highest Coefficient sum: 52 0.29/0.36 c ============================[ Problem Statistics ]============================= 0.29/0.36 c | | 0.29/0.36 c | Parsing time: 0.35 s | 0.29/0.36 c | Number Variables: 32592 | 0.29/0.36 c | Number Clauses: 33592 | 0.29/0.36 c | Number Cardinality: 0 | 0.29/0.36 c | Number PB Constraints: 31592 | 0.29/0.37 c core #1 0.29/0.37 c Core size: 52 Core Weight: 1 Total Weight: 1 0.29/0.37 c Elapsed CPU time: 0.349946 s Remaining CPU time: 1799.65 s 0.39/0.44 c core #2 0.39/0.44 c Core size: 52 Core Weight: 1 Total Weight: 2 0.39/0.44 c Elapsed CPU time: 0.422935 s Remaining CPU time: 1799.58 s 0.50/0.52 c core #3 0.50/0.52 c Core size: 52 Core Weight: 1 Total Weight: 3 0.50/0.52 c Elapsed CPU time: 0.497924 s Remaining CPU time: 1799.5 s 0.59/0.61 c core #4 0.59/0.61 c Core size: 52 Core Weight: 1 Total Weight: 4 0.59/0.61 c Elapsed CPU time: 0.575912 s Remaining CPU time: 1799.42 s 0.70/0.70 c core #5 0.70/0.70 c Core size: 52 Core Weight: 1 Total Weight: 5 0.70/0.70 c Elapsed CPU time: 0.660899 s Remaining CPU time: 1799.34 s 0.79/0.80 c core #6 0.79/0.80 c Core size: 54 Core Weight: 1 Total Weight: 6 0.79/0.80 c Elapsed CPU time: 0.759884 s Remaining CPU time: 1799.24 s 0.89/0.91 c core #7 0.89/0.91 c Core size: 54 Core Weight: 1 Total Weight: 7 0.89/0.91 c Elapsed CPU time: 0.864868 s Remaining CPU time: 1799.14 s 0.99/1.06 c core #8 0.99/1.06 c Core size: 115 Core Weight: 1 Total Weight: 8 0.99/1.06 c Elapsed CPU time: 1.01085 s Remaining CPU time: 1798.99 s 1.19/1.21 c ============================[ Search Statistics ]============================== 1.19/1.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.19/1.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.19/1.21 c =============================================================================== 1.19/1.21 c | 0 | 8064 65192 150843 | 21730 0 nan | 0.000 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c core #9 1.19/1.23 c Core size: 305 Core Weight: 1 Total Weight: 9 1.19/1.23 c Elapsed CPU time: 1.17582 s Remaining CPU time: 1798.82 s 1.29/1.38 c ============================[ Search Statistics ]============================== 1.29/1.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.29/1.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.29/1.38 c =============================================================================== 1.29/1.38 c | 0 | 12668 65193 164244 | 21731 0 nan | 0.000 % | 1.50/1.55 c | 100 | 12668 65193 164244 | 23904 100 165 | 61.587 % | 1.89/1.91 c =============================================================================== 1.89/1.91 c core #10 1.89/1.91 c Core size: 919 Core Weight: 1 Total Weight: 10 1.89/1.91 c Elapsed CPU time: 1.85872 s Remaining CPU time: 1798.14 s 1.99/2.08 c ============================[ Search Statistics ]============================== 1.99/2.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.99/2.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.99/2.08 c =============================================================================== 1.99/2.08 c | 0 | 19894 65194 185110 | 21731 0 nan | 0.000 % | 2.19/2.26 c | 101 | 19894 65194 185110 | 23904 101 201 | 40.391 % | 2.49/2.55 c | 256 | 19894 65194 185110 | 26294 256 214 | 40.391 % | 3.29/3.32 c | 481 | 19894 65194 185110 | 28924 481 245 | 40.391 % | 4.69/4.76 c | 819 | 19894 65194 185110 | 31816 819 252 | 40.391 % | 6.39/6.45 c | 1325 | 19894 65194 185110 | 34998 1325 296 | 40.391 % | 9.39/9.40 c | 2092 | 19894 65194 185110 | 38498 2092 308 | 40.391 % | 15.39/15.46 c | 3235 | 19894 65194 185110 | 42348 3235 351 | 40.391 % | 23.98/24.01 c | 4946 | 19894 65194 185110 | 46583 4946 329 | 40.391 % | 37.88/37.92 c | 7508 | 19894 65194 185110 | 51241 7508 327 | 40.391 % | 55.27/55.32 c =============================================================================== 55.47/55.53 c core #11 55.47/55.53 c Core size: 2676 Core Weight: 1 Total Weight: 11 55.47/55.53 c Elapsed CPU time: 55.3436 s Remaining CPU time: 1744.66 s 55.68/55.71 c ============================[ Search Statistics ]============================== 55.68/55.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 55.68/55.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 55.68/55.71 c =============================================================================== 55.68/55.71 c | 0 | 31389 65195 218139 | 21731 0 nan | 0.000 % | 55.98/56.07 c | 100 | 31389 65195 218139 | 23904 100 324 | 8.144 % | 57.57/57.60 c | 251 | 31389 65195 218139 | 26295 251 279 | 8.144 % | 59.77/59.85 c | 476 | 31389 65195 218139 | 28924 476 270 | 8.144 % | 62.77/62.83 c | 813 | 31389 65195 218139 | 31817 813 254 | 8.144 % | 67.47/67.52 c | 1319 | 31389 65195 218139 | 34999 1319 256 | 8.144 % | 74.67/74.73 c | 2079 | 31389 65195 218139 | 38498 2079 244 | 8.144 % | 87.56/87.66 c | 3218 | 31389 65195 218139 | 42348 3218 271 | 8.144 % | 100.96/101.05 c | 4928 | 31389 65195 218139 | 46583 4928 280 | 8.144 % | 122.06/122.11 c | 7498 | 31389 65195 218139 | 51242 7498 264 | 8.144 % | 167.65/167.70 c | 11346 | 31389 65195 218139 | 56366 11346 272 | 8.144 % | 216.92/217.05 c | 17113 | 31389 65195 218139 | 62002 17113 292 | 8.144 % | 277.31/277.47 c | 25762 | 31389 65195 218139 | 68203 25762 371 | 8.144 % | 387.48/387.70 c | 38736 | 31389 65195 218139 | 75023 38736 487 | 8.144 % | 575.14/575.31 c | 58199 | 31389 65195 218139 | 82525 58199 536 | 8.144 % | 942.91/943.26 c | 87391 | 31389 65195 218139 | 90778 87391 493 | 8.144 % | 1346.00/1346.44 c | 131180 | 31389 65195 218139 | 99856 50062 521 | 8.144 % |
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-1875286-1245192554/watcher-1875286-1245192554 -o /tmp/evaluation-result-1875286-1245192554/solver-1875286-1245192554 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875286-1245192554.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 1.00 0.99 3/64 5823 /proc/meminfo: memFree=1694648/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=5260 CPUtime=0 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 277 0 0 0 0 0 0 0 18 0 1 0 186855189 5386240 261 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 1315 261 125 292 0 415 0 [startup+0.061287 s] /proc/loadavg: 0.99 1.00 0.99 3/64 5823 /proc/meminfo: memFree=1694648/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=9512 CPUtime=0.06 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 1354 0 0 0 5 1 0 0 18 0 1 0 186855189 9740288 1321 1992294400 134512640 135709839 4294956240 18446744073709551615 134542941 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 2378 1321 195 292 0 1478 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 9512 [startup+0.101291 s] /proc/loadavg: 0.99 1.00 0.99 3/64 5823 /proc/meminfo: memFree=1694648/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=10628 CPUtime=0.1 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 1561 0 0 0 9 1 0 0 18 0 1 0 186855189 10883072 1528 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 2657 1528 266 292 0 1757 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 10628 [startup+0.30131 s] /proc/loadavg: 0.99 1.00 0.99 3/64 5823 /proc/meminfo: memFree=1694648/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=12984 CPUtime=0.29 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 2506 0 0 0 28 1 0 0 19 0 1 0 186855189 13295616 2473 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 3246 2473 610 292 0 2346 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12984 [startup+0.701351 s] /proc/loadavg: 0.99 1.00 0.99 3/64 5823 /proc/meminfo: memFree=1694648/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=20024 CPUtime=0.7 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 7013 0 0 0 66 4 0 0 23 0 1 0 186855189 20504576 4328 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 5006 4328 134 292 0 4711 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 20024 [startup+1.50143 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1673456/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=29912 CPUtime=1.5 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 11441 0 0 0 144 6 0 0 25 0 1 0 186855189 30629888 6832 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 7478 6832 135 292 0 7183 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 29912 [startup+3.10159 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1664688/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=32588 CPUtime=3.09 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 12490 0 0 0 302 7 0 0 25 0 1 0 186855189 33370112 7493 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 8147 7493 136 292 0 7852 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32588 [startup+6.30192 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1664688/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=32588 CPUtime=6.29 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 12498 0 0 0 621 8 0 0 25 0 1 0 186855189 33370112 7501 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 8147 7501 136 292 0 7852 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32588 [startup+12.7016 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1662584/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=34964 CPUtime=12.69 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 13133 0 0 0 1260 9 0 0 25 0 1 0 186855189 35803136 8136 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 8741 8136 136 292 0 8446 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 34964 [startup+25.5019 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1657656/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=39720 CPUtime=25.49 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 14327 0 0 0 2536 13 0 0 25 0 1 0 186855189 40673280 9330 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 9930 9330 136 292 0 9635 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 39720 [startup+51.1025 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1646712/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=50860 CPUtime=51.08 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 17094 0 0 0 5091 17 0 0 25 0 1 0 186855189 52080640 12097 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 12715 12097 136 292 0 12420 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 50860 [startup+102.307 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1639864/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=57396 CPUtime=102.27 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 19091 0 0 0 10205 22 0 0 25 0 1 0 186855189 58773504 13702 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 14349 13702 136 292 0 14054 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 57396 [startup+162.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5824 /proc/meminfo: memFree=1639864/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=57396 CPUtime=162.24 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 19117 0 0 0 16198 26 0 0 25 0 1 0 186855189 58773504 13728 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 14349 13728 136 292 0 14054 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 57396 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1634680/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=62544 CPUtime=222.22 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 20417 0 0 0 22190 32 0 0 25 0 1 0 186855189 64045056 15028 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 15636 15028 136 292 0 15341 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 62544 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1610424/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=87116 CPUtime=282.21 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 26549 0 0 0 28179 42 0 0 25 0 1 0 186855189 89206784 21160 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 21779 21160 136 292 0 21484 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 87116 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1582456/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=114688 CPUtime=342.19 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 33435 0 0 0 34167 52 0 0 25 0 1 0 186855189 117440512 28046 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 28672 28046 136 292 0 28377 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 114688 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1561528/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=135752 CPUtime=402.17 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 38717 0 0 0 40156 61 0 0 25 0 1 0 186855189 139010048 33328 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 33938 33328 136 292 0 33643 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 135752 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1540536/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=156684 CPUtime=462.16 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 43899 0 0 0 46146 70 0 0 25 0 1 0 186855189 160444416 38510 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 39171 38510 136 292 0 38876 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 156684 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1520952/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=176352 CPUtime=522.14 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 48827 0 0 0 52136 78 0 0 25 0 1 0 186855189 180584448 43438 1992294400 134512640 135709839 4294956240 18446744073709551615 134572813 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 44088 43438 136 292 0 43793 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 176352 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1500600/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=196552 CPUtime=582.13 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 53850 0 0 0 58127 86 0 0 25 0 1 0 186855189 201269248 48461 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 49138 48461 136 292 0 48843 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 196552 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5826 /proc/meminfo: memFree=1487224/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=210044 CPUtime=642.11 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 57165 0 0 0 64119 92 0 0 25 0 1 0 186855189 215085056 51776 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 52511 51776 136 292 0 52216 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 210044 [startup+702.302 s] ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1452984/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=244364 CPUtime=822.05 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 65748 0 0 0 82095 110 0 0 25 0 1 0 186855189 250228736 60359 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 61091 60359 136 292 0 60796 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 244364 [startup+882.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1443448/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=253864 CPUtime=882.03 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 68127 0 0 0 88088 115 0 0 25 0 1 0 186855189 259956736 62738 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 63466 62738 136 292 0 63171 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 253864 [startup+942.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1431096/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=266220 CPUtime=942.01 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 71234 0 0 0 94079 122 0 0 25 0 1 0 186855189 272609280 65845 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 66555 65845 136 292 0 66260 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 266220 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1415224/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=282348 CPUtime=1001.99 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 75177 0 0 0 100071 128 0 0 25 0 1 0 186855189 289124352 69788 1992294400 134512640 135709839 4294956240 18446744073709551615 134573799 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 70587 69788 136 292 0 70292 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 282348 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1394552/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=303376 CPUtime=1061.98 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 80435 0 0 0 106062 136 0 0 25 0 1 0 186855189 310657024 75046 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 75844 75046 136 292 0 75549 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 303376 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1369272/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=328220 CPUtime=1121.96 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 86643 0 0 0 112048 148 0 0 25 0 1 0 186855189 336097280 81254 1992294400 134512640 135709839 4294956240 18446744073709551615 134572583 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 82055 81254 136 292 0 81760 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 328220 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1349304/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=348388 CPUtime=1181.94 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 91678 0 0 0 118038 156 0 0 25 0 1 0 186855189 356749312 86289 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 87097 86289 136 292 0 86802 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 348388 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1331192/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=366376 CPUtime=1241.93 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 96187 0 0 0 124028 165 0 0 25 0 1 0 186855189 375169024 90798 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 91594 90798 136 292 0 91299 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 366376 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1314296/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=382884 CPUtime=1301.91 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 100304 0 0 0 130018 173 0 0 25 0 1 0 186855189 392073216 94915 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 95721 94915 136 292 0 95426 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 382884 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1298360/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=399036 CPUtime=1361.89 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 104336 0 0 0 136010 179 0 0 25 0 1 0 186855189 408612864 98947 1992294400 134512640 135709839 4294956240 18446744073709551615 134587978 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 99759 98947 136 292 0 99464 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 399036 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1279416/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=417736 CPUtime=1421.88 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 108984 0 0 0 142001 187 0 0 25 0 1 0 186855189 427761664 103595 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 104434 103595 136 292 0 104139 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 417736 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1264696/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=432552 CPUtime=1481.86 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 112680 0 0 0 147994 192 0 0 25 0 1 0 186855189 442933248 107291 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 108138 107291 136 292 0 107843 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 432552 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1246712/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=450368 CPUtime=1541.85 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 117138 0 0 0 153985 200 0 0 25 0 1 0 186855189 461176832 111749 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 112592 111749 136 292 0 112297 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 450368 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1224440/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=472744 CPUtime=1601.83 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 122725 0 0 0 159974 209 0 0 25 0 1 0 186855189 484089856 117336 1992294400 134512640 135709839 4294956240 18446744073709551615 134573950 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 118186 117336 136 292 0 117891 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 472744 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1207096/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=489972 CPUtime=1661.81 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 127014 0 0 0 165966 215 0 0 25 0 1 0 186855189 501731328 121625 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 122493 121625 136 292 0 122198 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 489972 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1188088/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=509224 CPUtime=1721.8 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 131810 0 0 0 171957 223 0 0 25 0 1 0 186855189 521445376 126421 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 127306 126421 136 292 0 127011 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 509224 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1173368/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=523724 CPUtime=1781.78 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 135437 0 0 0 177948 230 0 0 25 0 1 0 186855189 536293376 130048 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 130931 130048 136 292 0 130636 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 523724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 0.99 2/65 5832 /proc/meminfo: memFree=1169720/2055920 swapFree=4192812/4192956 [pid=5823] ppid=5821 vsize=527428 CPUtime=1800.08 /proc/5823/stat : 5823 (wbo) R 5821 5823 5603 0 -1 4194304 136334 0 0 0 179776 232 0 0 25 0 1 0 186855189 540086272 130945 1992294400 134512640 135709839 4294956240 18446744073709551615 134578610 0 0 4096 3 0 0 0 17 1 0 0 /proc/5823/statm: 131857 130945 136 292 0 131562 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 527428 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.7 CPU time (s): 1800.18 CPU user time (s): 1797.77 CPU system time (s): 2.40863 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 527428 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.77 system time used= 2.40863 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 136334 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= 2348 runsolver used 1.59076 second user time and 4.97124 second system time The end
Begin job on node27 at 2009-06-17 00:49:14 IDJOB=1875286 IDBENCH=48126 IDSOLVER=698 FILE ID=node27/1875286-1245192554 PBS_JOBID= 9368287 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_4.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-1875286-1245192554/watcher-1875286-1245192554 -o /tmp/evaluation-result-1875286-1245192554/solver-1875286-1245192554 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875286-1245192554.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b02c0aa46abe377e9678cb0b7b4280ae RANDOM SEED=1910305753 node27.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 : 2800.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 : 5521.40 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 : 2800.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: 1697176 kB Buffers: 59768 kB Cached: 224268 kB SwapCached: 0 kB Active: 63456 kB Inactive: 234992 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1697176 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2820 kB Writeback: 0 kB Mapped: 24228 kB Slab: 46192 kB Committed_AS: 161168 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875286-1245192554.opb Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-17 01:19:18