Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | ? (TO) | 1800.15 | 1800.08 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo |
MD5SUM | 76159a1844a191e7556569a339118f97 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 28 |
Best CPU time to get the best result obtained on this benchmark | 0.292955 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 64 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3426 |
Min constraint cost | 1 |
Max constraint cost | 99 |
Sum of constraints costs | 3425 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1248 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689946-1277899124.wbo. 0.00/0.00 c Instance file HOME/instance-2689946-1277899124.wbo 0.00/0.00 c File size is 10285 bytes. 0.00/0.00 c Highest Coefficient sum: 1248 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 34 | 0.004 % | 0.00/0.00 c | 250 | 169 101 1205 | 6050 250 34 | 0.004 % | 0.00/0.01 c | 475 | 169 101 1205 | 6655 475 37 | 0.004 % | 0.00/0.02 c | 813 | 169 101 1205 | 7320 813 36 | 0.004 % | 0.00/0.03 c | 1320 | 169 101 1205 | 8052 1320 34 | 0.004 % | 0.00/0.06 c | 2079 | 169 101 1205 | 8857 2079 34 | 0.004 % | 0.06/0.09 c | 3218 | 169 101 1205 | 9743 3218 35 | 0.004 % | 0.09/0.16 c | 4926 | 169 101 1205 | 10717 4926 37 | 0.004 % | 0.19/0.28 c | 7488 | 169 101 1205 | 11789 7488 39 | 0.004 % | 0.49/0.50 c | 11334 | 169 101 1205 | 12968 11334 40 | 0.004 % | 0.79/0.88 c | 17103 | 169 101 1205 | 14265 10567 44 | 0.004 % | 1.39/1.44 c | 25753 | 169 101 1205 | 15692 12016 49 | 0.004 % | 2.49/2.51 c | 38731 | 169 101 1205 | 17261 9186 50 | 0.004 % | 4.29/4.30 c | 58192 | 169 101 1205 | 18987 11274 51 | 0.004 % | 6.39/6.47 c =============================================================================== 6.79/6.84 c core #1 6.79/6.84 c ============================[ Search Statistics ]============================== 6.79/6.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.79/6.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.79/6.84 c =============================================================================== 6.79/6.84 c | 0 | 228 164 2127 | 5000 0 nan | 0.000 % | 6.79/6.84 c | 102 | 228 164 2127 | 5500 102 26 | 0.002 % | 6.79/6.85 c | 254 | 228 164 2127 | 6050 254 31 | 0.002 % | 6.79/6.85 c | 480 | 228 164 2127 | 6655 480 33 | 0.002 % | 6.79/6.86 c | 818 | 228 164 2127 | 7320 818 33 | 0.002 % | 6.79/6.88 c | 1324 | 228 164 2127 | 8052 1324 35 | 0.002 % | 6.89/6.90 c | 2084 | 228 164 2127 | 8857 2084 40 | 0.002 % | 6.89/6.95 c | 3223 | 228 164 2127 | 9743 3223 41 | 0.002 % | 6.99/7.03 c | 4931 | 228 164 2127 | 10717 4931 42 | 0.002 % | 7.09/7.16 c | 7493 | 228 164 2127 | 11789 7493 42 | 0.002 % | 7.30/7.39 c | 11338 | 228 164 2127 | 12968 11338 43 | 0.002 % | 7.79/7.84 c | 17107 | 228 164 2127 | 14265 10579 47 | 0.002 % | 8.50/8.57 c | 25756 | 228 164 2127 | 15692 12048 49 | 0.002 % | 9.59/9.61 c | 38731 | 228 164 2127 | 17261 9208 49 | 0.002 % | 11.20/11.26 c | 58196 | 228 164 2127 | 18987 11301 51 | 0.002 % | 13.79/13.88 c =============================================================================== 14.19/14.28 c core #2 14.19/14.28 c ============================[ Search Statistics ]============================== 14.19/14.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.19/14.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.19/14.28 c =============================================================================== 14.19/14.28 c | 0 | 288 226 3039 | 5000 0 nan | 0.000 % | 14.19/14.29 c | 101 | 288 226 3039 | 5500 101 34 | 0.001 % | 14.19/14.30 c | 252 | 288 226 3039 | 6050 252 41 | 0.001 % | 14.29/14.30 c | 477 | 288 226 3039 | 6655 477 37 | 0.001 % | 14.29/14.31 c | 815 | 288 226 3039 | 7320 815 35 | 0.001 % | 14.29/14.33 c | 1321 | 288 226 3039 | 8052 1321 35 | 0.001 % | 14.29/14.36 c | 2080 | 288 226 3039 | 8857 2080 36 | 0.001 % | 14.29/14.40 c | 3221 | 288 226 3039 | 9743 3221 36 | 0.001 % | 14.39/14.47 c | 4929 | 288 226 3039 | 10717 4929 35 | 0.001 % | 14.49/14.59 c | 7492 | 288 226 3039 | 11789 7492 36 | 0.001 % | 14.79/14.81 c | 11338 | 288 226 3039 | 12968 11338 37 | 0.001 % | 15.09/15.18 c | 17104 | 288 226 3039 | 14265 10566 42 | 0.001 % | 15.79/15.83 c | 25753 | 288 226 3039 | 15692 12030 44 | 0.001 % | 16.79/16.86 c | 38727 | 288 226 3039 | 17261 9209 47 | 0.001 % | 18.30/18.35 c | 58190 | 288 226 3039 | 18987 11295 49 | 0.001 % | 21.00/21.00 c | 87382 | 288 226 3039 | 20886 11840 47 | 0.002 % | 21.49/21.56 c =============================================================================== 22.00/22.02 c core #3 22.00/22.02 c ============================[ Search Statistics ]============================== 22.00/22.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 22.00/22.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 22.00/22.02 c =============================================================================== 22.00/22.02 c | 0 | 350 287 3942 | 5000 0 nan | 0.000 % | 22.00/22.03 c | 101 | 350 287 3942 | 5500 101 28 | 0.001 % | 22.00/22.03 c | 252 | 350 287 3942 | 6050 252 30 | 0.001 % | 22.00/22.04 c | 477 | 350 287 3942 | 6655 477 28 | 0.001 % | 22.00/22.05 c | 814 | 350 287 3942 | 7320 814 31 | 0.001 % | 22.00/22.06 c | 1322 | 350 287 3942 | 8052 1322 33 | 0.001 % | 22.00/22.09 c | 2082 | 350 287 3942 | 8857 2082 34 | 0.001 % | 22.09/22.13 c | 3222 | 350 287 3942 | 9743 3222 34 | 0.001 % | 22.19/22.21 c | 4931 | 350 287 3942 | 10717 4931 35 | 0.001 % | 22.29/22.33 c | 7493 | 350 287 3942 | 11789 7493 37 | 0.001 % | 22.49/22.57 c | 11338 | 350 287 3942 | 12968 11338 39 | 0.001 % | 22.89/22.95 c | 17104 | 350 287 3942 | 14265 10571 44 | 0.001 % | 23.49/23.59 c | 25754 | 350 287 3942 | 15692 12041 47 | 0.001 % | 24.69/24.70 c | 38728 | 350 287 3942 | 17261 9227 47 | 0.001 % | 26.19/26.26 c | 58191 | 350 287 3942 | 18987 11313 48 | 0.001 % | 28.69/28.72 c | 87384 | 350 287 3942 | 20886 11912 48 | 0.001 % | 30.50/30.56 c =============================================================================== 31.00/31.08 c core #4 31.00/31.08 c ============================[ Search Statistics ]============================== 31.00/31.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.00/31.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.00/31.08 c =============================================================================== 31.00/31.08 c | 0 | 415 348 4851 | 5000 0 nan | 0.000 % | 31.00/31.09 c | 100 | 415 348 4851 | 5500 100 28 | 0.001 % | 31.00/31.09 c | 251 | 415 348 4851 | 6050 251 27 | 0.001 % | 31.10/31.10 c | 477 | 415 348 4851 | 6655 477 27 | 0.001 % | 31.10/31.11 c | 814 | 415 348 4851 | 7320 814 30 | 0.001 % | 31.10/31.13 c | 1322 | 415 348 4851 | 8052 1322 34 | 0.001 % | 31.10/31.16 c | 2081 | 415 348 4851 | 8857 2081 35 | 0.001 % | 31.19/31.20 c | 3221 | 415 348 4851 | 9743 3221 35 | 0.001 % | 31.19/31.28 c | 4932 | 415 348 4851 | 10717 4932 37 | 0.001 % | 31.39/31.43 c | 7495 | 415 348 4851 | 11789 7495 38 | 0.001 % | 31.59/31.68 c | 11340 | 415 348 4851 | 12968 11340 39 | 0.001 % | 31.99/32.08 c | 17107 | 415 348 4851 | 14265 10572 44 | 0.001 % | 32.69/32.74 c | 25758 | 415 348 4851 | 15692 12041 43 | 0.001 % | 33.79/33.85 c | 38733 | 415 348 4851 | 17261 9206 45 | 0.001 % | 35.49/35.50 c | 58195 | 415 348 4851 | 18987 11311 48 | 0.001 % | 38.30/38.38 c | 87389 | 370 348 4851 | 20886 4557 46 | 10.844 % | 38.59/38.62 c =============================================================================== 38.99/39.07 c core #5 38.99/39.07 c ============================[ Search Statistics ]============================== 38.99/39.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.99/39.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.99/39.07 c =============================================================================== 38.99/39.07 c | 0 | 471 408 5732 | 5000 0 nan | 0.000 % | 38.99/39.08 c | 100 | 471 408 5732 | 5500 100 26 | 0.000 % | 38.99/39.09 c | 250 | 471 408 5732 | 6050 250 29 | 0.000 % | 38.99/39.09 c | 475 | 471 408 5732 | 6655 475 30 | 0.000 % | 39.10/39.10 c | 814 | 471 408 5732 | 7320 814 31 | 0.000 % | 39.10/39.12 c | 1320 | 471 408 5732 | 8052 1320 33 | 0.000 % | 39.10/39.15 c | 2079 | 471 408 5732 | 8857 2079 35 | 0.000 % | 39.19/39.20 c | 3218 | 471 408 5732 | 9743 3218 37 | 0.000 % | 39.19/39.29 c | 4926 | 471 408 5732 | 10717 4926 37 | 0.000 % | 39.40/39.46 c | 7488 | 471 408 5732 | 11789 7488 41 | 0.000 % | 39.69/39.77 c | 11332 | 471 408 5732 | 12968 11332 43 | 0.000 % | 40.20/40.23 c | 17102 | 471 408 5732 | 14265 10551 46 | 0.000 % | 40.89/40.96 c | 25751 | 471 408 5732 | 15692 12025 46 | 0.000 % | 41.99/42.04 c | 38727 | 471 408 5732 | 17261 9220 46 | 0.000 % | 43.69/43.75 c | 58190 | 471 408 5732 | 18987 11308 47 | 0.000 % | 46.30/46.39 c | 87383 | 471 408 5732 | 20886 11781 48 | 0.000 % | 47.49/47.53 c =============================================================================== 47.99/48.03 c core #6 47.99/48.03 c ============================[ Search Statistics ]============================== 47.99/48.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 47.99/48.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 47.99/48.03 c =============================================================================== 47.99/48.03 c | 0 | 542 469 6665 | 5000 0 nan | 0.000 % | 47.99/48.04 c | 102 | 542 469 6665 | 5500 102 32 | 0.000 % | 47.99/48.05 c | 254 | 542 469 6665 | 6050 254 35 | 0.000 % | 47.99/48.06 c | 479 | 542 469 6665 | 6655 479 31 | 0.000 % | 47.99/48.07 c | 816 | 542 469 6665 | 7320 816 31 | 0.000 % | 47.99/48.09 c | 1323 | 542 469 6665 | 8052 1323 31 | 0.000 % | 48.10/48.12 c | 2089 | 542 469 6665 | 8857 2089 34 | 0.000 % | 48.10/48.17 c | 3229 | 542 469 6665 | 9743 3229 36 | 0.000 % | 48.19/48.25 c | 4939 | 542 469 6665 | 10717 4939 35 | 0.000 % | 48.30/48.39 c | 7501 | 542 469 6665 | 11789 7501 37 | 0.000 % | 48.60/48.65 c | 11346 | 542 469 6665 | 12968 11346 38 | 0.000 % | 48.99/49.06 c | 17112 | 542 469 6665 | 14265 10575 42 | 0.000 % | 49.69/49.78 c | 25763 | 542 469 6665 | 15692 12037 43 | 0.000 % | 50.89/50.90 c | 38741 | 542 469 6665 | 17261 9236 44 | 0.000 % | 52.49/52.56 c | 58202 | 542 469 6665 | 18987 11334 48 | 0.000 % | 55.09/55.13 c | 87398 | 542 469 6665 | 20886 11878 46 | 0.000 % | 58.69/58.71 c =============================================================================== 59.30/59.33 c core #7 59.30/59.33 c ============================[ Search Statistics ]============================== 59.30/59.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 59.30/59.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 59.30/59.33 c =============================================================================== 59.30/59.33 c | 0 | 612 529 7575 | 5000 0 nan | 0.000 % | 59.30/59.34 c | 102 | 612 529 7575 | 5500 102 34 | 0.000 % | 59.30/59.35 c | 253 | 612 529 7575 | 6050 253 40 | 0.000 % | 59.30/59.36 c | 479 | 612 529 7575 | 6655 479 39 | 0.000 % | 59.30/59.37 c | 816 | 612 529 7575 | 7320 816 37 | 0.000 % | 59.30/59.39 c | 1323 | 612 529 7575 | 8052 1323 36 | 0.000 % | 59.40/59.42 c | 2082 | 612 529 7575 | 8857 2082 38 | 0.000 % | 59.40/59.47 c | 3221 | 612 529 7575 | 9743 3221 40 | 0.000 % | 59.49/59.56 c | 4929 | 612 529 7575 | 10717 4929 41 | 0.000 % | 59.70/59.72 c | 7494 | 612 529 7575 | 11789 7494 41 | 0.000 % | 59.99/60.00 c | 11338 | 612 529 7575 | 12968 11338 42 | 0.000 % | 60.40/60.46 c | 17104 | 612 529 7575 | 14265 10563 45 | 0.000 % | 61.19/61.20 c | 25754 | 612 529 7575 | 15692 12028 48 | 0.000 % | 62.29/62.32 c | 38728 | 612 529 7575 | 17261 9206 45 | 0.000 % | 64.10/64.14 c | 58189 | 612 529 7575 | 18987 11307 47 | 0.000 % | 67.00/67.03 c | 87386 | 612 529 7575 | 20886 11863 49 | 0.000 % | 68.50/68.58 c =============================================================================== 69.10/69.11 c core #8 69.10/69.11 c ============================[ Search Statistics ]============================== 69.10/69.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.10/69.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.10/69.11 c =============================================================================== 69.10/69.11 c | 0 | 666 587 8436 | 5000 0 nan | 0.000 % | 69.10/69.13 c | 100 | 666 587 8436 | 5500 100 24 | 0.000 % | 69.10/69.13 c | 250 | 666 587 8436 | 6050 250 33 | 0.000 % | 69.10/69.14 c | 475 | 666 587 8436 | 6655 475 36 | 0.000 % | 69.10/69.15 c | 815 | 666 587 8436 | 7320 815 34 | 0.000 % | 69.10/69.17 c | 1321 | 666 587 8436 | 8052 1321 34 | 0.000 % | 69.20/69.20 c | 2083 | 666 587 8436 | 8857 2083 34 | 0.000 % | 69.20/69.26 c | 3222 | 666 587 8436 | 9743 3222 35 | 0.000 % | 69.30/69.34 c | 4930 | 666 587 8436 | 10717 4930 37 | 0.000 % | 69.39/69.49 c | 7494 | 666 587 8436 | 11789 7494 38 | 0.000 % | 69.69/69.76 c | 11338 | 666 587 8436 | 12968 11338 39 | 0.000 % | 70.09/70.18 c | 17106 | 666 587 8436 | 14265 10573 41 | 0.000 % | 70.79/70.86 c | 25756 | 666 587 8436 | 15692 12036 48 | 0.000 % | 72.00/72.01 c | 38733 | 666 587 8436 | 17261 9219 46 | 0.000 % | 73.70/73.72 c | 58195 | 666 587 8436 | 18987 11300 48 | 0.000 % | 76.59/76.60 c | 87388 | 666 587 8436 | 20886 11844 46 | 0.000 % | 79.80/79.81 c =============================================================================== 80.39/80.43 c core #9 80.39/80.43 c ============================[ Search Statistics ]============================== 80.39/80.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.39/80.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.39/80.43 c =============================================================================== 80.39/80.43 c | 0 | 741 647 9368 | 5000 0 nan | 0.000 % | 80.39/80.45 c | 101 | 741 647 9368 | 5500 101 33 | 0.000 % | 80.39/80.46 c | 252 | 741 647 9368 | 6050 252 37 | 0.000 % | 80.39/80.47 c | 480 | 741 647 9368 | 6655 480 34 | 0.000 % | 80.39/80.48 c | 818 | 741 647 9368 | 7320 818 35 | 0.000 % | 80.49/80.50 c | 1324 | 741 647 9368 | 8052 1324 35 | 0.000 % | 80.49/80.53 c | 2083 | 741 647 9368 | 8857 2083 37 | 0.000 % | 80.49/80.58 c | 3222 | 741 647 9368 | 9743 3222 37 | 0.000 % | 80.60/80.66 c | 4930 | 741 647 9368 | 10717 4930 36 | 0.000 % | 80.80/80.81 c | 7495 | 741 647 9368 | 11789 7495 36 | 0.000 % | 80.99/81.08 c | 11339 | 741 647 9368 | 12968 11339 37 | 0.000 % | 81.50/81.50 c | 17105 | 741 647 9368 | 14265 10578 40 | 0.000 % | 82.09/82.16 c | 25754 | 741 647 9368 | 15692 12042 44 | 0.000 % | 83.30/83.30 c | 38729 | 741 647 9368 | 17261 9234 45 | 0.000 % | 84.99/85.04 c | 58193 | 741 647 9368 | 18987 11335 46 | 0.000 % | 88.00/88.00 c | 87385 | 741 647 9368 | 20886 11911 47 | 0.000 % | 89.50/89.54 c =============================================================================== 90.00/90.07 c core #10 90.00/90.07 c ============================[ Search Statistics ]============================== 90.00/90.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 90.00/90.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 90.00/90.07 c =============================================================================== 90.00/90.07 c | 0 | 819 706 10293 | 5000 0 nan | 0.000 % | 90.00/90.09 c | 105 | 819 706 10293 | 5500 105 49 | 0.000 % | 90.00/90.09 c | 256 | 819 706 10293 | 6050 256 42 | 0.000 % | 90.10/90.10 c | 481 | 819 706 10293 | 6655 481 35 | 0.000 % | 90.10/90.12 c | 818 | 819 706 10293 | 7320 818 34 | 0.000 % | 90.10/90.13 c | 1324 | 819 706 10293 | 8052 1324 34 | 0.000 % | 90.10/90.16 c | 2083 | 819 706 10293 | 8857 2083 35 | 0.000 % | 90.20/90.22 c | 3222 | 819 706 10293 | 9743 3222 38 | 0.000 % | 90.29/90.31 c | 4930 | 819 706 10293 | 10717 4930 37 | 0.000 % | 90.40/90.47 c | 7493 | 819 706 10293 | 11789 7493 39 | 0.000 % | 90.69/90.77 c | 11337 | 819 706 10293 | 12968 11337 41 | 0.000 % | 91.20/91.21 c | 17104 | 819 706 10293 | 14265 10563 44 | 0.000 % | 91.90/91.94 c | 25755 | 819 706 10293 | 15692 12035 44 | 0.000 % | 93.00/93.08 c | 38729 | 819 706 10293 | 17261 9209 48 | 0.000 % | 94.80/94.84 c | 58195 | 819 706 10293 | 18987 11318 45 | 0.000 % | 97.39/97.50 c | 87388 | 819 706 10293 | 20886 11847 51 | 0.000 % | 98.80/98.86 c =============================================================================== 99.29/99.36 c core #11 99.29/99.36 c ============================[ Search Statistics ]============================== 99.29/99.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 99.29/99.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 99.29/99.36 c =============================================================================== 99.29/99.36 c | 0 | 884 765 11192 | 5000 0 nan | 0.000 % | 99.29/99.38 c | 105 | 884 765 11192 | 5500 105 33 | 0.000 % | 99.29/99.39 c | 255 | 884 765 11192 | 6050 255 32 | 0.000 % | 99.29/99.39 c | 480 | 884 765 11192 | 6655 480 32 | 0.000 % | 99.39/99.41 c | 817 | 884 765 11192 | 7320 817 32 | 0.000 % | 99.39/99.43 c | 1324 | 884 765 11192 | 8052 1324 31 | 0.000 % | 99.39/99.46 c | 2087 | 884 765 11192 | 8857 2087 32 | 0.000 % | 99.49/99.51 c | 3226 | 884 765 11192 | 9743 3226 36 | 0.000 % | 99.49/99.59 c | 4936 | 884 765 11192 | 10717 4936 36 | 0.000 % | 99.70/99.75 c | 7499 | 884 765 11192 | 11789 7499 37 | 0.000 % | 100.00/100.01 c | 11344 | 884 765 11192 | 12968 11344 38 | 0.000 % | 100.39/100.44 c | 17111 | 884 765 11192 | 14265 10567 42 | 0.000 % | 101.10/101.13 c | 25761 | 884 765 11192 | 15692 12034 44 | 0.000 % | 102.20/102.30 c | 38735 | 884 765 11192 | 17261 9205 49 | 0.000 % | 104.10/104.12 c | 58196 | 884 765 11192 | 18987 11309 46 | 0.000 % | 106.80/106.89 c | 87392 | 884 765 11192 | 20886 11857 51 | 0.000 % | 108.10/108.19 c =============================================================================== 108.69/108.72 c core #12 108.69/108.72 c ============================[ Search Statistics ]============================== 108.69/108.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 108.69/108.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 108.69/108.72 c =============================================================================== 108.69/108.72 c | 0 | 951 824 12094 | 5000 0 nan | 0.000 % | 108.69/108.73 c | 101 | 951 824 12094 | 5500 101 28 | 0.000 % | 108.69/108.74 c | 251 | 951 824 12094 | 6050 251 32 | 0.000 % | 108.69/108.75 c | 476 | 951 824 12094 | 6655 476 35 | 0.000 % | 108.69/108.76 c | 814 | 951 824 12094 | 7320 814 33 | 0.000 % | 108.69/108.78 c | 1322 | 951 824 12094 | 8052 1322 33 | 0.000 % | 108.80/108.82 c | 2082 | 951 824 12094 | 8857 2082 33 | 0.000 % | 108.80/108.87 c | 3221 | 951 824 12094 | 9743 3221 36 | 0.000 % | 108.90/108.95 c | 4930 | 951 824 12094 | 10717 4930 37 | 0.000 % | 109.09/109.10 c | 7495 | 951 824 12094 | 11789 7495 37 | 0.000 % | 109.30/109.36 c | 11341 | 951 824 12094 | 12968 11341 38 | 0.000 % | 109.69/109.77 c | 17107 | 951 824 12094 | 14265 10565 42 | 0.000 % | 110.39/110.49 c | 25757 | 951 824 12094 | 15692 12021 43 | 0.000 % | 111.50/111.52 c | 38733 | 951 824 12094 | 17261 9190 45 | 0.000 % | 113.09/113.19 c | 58198 | 951 824 12094 | 18987 11295 50 | 0.000 % | 115.90/116.00 c | 87391 | 951 824 12094 | 20886 11848 46 | 0.000 % | 120.20/120.25 c =============================================================================== 120.80/120.90 c core #13 120.80/120.90 c ============================[ Search Statistics ]============================== 120.80/120.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 120.80/120.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 120.80/120.90 c =============================================================================== 120.80/120.90 c | 0 | 1006 881 12946 | 5000 0 nan | 0.000 % | 120.90/120.91 c | 100 | 1006 881 12946 | 5500 100 28 | 0.000 % | 120.90/120.92 c | 250 | 1006 881 12946 | 6050 250 32 | 0.000 % | 120.90/120.93 c | 476 | 1006 881 12946 | 6655 476 32 | 0.000 % | 120.90/120.95 c | 814 | 1006 881 12946 | 7320 814 33 | 0.000 % | 120.90/120.97 c | 1320 | 1006 881 12946 | 8052 1320 31 | 0.000 % | 121.00/121.00 c | 2079 | 1006 881 12946 | 8857 2079 31 | 0.000 % | 121.00/121.05 c | 3218 | 1006 881 12946 | 9743 3218 32 | 0.000 % | 121.10/121.14 c | 4927 | 1006 881 12946 | 10717 4927 33 | 0.000 % | 121.19/121.29 c | 7493 | 1006 881 12946 | 11789 7493 34 | 0.000 % | 121.50/121.54 c | 11340 | 1006 881 12946 | 12968 11340 35 | 0.000 % | 121.90/122.00 c | 17108 | 1006 881 12946 | 14265 10574 40 | 0.000 % | 122.59/122.64 c | 25759 | 1006 881 12946 | 15692 12026 40 | 0.000 % | 123.70/123.75 c | 38733 | 1006 881 12946 | 17261 9220 41 | 0.000 % | 125.40/125.45 c | 58194 | 1006 881 12946 | 18987 11320 49 | 0.000 % | 128.19/128.28 c | 87392 | 1006 881 12946 | 20886 11872 48 | 0.000 % | 132.49/132.52 c | 131184 | 1006 881 12946 | 22974 13688 50 | 0.000 % | 138.20/138.25 c =============================================================================== 139.19/139.24 c core #14 139.19/139.24 c ============================[ Search Statistics ]============================== 139.19/139.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 139.19/139.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 139.19/139.24 c =============================================================================== 139.19/139.24 c | 0 | 1120 940 13946 | 5000 0 nan | 0.000 % | 139.19/139.27 c | 102 | 1120 940 13946 | 5500 102 39 | 0.000 % | 139.19/139.28 c | 253 | 1120 940 13946 | 6050 253 40 | 0.000 % | 139.19/139.29 c | 479 | 1120 940 13946 | 6655 479 35 | 0.000 % | 139.30/139.30 c | 816 | 1120 940 13946 | 7320 816 33 | 0.000 % | 139.30/139.32 c | 1323 | 1120 940 13946 | 8052 1323 35 | 0.000 % | 139.30/139.35 c | 2082 | 1120 940 13946 | 8857 2082 36 | 0.000 % | 139.39/139.41 c | 3222 | 1120 940 13946 | 9743 3222 36 | 0.000 % | 139.50/139.50 c | 4932 | 1120 940 13946 | 10717 4932 36 | 0.000 % | 139.60/139.65 c | 7495 | 1120 940 13946 | 11789 7495 37 | 0.000 % | 139.90/139.94 c | 11339 | 1120 940 13946 | 12968 11339 38 | 0.000 % | 140.29/140.37 c | 17105 | 1120 940 13946 | 14265 10588 40 | 0.000 % | 141.10/141.12 c | 25756 | 1120 940 13946 | 15692 12058 41 | 0.000 % | 142.19/142.22 c | 38730 | 1120 940 13946 | 17261 9228 44 | 0.000 % | 143.90/143.95 c | 58191 | 1120 940 13946 | 18987 11326 42 | 0.000 % | 146.49/146.55 c | 87383 | 1120 940 13946 | 20886 11864 49 | 0.000 % | 150.61/150.63 c | 131174 | 1120 940 13946 | 22974 13666 46 | 0.004 % | 151.90/151.96 c =============================================================================== 152.60/152.68 c core #15 152.60/152.68 c ============================[ Search Statistics ]============================== 152.60/152.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 152.60/152.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 152.60/152.68 c =============================================================================== 152.60/152.68 c | 0 | 1228 996 14902 | 5000 0 nan | 0.000 % | 152.70/152.70 c | 104 | 1228 996 14902 | 5500 104 33 | 0.000 % | 152.70/152.71 c | 254 | 1228 996 14902 | 6050 254 36 | 0.000 % | 152.70/152.73 c | 479 | 1228 996 14902 | 6655 479 37 | 0.000 % | 152.70/152.74 c | 817 | 1228 996 14902 | 7320 817 39 | 0.000 % | 152.70/152.76 c | 1324 | 1228 996 14902 | 8052 1324 38 | 0.000 % | 152.70/152.80 c | 2083 | 1228 996 14902 | 8857 2083 38 | 0.000 % | 152.80/152.86 c | 3224 | 1228 996 14902 | 9743 3224 38 | 0.000 % | 152.90/152.95 c | 4933 | 1228 996 14902 | 10717 4933 40 | 0.000 % | 153.10/153.11 c | 7497 | 1228 996 14902 | 11789 7497 42 | 0.000 % | 153.40/153.40 c | 11342 | 1228 996 14902 | 12968 11342 43 | 0.000 % | 153.80/153.82 c | 17109 | 1228 996 14902 | 14265 10594 43 | 0.000 % | 154.50/154.53 c | 25760 | 1228 996 14902 | 15692 12071 41 | 0.000 % | 155.69/155.72 c | 38735 | 1228 996 14902 | 17261 9260 44 | 0.000 % | 157.40/157.41 c | 58196 | 1228 996 14902 | 18987 11367 45 | 0.000 % | 160.10/160.11 c | 87389 | 1228 996 14902 | 20886 11913 49 | 0.000 % | 164.49/164.56 c | 131181 | 1228 996 14902 | 22974 13707 47 | 0.000 % | 170.10/170.17 c =============================================================================== 171.09/171.15 c core #16 171.09/171.15 c ============================[ Search Statistics ]============================== 171.09/171.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 171.09/171.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 171.09/171.15 c =============================================================================== 171.09/171.15 c | 0 | 1350 1053 15882 | 5000 0 nan | 0.000 % | 171.09/171.17 c | 100 | 1350 1053 15882 | 5500 100 45 | 0.000 % | 171.09/171.18 c | 251 | 1350 1053 15882 | 6050 251 52 | 0.000 % | 171.20/171.20 c | 477 | 1350 1053 15882 | 6655 477 43 | 0.000 % | 171.20/171.21 c | 815 | 1350 1053 15882 | 7320 815 38 | 0.000 % | 171.20/171.23 c | 1321 | 1350 1053 15882 | 8052 1321 38 | 0.000 % | 171.20/171.27 c | 2083 | 1350 1053 15882 | 8857 2083 38 | 0.000 % | 171.30/171.34 c | 3223 | 1350 1053 15882 | 9743 3223 38 | 0.000 % | 171.39/171.45 c | 4933 | 1350 1053 15882 | 10717 4933 38 | 0.000 % | 171.60/171.62 c | 7495 | 1350 1053 15882 | 11789 7495 37 | 0.000 % | 171.90/171.92 c | 11339 | 1350 1053 15882 | 12968 11339 38 | 0.000 % | 172.39/172.42 c | 17107 | 1350 1053 15882 | 14265 10571 41 | 0.000 % | 173.10/173.15 c | 25759 | 1350 1053 15882 | 15692 12030 44 | 0.000 % | 174.19/174.29 c | 38733 | 1350 1053 15882 | 17261 9199 43 | 0.000 % | 176.10/176.11 c | 58196 | 1350 1053 15882 | 18987 11299 43 | 0.000 % | 178.89/178.95 c | 87388 | 1350 1053 15882 | 20886 11843 45 | 0.000 % | 183.00/183.06 c | 131179 | 1350 1053 15882 | 22974 13659 47 | 0.002 % | 183.71/183.74 c =============================================================================== 184.40/184.46 c core #17 184.40/184.46 c ============================[ Search Statistics ]============================== 184.40/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.40/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.40/184.46 c =============================================================================== 184.40/184.46 c | 0 | 1443 1108 16788 | 5000 0 nan | 0.000 % | 184.40/184.48 c | 100 | 1443 1108 16788 | 5500 100 39 | 0.000 % | 184.40/184.49 c | 250 | 1443 1108 16788 | 6050 250 37 | 0.000 % | 184.50/184.51 c | 477 | 1443 1108 16788 | 6655 477 39 | 0.000 % | 184.50/184.52 c | 815 | 1443 1108 16788 | 7320 815 38 | 0.000 % | 184.50/184.55 c | 1325 | 1443 1108 16788 | 8052 1325 36 | 0.000 % | 184.50/184.58 c | 2086 | 1443 1108 16788 | 8857 2086 34 | 0.000 % | 184.60/184.64 c | 3226 | 1443 1108 16788 | 9743 3226 32 | 0.000 % | 184.70/184.76 c | 4934 | 1443 1108 16788 | 10717 4934 33 | 0.000 % | 184.90/184.94 c | 7496 | 1443 1108 16788 | 11789 7496 34 | 0.000 % | 185.20/185.21 c | 11340 | 1443 1108 16788 | 12968 11340 36 | 0.000 % | 185.60/185.66 c | 17107 | 1443 1108 16788 | 14265 10578 38 | 0.000 % | 186.40/186.42 c | 25757 | 1443 1108 16788 | 15692 12033 40 | 0.000 % | 187.59/187.68 c | 38732 | 1443 1108 16788 | 17261 9229 44 | 0.000 % | 189.50/189.58 c | 58193 | 1443 1108 16788 | 18987 11340 43 | 0.000 % | 192.50/192.52 c | 87389 | 1443 1108 16788 | 20886 11901 45 | 0.000 % | 196.80/196.84 c | 131180 | 1443 1108 16788 | 22974 13725 49 | 0.000 % | 200.29/200.30 c =============================================================================== 201.10/201.11 c core #18 201.10/201.11 c ============================[ Search Statistics ]============================== 201.10/201.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.10/201.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.10/201.11 c =============================================================================== 201.10/201.11 c | 0 | 1594 1165 17834 | 5000 0 nan | 0.000 % | 201.10/201.14 c | 100 | 1594 1165 17834 | 5500 100 42 | 0.000 % | 201.10/201.15 c | 250 | 1594 1165 17834 | 6050 250 44 | 0.000 % | 201.10/201.16 c | 475 | 1594 1165 17834 | 6655 475 42 | 0.000 % | 201.10/201.18 c | 813 | 1594 1165 17834 | 7320 813 38 | 0.000 % | 201.20/201.20 c | 1319 | 1594 1165 17834 | 8052 1319 36 | 0.000 % | 201.20/201.24 c | 2079 | 1594 1165 17834 | 8857 2079 36 | 0.000 % | 201.20/201.30 c | 3218 | 1594 1165 17834 | 9743 3218 37 | 0.000 % | 201.40/201.40 c | 4926 | 1594 1165 17834 | 10717 4926 38 | 0.000 % | 201.50/201.57 c | 7488 | 1594 1165 17834 | 11789 7488 38 | 0.000 % | 201.80/201.88 c | 11333 | 1594 1165 17834 | 12968 11333 38 | 0.000 % | 202.30/202.35 c | 17100 | 1594 1165 17834 | 14265 10574 40 | 0.000 % | 203.00/203.04 c | 25750 | 1594 1165 17834 | 15692 12033 41 | 0.000 % | 204.09/204.19 c | 38724 | 1594 1165 17834 | 17261 9225 39 | 0.000 % | 206.40/206.45 c | 58185 | 1594 1165 17834 | 18987 11088 59 | 0.000 % | 209.80/209.84 c | 87378 | 1594 1165 17834 | 20886 19967 52 | 0.000 % | 214.30/214.38 c | 131169 | 1594 1165 17834 | 22974 11269 48 | 0.000 % | 222.90/222.97 c | 196855 | 1594 1165 17834 | 25272 18122 46 | 0.001 % | 225.80/225.82 c =============================================================================== 226.80/226.83 c core #19 226.80/226.83 c ============================[ Search Statistics ]============================== 226.80/226.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 226.80/226.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 226.80/226.83 c =============================================================================== 226.80/226.83 c | 0 | 1720 1219 18790 | 5000 0 nan | 0.000 % | 226.80/226.86 c | 100 | 1720 1219 18790 | 5500 100 40 | 0.000 % | 226.80/226.87 c | 255 | 1720 1219 18790 | 6050 255 36 | 0.000 % | 226.80/226.88 c | 481 | 1720 1219 18790 | 6655 481 33 | 0.000 % | 226.90/226.90 c | 820 | 1720 1219 18790 | 7320 820 32 | 0.000 % | 226.90/226.92 c | 1327 | 1720 1219 18790 | 8052 1327 31 | 0.000 % | 226.90/226.96 c | 2087 | 1720 1219 18790 | 8857 2087 31 | 0.000 % | 227.00/227.02 c | 3227 | 1720 1219 18790 | 9743 3227 32 | 0.000 % | 227.10/227.12 c | 4935 | 1720 1219 18790 | 10717 4935 33 | 0.000 % | 227.20/227.29 c | 7500 | 1720 1219 18790 | 11789 7500 34 | 0.000 % | 227.50/227.59 c | 11344 | 1720 1219 18790 | 12968 11344 36 | 0.000 % | 228.00/228.02 c | 17111 | 1720 1219 18790 | 14265 10573 39 | 0.000 % | 228.81/228.82 c | 25760 | 1720 1219 18790 | 15692 12041 42 | 0.000 % | 229.91/229.92 c | 38734 | 1720 1219 18790 | 17261 9207 40 | 0.000 % | 231.50/231.56 c | 58199 | 1720 1219 18790 | 18987 11293 38 | 0.000 % | 234.10/234.17 c | 87394 | 1720 1219 18790 | 20886 11860 42 | 0.000 % | 239.70/239.71 c | 131184 | 1720 1219 18790 | 22974 13253 39 | 0.000 % | 245.70/245.70 c | 196870 | 1720 1219 18790 | 25272 19218 43 | 0.000 % | 272.81/272.88 c | 295400 | 1720 1219 18790 | 27799 21988 83 | 0.001 % | 331.71/331.78 c | 443189 | 1719 1219 18790 | 30579 13058 82 | 0.059 % | 420.60/420.60 c | 664875 | 1718 1219 18790 | 33637 16618 85 | 0.118 % | 564.12/564.15 c | 997400 | 1717 1219 18790 | 37001 18290 81 | 0.174 % | 709.53/709.56 c =============================================================================== 713.51/713.58 c core #20 713.51/713.58 c ============================[ Search Statistics ]============================== 713.51/713.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 713.51/713.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 713.51/713.58 c =============================================================================== 713.51/713.58 c | 0 | 1887 1272 19814 | 5000 0 nan | 0.000 % | 713.61/713.67 c | 104 | 1887 1272 19814 | 5500 104 45 | 0.000 % | 713.61/713.68 c | 255 | 1887 1272 19814 | 6050 255 43 | 0.000 % | 713.61/713.69 c | 480 | 1887 1272 19814 | 6655 480 37 | 0.000 % | 713.72/713.71 c | 817 | 1887 1272 19814 | 7320 817 34 | 0.000 % | 713.72/713.74 c | 1323 | 1887 1272 19814 | 8052 1323 32 | 0.000 % | 713.72/713.80 c | 2083 | 1887 1272 19814 | 8857 2083 35 | 0.000 % | 713.83/713.90 c | 3222 | 1887 1272 19814 | 9743 3222 35 | 0.000 % | 714.02/714.00 c | 4930 | 1887 1272 19814 | 10717 4930 35 | 0.000 % | 714.12/714.17 c | 7493 | 1887 1272 19814 | 11789 7493 36 | 0.000 % | 714.42/714.47 c | 11337 | 1887 1272 19814 | 12968 11337 38 | 0.000 % | 714.93/714.96 c | 17103 | 1887 1272 19814 | 14265 10577 41 | 0.000 % | 715.72/715.76 c | 25752 | 1887 1272 19814 | 15692 12056 42 | 0.000 % | 717.02/717.02 c | 38727 | 1887 1272 19814 | 17261 9243 42 | 0.000 % | 718.92/718.95 c | 58189 | 1887 1272 19814 | 18987 11343 42 | 0.000 % | 725.52/725.56 c | 87383 | 1887 1272 19814 | 20886 11476 47 | 0.000 % | 729.82/729.85 c | 131174 | 1887 1272 19814 | 22974 13290 44 | 0.000 % | 740.72/740.71 c | 196860 | 1887 1272 19814 | 25272 18065 76 | 0.000 % | 768.42/768.42 c | 295386 | 1887 1272 19814 | 27799 20967 98 | 0.000 % | 791.92/791.96 c | 443178 | 1887 1272 19814 | 30579 28591 59 | 0.000 % | 851.83/851.85 c | 664866 | 1887 1272 19814 | 33637 30650 98 | 0.000 % | 940.73/940.78 c | 997391 | 1887 1272 19814 | 37001 31788 65 | 0.000 % | 1024.03/1024.09 c | 1496179 | 1887 1272 19814 | 40701 28783 62 | 0.000 % | 1378.94/1378.94 c | 2244362 | 1887 1272 19814 | 44771 39086 100 | 0.001 % |
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-2689946-1277899124/watcher-2689946-1277899124 -o /tmp/evaluation-result-2689946-1277899124/solver-2689946-1277899124 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689946-1277899124.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.12 2.09 2.03 3/196 13914 /proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2576 CPUtime=0 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 286 0 0 0 0 0 0 0 21 0 1 0 131206692 2637824 202 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 644 202 143 303 0 339 0 [startup+0.075301 s] /proc/loadavg: 2.12 2.09 2.03 3/196 13914 /proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=3236 CPUtime=0.06 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 464 0 0 0 6 0 0 0 21 0 1 0 131206692 3313664 380 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 809 380 143 303 0 504 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3236 [startup+0.100305 s] /proc/loadavg: 2.12 2.09 2.03 3/196 13914 /proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=3500 CPUtime=0.09 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 521 0 0 0 8 1 0 0 21 0 1 0 131206692 3584000 437 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 875 437 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.300261 s] /proc/loadavg: 2.12 2.09 2.03 3/196 13914 /proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=4956 CPUtime=0.29 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 895 0 0 0 28 1 0 0 21 0 1 0 131206692 5074944 811 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 1239 811 143 303 0 934 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4956 [startup+0.700185 s] /proc/loadavg: 2.12 2.09 2.03 3/196 13914 /proc/meminfo: memFree=30745096/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=7068 CPUtime=0.69 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 1423 0 0 0 66 3 0 0 22 0 1 0 131206692 7237632 1339 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 1767 1339 143 303 0 1462 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7068 [startup+1.50103 s] /proc/loadavg: 2.11 2.09 2.03 3/197 13915 /proc/meminfo: memFree=30738640/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=11424 CPUtime=1.49 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 2507 0 0 0 142 7 0 0 25 0 1 0 131206692 11698176 2423 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 2856 2423 143 303 0 2551 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11424 [startup+3.10072 s] /proc/loadavg: 2.11 2.09 2.03 3/197 13915 /proc/meminfo: memFree=30733184/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=18156 CPUtime=3.09 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 4177 0 0 0 297 12 0 0 25 0 1 0 131206692 18591744 4093 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 4539 4093 143 303 0 4234 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18156 [startup+6.30111 s] /proc/loadavg: 2.10 2.09 2.03 3/197 13915 /proc/meminfo: memFree=30720344/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=30652 CPUtime=6.29 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 7318 0 0 0 611 18 0 0 25 0 1 0 131206692 31387648 7234 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 7663 7234 143 303 0 7358 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30652 [startup+12.7009 s] /proc/loadavg: 2.09 2.08 2.03 3/197 13915 /proc/meminfo: memFree=30700456/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=47220 CPUtime=12.69 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 11431 0 0 0 1233 36 0 0 25 0 1 0 131206692 48353280 11347 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 11805 11347 146 303 0 11500 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 47220 [startup+25.5004 s] /proc/loadavg: 2.08 2.08 2.03 3/197 13916 /proc/meminfo: memFree=30668064/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=77820 CPUtime=25.49 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 19109 0 0 0 2477 72 0 0 25 0 1 0 131206692 79687680 19025 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 19455 19025 146 303 0 19150 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 77820 [startup+51.1005 s] /proc/loadavg: 2.05 2.07 2.02 3/197 13916 /proc/meminfo: memFree=30606208/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=139180 CPUtime=51.09 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 34434 0 0 0 4970 139 0 0 25 0 1 0 131206692 142520320 34350 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 34795 34350 146 303 0 34490 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139180 [startup+102.307 s] /proc/loadavg: 2.02 2.06 2.02 3/197 13918 /proc/meminfo: memFree=30484876/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=255752 CPUtime=102.3 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 63574 0 0 0 9957 273 0 0 25 0 1 0 131206692 261890048 63490 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 63938 63490 146 303 0 63633 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 255752 [startup+162.301 s] /proc/loadavg: 2.00 2.05 2.01 3/197 13928 /proc/meminfo: memFree=30347592/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=389048 CPUtime=162.3 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 96889 0 0 0 15809 421 0 0 25 0 1 0 131206692 398385152 96805 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 97262 96805 146 303 0 96957 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 389048 [startup+222.301 s] /proc/loadavg: 2.07 2.05 2.01 3/197 13930 /proc/meminfo: memFree=30211756/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=521104 CPUtime=222.3 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 129911 0 0 0 21679 551 0 0 25 0 1 0 131206692 533610496 129827 4089446400 134512640 135751879 4289935696 18446744073709551615 134603001 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 130276 129827 146 303 0 129971 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 521104 [startup+282.301 s] /proc/loadavg: 2.07 2.05 2.01 3/197 13932 /proc/meminfo: memFree=30113980/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=619352 CPUtime=282.31 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 154429 0 0 0 27596 635 0 0 25 0 1 0 131206692 634216448 154345 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13914/statm: 154838 154345 146 303 0 154533 0 Current children cumulated CPU time (s) 282.31 Current children cumulated vsize (KiB) 619352 [startup+342.301 s] /proc/loadavg: 1.90 2.01 2.00 3/179 13984 /proc/meminfo: memFree=30549436/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=693680 CPUtime=342.3 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 172967 0 0 0 33565 665 0 0 25 0 1 0 131206692 710328320 172883 4089446400 134512640 135751879 4289935696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 173420 172883 146 303 0 173115 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 693680 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 13986 /proc/meminfo: memFree=30337964/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=749348 CPUtime=402.3 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 186849 0 0 0 39549 681 0 0 25 0 1 0 131206692 767332352 186765 4089446400 134512640 135751879 4289935696 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 187337 186765 146 303 0 187032 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 749348 [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.00 3/179 13987 /proc/meminfo: memFree=30121272/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=815816 CPUtime=462.31 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 203429 0 0 0 45529 702 0 0 25 0 1 0 131206692 835395584 203345 4089446400 134512640 135751879 4289935696 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 203954 203345 146 303 0 203649 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 815816 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 13989 /proc/meminfo: memFree=29941520/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=870732 CPUtime=522.31 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 217101 0 0 0 51513 718 0 0 25 0 1 0 131206692 891629568 217017 4089446400 134512640 135751879 4289935696 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 217683 217017 146 303 0 217378 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 870732 [startup+582.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13991 /proc/meminfo: memFree=29731528/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=945000 CPUtime=582.31 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 235663 0 0 0 57491 740 0 0 25 0 1 0 131206692 967680000 235579 4089446400 134512640 135751879 4289935696 18446744073709551615 134611026 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 236250 235579 146 303 0 235945 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 945000 [startup+642.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 13992 /proc/meminfo: memFree=29534912/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=999680 CPUtime=642.32 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 249279 0 0 0 63476 756 0 0 25 0 1 0 131206692 1023672320 249195 4089446400 134512640 135751879 4289935696 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 249920 249195 146 303 0 249615 0 Current children cumulated CPU time (s) 642.32 Current children cumulated vsize (KiB) 999680 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.02 2.01 2.00 3/179 13997 /proc/meminfo: memFree=29063956/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1191056 CPUtime=822.33 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 297355 0 0 0 81389 844 0 0 25 0 1 0 131206692 1219641344 297234 4089446400 134512640 135751879 4289935696 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 297764 297234 146 303 0 297459 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 1191056 [startup+882.301 s] /proc/loadavg: 2.01 2.00 2.00 3/179 13999 /proc/meminfo: memFree=28911896/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1274912 CPUtime=882.32 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 318269 0 0 0 87360 872 0 0 25 0 1 0 131206692 1305509888 318148 4089446400 134512640 135751879 4289935696 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 318728 318148 146 303 0 318423 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 1274912 [startup+942.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14000 /proc/meminfo: memFree=28790852/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1329624 CPUtime=942.33 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 331858 0 0 0 93346 887 0 0 25 0 1 0 131206692 1361534976 331737 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 332406 331737 146 303 0 332101 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 1329624 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14002 /proc/meminfo: memFree=28575568/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1478692 CPUtime=1002.33 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 369100 0 0 0 99301 932 0 0 25 0 1 0 131206692 1514180608 368979 4089446400 134512640 135751879 4289935696 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 369673 368979 146 303 0 369368 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1478692 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14003 /proc/meminfo: memFree=28395496/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1597796 CPUtime=1062.33 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 398830 0 0 0 105261 972 0 0 25 0 1 0 131206692 1636143104 398709 4089446400 134512640 135751879 4289935696 18446744073709551615 134616309 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 399449 398709 146 303 0 399144 0 Current children cumulated CPU time (s) 1062.33 Current children cumulated vsize (KiB) 1597796 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14005 /proc/meminfo: memFree=28259324/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1644004 CPUtime=1122.34 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 410349 0 0 0 111246 988 0 0 25 0 1 0 131206692 1683460096 410228 4089446400 134512640 135751879 4289935696 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 411001 410228 146 303 0 410696 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 1644004 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14007 /proc/meminfo: memFree=28127988/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1709028 CPUtime=1182.34 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 426527 0 0 0 117228 1006 0 0 25 0 1 0 131206692 1750044672 426406 4089446400 134512640 135751879 4289935696 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 427257 426406 146 303 0 426952 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1709028 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14008 /proc/meminfo: memFree=28008688/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1757076 CPUtime=1242.34 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 438509 0 0 0 123215 1019 0 0 25 0 1 0 131206692 1799245824 438388 4089446400 134512640 135751879 4289935696 18446744073709551615 134610859 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 439269 438388 146 303 0 438964 0 Current children cumulated CPU time (s) 1242.34 Current children cumulated vsize (KiB) 1757076 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14010 /proc/meminfo: memFree=27876360/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1807840 CPUtime=1302.35 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 451167 0 0 0 129200 1035 0 0 25 0 1 0 131206692 1851228160 451046 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 451960 451046 146 303 0 451655 0 Current children cumulated CPU time (s) 1302.35 Current children cumulated vsize (KiB) 1807840 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14011 /proc/meminfo: memFree=27764372/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1859052 CPUtime=1362.34 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 463971 0 0 0 135183 1051 0 0 25 0 1 0 131206692 1903669248 463850 4089446400 134512640 135751879 4289935696 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 464763 463850 146 303 0 464458 0 Current children cumulated CPU time (s) 1362.34 Current children cumulated vsize (KiB) 1859052 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14013 /proc/meminfo: memFree=27645556/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1907120 CPUtime=1422.36 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 475935 0 0 0 141171 1065 0 0 25 0 1 0 131206692 1952890880 475814 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 476780 475814 146 303 0 476475 0 Current children cumulated CPU time (s) 1422.36 Current children cumulated vsize (KiB) 1907120 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14015 /proc/meminfo: memFree=27519912/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=1962524 CPUtime=1482.35 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 489778 0 0 0 147156 1079 0 0 25 0 1 0 131206692 2009624576 489657 4089446400 134512640 135751879 4289935696 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 490631 489657 146 303 0 490326 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1962524 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14016 /proc/meminfo: memFree=27395280/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2019064 CPUtime=1542.35 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 503883 0 0 0 153141 1094 0 0 25 0 1 0 131206692 2067521536 503762 4089446400 134512640 135751879 4289935696 18446744073709551615 134516982 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 504766 503762 146 303 0 504461 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 2019064 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14018 /proc/meminfo: memFree=27279688/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2072060 CPUtime=1602.36 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 517122 0 0 0 159126 1110 0 0 25 0 1 0 131206692 2121789440 517001 4089446400 134512640 135751879 4289935696 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 518015 517001 146 303 0 517710 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 2072060 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14019 /proc/meminfo: memFree=27154056/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2128340 CPUtime=1662.36 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 531156 0 0 0 165111 1125 0 0 25 0 1 0 131206692 2179420160 531035 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 532085 531035 146 303 0 531780 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 2128340 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14021 /proc/meminfo: memFree=27045048/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2176612 CPUtime=1722.36 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 543197 0 0 0 171096 1140 0 0 25 0 1 0 131206692 2228850688 543076 4089446400 134512640 135751879 4289935696 18446744073709551615 134616540 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 544153 543076 146 303 0 543848 0 Current children cumulated CPU time (s) 1722.36 Current children cumulated vsize (KiB) 2176612 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14023 /proc/meminfo: memFree=26941732/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2223856 CPUtime=1782.36 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 554979 0 0 0 177083 1153 0 0 25 0 1 0 131206692 2277228544 554858 4089446400 134512640 135751879 4289935696 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 555964 554858 146 303 0 555659 0 Current children cumulated CPU time (s) 1782.36 Current children cumulated vsize (KiB) 2223856 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 2.00 3/179 14023 /proc/meminfo: memFree=26911716/32950928 swapFree=67111528/67111528 [pid=13914] ppid=13912 vsize=2236528 CPUtime=1800.07 /proc/13914/stat : 13914 (wbo1.4a) R 13912 13914 13159 0 -1 4202496 558168 0 0 0 178849 1158 0 0 25 0 1 0 131206692 2290204672 558047 4089446400 134512640 135751879 4289935696 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/13914/statm: 559132 558047 146 303 0 558827 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 2236528 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.08 CPU time (s): 1800.15 CPU user time (s): 1788.49 CPU system time (s): 11.6572 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 2236528 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1788.49 system time used= 11.6572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 558168 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= 7 involuntary context switches= 10688 runsolver used 2.6436 second user time and 5.84811 second system time The end
Begin job on node148 at 2010-06-30 13:58:44 IDJOB=2689946 IDBENCH=78855 IDSOLVER=1200 FILE ID=node148/2689946-1277899124 PBS_JOBID= 11197160 Free space on /tmp= 74176 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689946-1277899124/watcher-2689946-1277899124 -o /tmp/evaluation-result-2689946-1277899124/solver-2689946-1277899124 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689946-1277899124.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 76159a1844a191e7556569a339118f97 RANDOM SEED=993829840 node148.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5415.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.78 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.84 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30745740 kB Buffers: 182064 kB Cached: 1268064 kB SwapCached: 0 kB Active: 1081152 kB Inactive: 979636 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30745740 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2756 kB Writeback: 0 kB AnonPages: 611152 kB Mapped: 20444 kB Slab: 80164 kB PageTables: 5988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 1660808 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74168 MiB End job on node148 at 2010-06-30 14:28:46