Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.23 | 1801.05 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_4.opb |
MD5SUM | 49512b8058c62182b32b06ac219e7167 |
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 | -60 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
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 | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150968 |
Sum of products size (including duplicates) | 301936 |
Number of different products | 75484 |
Sum of products size | 150968 |
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-1875389-1245205634.opb. 0.00/0.00 c Instance file HOME/instance-1875389-1245205634.opb 0.00/0.00 c File size is 6885710 bytes. 1.10/1.17 c Highest Coefficient sum: 2000 1.10/1.17 c ============================[ Problem Statistics ]============================= 1.10/1.17 c | | 1.10/1.17 c | Parsing time: 1.15 s | 1.10/1.17 c | Number Variables: 77484 | 1.10/1.17 c | Number Clauses: 77484 | 1.10/1.17 c | Number Cardinality: 2002 | 1.10/1.17 c | Number PB Constraints: 75484 | 1.10/1.17 c core #1 1.10/1.17 c Core size: 2001 Core Weight: 1 Total Weight: -999 1.10/1.17 c Elapsed CPU time: 1.14983 s Remaining CPU time: 1798.85 s 1.39/1.49 c ============================[ Search Statistics ]============================== 1.39/1.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.39/1.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.39/1.49 c =============================================================================== 1.39/1.49 c | 0 | 78484 154971 612872 | 51657 0 nan | 0.000 % | 3.39/3.47 c | 100 | 78484 154971 612872 | 56822 100 101 | 0.121 % | 5.59/5.68 c | 250 | 78484 154971 612872 | 62504 250 268 | 0.206 % | 8.99/9.09 c | 475 | 78484 154971 612872 | 68755 475 276 | 0.288 % | 11.89/11.98 c | 812 | 78255 154971 612872 | 75631 809 317 | 0.376 % | 12.59/12.60 c =============================================================================== 12.59/12.67 c core #2 12.59/12.67 c Core size: 2246 Core Weight: 1 Total Weight: -998 12.59/12.67 c Elapsed CPU time: 12.5901 s Remaining CPU time: 1787.41 s 12.99/13.03 c Learning 84 hard constraints 12.99/13.03 c ============================[ Search Statistics ]============================== 12.99/13.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.99/13.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.99/13.03 c =============================================================================== 12.99/13.03 c | 0 | 79484 155056 615124 | 51685 0 nan | 0.000 % | 15.39/15.47 c | 100 | 79484 155056 615124 | 56853 100 560 | 0.000 % | 16.79/16.86 c | 250 | 79484 155056 615124 | 62539 250 693 | 0.000 % | 20.68/20.77 c | 475 | 79484 155056 615124 | 68793 475 579 | 0.000 % | 26.19/26.22 c | 812 | 79484 155056 615124 | 75672 812 620 | 0.000 % | 32.28/32.34 c | 1318 | 79484 155056 615124 | 83239 1318 675 | 0.000 % | 41.86/41.91 c | 2077 | 79484 155056 615124 | 91563 2077 664 | 0.000 % | 54.66/54.72 c | 3216 | 79484 155056 615124 | 100720 3216 675 | 0.000 % | 79.45/79.54 c | 4924 | 79415 155056 615124 | 110792 4834 663 | 0.087 % | 113.24/113.33 c | 7486 | 79415 155056 615124 | 121871 7396 669 | 0.087 % | 166.31/166.42 c | 11340 | 79340 155056 615124 | 134058 11178 688 | 0.268 % | 247.28/247.46 c | 17106 | 79186 155056 615124 | 147464 16831 713 | 1.171 % | 366.22/366.46 c | 25755 | 78399 155056 615124 | 162210 25025 738 | 2.582 % | 545.24/545.58 c | 38758 | 77209 155056 615124 | 178431 37397 781 | 4.454 % | 819.61/820.02 c | 58364 | 75042 155056 615124 | 196274 56598 819 | 21.148 % | 1269.61/1270.29 c | 87556 | 56621 155056 615124 | 215902 70850 902 | 33.039 % |
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-1875389-1245205634/watcher-1875389-1245205634 -o /tmp/evaluation-result-1875389-1245205634/solver-1875389-1245205634 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875389-1245205634.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.85 0.97 0.99 3/65 10382 /proc/meminfo: memFree=1822384/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=9588 CPUtime=0 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 188163200 9818112 269 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 2397 269 126 292 0 420 0 [startup+0.0491659 s] /proc/loadavg: 0.85 0.97 0.99 3/65 10382 /proc/meminfo: memFree=1822384/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=13640 CPUtime=0.04 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 1215 0 0 0 4 0 0 0 18 0 1 0 188163200 13967360 1199 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 3410 1200 181 292 0 1433 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13640 [startup+0.101171 s] /proc/loadavg: 0.85 0.97 0.99 3/65 10382 /proc/meminfo: memFree=1822384/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=17668 CPUtime=0.09 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 2208 0 0 0 9 0 0 0 18 0 1 0 188163200 18092032 2119 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 4417 2119 239 292 0 2440 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17668 [startup+0.301193 s] /proc/loadavg: 0.85 0.97 0.99 3/65 10382 /proc/meminfo: memFree=1822384/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=25028 CPUtime=0.29 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 4072 0 0 0 28 1 0 0 19 0 1 0 188163200 25628672 3869 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 6257 3869 428 292 0 4280 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 25028 [startup+0.701238 s] /proc/loadavg: 0.85 0.97 0.99 3/65 10382 /proc/meminfo: memFree=1822384/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=29584 CPUtime=0.69 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 5849 0 0 0 68 1 0 0 24 0 1 0 188163200 30294016 5646 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 7396 5646 1021 292 0 5419 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29584 [startup+1.50133 s] /proc/loadavg: 0.86 0.97 0.99 2/66 10383 /proc/meminfo: memFree=1800488/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=50104 CPUtime=1.49 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 15280 0 0 0 143 6 0 0 25 0 1 0 188163200 51306496 11500 1992294400 134512640 135709839 4294956240 18446744073709551615 135171343 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 12526 11500 134 292 0 12231 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 50104 [startup+3.10151 s] /proc/loadavg: 0.86 0.97 0.99 2/66 10383 /proc/meminfo: memFree=1776360/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=50656 CPUtime=3.09 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 15421 0 0 0 303 6 0 0 25 0 1 0 188163200 51871744 11641 1992294400 134512640 135709839 4294956240 18446744073709551615 134577687 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 12664 11641 135 292 0 12369 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 50656 [startup+6.30187 s] /proc/loadavg: 0.86 0.97 0.99 2/66 10383 /proc/meminfo: memFree=1774504/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=52700 CPUtime=6.29 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 15944 0 0 0 623 6 0 0 25 0 1 0 188163200 53964800 12164 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 13175 12164 136 292 0 12880 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 52700 [startup+12.7016 s] /proc/loadavg: 0.88 0.97 0.99 2/66 10383 /proc/meminfo: memFree=1770152/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=65992 CPUtime=12.69 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 18900 0 0 0 1261 8 0 0 25 0 1 0 188163200 67575808 15120 1992294400 134512640 135709839 4294956240 18446744073709551615 135166003 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 16498 15120 136 292 0 16203 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 65992 [startup+25.5011 s] /proc/loadavg: 0.90 0.97 0.99 2/66 10383 /proc/meminfo: memFree=1756904/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=69744 CPUtime=25.49 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 21602 0 0 0 2539 10 0 0 25 0 1 0 188163200 71417856 16442 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 17436 16442 136 292 0 17141 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 69744 [startup+51.102 s] /proc/loadavg: 0.93 0.97 0.99 2/66 10383 /proc/meminfo: memFree=1743592/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=83408 CPUtime=51.06 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 25033 0 0 0 5091 15 0 0 25 0 1 0 188163200 85409792 19873 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 20852 19873 136 292 0 20557 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 83408 [startup+102.306 s] /proc/loadavg: 1.01 0.99 0.99 2/66 10383 /proc/meminfo: memFree=1716456/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=110244 CPUtime=102.24 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 31729 0 0 0 10201 23 0 0 25 0 1 0 188163200 112889856 26569 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 27561 26569 136 292 0 27266 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 110244 [startup+162.302 s] /proc/loadavg: 1.11 1.02 1.01 2/66 10383 /proc/meminfo: memFree=1685096/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=141800 CPUtime=162.21 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 39620 0 0 0 16190 31 0 0 25 0 1 0 188163200 145203200 34460 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 35450 34460 136 292 0 35155 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 141800 [startup+222.301 s] /proc/loadavg: 1.11 1.03 1.00 2/66 10383 /proc/meminfo: memFree=1652328/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=174380 CPUtime=222.2 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 47743 0 0 0 22181 39 0 0 25 0 1 0 188163200 178565120 42583 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 43595 42583 136 292 0 43300 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 174380 [startup+282.301 s] /proc/loadavg: 1.11 1.04 1.00 2/66 10383 /proc/meminfo: memFree=1620712/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=206116 CPUtime=282.15 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 55702 0 0 0 28167 48 0 0 25 0 1 0 188163200 211062784 50542 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 51529 50542 136 292 0 51234 0 Current children cumulated CPU time (s) 282.15 Current children cumulated vsize (KiB) 206116 [startup+342.302 s] /proc/loadavg: 1.10 1.04 1.00 2/66 10383 /proc/meminfo: memFree=1587816/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=238752 CPUtime=342.12 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 63845 0 0 0 34157 55 0 0 25 0 1 0 188163200 244482048 58685 1992294400 134512640 135709839 4294956240 18446744073709551615 134573967 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 59688 58685 136 292 0 59393 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 238752 [startup+402.302 s] /proc/loadavg: 1.09 1.05 1.00 2/66 10383 /proc/meminfo: memFree=1555176/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=271584 CPUtime=402.09 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 72047 0 0 0 40145 64 0 0 25 0 1 0 188163200 278102016 66887 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 67896 66887 136 292 0 67601 0 Current children cumulated CPU time (s) 402.09 Current children cumulated vsize (KiB) 271584 [startup+462.302 s] /proc/loadavg: 1.08 1.05 1.00 2/66 10383 /proc/meminfo: memFree=1522984/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=303492 CPUtime=462.08 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 80033 0 0 0 46134 74 0 0 25 0 1 0 188163200 310775808 74873 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 75873 74873 136 292 0 75578 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 303492 [startup+522.301 s] /proc/loadavg: 1.08 1.06 1.00 2/66 10383 /proc/meminfo: memFree=1490600/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=336124 CPUtime=522.04 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 88169 0 0 0 52123 81 0 0 25 0 1 0 188163200 344190976 83009 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 84031 83009 136 292 0 83736 0 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (KiB) 336124 [startup+582.301 s] /proc/loadavg: 1.11 1.07 1.01 2/66 10383 /proc/meminfo: memFree=1458280/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=368080 CPUtime=582.01 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 96163 0 0 0 58112 89 0 0 25 0 1 0 188163200 376913920 91003 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/10382/statm: 92020 91003 136 292 0 91725 0 Current children cumulated CPU time (s) 582.01 Current children cumulated vsize (KiB) 368080 [startup+642.301 s] /proc/loadavg: 1.12 1.08 1.01 2/66 10383 /proc/meminfo: memFree=1423080/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=403156 CPUtime=641.99 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 104907 0 0 0 64100 99 0 0 25 0 1 0 188163200 412831744 99747 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 100789 99747 136 292 0 100494 0 Current children cumulated CPU time (s) 641.99 Current children cumulated vsize (KiB) 403156 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.13 1.11 1.03 2/66 10383 /proc/meminfo: memFree=1297768/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=528236 CPUtime=881.88 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 136175 0 0 0 88057 131 0 0 25 0 1 0 188163200 540913664 131015 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 132059 131015 136 292 0 131764 0 Current children cumulated CPU time (s) 881.88 Current children cumulated vsize (KiB) 528236 [startup+942.301 s] /proc/loadavg: 1.05 1.08 1.02 2/66 10383 /proc/meminfo: memFree=1268136/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=558168 CPUtime=941.86 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 143617 0 0 0 94049 137 0 0 25 0 1 0 188163200 571564032 138457 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 139542 138457 136 292 0 139247 0 Current children cumulated CPU time (s) 941.86 Current children cumulated vsize (KiB) 558168 [startup+1002.3 s] /proc/loadavg: 1.02 1.07 1.01 2/66 10383 /proc/meminfo: memFree=1237416/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=588512 CPUtime=1001.83 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 151201 0 0 0 100039 144 0 0 25 0 1 0 188163200 602636288 146041 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 147128 146041 136 292 0 146833 0 Current children cumulated CPU time (s) 1001.83 Current children cumulated vsize (KiB) 588512 [startup+1062.3 s] /proc/loadavg: 1.04 1.07 1.01 2/66 10383 /proc/meminfo: memFree=1208936/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=617124 CPUtime=1061.8 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 158353 0 0 0 106030 150 0 0 25 0 1 0 188163200 631934976 153193 1992294400 134512640 135709839 4294956240 18446744073709551615 134518528 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 154281 153193 136 292 0 153986 0 Current children cumulated CPU time (s) 1061.8 Current children cumulated vsize (KiB) 617124 [startup+1122.3 s] /proc/loadavg: 1.01 1.05 1.01 2/66 10383 /proc/meminfo: memFree=1177000/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=648920 CPUtime=1121.78 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 166302 0 0 0 112021 157 0 0 25 0 1 0 188163200 664494080 161142 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 162230 161142 136 292 0 161935 0 Current children cumulated CPU time (s) 1121.78 Current children cumulated vsize (KiB) 648920 [startup+1182.3 s] /proc/loadavg: 1.00 1.04 1.00 2/66 10383 /proc/meminfo: memFree=1145448/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=680836 CPUtime=1181.75 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 174273 0 0 0 118012 163 0 0 25 0 1 0 188163200 697176064 169113 1992294400 134512640 135709839 4294956240 18446744073709551615 134573906 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 170209 169113 136 292 0 169914 0 Current children cumulated CPU time (s) 1181.75 Current children cumulated vsize (KiB) 680836 [startup+1242.3 s] /proc/loadavg: 1.00 1.03 1.00 2/66 10383 /proc/meminfo: memFree=1116072/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=709812 CPUtime=1241.72 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 181485 0 0 0 124001 171 0 0 25 0 1 0 188163200 726847488 176325 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 177453 176325 136 292 0 177158 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 709812 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 10383 /proc/meminfo: memFree=1088552/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=736904 CPUtime=1301.7 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 188284 0 0 0 129993 177 0 0 25 0 1 0 188163200 754589696 183124 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 184226 183124 136 292 0 183931 0 Current children cumulated CPU time (s) 1301.7 Current children cumulated vsize (KiB) 736904 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 1.00 2/66 10383 /proc/meminfo: memFree=1061864/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=763996 CPUtime=1361.68 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 195034 0 0 0 135983 185 0 0 25 0 1 0 188163200 782331904 189874 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 190999 189874 136 292 0 190704 0 Current children cumulated CPU time (s) 1361.68 Current children cumulated vsize (KiB) 763996 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/66 10383 /proc/meminfo: memFree=1032616/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=792900 CPUtime=1421.66 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 202256 0 0 0 141974 192 0 0 25 0 1 0 188163200 811929600 197096 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 198225 197096 136 292 0 197930 0 Current children cumulated CPU time (s) 1421.66 Current children cumulated vsize (KiB) 792900 [startup+1482.3 s] /proc/loadavg: 1.00 1.01 1.00 2/66 10383 /proc/meminfo: memFree=1004008/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=821588 CPUtime=1481.63 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 209441 0 0 0 147965 198 0 0 25 0 1 0 188163200 841306112 204281 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 205397 204281 136 292 0 205102 0 Current children cumulated CPU time (s) 1481.63 Current children cumulated vsize (KiB) 821588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=975016/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=850164 CPUtime=1541.6 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 216579 0 0 0 153955 205 0 0 25 0 1 0 188163200 870567936 211419 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 212541 211419 136 292 0 212246 0 Current children cumulated CPU time (s) 1541.6 Current children cumulated vsize (KiB) 850164 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=946728/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=879060 CPUtime=1601.56 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 223779 0 0 0 159944 212 0 0 25 0 1 0 188163200 900157440 218619 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 219765 218619 136 292 0 219470 0 Current children cumulated CPU time (s) 1601.56 Current children cumulated vsize (KiB) 879060 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=916776/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=908832 CPUtime=1661.54 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 231171 0 0 0 165935 219 0 0 25 0 1 0 188163200 930643968 226011 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 227208 226011 136 292 0 226913 0 Current children cumulated CPU time (s) 1661.54 Current children cumulated vsize (KiB) 908832 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=888232/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=937368 CPUtime=1721.51 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 238329 0 0 0 171924 227 0 0 25 0 1 0 188163200 959864832 233169 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 234342 233169 136 292 0 234047 0 Current children cumulated CPU time (s) 1721.51 Current children cumulated vsize (KiB) 937368 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=859880/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=965576 CPUtime=1781.48 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 245343 0 0 0 177913 235 0 0 25 0 1 0 188163200 988749824 240183 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 241394 240183 136 292 0 241099 0 Current children cumulated CPU time (s) 1781.48 Current children cumulated vsize (KiB) 965576 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.9 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=850664/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=974528 CPUtime=1800.08 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4194304 247602 0 0 0 179771 237 0 0 25 0 1 0 188163200 997916672 242442 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 243632 242442 136 292 0 243337 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 974528 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.01 s] /proc/loadavg: 1.00 1.00 1.00 2/66 10385 /proc/meminfo: memFree=850664/2055920 swapFree=4191900/4192956 [pid=10382] ppid=10380 vsize=0 CPUtime=1800.18 /proc/10382/stat : 10382 (wbo) R 10380 10382 10337 0 -1 4195332 247602 0 0 0 179771 247 0 0 25 0 1 0 188163200 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/10382/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.05 CPU time (s): 1800.23 CPU user time (s): 1797.71 CPU system time (s): 2.51962 CPU usage (%): 99.9546 Max. virtual memory (cumulated for all children) (KiB): 974528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.71 system time used= 2.51962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 247602 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= 6350 runsolver used 2.08268 second user time and 4.47732 second system time The end
Begin job on node32 at 2009-06-17 04:27:14 IDJOB=1875389 IDBENCH=48229 IDSOLVER=698 FILE ID=node32/1875389-1245205634 PBS_JOBID= 9368388 Free space on /tmp= 66340 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_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-1875389-1245205634/watcher-1875389-1245205634 -o /tmp/evaluation-result-1875389-1245205634/solver-1875389-1245205634 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875389-1245205634.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 49512b8058c62182b32b06ac219e7167 RANDOM SEED=1233110215 node32.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1827728 kB Buffers: 40372 kB Cached: 112776 kB SwapCached: 260 kB Active: 34232 kB Inactive: 133132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1827728 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 4608 kB Writeback: 0 kB Mapped: 23636 kB Slab: 46608 kB Committed_AS: 201204 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875389-1245205634.opb Free space on /tmp at the end= 66332 MiB End job on node32 at 2009-06-17 04:57:21