Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.6 | ? (TO) | 1800.19 | 1800.11 |
Name | /OPT-SMALLINT-LIN/ kullmann/normalized-sbox_8_shg.opb |
MD5SUM | 3cb4e48d7e295175417c2e8c2155aba3 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 655 |
Best CPU time to get the best result obtained on this benchmark | 1800.57 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 136253 |
Total number of constraints | 65280 |
Number of constraints which are clauses | 65280 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 170 |
Maximum length of a constraint | 1517 |
Number of terms in the objective function | 136253 |
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 | 136253 |
Number of bits of the sum of numbers in the objective function | 18 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 136253 |
Number of bits of the biggest sum of numbers | 18 |
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.01 c wbo 1.6 beta - 20110321 0.00/0.01 c Parsing opb file format. File HOME/instance-3479398-1307448647.opb. 0.00/0.01 c Instance file HOME/instance-3479398-1307448647.opb 0.00/0.01 c File size is 602898033 bytes. 57.69/57.76 c Highest Coefficient sum: 1518 57.69/57.76 c ============================[ Problem Statistics ]============================= 57.69/57.76 c | | 57.69/57.76 c | Parsing time: 57.48 s | 57.69/57.76 c | Number Variables: 136253 | 57.69/57.76 c | Number Clauses: 65280 | 57.69/57.76 c | Number Cardinality: 0 | 57.69/57.76 c | Number PB Constraints: 0 | 58.20/58.26 c ============================[ Search Statistics ]============================== 58.20/58.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.20/58.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.20/58.26 c =============================================================================== 58.20/58.27 c | 0 | 136253 65280 59122688 | 21760 0 -nan | 0.000 % | 153.90/153.91 c core #1 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 927 Core Weight: 1 Total Weight: 1 153.90/153.91 c Current CPU time: 60.9647 s 153.90/153.91 c 153.90/153.91 c core #2 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 403 Core Weight: 1 Total Weight: 2 153.90/153.91 c Current CPU time: 63.6413 s 153.90/153.91 c 153.90/153.91 c core #3 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 462 Core Weight: 1 Total Weight: 3 153.90/153.91 c Current CPU time: 66.2839 s 153.90/153.91 c 153.90/153.91 c core #4 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 519 Core Weight: 1 Total Weight: 4 153.90/153.91 c Current CPU time: 68.9525 s 153.90/153.91 c 153.90/153.91 c core #5 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 571 Core Weight: 1 Total Weight: 5 153.90/153.91 c Current CPU time: 71.6081 s 153.90/153.91 c 153.90/153.91 c core #6 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 878 Core Weight: 1 Total Weight: 6 153.90/153.91 c Current CPU time: 74.2377 s 153.90/153.91 c 153.90/153.91 c core #7 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 436 Core Weight: 1 Total Weight: 7 153.90/153.91 c Current CPU time: 76.8953 s 153.90/153.91 c 153.90/153.91 c core #8 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 907 Core Weight: 1 Total Weight: 8 153.90/153.91 c Current CPU time: 79.5579 s 153.90/153.91 c 153.90/153.91 c core #9 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 408 Core Weight: 1 Total Weight: 9 153.90/153.91 c Current CPU time: 82.2455 s 153.90/153.91 c 153.90/153.91 c core #10 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 567 Core Weight: 1 Total Weight: 10 153.90/153.91 c Current CPU time: 84.9661 s 153.90/153.91 c 153.90/153.91 c core #11 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 486 Core Weight: 1 Total Weight: 11 153.90/153.91 c Current CPU time: 87.6577 s 153.90/153.91 c 153.90/153.91 c core #12 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 855 Core Weight: 1 Total Weight: 12 153.90/153.91 c Current CPU time: 90.4353 s 153.90/153.91 c 153.90/153.91 c core #13 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 367 Core Weight: 1 Total Weight: 13 153.90/153.91 c Current CPU time: 93.1818 s 153.90/153.91 c 153.90/153.91 c core #14 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 523 Core Weight: 1 Total Weight: 14 153.90/153.91 c Current CPU time: 96.0044 s 153.90/153.91 c 153.90/153.91 c core #15 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 938 Core Weight: 1 Total Weight: 15 153.90/153.91 c Current CPU time: 98.825 s 153.90/153.91 c 153.90/153.91 c core #16 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 344 Core Weight: 1 Total Weight: 16 153.90/153.91 c Current CPU time: 101.706 s 153.90/153.91 c 153.90/153.91 c core #17 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 509 Core Weight: 1 Total Weight: 17 153.90/153.91 c Current CPU time: 104.625 s 153.90/153.91 c 153.90/153.91 c core #18 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 609 Core Weight: 1 Total Weight: 18 153.90/153.91 c Current CPU time: 107.553 s 153.90/153.91 c 153.90/153.91 c core #19 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 428 Core Weight: 1 Total Weight: 19 153.90/153.91 c Current CPU time: 110.535 s 153.90/153.91 c 153.90/153.91 c core #20 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 630 Core Weight: 1 Total Weight: 20 153.90/153.91 c Current CPU time: 113.523 s 153.90/153.91 c 153.90/153.91 c core #21 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 313 Core Weight: 1 Total Weight: 21 153.90/153.91 c Current CPU time: 116.555 s 153.90/153.91 c 153.90/153.91 c core #22 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 521 Core Weight: 1 Total Weight: 22 153.90/153.91 c Current CPU time: 119.572 s 153.90/153.91 c 153.90/153.91 c core #23 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 414 Core Weight: 1 Total Weight: 23 153.90/153.91 c Current CPU time: 122.637 s 153.90/153.91 c 153.90/153.91 c core #24 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 824 Core Weight: 1 Total Weight: 24 153.90/153.91 c Current CPU time: 125.679 s 153.90/153.91 c 153.90/153.91 c core #25 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 366 Core Weight: 1 Total Weight: 25 153.90/153.91 c Current CPU time: 128.746 s 153.90/153.91 c 153.90/153.91 c core #26 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 481 Core Weight: 1 Total Weight: 26 153.90/153.91 c Current CPU time: 131.817 s 153.90/153.91 c 153.90/153.91 c core #27 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 326 Core Weight: 1 Total Weight: 27 153.90/153.91 c Current CPU time: 134.896 s 153.90/153.91 c 153.90/153.91 c core #28 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 374 Core Weight: 1 Total Weight: 28 153.90/153.91 c Current CPU time: 137.994 s 153.90/153.91 c 153.90/153.91 c core #29 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 423 Core Weight: 1 Total Weight: 29 153.90/153.91 c Current CPU time: 141.076 s 153.90/153.91 c 153.90/153.91 c core #30 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 415 Core Weight: 1 Total Weight: 30 153.90/153.91 c Current CPU time: 144.199 s 153.90/153.91 c 153.90/153.91 c core #31 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 375 Core Weight: 1 Total Weight: 31 153.90/153.91 c Current CPU time: 147.283 s 153.90/153.91 c 153.90/153.91 c core #32 153.90/153.91 c 153.90/153.91 c 153.90/153.91 c Core size: 381 Core Weight: 1 Total Weight: 32 153.90/153.91 c Current CPU time: 150.423 s 153.90/153.91 c 153.90/153.91 c ============================[ Search Statistics ]============================== 153.90/153.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 153.90/153.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 153.90/153.91 c =============================================================================== 153.90/153.91 c | 0 | 33063 201565 59052861 | 67188 0 -nan | 0.000 % | 153.90/153.94 c =============================================================================== 157.10/157.10 c core #33 157.10/157.10 c 157.10/157.10 c 157.10/157.10 c Core size: 1412 Core Weight: 1 Total Weight: 33 157.10/157.10 c Current CPU time: 153.548 s 157.10/157.10 c 157.10/157.10 c ============================[ Search Statistics ]============================== 157.10/157.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 157.10/157.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 157.10/157.10 c =============================================================================== 157.10/157.10 c | 0 | 36467 201566 59177510 | 67188 0 -nan | 0.000 % | 157.10/157.18 c | 100 | 36467 201566 59177510 | 73907 100 97 | 76.413 % | 157.20/157.27 c | 253 | 36467 201566 59177510 | 81298 253 323 | 76.413 % | 157.31/157.36 c | 478 | 36467 201566 59177510 | 89428 478 627 | 76.415 % | 157.31/157.38 c =============================================================================== 160.50/160.51 c core #34 160.50/160.51 c 160.50/160.51 c 160.50/160.51 c Core size: 1089 Core Weight: 1 Total Weight: 34 160.50/160.51 c Current CPU time: 156.986 s 160.50/160.51 c 160.50/160.51 c ============================[ Search Statistics ]============================== 160.50/160.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 160.50/160.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 160.50/160.51 c =============================================================================== 160.50/160.51 c | 0 | 38585 201567 59180716 | 67189 0 -nan | 0.000 % | 160.50/160.58 c | 100 | 38585 201567 59180716 | 73907 100 187 | 75.218 % | 160.61/160.64 c | 250 | 38585 201567 59180716 | 81298 250 183 | 75.218 % | 160.70/160.70 c | 476 | 38585 201567 59180716 | 89428 476 303 | 75.218 % | 160.80/160.82 c | 815 | 38585 201567 59180716 | 98371 815 521 | 75.218 % | 161.10/161.17 c | 1321 | 38585 201567 59180716 | 108208 1321 570 | 75.219 % | 161.50/161.53 c =============================================================================== 164.70/164.74 c core #35 164.70/164.74 c 164.70/164.74 c 164.70/164.74 c Core size: 6479 Core Weight: 1 Total Weight: 35 164.70/164.74 c Current CPU time: 161.137 s 164.70/164.74 c 164.70/164.74 c ============================[ Search Statistics ]============================== 164.70/164.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 164.70/164.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 164.70/164.74 c =============================================================================== 164.70/164.74 c | 0 | 49060 201568 59197666 | 67189 0 -nan | 0.000 % | 164.80/164.82 c | 100 | 49060 201568 59197666 | 73908 100 815 | 69.748 % | 165.79/165.86 c | 250 | 49060 201568 59197666 | 81299 250 1046 | 69.748 % | 165.89/165.98 c | 476 | 49060 201568 59197666 | 89429 476 847 | 69.748 % | 166.20/166.23 c | 819 | 49060 201568 59197666 | 98371 819 732 | 69.748 % | 166.70/166.72 c | 1332 | 49060 201568 59197666 | 108209 1332 929 | 69.748 % | 167.39/167.40 c | 2091 | 49058 201568 59197666 | 119030 2091 1280 | 69.750 % | 167.39/167.48 c =============================================================================== 170.70/170.72 c core #36 170.70/170.72 c 170.70/170.72 c 170.70/170.72 c Core size: 3176 Core Weight: 1 Total Weight: 36 170.70/170.72 c Current CPU time: 167.066 s 170.70/170.72 c 170.70/170.72 c ============================[ Search Statistics ]============================== 170.70/170.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 170.70/170.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 170.70/170.72 c =============================================================================== 170.70/170.72 c | 0 | 54420 201569 59206201 | 67189 0 -nan | 0.000 % | 170.70/170.79 c | 100 | 54420 201569 59206201 | 73908 100 829 | 67.087 % | 170.80/170.87 c | 250 | 54420 201569 59206201 | 81299 250 454 | 67.087 % | 172.80/172.86 c | 475 | 54420 201569 59206201 | 89429 475 488 | 67.087 % | 175.00/175.08 c | 812 | 54420 201569 59206201 | 98372 812 618 | 67.087 % | 177.50/177.57 c | 1318 | 54420 201569 59206201 | 108209 1318 717 | 67.087 % | 181.19/181.22 c | 2080 | 54420 201569 59206201 | 119030 2080 866 | 67.087 % | 184.40/184.45 c | 3220 | 54420 201569 59206201 | 130933 3220 887 | 67.087 % | 189.00/189.07 c | 4928 | 54420 201569 59206201 | 144027 4928 966 | 67.087 % | 196.40/196.41 c | 7490 | 54420 201569 59206201 | 158429 7490 991 | 67.087 % | 212.00/212.03 c | 11337 | 54420 201569 59206201 | 174272 11337 906 | 67.087 % | 231.30/231.36 c | 17109 | 54420 201569 59206201 | 191699 17109 875 | 67.087 % | 266.21/266.24 c | 25758 | 54420 201569 59206201 | 210869 25758 739 | 67.087 % | 324.61/324.67 c | 38732 | 54420 201569 59206201 | 231956 38732 654 | 67.087 % | 425.91/425.90 c =============================================================================== 429.21/429.20 c core #37 429.21/429.20 c 429.21/429.20 c 429.21/429.20 c Core size: 614 Core Weight: 1 Total Weight: 37 429.21/429.20 c Current CPU time: 425.158 s 429.21/429.20 c 429.21/429.20 c ============================[ Search Statistics ]============================== 429.21/429.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 429.21/429.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 429.21/429.20 c =============================================================================== 429.21/429.20 c | 0 | 55627 201570 59208019 | 67190 0 -nan | 0.000 % | 429.21/429.27 c | 100 | 55627 201570 59208019 | 73909 100 739 | 66.481 % | 430.12/430.13 c | 250 | 55627 201570 59208019 | 81299 250 854 | 66.481 % | 430.71/430.77 c | 477 | 55627 201570 59208019 | 89429 477 946 | 66.481 % | 431.41/431.42 c | 818 | 55627 201570 59208019 | 98372 818 1242 | 66.481 % | 432.50/432.56 c | 1329 | 55627 201570 59208019 | 108210 1329 1299 | 66.481 % | 433.81/433.86 c | 2089 | 55627 201570 59208019 | 119031 2089 1436 | 66.481 % | 436.01/436.09 c | 3229 | 55627 201570 59208019 | 130934 3229 1417 | 66.481 % | 445.81/445.88 c | 4941 | 55626 201570 59208019 | 144027 4941 1303 | 66.482 % | 458.31/458.36 c | 7503 | 55626 201570 59208019 | 158430 7503 1320 | 66.482 % | 476.51/476.53 c | 11347 | 55626 201570 59208019 | 174273 11347 1205 | 66.482 % | 499.21/499.22 c =============================================================================== 502.51/502.51 c core #38 502.51/502.51 c 502.51/502.51 c 502.51/502.51 c Core size: 8972 Core Weight: 1 Total Weight: 38 502.51/502.51 c Current CPU time: 498.308 s 502.51/502.51 c 502.51/502.51 c ============================[ Search Statistics ]============================== 502.51/502.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 502.51/502.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 502.51/502.51 c =============================================================================== 502.51/502.51 c | 0 | 70337 201571 59231700 | 67190 0 -nan | 0.000 % | 502.51/502.59 c | 100 | 70337 201571 59231700 | 73909 100 819 | 59.791 % | 503.21/503.27 c | 250 | 70337 201571 59231700 | 81300 250 947 | 59.791 % | 505.71/505.78 c | 475 | 70337 201571 59231700 | 89430 475 1106 | 59.791 % | 507.02/507.07 c | 814 | 70337 201571 59231700 | 98373 814 1220 | 59.791 % | 508.23/508.22 c | 1320 | 70337 201571 59231700 | 108210 1320 1040 | 59.791 % | 511.42/511.47 c | 2079 | 70337 201571 59231700 | 119031 2079 1193 | 59.791 % | 514.62/514.69 c | 3219 | 70337 201571 59231700 | 130934 3219 1450 | 59.791 % | 518.71/518.77 c | 4928 | 70337 201571 59231700 | 144028 4928 1577 | 59.791 % | 531.62/531.66 c | 7495 | 70337 201571 59231700 | 158431 7495 1612 | 59.791 % | 544.01/544.00 c | 11339 | 70337 201571 59231700 | 174274 11339 1610 | 59.791 % | 575.52/575.50 c | 17105 | 70337 201571 59231700 | 191701 17105 1794 | 59.791 % | 616.32/616.31 c | 25756 | 70337 201571 59231700 | 210872 25756 1891 | 59.791 % | 705.32/705.34 c | 38731 | 70337 201571 59231700 | 231959 38731 1998 | 59.791 % | 827.33/827.32 c | 58193 | 70337 201571 59231700 | 255155 58193 2026 | 59.791 % | 1027.24/1027.21 c | 87388 | 70337 201571 59231700 | 280670 87388 1970 | 59.791 % | 1407.55/1407.52 c | 131178 | 70337 201571 59231700 | 308737 131178 2145 | 59.791 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479398-1307448647/watcher-3479398-1307448647 -o /tmp/evaluation-result-3479398-1307448647/solver-3479398-1307448647 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479398-1307448647.opb running on 4 cores: 0,2,4,6 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): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.19 2.04 2.01 3/437 1634 /proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=591592 CPUtime=0 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 479 0 0 0 0 0 0 0 24 0 1 0 837282169 605790208 432 33554432000 4194304 5714214 140734537566000 18446744073709551615 4315342 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 147898 432 164 372 0 331 0 [startup+0.077462 s] /proc/loadavg: 2.19 2.04 2.01 3/437 1634 /proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=612292 CPUtime=0.06 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 5853 0 0 0 6 0 0 0 24 0 1 0 837282169 626987008 5314 33554432000 4194304 5714214 140734537566000 18446744073709551615 4315409 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 153073 5316 364 372 0 5506 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 612292 [startup+0.100462 s] /proc/loadavg: 2.19 2.04 2.01 3/437 1634 /proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=620788 CPUtime=0.08 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 7578 0 0 0 8 0 0 0 24 0 1 0 837282169 635686912 6846 33554432000 4194304 5714214 140734537566000 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 155197 6849 422 372 0 7630 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 620788 [startup+0.30042 s] /proc/loadavg: 2.19 2.04 2.01 3/437 1634 /proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=625688 CPUtime=0.29 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 10140 0 0 0 28 1 0 0 25 0 1 0 837282169 640704512 9151 33554432000 4194304 5714214 140734537566000 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 156422 9151 938 372 0 8855 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 625688 [startup+0.700356 s] /proc/loadavg: 2.19 2.04 2.01 3/437 1634 /proc/meminfo: memFree=23045556/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=627548 CPUtime=0.69 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 11636 0 0 0 68 1 0 0 25 0 1 0 837282169 642609152 10647 33554432000 4194304 5714214 140734537566000 18446744073709551615 5209042 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 156887 10647 1988 372 0 9320 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 627548 [startup+1.50022 s] /proc/loadavg: 2.33 2.08 2.02 3/438 1635 /proc/meminfo: memFree=23008584/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=631164 CPUtime=1.48 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 14613 0 0 0 147 1 0 0 25 0 1 0 837282169 646311936 13624 33554432000 4194304 5714214 140734537566000 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 157791 13624 4071 372 0 10224 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 631164 [startup+3.1009 s] /proc/loadavg: 2.33 2.08 2.02 3/438 1635 /proc/meminfo: memFree=23004988/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=637972 CPUtime=3.09 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 20406 0 0 0 307 2 0 0 25 0 1 0 837282169 653283328 19417 33554432000 4194304 5714214 140734537566000 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 159493 19417 8133 372 0 11926 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 637972 [startup+6.30027 s] /proc/loadavg: 2.33 2.08 2.02 3/438 1635 /proc/meminfo: memFree=22984284/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=651964 CPUtime=6.28 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 31973 0 0 0 625 3 0 0 25 0 1 0 837282169 667611136 30984 33554432000 4194304 5714214 140734537566000 18446744073709551615 4222980 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 162991 30984 16231 372 0 15424 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 651964 [startup+12.701 s] /proc/loadavg: 2.28 2.07 2.02 3/438 1635 /proc/meminfo: memFree=22955188/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=679816 CPUtime=12.69 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 55247 0 0 0 1262 7 0 0 25 0 1 0 837282169 696131584 54258 33554432000 4194304 5714214 140734537566000 18446744073709551615 4223157 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 169954 54258 32553 372 0 22387 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 679816 [startup+25.5004 s] /proc/loadavg: 2.24 2.07 2.02 3/438 1635 /proc/meminfo: memFree=22891080/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=735388 CPUtime=25.49 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 101750 0 0 0 2536 13 0 0 25 0 1 0 837282169 753037312 100761 33554432000 4194304 5714214 140734537566000 18446744073709551615 4228548 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 183847 100761 65158 372 0 36280 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 735388 [startup+51.1004 s] /proc/loadavg: 2.16 2.06 2.02 3/438 1636 /proc/meminfo: memFree=22763532/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=846064 CPUtime=51.09 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 194705 0 0 0 5084 25 0 0 25 0 1 0 837282169 866369536 193716 33554432000 4194304 5714214 140734537566000 18446744073709551615 5201120 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 211516 193716 130456 372 0 63949 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 846064 [startup+102.316 s] /proc/loadavg: 2.06 2.05 2.01 3/438 1637 /proc/meminfo: memFree=22387392/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=609468 CPUtime=102.31 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 314322 0 0 0 10192 39 0 0 25 0 1 0 837282169 624095232 150906 33554432000 4194304 5714214 140734537566000 18446744073709551615 4356115 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 152367 150906 175 372 0 151992 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 609468 [startup+162.3 s] /proc/loadavg: 2.09 2.06 2.01 3/438 1639 /proc/meminfo: memFree=22229668/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=628088 CPUtime=162.3 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 320422 0 0 0 16188 42 0 0 25 0 1 0 837282169 643162112 154675 33554432000 4194304 5714214 140734537566000 18446744073709551615 4345924 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 157022 154675 180 372 0 156647 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 628088 [startup+222.3 s] /proc/loadavg: 2.03 2.04 2.01 3/438 1641 /proc/meminfo: memFree=22238704/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=615900 CPUtime=222.3 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 321792 0 0 0 22178 52 0 0 25 0 1 0 837282169 630681600 152344 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 153975 152344 180 372 0 153600 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 615900 [startup+282.3 s] /proc/loadavg: 2.06 2.05 2.00 3/438 1642 /proc/meminfo: memFree=22237536/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=615900 CPUtime=282.3 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 321792 0 0 0 28173 57 0 0 25 0 1 0 837282169 630681600 152344 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 153975 152344 180 372 0 153600 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 615900 [startup+342.301 s] /proc/loadavg: 2.02 2.04 2.00 3/438 1644 /proc/meminfo: memFree=22237736/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=615900 CPUtime=342.3 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 321792 0 0 0 34164 66 0 0 25 0 1 0 837282169 630681600 152344 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311873 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 153975 152344 180 372 0 153600 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 615900 [startup+402.301 s] /proc/loadavg: 2.00 2.03 2.00 3/438 1645 /proc/meminfo: memFree=22235980/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=620760 CPUtime=402.3 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 323014 0 0 0 40158 72 0 0 25 0 1 0 837282169 635658240 153566 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 155190 153566 180 372 0 154815 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 620760 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/438 1647 /proc/meminfo: memFree=21949140/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=905596 CPUtime=462.31 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393704 0 0 0 46140 91 0 0 25 0 1 0 837282169 927330304 224256 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 226399 224256 180 372 0 226024 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 905596 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/438 1649 /proc/meminfo: memFree=21948248/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=905596 CPUtime=522.31 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393783 0 0 0 52125 106 0 0 25 0 1 0 837282169 927330304 224335 33554432000 4194304 5714214 140734537566000 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 226399 224335 180 372 0 226024 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 905596 [startup+582.301 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1650 /proc/meminfo: memFree=21947708/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=905596 CPUtime=582.31 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393783 0 0 0 58116 115 0 0 25 0 1 0 837282169 927330304 224335 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200288 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 226399 224335 180 372 0 226024 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 905596 [startup+642.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.03 2.02 2.00 3/438 1685 /proc/meminfo: memFree=22621752/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=905596 CPUtime=822.33 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 393783 0 0 0 82093 140 0 0 25 0 1 0 837282169 927330304 224335 33554432000 4194304 5714214 140734537566000 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 226399 224335 180 372 0 226024 0 Current children cumulated CPU time (s) 822.33 Current children cumulated vsize (KiB) 905596 [startup+882.3 s] /proc/loadavg: 2.01 2.01 2.00 3/438 1689 /proc/meminfo: memFree=22486628/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=905596 CPUtime=882.33 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 394838 0 0 0 88087 146 0 0 25 0 1 0 837282169 927330304 225390 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 226399 225390 180 372 0 226024 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 905596 [startup+942.3 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1691 /proc/meminfo: memFree=22334680/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=956936 CPUtime=942.33 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 407632 0 0 0 94080 153 0 0 25 0 1 0 837282169 979902464 238184 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311837 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 239234 238184 180 372 0 238859 0 Current children cumulated CPU time (s) 942.33 Current children cumulated vsize (KiB) 956936 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1692 /proc/meminfo: memFree=22100892/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1023832 CPUtime=1002.33 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 424365 0 0 0 100071 162 0 0 25 0 1 0 837282169 1048403968 254917 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 255958 254917 180 372 0 255583 0 Current children cumulated CPU time (s) 1002.33 Current children cumulated vsize (KiB) 1023832 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1694 /proc/meminfo: memFree=21958368/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1091660 CPUtime=1062.34 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 441188 0 0 0 106066 168 0 0 25 0 1 0 837282169 1117859840 271740 33554432000 4194304 5714214 140734537566000 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 272915 271740 180 372 0 272540 0 Current children cumulated CPU time (s) 1062.34 Current children cumulated vsize (KiB) 1091660 [startup+1122.3 s] /proc/loadavg: 2.12 2.03 2.01 3/438 1696 /proc/meminfo: memFree=21887120/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1162312 CPUtime=1122.34 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 458814 0 0 0 112059 175 0 0 25 0 1 0 837282169 1190207488 289366 33554432000 4194304 5714214 140734537566000 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 290578 289366 180 372 0 290203 0 Current children cumulated CPU time (s) 1122.34 Current children cumulated vsize (KiB) 1162312 [startup+1182.3 s] /proc/loadavg: 2.10 2.04 2.01 3/438 1697 /proc/meminfo: memFree=21880760/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1225472 CPUtime=1182.34 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 474574 0 0 0 118052 182 0 0 25 0 1 0 837282169 1254883328 305126 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 306368 305126 180 372 0 305993 0 Current children cumulated CPU time (s) 1182.34 Current children cumulated vsize (KiB) 1225472 [startup+1242.3 s] /proc/loadavg: 2.20 2.06 2.01 3/438 1699 /proc/meminfo: memFree=21808160/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1297192 CPUtime=1242.35 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 492312 0 0 0 124047 188 0 0 25 0 1 0 837282169 1328324608 322864 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 324298 322864 180 372 0 323923 0 Current children cumulated CPU time (s) 1242.35 Current children cumulated vsize (KiB) 1297192 [startup+1302.3 s] /proc/loadavg: 2.07 2.05 2.01 3/438 1700 /proc/meminfo: memFree=21726676/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1377172 CPUtime=1302.36 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 512291 0 0 0 130040 196 0 0 25 0 1 0 837282169 1410224128 342843 33554432000 4194304 5714214 140734537566000 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 344293 342843 180 372 0 343918 0 Current children cumulated CPU time (s) 1302.36 Current children cumulated vsize (KiB) 1377172 [startup+1362.3 s] /proc/loadavg: 2.02 2.04 2.00 3/438 1702 /proc/meminfo: memFree=21653488/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1450996 CPUtime=1362.35 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 530703 0 0 0 136035 200 0 0 25 0 1 0 837282169 1485819904 361255 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311824 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 362749 361255 180 372 0 362374 0 Current children cumulated CPU time (s) 1362.35 Current children cumulated vsize (KiB) 1450996 [startup+1422.32 s] /proc/loadavg: 2.01 2.03 2.00 3/438 1704 /proc/meminfo: memFree=21580184/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1522412 CPUtime=1422.38 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 548479 0 0 0 142032 206 0 0 25 0 1 0 837282169 1558949888 379031 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 380603 379031 180 372 0 380228 0 Current children cumulated CPU time (s) 1422.38 Current children cumulated vsize (KiB) 1522412 [startup+1482.3 s] /proc/loadavg: 2.00 2.02 2.00 3/438 1705 /proc/meminfo: memFree=21477732/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1627244 CPUtime=1482.35 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 574528 0 0 0 148021 214 0 0 25 0 1 0 837282169 1666297856 405080 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311854 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 406811 405080 180 372 0 406436 0 Current children cumulated CPU time (s) 1482.35 Current children cumulated vsize (KiB) 1627244 [startup+1542.3 s] /proc/loadavg: 2.00 2.02 2.00 3/438 1707 /proc/meminfo: memFree=21396728/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1707608 CPUtime=1542.36 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 594498 0 0 0 154017 219 0 0 25 0 1 0 837282169 1748590592 425050 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311917 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 426902 425050 180 372 0 426527 0 Current children cumulated CPU time (s) 1542.36 Current children cumulated vsize (KiB) 1707608 [startup+1602.3 s] /proc/loadavg: 2.00 2.01 2.00 3/438 1708 /proc/meminfo: memFree=21323420/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1781512 CPUtime=1602.36 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 612804 0 0 0 160013 223 0 0 25 0 1 0 837282169 1824268288 443356 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311911 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 445378 443356 180 372 0 445003 0 Current children cumulated CPU time (s) 1602.36 Current children cumulated vsize (KiB) 1781512 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 2.00 3/438 1710 /proc/meminfo: memFree=21254572/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1851188 CPUtime=1662.36 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 630003 0 0 0 166007 229 0 0 25 0 1 0 837282169 1895616512 460555 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 462797 460555 180 372 0 462422 0 Current children cumulated CPU time (s) 1662.36 Current children cumulated vsize (KiB) 1851188 [startup+1722.3 s] /proc/loadavg: 2.03 2.01 2.00 3/438 1712 /proc/meminfo: memFree=21192044/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1914540 CPUtime=1722.37 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 645746 0 0 0 172004 233 0 0 25 0 1 0 837282169 1960488960 476298 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311894 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 478635 476298 180 372 0 478260 0 Current children cumulated CPU time (s) 1722.37 Current children cumulated vsize (KiB) 1914540 [startup+1782.3 s] /proc/loadavg: 2.10 2.04 2.01 3/438 1713 /proc/meminfo: memFree=21127160/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1978180 CPUtime=1782.37 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 661547 0 0 0 177998 239 0 0 25 0 1 0 837282169 2025656320 492099 33554432000 4194304 5714214 140734537566000 18446744073709551615 4311907 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 494545 492099 180 372 0 494170 0 Current children cumulated CPU time (s) 1782.37 Current children cumulated vsize (KiB) 1978180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.08 2.04 2.01 3/438 1714 /proc/meminfo: memFree=21106080/32951124 swapFree=50923800/67111528 [pid=1634] ppid=1632 vsize=1999524 CPUtime=1800.08 cores=0,2,4,6 /proc/1634/stat : 1634 (wbo1.6) R 1632 1634 656 0 -1 4202496 666921 0 0 0 179767 241 0 0 25 0 1 0 837282169 2047512576 497473 33554432000 4194304 5714214 140734537566000 18446744073709551615 4200768 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/1634/statm: 499881 497473 180 372 0 499506 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1999524 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.11 CPU time (s): 1800.19 CPU user time (s): 1797.69 CPU system time (s): 2.49962 CPU usage (%): 100.004 Max. virtual memory (cumulated for all children) (KiB): 1999524 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.69 system time used= 2.49962 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 666921 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= 3892 runsolver used 7.83181 second user time and 16.7814 second system time The end
Begin job on node143 at 2011-06-07 14:11:06 IDJOB=3479398 IDBENCH=89906 IDSOLVER=1953 FILE ID=node143/3479398-1307448647 RUNJOBID= node143-1307436782-674 PBS_JOBID= 13519945 Free space on /tmp= 73436 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/kullmann/normalized-sbox_8_shg.opb COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479398-1307448647/watcher-3479398-1307448647 -o /tmp/evaluation-result-3479398-1307448647/solver-3479398-1307448647 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479398-1307448647.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3cb4e48d7e295175417c2e8c2155aba3 RANDOM SEED=1347564467 node143.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.846 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.69 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.846 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 : 5226.15 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.846 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 : 5332.74 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.846 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.846 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.75 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.846 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.83 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.846 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.74 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23045596 kB Buffers: 356360 kB Cached: 1420708 kB SwapCached: 9164 kB Active: 8850476 kB Inactive: 755832 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23045596 kB SwapTotal: 67111528 kB SwapFree: 50923800 kB Dirty: 592972 kB Writeback: 0 kB AnonPages: 7826460 kB Mapped: 22448 kB Slab: 150216 kB PageTables: 81144 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 116302720 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= 73412 MiB End job on node143 at 2011-06-07 14:41:08