Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.2 | 1800.64 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_2.opb |
MD5SUM | 16914dfad82872f4c1ab9b61e8ec867a |
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 | -32 |
Best CPU time to get the best result obtained on this benchmark | 1798.13 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -44 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 74976 |
Sum of products size (including duplicates) | 149952 |
Number of different products | 37488 |
Sum of products size | 74976 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702651-1278573088.opb. 0.00/0.00 c Instance file HOME/instance-2702651-1278573088.opb 0.00/0.00 c File size is 3314436 bytes. 0.59/0.67 c Highest Coefficient sum: 1000 0.59/0.67 c ============================[ Problem Statistics ]============================= 0.59/0.67 c | | 0.59/0.67 c | Parsing time: 0.65 s | 0.59/0.67 c | Number Variables: 38488 | 0.59/0.67 c | Number Clauses: 37988 | 0.59/0.67 c | Number Cardinality: 1002 | 0.59/0.67 c | Number PB Constraints: 37488 | 1.79/1.81 c ============================[ Search Statistics ]============================== 1.79/1.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.79/1.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.79/1.81 c =============================================================================== 1.79/1.81 c | 0 | 38488 76478 302904 | 25492 0 nan | 0.000 % | 1.79/1.88 c =============================================================================== 1.79/1.88 c New solution: 0 1.79/1.88 o 0 1.79/1.88 c Elapsed CPU time: 1.84072 s Remaining CPU time: 178.159 s 1.79/1.88 c =============================================================================== 1.79/1.88 c | 0 | 38488 76479 303404 | 25493 0 nan | 0.000 % | 1.89/1.97 c =============================================================================== 1.89/1.97 c New solution: -1 1.89/1.97 o -1 1.89/1.97 c Elapsed CPU time: 1.92871 s Remaining CPU time: 178.071 s 1.89/1.97 c =============================================================================== 1.89/1.97 c | 1 | 38488 76480 303904 | 25493 1 502 | 0.000 % | 1.98/2.03 c =============================================================================== 1.98/2.03 c New solution: -2 1.98/2.03 o -2 1.98/2.03 c Elapsed CPU time: 1.9897 s Remaining CPU time: 178.01 s 1.98/2.03 c =============================================================================== 1.98/2.03 c | 1 | 38488 76481 304404 | 25493 1 502 | 0.000 % | 1.98/2.09 c =============================================================================== 1.98/2.09 c New solution: -3 1.98/2.09 o -3 1.98/2.09 c Elapsed CPU time: 2.05469 s Remaining CPU time: 177.945 s 1.98/2.09 c =============================================================================== 1.98/2.09 c | 15 | 38488 76482 304904 | 25494 15 962 | 0.000 % | 2.09/2.16 c =============================================================================== 2.09/2.16 c New solution: -4 2.09/2.16 o -4 2.09/2.16 c Elapsed CPU time: 2.11468 s Remaining CPU time: 177.885 s 2.09/2.16 c =============================================================================== 2.09/2.16 c | 15 | 38488 76483 305404 | 25494 15 962 | 0.000 % | 2.20/2.22 c =============================================================================== 2.20/2.22 c New solution: -5 2.20/2.22 o -5 2.20/2.22 c Elapsed CPU time: 2.17667 s Remaining CPU time: 177.823 s 2.20/2.22 c =============================================================================== 2.20/2.22 c | 16 | 38488 76484 305904 | 25494 16 933 | 0.000 % | 2.30/2.32 c | 121 | 38488 76484 305904 | 28044 121 983 | 0.000 % | 2.39/2.42 c | 272 | 38488 76484 305904 | 30848 272 988 | 0.000 % | 2.49/2.57 c | 497 | 38488 76484 305904 | 33933 497 989 | 0.000 % | 2.69/2.78 c | 834 | 38488 76484 305904 | 37326 834 990 | 0.000 % | 2.78/2.84 c =============================================================================== 2.78/2.84 c New solution: -6 2.78/2.84 o -6 2.78/2.84 c Elapsed CPU time: 2.79358 s Remaining CPU time: 177.206 s 2.78/2.84 c =============================================================================== 2.78/2.84 c | 836 | 38488 76485 306404 | 25495 836 989 | 0.000 % | 2.89/2.96 c | 937 | 38488 76485 306404 | 28044 937 989 | 0.000 % | 2.99/3.08 c | 1087 | 38488 76485 306404 | 30848 1087 989 | 0.000 % | 3.19/3.25 c | 1316 | 38488 76485 306404 | 33933 1316 989 | 0.000 % | 3.40/3.47 c | 1653 | 38488 76485 306404 | 37327 1653 965 | 0.000 % | 3.68/3.78 c | 2159 | 38488 76485 306404 | 41059 2159 935 | 0.000 % | 4.29/4.35 c | 2918 | 38488 76485 306404 | 45165 2918 919 | 0.000 % | 4.40/4.47 c =============================================================================== 4.40/4.47 c New solution: -7 4.40/4.47 o -7 4.40/4.47 c Elapsed CPU time: 4.40733 s Remaining CPU time: 175.593 s 4.40/4.47 c =============================================================================== 4.40/4.47 c | 2990 | 38488 76486 306904 | 25495 2990 919 | 0.000 % | 4.49/4.58 c | 3090 | 38488 76486 306904 | 28044 3090 921 | 0.000 % | 4.69/4.73 c | 3240 | 38488 76486 306904 | 30849 3240 924 | 0.000 % | 4.89/4.92 c | 3465 | 38488 76486 306904 | 33934 3465 928 | 0.000 % | 5.08/5.18 c | 3802 | 38488 76486 306904 | 37327 3802 934 | 0.000 % | 5.29/5.36 c =============================================================================== 5.29/5.36 c New solution: -8 5.29/5.36 o -8 5.29/5.36 c Elapsed CPU time: 5.2782 s Remaining CPU time: 174.722 s 5.29/5.36 c =============================================================================== 5.29/5.36 c | 3822 | 38488 76487 307404 | 25495 3822 931 | 0.000 % | 5.59/5.62 c | 3927 | 38488 76487 307404 | 28045 3927 932 | 0.000 % | 5.68/5.79 c | 4077 | 38488 76487 307404 | 30849 4077 934 | 0.000 % | 5.88/5.98 c | 4303 | 38488 76487 307404 | 33934 4303 937 | 0.000 % | 6.19/6.25 c | 4640 | 38488 76487 307404 | 37328 4640 941 | 0.000 % | 6.29/6.38 c =============================================================================== 6.29/6.38 c New solution: -9 6.29/6.38 o -9 6.29/6.38 c Elapsed CPU time: 6.29204 s Remaining CPU time: 173.708 s 6.29/6.38 c =============================================================================== 6.29/6.38 c | 4646 | 38488 76488 307904 | 25496 4646 940 | 0.000 % | 6.49/6.59 c | 4746 | 38488 76488 307904 | 28045 4746 941 | 0.000 % | 6.69/6.75 c | 4896 | 38488 76488 307904 | 30850 4896 939 | 0.000 % | 6.79/6.89 c | 5121 | 38488 76488 307904 | 33935 5121 937 | 0.000 % | 7.39/7.44 c | 5458 | 38488 76488 307904 | 37328 5458 935 | 0.000 % | 7.70/7.79 c | 5965 | 38488 76488 307904 | 41061 5965 939 | 0.000 % | 8.38/8.41 c | 6724 | 38488 76488 307904 | 45167 6724 944 | 0.000 % | 9.48/9.53 c | 7863 | 38488 76488 307904 | 49684 7863 950 | 0.000 % | 9.89/9.90 c =============================================================================== 9.89/9.90 c New solution: -10 9.89/9.90 o -10 9.89/9.90 c Elapsed CPU time: 9.77251 s Remaining CPU time: 170.227 s 9.89/9.90 c =============================================================================== 9.89/9.90 c | 7938 | 38488 76489 308404 | 25496 7938 949 | 0.000 % | 10.08/10.17 c =============================================================================== 10.08/10.17 c New solution: -11 10.08/10.17 o -11 10.08/10.17 c Elapsed CPU time: 10.0405 s Remaining CPU time: 169.96 s 10.08/10.17 c =============================================================================== 10.08/10.17 c | 7958 | 38488 76490 308904 | 25496 7958 947 | 0.000 % | 10.28/10.37 c | 8058 | 38488 76490 308904 | 28046 8058 947 | 0.000 % | 10.49/10.59 c | 8209 | 38488 76490 308904 | 30850 8209 948 | 0.000 % | 10.79/10.81 c | 8434 | 38488 76490 308904 | 33936 8434 948 | 0.000 % | 10.99/11.05 c | 8772 | 38488 76490 308904 | 37329 8772 950 | 0.000 % | 11.38/11.49 c | 9278 | 38488 76490 308904 | 41062 9278 951 | 0.000 % | 11.78/11.87 c =============================================================================== 11.78/11.87 c New solution: -12 11.78/11.87 o -12 11.78/11.87 c Elapsed CPU time: 11.7182 s Remaining CPU time: 168.282 s 11.78/11.87 c =============================================================================== 11.78/11.87 c | 9334 | 38488 76491 309404 | 25497 9334 948 | 0.000 % | 12.28/12.33 c | 9438 | 38488 76491 309404 | 28046 9438 948 | 0.000 % | 12.68/12.73 c | 9596 | 38488 76491 309404 | 30851 9596 949 | 0.000 % | 12.89/12.93 c | 9821 | 38488 76491 309404 | 33936 9821 949 | 0.000 % | 13.08/13.14 c | 10158 | 38488 76491 309404 | 37330 10158 951 | 0.000 % | 13.39/13.45 c | 10664 | 38488 76491 309404 | 41063 10664 952 | 0.000 % | 13.88/13.99 c | 11424 | 38488 76491 309404 | 45169 11424 954 | 0.000 % | 14.79/14.85 c | 12563 | 38488 76491 309404 | 49686 12563 937 | 0.000 % | 15.89/15.95 c | 14272 | 38488 76491 309404 | 54655 14272 943 | 0.000 % | 16.29/16.30 c =============================================================================== 16.29/16.30 c New solution: -13 16.29/16.30 o -13 16.29/16.30 c Elapsed CPU time: 16.0936 s Remaining CPU time: 163.906 s 16.29/16.30 c =============================================================================== 16.29/16.30 c | 14322 | 38488 76492 309904 | 25497 14322 941 | 0.000 % | 16.49/16.53 c | 14422 | 38488 76492 309904 | 28047 14422 941 | 0.000 % | 16.59/16.68 c | 14573 | 38488 76492 309904 | 30851 14573 941 | 0.000 % | 16.88/16.98 c | 14798 | 38488 76492 309904 | 33936 14798 942 | 0.000 % | 17.39/17.43 c | 15135 | 38488 76492 309904 | 37330 15135 942 | 0.000 % | 17.69/17.78 c | 15641 | 38488 76492 309904 | 41063 15641 943 | 0.000 % | 18.58/18.69 c | 16400 | 38488 76492 309904 | 45170 16400 945 | 0.000 % | 19.49/19.57 c | 17540 | 38488 76492 309904 | 49687 17540 947 | 0.000 % | 20.89/20.98 c | 19249 | 38488 76492 309904 | 54655 19249 950 | 0.000 % | 22.98/23.10 c | 21813 | 38488 76492 309904 | 60121 21813 953 | 0.000 % | 26.98/27.07 c | 25657 | 38488 76492 309904 | 66133 25657 957 | 0.000 % | 32.28/32.36 c | 31424 | 38488 76492 309904 | 72746 31424 957 | 0.000 % | 45.57/45.62 c | 40073 | 38488 76492 309904 | 80021 40073 962 | 0.000 % | 68.28/68.37 c | 53048 | 38488 76492 309904 | 88023 53048 966 | 0.000 % | 69.28/69.33 c =============================================================================== 69.28/69.33 c New solution: -14 69.28/69.33 o -14 69.28/69.33 c Elapsed CPU time: 68.7525 s Remaining CPU time: 111.247 s 69.28/69.33 c =============================================================================== 69.28/69.33 c | 53137 | 38488 76493 310404 | 25497 53137 965 | 0.000 % | 76.97/77.04 c | 53413 | 38488 76493 310404 | 28047 11858 972 | 0.000 % | 80.87/80.92 c | 53645 | 38488 76493 310404 | 30852 12090 970 | 0.000 % | 82.07/82.17 c | 53876 | 38488 76493 310404 | 33937 12321 968 | 0.000 % | 82.27/82.37 c | 54213 | 38488 76493 310404 | 37331 12658 969 | 0.000 % | 82.58/82.68 c | 54719 | 38488 76493 310404 | 41064 13164 969 | 0.000 % | 83.07/83.14 c | 55478 | 38488 76493 310404 | 45170 13923 968 | 0.000 % | 83.97/84.04 c | 56618 | 38488 76493 310404 | 49687 15063 967 | 0.000 % | 85.27/85.33 c | 58327 | 38488 76493 310404 | 54656 16772 962 | 0.000 % | 86.77/86.89 c | 60889 | 38488 76493 310404 | 60122 19334 963 | 0.000 % | 89.97/90.07 c | 64733 | 38488 76493 310404 | 66134 23178 961 | 0.000 % | 94.47/94.59 c | 70499 | 38488 76493 310404 | 72747 28944 962 | 0.000 % | 106.86/106.92 c | 79148 | 38488 76493 310404 | 80022 37593 965 | 0.000 % | 130.75/130.88 c | 92123 | 38488 76493 310404 | 88024 50568 968 | 0.000 % | 178.95/179.04 c | 111584 | 38488 76493 310404 | 96827 70029 971 | 0.000 % | 180.54/180.61 c =============================================================================== 180.54/180.61 c New solution: -15 180.54/180.61 o -15 180.54/180.61 c Elapsed CPU time: 179.325 s Remaining CPU time: 0.675262 s 180.54/180.61 c =============================================================================== 180.54/180.61 c | 112615 | 38488 76494 310904 | 25498 71060 963 | 0.000 % | 181.24/181.31 c There are 0 assigned variables. 0 in cost function. 181.75/181.84 c core #1 181.75/181.84 c 181.75/181.84 c 181.75/181.84 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.75/181.84 c 181.75/181.84 c 181.75/181.84 c ============================[ Search Statistics ]============================== 181.75/181.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.75/181.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.75/181.84 c =============================================================================== 181.75/181.84 c | 0 | 38988 77078 312653 | 25692 0 nan | 0.000 % | 182.15/182.25 c | 125 | 38988 77078 312653 | 28261 125 296 | 0.490 % | 182.75/182.84 c | 275 | 38986 77078 312653 | 31088 275 265 | 1.044 % | 184.04/184.19 c | 500 | 34685 77078 312653 | 34196 390 255 | 12.442 % | 185.44/185.55 c | 837 | 31693 77078 312653 | 37616 665 241 | 22.463 % | 185.44/185.58 c =============================================================================== 185.85/185.94 c core #2 185.85/185.94 c 185.85/185.94 c 185.85/185.94 c Core size: 429 Core Weight: 1 Total Weight: -498 185.85/185.94 c 185.85/185.94 c 185.85/185.94 c ============================[ Search Statistics ]============================== 185.85/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.85/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.85/185.94 c =============================================================================== 185.85/185.94 c | 0 | 39397 77108 313558 | 25702 0 nan | 0.000 % | 186.34/186.40 c | 100 | 39397 77108 313558 | 28272 100 425 | 0.000 % | 186.74/186.88 c | 250 | 39397 77108 313558 | 31100 250 436 | 0.000 % | 187.64/187.71 c | 475 | 39397 77108 313558 | 34210 475 374 | 0.000 % | 188.84/188.98 c | 812 | 39397 77108 313558 | 37631 812 377 | 0.000 % | 190.65/190.71 c | 1318 | 39397 77108 313558 | 41394 1318 389 | 0.000 % | 193.84/193.91 c | 2077 | 39397 77108 313558 | 45533 2077 388 | 0.000 % | 198.04/198.13 c | 3216 | 39397 77108 313558 | 50087 3216 412 | 0.000 % | 204.84/204.93 c | 4924 | 39394 77108 313558 | 55095 4923 412 | 0.163 % | 215.54/215.69 c | 7487 | 39268 77108 313558 | 60605 7053 413 | 0.731 % | 230.43/230.55 c | 11331 | 38090 77108 313558 | 66666 9906 425 | 4.160 % | 253.13/253.28 c | 17097 | 36265 77108 313558 | 73332 14857 442 | 9.912 % | 288.13/288.30 c | 25746 | 34292 77108 313558 | 80665 20969 447 | 15.118 % | 334.61/334.71 c | 38722 | 31869 77108 313558 | 88732 31307 448 | 23.365 % | 380.20/380.32 c =============================================================================== 381.89/382.01 c core #3 381.89/382.01 c 381.89/382.01 c 381.89/382.01 c Core size: 588 Core Weight: 1 Total Weight: -497 381.89/382.01 c 381.89/382.01 c 381.89/382.01 c ============================[ Search Statistics ]============================== 381.89/382.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 381.89/382.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 381.89/382.01 c =============================================================================== 381.89/382.01 c | 0 | 39897 77229 314897 | 25743 0 nan | 0.000 % | 382.29/382.45 c | 100 | 39897 77229 314897 | 28317 100 640 | 0.000 % | 383.00/383.16 c | 292 | 39897 77229 314897 | 31149 292 431 | 0.000 % | 383.60/383.74 c | 517 | 39897 77229 314897 | 34263 517 376 | 0.000 % | 385.00/385.15 c | 854 | 39897 77229 314897 | 37690 854 411 | 0.000 % | 388.00/388.17 c | 1360 | 39897 77229 314897 | 41459 1360 444 | 0.000 % | 390.80/390.98 c | 2119 | 39897 77229 314897 | 45605 2119 442 | 0.000 % | 395.49/395.64 c | 3258 | 39897 77229 314897 | 50165 3258 481 | 0.000 % | 403.60/403.79 c | 4966 | 39897 77229 314897 | 55182 4966 489 | 0.000 % | 414.09/414.28 c | 7629 | 39897 77229 314897 | 60700 7629 511 | 0.000 % | 429.39/429.54 c | 11488 | 39897 77229 314897 | 66770 11488 528 | 0.000 % | 455.58/455.71 c | 17356 | 39897 77229 314897 | 73447 17356 535 | 0.000 % | 495.46/495.61 c | 26007 | 39897 77229 314897 | 80792 26007 550 | 0.000 % | 557.26/557.42 c | 38981 | 39897 77229 314897 | 88871 38981 566 | 0.000 % | 650.13/650.37 c | 58477 | 39897 77229 314897 | 97758 58477 577 | 0.000 % | 786.80/787.08 c | 87669 | 39897 77229 314897 | 107534 87669 594 | 0.000 % | 978.45/978.75 c | 131460 | 39897 77229 314897 | 118288 35528 589 | 0.000 % | 1267.38/1267.79 c | 197144 | 39897 77229 314897 | 130117 101212 567 | 0.001 % | 1739.77/1740.22 c | 295670 | 39829 77229 314897 | 143128 45849 489 | 0.171 % |
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-2702651-1278573088/watcher-2702651-1278573088 -o /tmp/evaluation-result-2702651-1278573088/solver-2702651-1278573088 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702651-1278573088.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.95 0.47 0.38 2/106 28043 /proc/meminfo: memFree=1677344/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=6136 CPUtime=0 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 330 0 0 0 0 0 0 0 16 0 1 0 25516354 6283264 249 1992294400 134512640 135752675 4288411792 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 1534 260 133 303 0 419 0 [startup+0.104142 s] /proc/loadavg: 0.95 0.47 0.38 2/106 28043 /proc/meminfo: memFree=1677344/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=12676 CPUtime=0.09 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 1825 0 0 0 9 0 0 0 17 0 1 0 25516354 12980224 1744 1992294400 134512640 135752675 4288411792 18446744073709551615 134560675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 3169 1746 234 303 0 2054 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12676 [startup+0.20115 s] /proc/loadavg: 0.95 0.47 0.38 2/106 28043 /proc/meminfo: memFree=1677344/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=14260 CPUtime=0.19 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 2476 0 0 0 18 1 0 0 17 0 1 0 25516354 14602240 2362 1992294400 134512640 135752675 4288411792 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 3565 2362 340 303 0 2450 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 14260 [startup+0.301159 s] /proc/loadavg: 0.95 0.47 0.38 2/106 28043 /proc/meminfo: memFree=1677344/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=15900 CPUtime=0.29 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 3026 0 0 0 28 1 0 0 17 0 1 0 25516354 16281600 2912 1992294400 134512640 135752675 4288411792 18446744073709551615 134564720 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 3975 2913 478 303 0 2860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15900 [startup+0.701195 s] /proc/loadavg: 0.95 0.47 0.38 2/106 28043 /proc/meminfo: memFree=1677344/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=24228 CPUtime=0.68 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 6348 0 0 0 66 2 0 0 17 0 1 0 25516354 24809472 5327 1992294400 134512640 135752675 4288411792 18446744073709551615 135221555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 6057 5327 142 303 0 5752 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 24228 [startup+1.50127 s] /proc/loadavg: 0.95 0.47 0.38 2/107 28044 /proc/meminfo: memFree=1652536/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=29192 CPUtime=1.49 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 7602 0 0 0 146 3 0 0 18 0 1 0 25516354 29892608 6581 1992294400 134512640 135752675 4288411792 18446744073709551615 134697724 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 7298 6581 142 303 0 6993 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 29192 [startup+3.10141 s] /proc/loadavg: 0.95 0.47 0.38 2/107 28044 /proc/meminfo: memFree=1653404/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=26548 CPUtime=3.09 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 7705 0 0 0 304 5 0 0 21 0 1 0 25516354 27185152 5999 1992294400 134512640 135752675 4288411792 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 6637 5999 145 303 0 6332 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26548 [startup+6.30169 s] /proc/loadavg: 0.96 0.48 0.39 2/107 28045 /proc/meminfo: memFree=1646212/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=37640 CPUtime=6.29 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 10459 0 0 0 620 9 0 0 25 0 1 0 25516354 38543360 8753 1992294400 134512640 135752675 4288411792 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 9410 8753 145 303 0 9105 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 37640 [startup+12.7013 s] /proc/loadavg: 0.96 0.48 0.39 2/107 28045 /proc/meminfo: memFree=1624016/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=57452 CPUtime=12.68 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 15396 0 0 0 1254 14 0 0 25 0 1 0 25516354 58830848 13690 1992294400 134512640 135752675 4288411792 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 14363 13690 145 303 0 14058 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 57452 [startup+25.5004 s] /proc/loadavg: 0.97 0.51 0.40 2/107 28045 /proc/meminfo: memFree=1566108/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=115116 CPUtime=25.48 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 29838 0 0 0 2518 30 0 0 25 0 1 0 25516354 117878784 28132 1992294400 134512640 135752675 4288411792 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 28779 28132 145 303 0 28474 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 115116 [startup+51.1007 s] /proc/loadavg: 0.98 0.55 0.41 2/107 28046 /proc/meminfo: memFree=1489724/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=192316 CPUtime=51.08 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 49100 0 0 0 5062 46 0 0 25 0 1 0 25516354 196931584 47394 1992294400 134512640 135752675 4288411792 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 48079 47395 145 303 0 47774 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 192316 [startup+102.3 s] /proc/loadavg: 0.99 0.61 0.44 2/107 28047 /proc/meminfo: memFree=1361384/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=318660 CPUtime=102.27 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 80665 0 0 0 10150 77 0 0 25 0 1 0 25516354 326307840 78959 1992294400 134512640 135752675 4288411792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 79665 78959 145 303 0 79360 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 318660 [startup+162.301 s] /proc/loadavg: 0.99 0.68 0.47 2/107 28049 /proc/meminfo: memFree=1245444/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=435132 CPUtime=162.25 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 109741 0 0 0 16113 112 0 0 25 0 1 0 25516354 445575168 108035 1992294400 134512640 135752675 4288411792 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 108783 108035 145 303 0 108478 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 435132 [startup+222.308 s] /proc/loadavg: 0.99 0.74 0.50 2/107 28050 /proc/meminfo: memFree=1213576/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=464836 CPUtime=222.24 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 118973 0 0 0 22091 133 0 0 25 0 1 0 25516354 475992064 115686 1992294400 134512640 135752675 4288411792 18446744073709551615 134518897 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 116209 115686 146 303 0 115904 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 464836 [startup+282.3 s] /proc/loadavg: 0.99 0.78 0.53 2/107 28052 /proc/meminfo: memFree=1192868/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=486560 CPUtime=282.22 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 124406 0 0 0 28076 146 0 0 25 0 1 0 25516354 498237440 121119 1992294400 134512640 135752675 4288411792 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 121640 121119 146 303 0 121335 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 486560 [startup+342.301 s] /proc/loadavg: 0.99 0.82 0.56 2/107 28054 /proc/meminfo: memFree=1150088/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=528760 CPUtime=342.21 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 134941 0 0 0 34058 163 0 0 25 0 1 0 25516354 541450240 131654 1992294400 134512640 135752675 4288411792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 132190 131654 146 303 0 131885 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 528760 [startup+402.301 s] /proc/loadavg: 0.99 0.85 0.58 2/107 28055 /proc/meminfo: memFree=1122684/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=556336 CPUtime=402.19 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 141765 0 0 0 40040 179 0 0 25 0 1 0 25516354 569688064 138478 1992294400 134512640 135752675 4288411792 18446744073709551615 134616138 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 139084 138478 146 303 0 138779 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 556336 [startup+462.3 s] /proc/loadavg: 0.99 0.87 0.60 2/107 28057 /proc/meminfo: memFree=1122560/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=556336 CPUtime=462.18 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 141765 0 0 0 46024 194 0 0 25 0 1 0 25516354 569688064 138478 1992294400 134512640 135752675 4288411792 18446744073709551615 134605187 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 139084 138478 146 303 0 138779 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 556336 [startup+522.301 s] /proc/loadavg: 1.05 0.91 0.63 2/107 28061 /proc/meminfo: memFree=1121320/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=556336 CPUtime=522.16 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 141768 0 0 0 52011 205 0 0 25 0 1 0 25516354 569688064 138481 1992294400 134512640 135752675 4288411792 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 139084 138481 146 303 0 138779 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 556336 [startup+582.301 s] /proc/loadavg: 1.02 0.92 0.65 2/107 28063 /proc/meminfo: memFree=1089576/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=589080 CPUtime=582.14 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 149930 0 0 0 57993 221 0 0 25 0 1 0 25516354 603217920 146643 1992294400 134512640 135752675 4288411792 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 147270 146643 146 303 0 146965 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 589080 [startup+642.301 s] /proc/loadavg: 1.00 0.93 0.67 2/107 28065 /proc/meminfo: memFree=1046052/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=632864 CPUtime=642.13 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 160884 0 0 0 63971 242 0 0 25 0 1 0 25516354 648052736 157597 1992294400 134512640 135752675 4288411792 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 158216 157597 146 303 0 157911 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 632864 [startup+702.301 s] ################ # More data... # ################ [startup+882.308 s] /proc/loadavg: 1.00 0.96 0.74 2/107 28071 /proc/meminfo: memFree=864764/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=813256 CPUtime=882.08 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 205963 0 0 0 87890 318 0 0 25 0 1 0 25516354 832774144 202676 1992294400 134512640 135752675 4288411792 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 203314 202676 146 303 0 203009 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 813256 [startup+942.301 s] /proc/loadavg: 1.00 0.97 0.75 2/107 28073 /proc/meminfo: memFree=815536/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=862804 CPUtime=942.06 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 218334 0 0 0 93870 336 0 0 25 0 1 0 25516354 883511296 215047 1992294400 134512640 135752675 4288411792 18446744073709551615 134638143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 215701 215047 146 303 0 215396 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 862804 [startup+1002.3 s] /proc/loadavg: 1.00 0.97 0.76 2/107 28074 /proc/meminfo: memFree=770152/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=907744 CPUtime=1002.04 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 229585 0 0 0 99850 354 0 0 25 0 1 0 25516354 929529856 226298 1992294400 134512640 135752675 4288411792 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 226936 226298 146 303 0 226631 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 907744 [startup+1062.3 s] /proc/loadavg: 1.00 0.97 0.77 2/107 28076 /proc/meminfo: memFree=729604/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=948580 CPUtime=1062.03 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 239788 0 0 0 105830 373 0 0 25 0 1 0 25516354 971345920 236501 1992294400 134512640 135752675 4288411792 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 237145 236501 146 303 0 236840 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 948580 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.78 2/107 28077 /proc/meminfo: memFree=684344/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=993544 CPUtime=1122.02 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 251034 0 0 0 111809 393 0 0 25 0 1 0 25516354 1017389056 247747 1992294400 134512640 135752675 4288411792 18446744073709551615 134638155 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 248386 247747 146 303 0 248081 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 993544 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.79 2/107 28079 /proc/meminfo: memFree=638712/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1039592 CPUtime=1182 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 262517 0 0 0 117786 414 0 0 25 0 1 0 25516354 1064542208 259230 1992294400 134512640 135752675 4288411792 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 259898 259230 146 303 0 259593 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 1039592 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.81 2/107 28081 /proc/meminfo: memFree=600892/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1077152 CPUtime=1241.99 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 271912 0 0 0 123768 431 0 0 25 0 1 0 25516354 1103003648 268625 1992294400 134512640 135752675 4288411792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 269288 268625 146 303 0 268983 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 1077152 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 28082 /proc/meminfo: memFree=563816/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1114144 CPUtime=1301.98 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 281159 0 0 0 129750 448 0 0 25 0 1 0 25516354 1140883456 277872 1992294400 134512640 135752675 4288411792 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 278536 277872 146 303 0 278231 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 1114144 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.82 2/107 28084 /proc/meminfo: memFree=524880/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1152940 CPUtime=1361.96 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 290847 0 0 0 135731 465 0 0 25 0 1 0 25516354 1180610560 287560 1992294400 134512640 135752675 4288411792 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 288235 287560 146 303 0 287930 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 1152940 [startup+1422.3 s] /proc/loadavg: 1.00 0.97 0.83 2/107 28085 /proc/meminfo: memFree=485696/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1191448 CPUtime=1421.95 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 300489 0 0 0 141712 483 0 0 25 0 1 0 25516354 1220042752 297202 1992294400 134512640 135752675 4288411792 18446744073709551615 134638030 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 297862 297202 146 303 0 297557 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 1191448 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.84 2/107 28087 /proc/meminfo: memFree=446636/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1231152 CPUtime=1481.93 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 310404 0 0 0 147693 500 0 0 25 0 1 0 25516354 1260699648 307117 1992294400 134512640 135752675 4288411792 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 307788 307117 146 303 0 307483 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 1231152 [startup+1542.31 s] /proc/loadavg: 1.00 0.97 0.84 2/107 28089 /proc/meminfo: memFree=402120/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1275020 CPUtime=1541.92 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 321366 0 0 0 153673 519 0 0 25 0 1 0 25516354 1305620480 318079 1992294400 134512640 135752675 4288411792 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 318755 318079 146 303 0 318450 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 1275020 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 28090 /proc/meminfo: memFree=360704/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1316636 CPUtime=1601.9 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 331791 0 0 0 159651 539 0 0 25 0 1 0 25516354 1348235264 328504 1992294400 134512640 135752675 4288411792 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 329159 328504 146 303 0 328854 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 1316636 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.85 2/107 28092 /proc/meminfo: memFree=319164/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1357880 CPUtime=1661.89 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 342084 0 0 0 165632 557 0 0 25 0 1 0 25516354 1390469120 338797 1992294400 134512640 135752675 4288411792 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 339470 338797 146 303 0 339165 0 Current children cumulated CPU time (s) 1661.89 Current children cumulated vsize (KiB) 1357880 [startup+1722.3 s] /proc/loadavg: 1.07 0.99 0.86 2/107 28093 /proc/meminfo: memFree=277996/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1399376 CPUtime=1721.87 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 352474 0 0 0 171607 580 0 0 25 0 1 0 25516354 1432961024 349187 1992294400 134512640 135752675 4288411792 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 349844 349187 146 303 0 349539 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 1399376 [startup+1782.3 s] /proc/loadavg: 1.02 0.99 0.87 2/107 28095 /proc/meminfo: memFree=235960/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1440732 CPUtime=1781.86 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 362816 0 0 0 177583 603 0 0 25 0 1 0 25516354 1475309568 359529 1992294400 134512640 135752675 4288411792 18446744073709551615 134638016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 360183 359529 146 303 0 359878 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 1440732 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.02 0.99 0.87 2/107 28095 /proc/meminfo: memFree=222320/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=1454084 CPUtime=1800.06 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4202496 366141 0 0 0 179397 609 0 0 25 0 1 0 25516354 1488982016 362854 1992294400 134512640 135752675 4288411792 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28043/statm: 363521 362854 146 303 0 363216 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1454084 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.61 s] /proc/loadavg: 1.02 0.99 0.87 2/107 28095 /proc/meminfo: memFree=222320/2059040 swapFree=4139712/4192956 [pid=28043] ppid=28041 vsize=0 CPUtime=1800.16 /proc/28043/stat : 28043 (wbo1.4b) R 28041 28043 27966 0 -1 4203524 366141 0 0 0 179397 619 0 0 25 0 1 0 25516354 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28043/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.64 CPU time (s): 1800.2 CPU user time (s): 1793.97 CPU system time (s): 6.23105 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (KiB): 1454084 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.97 system time used= 6.23105 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 366141 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= 8 involuntary context switches= 19897 runsolver used 3.15052 second user time and 8.33773 second system time The end
Begin job on node043 at 2010-07-08 09:11:28 IDJOB=2702651 IDBENCH=48260 IDSOLVER=1190 FILE ID=node043/2702651-1278573088 PBS_JOBID= 11240082 Free space on /tmp= 62528 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702651-1278573088/watcher-2702651-1278573088 -o /tmp/evaluation-result-2702651-1278573088/solver-2702651-1278573088 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702651-1278573088.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a RANDOM SEED=1776287250 node043.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.219 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.219 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1680724 kB Buffers: 79964 kB Cached: 207860 kB SwapCached: 8072 kB Active: 148168 kB Inactive: 154564 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1680724 kB SwapTotal: 4192956 kB SwapFree: 4139712 kB Dirty: 3540 kB Writeback: 8 kB AnonPages: 11732 kB Mapped: 12016 kB Slab: 53736 kB PageTables: 4080 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180276 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702651-1278573088.opb Free space on /tmp at the end= 62524 MiB End job on node043 at 2010-07-08 09:41:33