Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.37 | 1800.99 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_4.opb |
MD5SUM | 4c6ab7a9b1b11dc4bf8c6231156cc585 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 114.956 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 41 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3070 |
Sum of products size (including duplicates) | 6140 |
Number of different products | 3070 |
Sum of products size | 6140 |
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-1875303-1245195538.opb. 0.00/0.00 c Instance file HOME/instance-1875303-1245195538.opb 0.00/0.00 c File size is 219416 bytes. 0.00/0.03 c Highest Coefficient sum: 42 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 3170 | 0.00/0.03 c | Number Clauses: 3270 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 3070 | 0.00/0.03 c core #1 0.00/0.03 c Core size: 52 Core Weight: 1 Total Weight: 1 0.00/0.03 c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 865 6341 14897 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c core #2 0.00/0.04 c Core size: 337 Core Weight: 1 Total Weight: 2 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s 0.00/0.05 c ============================[ Search Statistics ]============================== 0.00/0.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 3211 6342 21696 | 5000 0 nan | 0.000 % | 0.05/0.09 c | 104 | 3211 6342 21696 | 5500 104 217 | 2.490 % | 0.09/0.19 c | 255 | 3211 6342 21696 | 6050 255 167 | 2.513 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c core #3 0.09/0.19 c Core size: 1061 Core Weight: 1 Total Weight: 3 0.09/0.19 c Elapsed CPU time: 0.19597 s Remaining CPU time: 1799.8 s 0.19/0.21 c ============================[ Search Statistics ]============================== 0.19/0.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.21 c =============================================================================== 0.19/0.21 c | 0 | 3393 6343 22136 | 5000 0 nan | 0.000 % | 0.19/0.25 c | 120 | 3393 6343 22136 | 5500 120 255 | 0.000 % | 0.29/0.30 c | 270 | 3393 6343 22136 | 6050 270 232 | 0.000 % | 0.29/0.38 c | 497 | 3393 6343 22136 | 6655 497 224 | 0.000 % | 0.49/0.54 c | 835 | 3393 6343 22136 | 7320 835 249 | 0.000 % | 0.69/0.78 c | 1341 | 3393 6343 22136 | 8052 1341 255 | 0.000 % | 1.19/1.28 c | 2102 | 3393 6343 22136 | 8857 2102 339 | 0.000 % | 2.10/2.11 c | 3244 | 3393 6343 22136 | 9743 3244 370 | 0.000 % | 3.29/3.31 c | 4952 | 3393 6343 22136 | 10717 4952 346 | 0.000 % | 5.40/5.40 c | 7514 | 3393 6343 22136 | 11789 7514 333 | 0.000 % | 8.79/8.80 c | 11359 | 3393 6343 22136 | 12968 11359 308 | 0.000 % | 13.48/13.55 c | 17126 | 3393 6343 22136 | 14265 10556 261 | 0.000 % | 24.09/24.16 c | 25775 | 3393 6343 22136 | 15692 11755 320 | 0.000 % | 44.98/45.05 c | 38752 | 3393 6343 22136 | 17261 8719 236 | 0.000 % | 55.17/55.23 c =============================================================================== 56.46/56.55 c core #4 56.46/56.55 c Core size: 4523 Core Weight: 1 Total Weight: 4 56.46/56.55 c Elapsed CPU time: 56.2474 s Remaining CPU time: 1743.75 s 56.56/56.62 c Learning 5 hard constraints 56.56/56.62 c ============================[ Search Statistics ]============================== 56.56/56.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.56/56.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.56/56.62 c =============================================================================== 56.56/56.62 c | 0 | 3493 6349 22431 | 5000 0 nan | 0.000 % | 56.56/56.67 c | 105 | 3493 6349 22431 | 5500 105 253 | 0.000 % | 56.66/56.71 c | 255 | 3493 6349 22431 | 6050 255 187 | 0.000 % | 56.66/56.76 c | 483 | 3493 6349 22431 | 6655 483 154 | 0.000 % | 56.76/56.86 c | 820 | 3493 6349 22431 | 7320 820 164 | 0.000 % | 56.96/57.06 c | 1329 | 3493 6349 22431 | 8052 1329 226 | 0.000 % | 57.36/57.41 c | 2092 | 3493 6349 22431 | 8857 2092 239 | 0.000 % | 57.87/57.98 c | 3231 | 3493 6349 22431 | 9743 3231 243 | 0.000 % | 58.86/58.98 c | 4940 | 3493 6349 22431 | 10717 4940 258 | 0.000 % | 60.96/61.05 c | 7505 | 3493 6349 22431 | 11789 7505 302 | 0.000 % | 64.66/64.78 c | 11354 | 3493 6349 22431 | 12968 11354 303 | 0.000 % | 70.96/71.05 c | 17122 | 3493 6349 22431 | 14265 9871 281 | 0.000 % | 81.66/81.73 c | 25771 | 3493 6349 22431 | 15692 10662 438 | 0.000 % | 97.05/97.19 c | 38747 | 3493 6349 22431 | 17261 15156 385 | 0.000 % | 126.24/126.39 c | 58209 | 3493 6349 22431 | 18987 16476 620 | 0.000 % | 173.43/173.52 c | 87404 | 3493 6349 22431 | 20886 15293 416 | 0.000 % | 238.11/238.22 c | 131193 | 3493 6349 22431 | 22974 14314 406 | 0.000 % | 348.97/349.12 c | 196878 | 3493 6349 22431 | 25272 19398 445 | 0.000 % | 553.30/553.54 c | 295408 | 3493 6349 22431 | 27799 22253 462 | 0.000 % | 856.69/857.08 c | 443199 | 3493 6349 22431 | 30579 18346 310 | 0.000 % | 1369.22/1369.74 c | 664883 | 3493 6349 22431 | 33637 14909 368 | 0.000 % |
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-1875303-1245195538/watcher-1875303-1245195538 -o /tmp/evaluation-result-1875303-1245195538/solver-1875303-1245195538 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875303-1245195538.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9760 /proc/meminfo: memFree=1863396/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=3092 CPUtime=0 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 268 0 0 0 0 0 0 0 18 0 1 0 187154466 3166208 252 1992294400 134512640 135709839 4294956240 18446744073709551615 134570397 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 773 253 125 292 0 424 0 [startup+0.0577431 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9760 /proc/meminfo: memFree=1863396/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=4572 CPUtime=0.05 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 773 0 0 0 5 0 0 0 18 0 1 0 187154466 4681728 703 1992294400 134512640 135709839 4294956240 18446744073709551615 134572370 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 1143 703 135 292 0 848 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4572 [startup+0.101751 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9760 /proc/meminfo: memFree=1863396/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=4572 CPUtime=0.09 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 775 0 0 0 9 0 0 0 18 0 1 0 187154466 4681728 705 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 1143 705 136 292 0 848 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4572 [startup+0.301787 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9760 /proc/meminfo: memFree=1863396/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=5332 CPUtime=0.29 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 950 0 0 0 29 0 0 0 18 0 1 0 187154466 5459968 880 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 1333 880 136 292 0 1038 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5332 [startup+0.701857 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9760 /proc/meminfo: memFree=1863396/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=6124 CPUtime=0.69 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 1165 0 0 0 69 0 0 0 22 0 1 0 187154466 6270976 1095 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 1531 1095 136 292 0 1236 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6124 [startup+1.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1858552/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=8764 CPUtime=1.49 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 1833 0 0 0 148 1 0 0 25 0 1 0 187154466 8974336 1763 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 2191 1764 136 292 0 1896 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8764 [startup+3.10129 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1855032/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=12992 CPUtime=3.09 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 2871 0 0 0 307 2 0 0 25 0 1 0 187154466 13303808 2801 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 3248 2801 136 292 0 2953 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12992 [startup+6.30186 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1847480/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=19232 CPUtime=6.29 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 4437 0 0 0 624 5 0 0 25 0 1 0 187154466 19693568 4367 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 4808 4367 136 292 0 4513 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19232 [startup+12.702 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1834808/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=31908 CPUtime=12.69 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 7587 0 0 0 1260 9 0 0 25 0 1 0 187154466 32673792 7517 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 7977 7517 136 292 0 7682 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 31908 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1812920/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=52640 CPUtime=25.48 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 12799 0 0 0 2533 15 0 0 25 0 1 0 187154466 53903360 12729 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 13160 12729 136 292 0 12865 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 52640 [startup+51.1019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1780344/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=85796 CPUtime=51.07 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 21067 0 0 0 5080 27 0 0 25 0 1 0 187154466 87855104 20997 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 21449 20997 136 292 0 21154 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85796 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1726136/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=139160 CPUtime=102.25 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 34414 0 0 0 10178 47 0 0 25 0 1 0 187154466 142499840 34344 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 34790 34344 136 292 0 34495 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 139160 [startup+162.303 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1605432/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=260660 CPUtime=162.24 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 64791 0 0 0 16147 77 0 0 25 0 1 0 187154466 266915840 64721 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 65165 64721 136 292 0 64870 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 260660 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1526584/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=338332 CPUtime=222.21 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 84193 0 0 0 22118 103 0 0 25 0 1 0 187154466 346451968 84123 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 84583 84123 136 292 0 84288 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 338332 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1439672/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=426604 CPUtime=282.19 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 106274 0 0 0 28091 128 0 0 25 0 1 0 187154466 436842496 106204 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 106651 106204 136 292 0 106356 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 426604 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1354040/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=510824 CPUtime=342.18 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 127313 0 0 0 34063 155 0 0 25 0 1 0 187154466 523083776 127243 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 127706 127243 136 292 0 127411 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 510824 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1285048/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=579988 CPUtime=402.16 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 144579 0 0 0 40039 177 0 0 25 0 1 0 187154466 593907712 144509 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 144997 144509 136 292 0 144702 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 579988 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1208632/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=656496 CPUtime=462.13 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 163690 0 0 0 46013 200 0 0 25 0 1 0 187154466 672251904 163620 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 164124 163620 136 292 0 163829 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 656496 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1139448/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=725368 CPUtime=522.11 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 180883 0 0 0 51990 221 0 0 25 0 1 0 187154466 742776832 180813 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 181342 180813 136 292 0 181047 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 725368 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=1070840/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=793704 CPUtime=582.09 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 197957 0 0 0 57969 240 0 0 25 0 1 0 187154466 812752896 197887 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 198426 197887 136 292 0 198131 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 793704 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9761 /proc/meminfo: memFree=996728/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=867280 CPUtime=642.08 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 216367 0 0 0 63948 260 0 0 25 0 1 0 187154466 888094720 216297 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 216820 216297 136 292 0 216525 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 867280 [startup+702.302 s] ################ # More data... # ################ [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=710008/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1154068 CPUtime=941.97 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 288001 0 0 0 93838 359 0 0 25 0 1 0 187154466 1181765632 287931 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 288517 287931 136 292 0 288222 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 1154068 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=660600/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1203084 CPUtime=1001.95 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 300232 0 0 0 99817 378 0 0 25 0 1 0 187154466 1231958016 300162 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 300771 300162 136 292 0 300476 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 1203084 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=612664/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1251432 CPUtime=1061.94 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 312304 0 0 0 105796 398 0 0 25 0 1 0 187154466 1281466368 312234 1992294400 134512640 135709839 4294956240 18446744073709551615 134574246 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 312858 312234 136 292 0 312563 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 1251432 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=566520/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1296972 CPUtime=1121.92 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 323692 0 0 0 111777 415 0 0 25 0 1 0 187154466 1328099328 323622 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 324243 323622 136 292 0 323948 0 Current children cumulated CPU time (s) 1121.92 Current children cumulated vsize (KiB) 1296972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=523128/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1341128 CPUtime=1181.9 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 334705 0 0 0 117757 433 0 0 25 0 1 0 187154466 1373315072 334635 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 335282 334635 136 292 0 334987 0 Current children cumulated CPU time (s) 1181.9 Current children cumulated vsize (KiB) 1341128 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=475064/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1388616 CPUtime=1241.87 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 346557 0 0 0 123737 450 0 0 25 0 1 0 187154466 1421942784 346487 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 347154 346487 136 292 0 346859 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 1388616 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9763 /proc/meminfo: memFree=423096/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1440032 CPUtime=1301.86 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 359422 0 0 0 129718 468 0 0 25 0 1 0 187154466 1474592768 359352 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 360008 359352 136 292 0 359713 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 1440032 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=373752/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1489724 CPUtime=1361.83 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 371825 0 0 0 135697 486 0 0 25 0 1 0 187154466 1525477376 371755 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 372431 371755 136 292 0 372136 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 1489724 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=332920/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1530284 CPUtime=1421.8 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 381948 0 0 0 141678 502 0 0 25 0 1 0 187154466 1567010816 381878 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 382571 381878 136 292 0 382276 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 1530284 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=286520/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1576908 CPUtime=1481.79 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 393610 0 0 0 147658 521 0 0 25 0 1 0 187154466 1614753792 393540 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 394227 393540 136 292 0 393932 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 1576908 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=238776/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1624300 CPUtime=1541.77 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 405438 0 0 0 153637 540 0 0 25 0 1 0 187154466 1663283200 405368 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 406075 405368 136 292 0 405780 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 1624300 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=190968/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1672096 CPUtime=1601.75 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 417405 0 0 0 159618 557 0 0 25 0 1 0 187154466 1712226304 417335 1992294400 134512640 135709839 4294956240 18446744073709551615 134573904 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 418024 417335 136 292 0 417729 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 1672096 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=143736/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1719120 CPUtime=1661.73 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 429141 0 0 0 165597 576 0 0 25 0 1 0 187154466 1760378880 429071 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 429780 429071 136 292 0 429485 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 1719120 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=95800/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1767844 CPUtime=1721.71 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 441303 0 0 0 171575 596 0 0 25 0 1 0 187154466 1810272256 441233 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 441961 441233 136 292 0 441666 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 1767844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=49080/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1813632 CPUtime=1781.69 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 452754 0 0 0 177554 615 0 0 25 0 1 0 187154466 1857159168 452684 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 453408 452684 136 292 0 453113 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1813632 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=34872/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=1827628 CPUtime=1800.08 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4194304 456251 0 0 0 179387 621 0 0 25 0 1 0 187154466 1871491072 456181 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 456907 456181 136 292 0 456612 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1827628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=34872/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=0 CPUtime=1800.18 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4195332 456251 0 0 0 179387 631 0 0 25 0 1 0 187154466 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9769 /proc/meminfo: memFree=34872/2055920 swapFree=4180860/4192956 [pid=9760] ppid=9758 vsize=0 CPUtime=1800.27 /proc/9760/stat : 9760 (wbo) R 9758 9760 9013 0 -1 4195332 456251 0 0 0 179387 640 0 0 25 0 1 0 187154466 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/9760/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.99 CPU time (s): 1800.37 CPU user time (s): 1793.88 CPU system time (s): 6.49401 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 1827628 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.88 system time used= 6.49401 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 456251 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= 3 involuntary context switches= 1828 runsolver used 1.44078 second user time and 3.57646 second system time The end
Begin job on node12 at 2009-06-17 01:38:58 IDJOB=1875303 IDBENCH=48143 IDSOLVER=698 FILE ID=node12/1875303-1245195538 PBS_JOBID= 9368284 Free space on /tmp= 66236 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_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-1875303-1245195538/watcher-1875303-1245195538 -o /tmp/evaluation-result-1875303-1245195538/solver-1875303-1245195538 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875303-1245195538.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4c6ab7a9b1b11dc4bf8c6231156cc585 RANDOM SEED=1240915421 node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1864096 kB Buffers: 43868 kB Cached: 98652 kB SwapCached: 6264 kB Active: 75248 kB Inactive: 75684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1864096 kB SwapTotal: 4192956 kB SwapFree: 4180860 kB Dirty: 2416 kB Writeback: 0 kB Mapped: 13500 kB Slab: 26932 kB Committed_AS: 185188 kB PageTables: 1380 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-1875303-1245195538.opb Free space on /tmp at the end= 66232 MiB End job on node12 at 2009-06-17 02:09:01