Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1707.83 | 1708.37 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_3.opb |
MD5SUM | 9fd52bec996ed780d55ecea52b6ce11a |
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 | -61 |
Best CPU time to get the best result obtained on this benchmark | 1800.09 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -85 |
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) | 31444 |
Sum of products size (including duplicates) | 62888 |
Number of different products | 15722 |
Sum of products size | 31444 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702681-1278574685.opb. 0.00/0.00 c Instance file HOME/instance-2702681-1278574685.opb 0.00/0.00 c File size is 1388290 bytes. 0.19/0.25 c Highest Coefficient sum: 1000 0.19/0.25 c ============================[ Problem Statistics ]============================= 0.19/0.25 c | | 0.19/0.25 c | Parsing time: 0.24 s | 0.19/0.25 c | Number Variables: 16722 | 0.19/0.25 c | Number Clauses: 16222 | 0.19/0.25 c | Number Cardinality: 1002 | 0.19/0.25 c | Number PB Constraints: 15722 | 0.39/0.50 c ============================[ Search Statistics ]============================== 0.39/0.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.50 c =============================================================================== 0.49/0.50 c | 0 | 16722 32946 128776 | 10982 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 0 0.49/0.54 o 0 0.49/0.54 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 16722 32947 129276 | 10982 0 nan | 0.000 % | 0.49/0.58 c =============================================================================== 0.49/0.58 c New solution: -1 0.49/0.58 o -1 0.49/0.58 c Elapsed CPU time: 0.572912 s Remaining CPU time: 179.427 s 0.49/0.58 c =============================================================================== 0.49/0.58 c | 1 | 16722 32948 129776 | 10982 1 503 | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: -2 0.59/0.61 o -2 0.59/0.61 c Elapsed CPU time: 0.592909 s Remaining CPU time: 179.407 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 1 | 16722 32949 130276 | 10983 1 503 | 0.000 % | 0.59/0.63 c =============================================================================== 0.59/0.63 c New solution: -3 0.59/0.63 o -3 0.59/0.63 c Elapsed CPU time: 0.614906 s Remaining CPU time: 179.385 s 0.59/0.63 c =============================================================================== 0.59/0.63 c | 1 | 16722 32950 130776 | 10983 1 503 | 0.000 % | 0.59/0.69 c | 102 | 16722 32950 130776 | 12081 102 988 | 0.000 % | 0.69/0.71 c =============================================================================== 0.69/0.71 c New solution: -4 0.69/0.71 o -4 0.69/0.71 c Elapsed CPU time: 0.694894 s Remaining CPU time: 179.305 s 0.69/0.71 c =============================================================================== 0.69/0.71 c | 102 | 16722 32951 131276 | 10983 102 988 | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: -5 0.69/0.74 o -5 0.69/0.74 c Elapsed CPU time: 0.71889 s Remaining CPU time: 179.281 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 102 | 16722 32952 131776 | 10984 102 988 | 0.000 % | 0.69/0.76 c =============================================================================== 0.69/0.76 c New solution: -6 0.69/0.76 o -6 0.69/0.76 c Elapsed CPU time: 0.742887 s Remaining CPU time: 179.257 s 0.69/0.76 c =============================================================================== 0.69/0.76 c | 102 | 16722 32953 132276 | 10984 102 988 | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: -7 0.69/0.79 o -7 0.69/0.79 c Elapsed CPU time: 0.765883 s Remaining CPU time: 179.234 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 103 | 16722 32954 132776 | 10984 103 978 | 0.000 % | 0.79/0.82 c =============================================================================== 0.79/0.82 c New solution: -8 0.79/0.82 o -8 0.79/0.82 c Elapsed CPU time: 0.790879 s Remaining CPU time: 179.209 s 0.79/0.82 c =============================================================================== 0.79/0.82 c | 112 | 16722 32955 133276 | 10985 112 975 | 0.000 % | 0.79/0.85 c =============================================================================== 0.79/0.85 c New solution: -9 0.79/0.85 o -9 0.79/0.85 c Elapsed CPU time: 0.821875 s Remaining CPU time: 179.178 s 0.79/0.85 c =============================================================================== 0.79/0.85 c | 113 | 16722 32956 133776 | 10985 113 966 | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: -10 0.79/0.88 o -10 0.79/0.88 c Elapsed CPU time: 0.85187 s Remaining CPU time: 179.148 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 114 | 16722 32957 134276 | 10985 114 958 | 0.000 % | 0.89/0.91 c =============================================================================== 0.89/0.91 c New solution: -11 0.89/0.91 o -11 0.89/0.91 c Elapsed CPU time: 0.882865 s Remaining CPU time: 179.117 s 0.89/0.91 c =============================================================================== 0.89/0.91 c | 118 | 16722 32958 134776 | 10986 118 938 | 0.000 % | 0.89/0.96 c | 219 | 16722 32958 134776 | 12084 219 958 | 0.000 % | 1.00/1.02 c | 369 | 16722 32958 134776 | 13293 369 944 | 0.000 % | 1.10/1.11 c =============================================================================== 1.10/1.11 c New solution: -12 1.10/1.11 o -12 1.10/1.11 c Elapsed CPU time: 1.07984 s Remaining CPU time: 178.92 s 1.10/1.11 c =============================================================================== 1.10/1.11 c | 535 | 16722 32959 135276 | 10986 535 944 | 0.000 % | 1.10/1.16 c | 635 | 16722 32959 135276 | 12084 635 950 | 0.000 % | 1.19/1.23 c | 785 | 16722 32959 135276 | 13293 785 956 | 0.000 % | 1.29/1.32 c | 1010 | 16722 32959 135276 | 14622 1010 961 | 0.000 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: -13 1.29/1.36 o -13 1.29/1.36 c Elapsed CPU time: 1.3298 s Remaining CPU time: 178.67 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 1038 | 16722 32960 135776 | 10986 1038 960 | 0.000 % | 1.39/1.42 c | 1138 | 16722 32960 135776 | 12085 1138 961 | 0.000 % | 1.49/1.50 c | 1288 | 16722 32960 135776 | 13293 1288 963 | 0.000 % | 1.59/1.61 c | 1513 | 16722 32960 135776 | 14623 1513 964 | 0.000 % | 1.69/1.75 c | 1850 | 16722 32960 135776 | 16085 1850 967 | 0.000 % | 1.89/1.97 c | 2356 | 16722 32960 135776 | 17694 2356 970 | 0.000 % | 1.99/2.00 c =============================================================================== 1.99/2.00 c New solution: -14 1.99/2.00 o -14 1.99/2.00 c Elapsed CPU time: 1.9567 s Remaining CPU time: 178.043 s 1.99/2.00 c =============================================================================== 1.99/2.00 c | 2366 | 16722 32961 136276 | 10987 2366 968 | 0.000 % | 1.99/2.06 c | 2466 | 16722 32961 136276 | 12085 2466 968 | 0.000 % | 2.09/2.15 c =============================================================================== 2.09/2.15 c New solution: -15 2.09/2.15 o -15 2.09/2.15 c Elapsed CPU time: 2.10368 s Remaining CPU time: 177.896 s 2.09/2.15 c =============================================================================== 2.09/2.15 c | 2608 | 16722 32962 136776 | 10987 2608 968 | 0.000 % | 2.20/2.22 c | 2708 | 16722 32962 136776 | 12086 2708 967 | 0.000 % | 2.20/2.30 c | 2858 | 16722 32962 136776 | 13294 2858 965 | 0.000 % | 2.39/2.41 c | 3083 | 16722 32962 136776 | 14624 3083 963 | 0.000 % | 2.49/2.60 c | 3420 | 16722 32962 136776 | 16086 3420 963 | 0.000 % | 2.79/2.87 c | 3926 | 16722 32962 136776 | 17695 3926 965 | 0.000 % | 2.99/3.01 c =============================================================================== 2.99/3.01 c New solution: -16 2.99/3.01 o -16 2.99/3.01 c Elapsed CPU time: 2.95455 s Remaining CPU time: 177.045 s 2.99/3.01 c =============================================================================== 2.99/3.01 c | 4109 | 16722 32963 137276 | 10987 4109 959 | 0.000 % | 2.99/3.08 c | 4209 | 16722 32963 137276 | 12086 4209 959 | 0.000 % | 3.09/3.15 c | 4359 | 16722 32963 137276 | 13295 4359 960 | 0.000 % | 3.19/3.28 c | 4584 | 16722 32963 137276 | 14624 4584 961 | 0.000 % | 3.39/3.43 c | 4921 | 16722 32963 137276 | 16087 4921 962 | 0.000 % | 3.39/3.47 c =============================================================================== 3.39/3.47 c New solution: -17 3.39/3.47 o -17 3.39/3.47 c Elapsed CPU time: 3.39648 s Remaining CPU time: 176.604 s 3.39/3.47 c =============================================================================== 3.39/3.47 c | 4932 | 16722 32964 137776 | 10988 4932 960 | 0.000 % | 3.48/3.53 c | 5032 | 16722 32964 137776 | 12086 5032 961 | 0.000 % | 3.59/3.62 c | 5182 | 16722 32964 137776 | 13295 5182 960 | 0.000 % | 3.69/3.75 c | 5407 | 16722 32964 137776 | 14625 5407 960 | 0.000 % | 3.89/3.94 c | 5744 | 16722 32964 137776 | 16087 5744 961 | 0.000 % | 4.19/4.23 c | 6250 | 16722 32964 137776 | 17696 6250 961 | 0.000 % | 4.49/4.59 c | 7010 | 16722 32964 137776 | 19465 7010 961 | 0.000 % | 5.08/5.19 c | 8149 | 16722 32964 137776 | 21412 8149 963 | 0.000 % | 5.19/5.25 c =============================================================================== 5.19/5.25 c New solution: -18 5.19/5.25 o -18 5.19/5.25 c Elapsed CPU time: 5.14922 s Remaining CPU time: 174.851 s 5.19/5.25 c =============================================================================== 5.19/5.25 c | 8195 | 16722 32965 138276 | 10988 8195 959 | 0.000 % | 5.29/5.35 c | 8295 | 16722 32965 138276 | 12087 8295 960 | 0.000 % | 5.39/5.43 c | 8445 | 16722 32965 138276 | 13295 8445 960 | 0.000 % | 5.49/5.54 c | 8670 | 16722 32965 138276 | 14625 8670 960 | 0.000 % | 5.69/5.71 c | 9007 | 16722 32965 138276 | 16088 9007 960 | 0.000 % | 5.88/5.93 c | 9513 | 16722 32965 138276 | 17696 9513 961 | 0.000 % | 5.88/5.99 c =============================================================================== 5.88/5.99 c New solution: -19 5.88/5.99 o -19 5.88/5.99 c Elapsed CPU time: 5.86611 s Remaining CPU time: 174.134 s 5.88/5.99 c =============================================================================== 5.88/5.99 c | 9557 | 16722 32966 138776 | 10988 9557 958 | 0.000 % | 5.99/6.06 c | 9657 | 16722 32966 138776 | 12087 9657 958 | 0.000 % | 6.09/6.13 c | 9807 | 16722 32966 138776 | 13296 9807 958 | 0.000 % | 6.18/6.25 c | 10032 | 16722 32966 138776 | 14625 10032 958 | 0.000 % | 6.38/6.42 c | 10369 | 16722 32966 138776 | 16088 10369 958 | 0.000 % | 6.60/6.66 c | 10875 | 16722 32966 138776 | 17697 10875 959 | 0.000 % | 6.99/7.06 c | 11635 | 16722 32966 138776 | 19467 11635 956 | 0.000 % | 7.59/7.67 c | 12775 | 16722 32966 138776 | 21413 12775 958 | 0.000 % | 7.70/7.73 c =============================================================================== 7.70/7.73 c New solution: -20 7.70/7.73 o -20 7.70/7.73 c Elapsed CPU time: 7.57385 s Remaining CPU time: 172.426 s 7.70/7.73 c =============================================================================== 7.70/7.73 c | 12818 | 16722 32967 139276 | 10989 12818 956 | 0.000 % | 7.79/7.82 c | 12918 | 16722 32967 139276 | 12087 6509 948 | 0.000 % | 7.89/7.90 c | 13068 | 16722 32967 139276 | 13296 6659 949 | 0.000 % | 7.98/8.00 c | 13293 | 16722 32967 139276 | 14626 6884 950 | 0.000 % | 8.09/8.16 c | 13630 | 16722 32967 139276 | 16088 7221 950 | 0.000 % | 8.19/8.21 c =============================================================================== 8.19/8.21 c New solution: -21 8.19/8.21 o -21 8.19/8.21 c Elapsed CPU time: 8.04778 s Remaining CPU time: 171.952 s 8.19/8.21 c =============================================================================== 8.19/8.21 c | 13678 | 16722 32968 139776 | 10989 7269 947 | 0.000 % | 8.19/8.29 c | 13778 | 16722 32968 139776 | 12088 7369 947 | 0.000 % | 8.29/8.39 c | 13928 | 16722 32968 139776 | 13297 7519 947 | 0.000 % | 8.49/8.50 c | 14153 | 16722 32968 139776 | 14626 7744 948 | 0.000 % | 8.59/8.69 c | 14490 | 16722 32968 139776 | 16089 8081 949 | 0.000 % | 8.69/8.75 c =============================================================================== 8.69/8.75 c New solution: -22 8.69/8.75 o -22 8.69/8.75 c Elapsed CPU time: 8.5757 s Remaining CPU time: 171.424 s 8.69/8.75 c =============================================================================== 8.69/8.75 c | 14534 | 16722 32969 140276 | 10989 8125 945 | 0.000 % | 8.79/8.85 c | 14634 | 16722 32969 140276 | 12088 8225 946 | 0.000 % | 8.88/8.94 c | 14784 | 16722 32969 140276 | 13297 8375 946 | 0.000 % | 8.99/9.06 c | 15009 | 16722 32969 140276 | 14627 8600 947 | 0.000 % | 9.18/9.24 c | 15346 | 16722 32969 140276 | 16089 8937 947 | 0.000 % | 9.38/9.49 c | 15852 | 16722 32969 140276 | 17698 9443 948 | 0.000 % | 9.79/9.83 c | 16611 | 16722 32969 140276 | 19468 10202 950 | 0.000 % | 10.39/10.42 c | 17750 | 16722 32969 140276 | 21415 11341 949 | 0.000 % | 11.39/11.43 c | 19458 | 16722 32969 140276 | 23557 13049 949 | 0.000 % | 12.68/12.78 c | 22020 | 16722 32969 140276 | 25913 15611 944 | 0.000 % | 15.39/15.50 c | 25864 | 16722 32969 140276 | 28504 19455 939 | 0.000 % | 19.39/19.44 c | 31630 | 16722 32969 140276 | 31354 25221 933 | 0.000 % | 25.99/26.00 c | 40280 | 16722 32969 140276 | 34490 33871 939 | 0.000 % | 38.08/38.19 c | 53254 | 16722 32969 140276 | 37939 46845 929 | 0.000 % | 54.28/54.32 c | 72715 | 16722 32969 140276 | 41733 30917 931 | 0.000 % | 86.27/86.30 c | 101907 | 16722 32969 140276 | 45906 13388 897 | 0.000 % | 147.15/147.21 c | 145696 | 16722 32969 140276 | 50497 57177 901 | 0.000 % | 181.34/181.49 c There are 0 assigned variables. 0 in cost function. 181.74/181.87 c core #1 181.74/181.87 c 181.74/181.87 c 181.74/181.87 c Core size: 1001 Core Weight: 1 Total Weight: -499 181.74/181.87 c 181.74/181.87 c 181.74/181.87 c ============================[ Search Statistics ]============================== 181.74/181.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.87 c =============================================================================== 181.74/181.87 c | 0 | 17222 33471 141779 | 11157 0 nan | 0.000 % | 182.13/182.21 c | 100 | 17222 33471 141779 | 12272 100 264 | 0.476 % | 182.54/182.63 c | 269 | 17220 33471 141779 | 13499 269 291 | 0.639 % | 183.14/183.23 c | 494 | 17112 33471 141779 | 14849 491 298 | 0.639 % | 184.04/184.12 c | 831 | 17112 33471 141779 | 16334 828 302 | 0.639 % | 185.63/185.71 c | 1337 | 17075 33471 141779 | 17968 1332 260 | 1.202 % | 185.84/185.95 c =============================================================================== 186.03/186.13 c core #2 186.03/186.13 c 186.03/186.13 c 186.03/186.13 c Core size: 929 Core Weight: 1 Total Weight: -498 186.03/186.13 c 186.03/186.13 c 186.03/186.13 c ============================[ Search Statistics ]============================== 186.03/186.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.03/186.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.03/186.13 c =============================================================================== 186.03/186.13 c | 0 | 17722 33548 143005 | 11182 0 nan | 0.000 % | 186.43/186.51 c | 100 | 17722 33548 143005 | 12300 100 462 | 0.000 % | 186.73/186.86 c | 250 | 17722 33548 143005 | 13531 250 451 | 0.000 % | 187.43/187.59 c | 475 | 17722 33548 143005 | 14884 475 383 | 0.000 % | 188.54/188.65 c | 812 | 17722 33548 143005 | 16372 812 383 | 0.000 % | 190.33/190.41 c | 1318 | 17722 33548 143005 | 18009 1318 386 | 0.000 % | 192.73/192.85 c | 2077 | 17722 33548 143005 | 19810 2077 405 | 0.000 % | 196.33/196.40 c | 3216 | 17722 33548 143005 | 21791 3216 409 | 0.000 % | 201.43/201.57 c | 4924 | 17695 33548 143005 | 23971 4833 415 | 0.152 % | 209.73/209.84 c | 7535 | 17612 33548 143005 | 26368 7143 425 | 0.621 % | 222.73/222.80 c | 11443 | 17607 33548 143005 | 29004 11051 435 | 1.106 % | 241.22/241.38 c | 17209 | 17519 33548 143005 | 31905 16349 452 | 1.670 % | 270.31/270.50 c | 25858 | 17303 33548 143005 | 35095 24633 468 | 6.213 % | 316.61/316.74 c | 38856 | 15608 33548 143005 | 38605 34664 495 | 20.466 % | 376.87/377.01 c | 58317 | 15532 33548 143005 | 42466 21854 507 | 28.180 % | 440.36/440.54 c =============================================================================== 442.85/443.08 c core #3 442.85/443.08 c 442.85/443.08 c 442.85/443.08 c Core size: 611 Core Weight: 1 Total Weight: -497 442.85/443.08 c 442.85/443.08 c 442.85/443.08 c ============================[ Search Statistics ]============================== 442.85/443.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 442.85/443.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 442.85/443.08 c =============================================================================== 442.85/443.08 c | 0 | 18222 33800 144704 | 11266 0 nan | 0.000 % | 443.25/443.46 c | 100 | 18222 33800 144704 | 12393 100 679 | 0.000 % | 443.75/443.91 c | 315 | 18222 33800 144704 | 13632 315 528 | 0.000 % | 444.36/444.54 c | 540 | 18222 33800 144704 | 14995 540 476 | 0.000 % | 445.65/445.87 c | 915 | 18222 33800 144704 | 16495 915 512 | 0.000 % | 447.36/447.54 c | 1421 | 18222 33800 144704 | 18145 1421 503 | 0.000 % | 450.15/450.32 c | 2180 | 18222 33800 144704 | 19959 2180 506 | 0.000 % | 454.17/454.38 c | 3368 | 18222 33800 144704 | 21955 3368 515 | 0.000 % | 460.15/460.33 c | 5076 | 18222 33800 144704 | 24151 5076 536 | 0.000 % | 468.65/468.87 c | 7638 | 18222 33800 144704 | 26566 7638 567 | 0.000 % | 482.94/483.11 c | 11482 | 18222 33800 144704 | 29222 11482 581 | 0.000 % | 503.84/504.05 c | 17248 | 18222 33800 144704 | 32145 17248 588 | 0.000 % | 537.33/537.54 c | 25907 | 18222 33800 144704 | 35359 25907 607 | 0.000 % | 587.61/587.88 c | 38881 | 18222 33800 144704 | 38895 14477 628 | 0.000 % | 665.29/665.53 c | 58342 | 18222 33800 144704 | 42785 33938 657 | 0.000 % | 775.96/776.25 c | 87534 | 18222 33800 144704 | 47063 32362 674 | 0.000 % | 962.70/963.09 c | 131323 | 18222 33800 144704 | 51770 41549 660 | 0.000 % | 1244.22/1244.60 c | 197007 | 18222 33800 144704 | 56947 21700 859 | 0.000 % | 1658.06/1658.68 c | 295533 | 18222 33800 144704 | 62641 24727 848 | 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-2702681-1278574685/watcher-2702681-1278574685 -o /tmp/evaluation-result-2702681-1278574685/solver-2702681-1278574685 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702681-1278574685.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.88 3/105 28503 /proc/meminfo: memFree=1839880/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=4476 CPUtime=0 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 419 0 0 0 0 0 0 0 21 0 1 0 25677251 4583424 338 1992294400 134512640 135752675 4293581216 18446744073709551615 134609721 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 1119 338 137 303 0 475 0 [startup+0.0142801 s] /proc/loadavg: 0.99 0.97 0.88 3/105 28503 /proc/meminfo: memFree=1839880/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=5200 CPUtime=0.01 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 552 0 0 0 1 0 0 0 23 0 1 0 25677251 5324800 471 1992294400 134512640 135752675 4293581216 18446744073709551615 134573941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 1300 477 144 303 0 656 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 5200 [startup+0.101289 s] /proc/loadavg: 0.99 0.97 0.88 3/105 28503 /proc/meminfo: memFree=1839880/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=8172 CPUtime=0.09 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 1374 0 0 0 9 0 0 0 23 0 1 0 25677251 8368128 1293 1992294400 134512640 135752675 4293581216 18446744073709551615 134559885 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 2043 1293 260 303 0 1399 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8172 [startup+0.30131 s] /proc/loadavg: 0.99 0.97 0.88 3/105 28503 /proc/meminfo: memFree=1839880/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=12884 CPUtime=0.29 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 3072 0 0 0 28 1 0 0 23 0 1 0 25677251 13193216 2620 1992294400 134512640 135752675 4293581216 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 3221 2621 142 303 0 2916 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12884 [startup+0.701353 s] /proc/loadavg: 0.99 0.97 0.88 3/105 28503 /proc/meminfo: memFree=1839880/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=12884 CPUtime=0.69 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 3435 0 0 0 67 2 0 0 18 0 1 0 25677251 13193216 2685 1992294400 134512640 135752675 4293581216 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 3221 2685 145 303 0 2916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12884 [startup+1.50144 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28504 /proc/meminfo: memFree=1829332/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=15392 CPUtime=1.49 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 4053 0 0 0 146 3 0 0 18 0 1 0 25677251 15761408 3303 1992294400 134512640 135752675 4293581216 18446744073709551615 134616122 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 3848 3303 145 303 0 3543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15392 [startup+3.10161 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28504 /proc/meminfo: memFree=1822512/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=26744 CPUtime=3.09 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 6888 0 0 0 303 6 0 0 21 0 1 0 25677251 27385856 6138 1992294400 134512640 135752675 4293581216 18446744073709551615 134605414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 6686 6138 145 303 0 6381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26744 [startup+6.30095 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28504 /proc/meminfo: memFree=1799448/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=49844 CPUtime=6.28 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 12659 0 0 0 616 12 0 0 18 0 1 0 25677251 51040256 11909 1992294400 134512640 135752675 4293581216 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 12461 11909 145 303 0 12156 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 49844 [startup+12.7006 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28504 /proc/meminfo: memFree=1751708/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=95384 CPUtime=12.68 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 24035 0 0 0 1245 23 0 0 25 0 1 0 25677251 97673216 23285 1992294400 134512640 135752675 4293581216 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 23846 23285 145 303 0 23541 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 95384 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28504 /proc/meminfo: memFree=1680780/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=162928 CPUtime=25.48 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 40938 0 0 0 2514 34 0 0 25 0 1 0 25677251 166838272 40188 1992294400 134512640 135752675 4293581216 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 40732 40188 145 303 0 40427 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 162928 [startup+51.1007 s] /proc/loadavg: 0.99 0.97 0.88 2/106 28504 /proc/meminfo: memFree=1568560/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=276104 CPUtime=51.08 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 69214 0 0 0 5051 57 0 0 25 0 1 0 25677251 282730496 68464 1992294400 134512640 135752675 4293581216 18446744073709551615 134611615 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 69026 68464 145 303 0 68721 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 276104 [startup+102.308 s] /proc/loadavg: 0.99 0.97 0.89 2/106 28506 /proc/meminfo: memFree=1383676/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=458412 CPUtime=102.27 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 114767 0 0 0 10133 94 0 0 25 0 1 0 25677251 469413888 114017 1992294400 134512640 135752675 4293581216 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 114603 114017 145 303 0 114298 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 458412 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.89 2/106 28508 /proc/meminfo: memFree=1217640/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=625980 CPUtime=162.25 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 156657 0 0 0 16092 133 0 0 25 0 1 0 25677251 641003520 155907 1992294400 134512640 135752675 4293581216 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 156495 155907 145 303 0 156190 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 625980 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.90 2/106 28510 /proc/meminfo: memFree=1159112/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=681200 CPUtime=222.23 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 171142 0 0 0 22070 153 0 0 25 0 1 0 25677251 697548800 169777 1992294400 134512640 135752675 4293581216 18446744073709551615 134638061 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 170300 169777 146 303 0 169995 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 681200 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.90 2/106 28510 /proc/meminfo: memFree=1158988/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=681200 CPUtime=282.21 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 171152 0 0 0 28059 162 0 0 25 0 1 0 25677251 697548800 169787 1992294400 134512640 135752675 4293581216 18446744073709551615 134516989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 170300 169787 146 303 0 169995 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 681200 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28512 /proc/meminfo: memFree=1158864/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=681200 CPUtime=342.19 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 171157 0 0 0 34047 172 0 0 25 0 1 0 25677251 697548800 169792 1992294400 134512640 135752675 4293581216 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 170300 169792 146 303 0 169995 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 681200 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28514 /proc/meminfo: memFree=1136172/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=705396 CPUtime=402.17 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 177231 0 0 0 40031 186 0 0 25 0 1 0 25677251 722325504 175866 1992294400 134512640 135752675 4293581216 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 176349 175866 146 303 0 176044 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 705396 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28516 /proc/meminfo: memFree=1098848/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=741772 CPUtime=462.15 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 186287 0 0 0 46013 202 0 0 25 0 1 0 25677251 759574528 184922 1992294400 134512640 135752675 4293581216 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 185443 184922 146 303 0 185138 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 741772 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28518 /proc/meminfo: memFree=1098724/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=741772 CPUtime=522.13 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 186287 0 0 0 52001 212 0 0 25 0 1 0 25677251 759574528 184922 1992294400 134512640 135752675 4293581216 18446744073709551615 134638024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 185443 184922 146 303 0 185138 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 741772 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28518 /proc/meminfo: memFree=1098600/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=741772 CPUtime=582.11 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 186288 0 0 0 57991 220 0 0 25 0 1 0 25677251 759574528 184923 1992294400 134512640 135752675 4293581216 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 185443 184923 146 303 0 185138 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 741772 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28520 /proc/meminfo: memFree=1058424/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=781696 CPUtime=642.1 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 196290 0 0 0 63974 236 0 0 25 0 1 0 25677251 800456704 194925 1992294400 134512640 135752675 4293581216 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 195424 194925 146 303 0 195119 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 781696 [startup+702.301 s] ################ # More data... # ################ [startup+762.308 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28524 /proc/meminfo: memFree=934796/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=905168 CPUtime=762.07 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 227125 0 0 0 75934 273 0 0 25 0 1 0 25677251 926892032 225760 1992294400 134512640 135752675 4293581216 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 226292 225760 146 303 0 225987 0 Current children cumulated CPU time (s) 762.07 Current children cumulated vsize (KiB) 905168 [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28526 /proc/meminfo: memFree=881724/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=958412 CPUtime=822.05 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 240434 0 0 0 81913 292 0 0 25 0 1 0 25677251 981413888 239069 1992294400 134512640 135752675 4293581216 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 239603 239069 146 303 0 239298 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 958412 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28526 /proc/meminfo: memFree=827288/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1012548 CPUtime=882.02 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 253958 0 0 0 87889 313 0 0 25 0 1 0 25677251 1036849152 252593 1992294400 134512640 135752675 4293581216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 253137 252593 146 303 0 252832 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 1012548 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28528 /proc/meminfo: memFree=772108/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1068292 CPUtime=942 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 267904 0 0 0 93867 333 0 0 25 0 1 0 25677251 1093931008 266539 1992294400 134512640 135752675 4293581216 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 267073 266539 146 303 0 266768 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1068292 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28530 /proc/meminfo: memFree=710480/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1129108 CPUtime=1001.98 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 283127 0 0 0 99848 350 0 0 25 0 1 0 25677251 1156206592 281762 1992294400 134512640 135752675 4293581216 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 282277 281762 146 303 0 281972 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1129108 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28532 /proc/meminfo: memFree=643148/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1197028 CPUtime=1061.97 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 300106 0 0 0 105827 370 0 0 25 0 1 0 25677251 1225756672 298741 1992294400 134512640 135752675 4293581216 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 299257 298741 146 303 0 298952 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1197028 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28534 /proc/meminfo: memFree=581272/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1258108 CPUtime=1121.95 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 315378 0 0 0 111805 390 0 0 25 0 1 0 25677251 1288302592 314013 1992294400 134512640 135752675 4293581216 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 314527 314013 146 303 0 314222 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1258108 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28534 /proc/meminfo: memFree=519148/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1320632 CPUtime=1181.94 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 330981 0 0 0 117786 408 0 0 25 0 1 0 25677251 1352327168 329616 1992294400 134512640 135752675 4293581216 18446744073709551615 134643618 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 330158 329616 146 303 0 329853 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1320632 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28536 /proc/meminfo: memFree=458636/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1380268 CPUtime=1241.91 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 345905 0 0 0 123764 427 0 0 25 0 1 0 25677251 1413394432 344540 1992294400 134512640 135752675 4293581216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 345067 344540 146 303 0 344762 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1380268 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28538 /proc/meminfo: memFree=403456/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1434876 CPUtime=1301.9 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 359539 0 0 0 129742 448 0 0 25 0 1 0 25677251 1469313024 358174 1992294400 134512640 135752675 4293581216 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 358719 358175 146 303 0 358414 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1434876 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28540 /proc/meminfo: memFree=345300/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1493460 CPUtime=1361.87 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 374181 0 0 0 135718 469 0 0 25 0 1 0 25677251 1529303040 372816 1992294400 134512640 135752675 4293581216 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 373365 372816 146 303 0 373060 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1493460 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28551 /proc/meminfo: memFree=286400/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1551608 CPUtime=1421.85 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 388728 0 0 0 141696 489 0 0 25 0 1 0 25677251 1588846592 387363 1992294400 134512640 135752675 4293581216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 387902 387363 146 303 0 387597 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1551608 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28551 /proc/meminfo: memFree=223160/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1615296 CPUtime=1481.82 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 404647 0 0 0 147673 509 0 0 25 0 1 0 25677251 1654063104 403282 1992294400 134512640 135752675 4293581216 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 403824 403282 146 303 0 403519 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 1615296 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28553 /proc/meminfo: memFree=160416/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1677540 CPUtime=1541.81 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 420229 0 0 0 153652 529 0 0 25 0 1 0 25677251 1717800960 418864 1992294400 134512640 135752675 4293581216 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 419385 418864 146 303 0 419080 0 Current children cumulated CPU time (s) 1541.81 Current children cumulated vsize (KiB) 1677540 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28555 /proc/meminfo: memFree=99284/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1739156 CPUtime=1601.79 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 435629 0 0 0 159633 546 0 0 25 0 1 0 25677251 1780895744 434264 1992294400 134512640 135752675 4293581216 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 434789 434264 146 303 0 434484 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1739156 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28557 /proc/meminfo: memFree=34928/2059040 swapFree=4139772/4192956 [pid=28503] ppid=28501 vsize=1803024 CPUtime=1661.76 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 451563 0 0 0 165613 563 0 0 25 0 1 0 25677251 1846296576 450198 1992294400 134512640 135752675 4293581216 18446744073709551615 134638140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 450756 450198 146 303 0 450451 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1803024 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1708.2 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28559 /proc/meminfo: memFree=10100/2059040 swapFree=4139484/4192956 [pid=28503] ppid=28501 vsize=1843244 CPUtime=1707.67 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4202496 461602 0 0 0 170187 580 0 0 25 0 1 0 25677251 1887481856 460237 1992294400 134512640 135752675 4293581216 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28503/statm: 460811 460237 146 303 0 460506 0 Current children cumulated CPU time (s) 1707.67 Current children cumulated vsize (KiB) 1843244 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1708.32 s] /proc/loadavg: 0.99 0.97 0.91 2/106 28559 /proc/meminfo: memFree=10100/2059040 swapFree=4139484/4192956 [pid=28503] ppid=28501 vsize=0 CPUtime=1707.77 /proc/28503/stat : 28503 (wbo1.4b) R 28501 28503 28390 0 -1 4203524 461602 0 0 0 170187 590 0 0 25 0 1 0 25677251 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28503/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1707.77 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1708.37 CPU time (s): 1707.83 CPU user time (s): 1701.87 CPU system time (s): 5.95909 CPU usage (%): 99.9684 Max. virtual memory (cumulated for all children) (KiB): 1843244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1701.87 system time used= 5.95909 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461602 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= 12 involuntary context switches= 1859 runsolver used 2.84657 second user time and 8.05477 second system time The end
Begin job on node081 at 2010-07-08 09:38:05 IDJOB=2702681 IDBENCH=48275 IDSOLVER=1190 FILE ID=node081/2702681-1278574685 PBS_JOBID= 11240067 Free space on /tmp= 121872 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_3.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-2702681-1278574685/watcher-2702681-1278574685 -o /tmp/evaluation-result-2702681-1278574685/solver-2702681-1278574685 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702681-1278574685.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9fd52bec996ed780d55ecea52b6ce11a RANDOM SEED=890864844 node081.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.242 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.48 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.242 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 : 5999.38 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1841772 kB Buffers: 27556 kB Cached: 105420 kB SwapCached: 6776 kB Active: 87500 kB Inactive: 59240 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1841772 kB SwapTotal: 4192956 kB SwapFree: 4139772 kB Dirty: 3136 kB Writeback: 0 kB AnonPages: 11780 kB Mapped: 12076 kB Slab: 48736 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182892 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702681-1278574685.opb Free space on /tmp at the end= 121868 MiB End job on node081 at 2010-07-08 10:06:36