0.00/0.00 c cpHydra_k_10 version 0.0
7.68/7.83 c CASE TO CLASSIFY:
7.68/7.83 c Case: 0
7.68/7.84 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.209500 | c 33 > 30.000000 | c 15 > 20.555900 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.988410 | c 14 > 8.238400 | c 11 > 13.390300 | c 12 > 4.308750 | c 21 > 3.809530 | c 20 > 85.790500 | c 22 > 5.916080 | c 23 > 66.926700 | c 24 > 22.222200 | c 25 > 879.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.422060 | c 2 > -1.000000 | c 10 > 16.505600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.343500 | c 32 > 0.000000 | c 5 > 14.695700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.85 c choco : 1801.0
7.68/7.85 c mistral : 1801.0
7.68/7.85 c abscon : 1801.0
7.68/7.85 c
7.68/7.85 c
7.77/7.92 c List of same ones: 10
7.77/7.92 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-10.xml
7.77/7.92 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.307800 | c 33 > 30.000000 | c 15 > 19.710600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.895210 | c 14 > 7.614710 | c 11 > 13.554300 | c 12 > 4.125610 | c 21 > 3.910240 | c 20 > 86.692200 | c 22 > 5.744560 | c 23 > 60.011500 | c 24 > 13.333300 | c 25 > 904.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.451210 | c 2 > -1.000000 | c 10 > 16.522500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.511800 | c 32 > 0.000000 | c 5 > 14.844800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.93 c choco : 1801.0
7.77/7.93 c mistral : 4.88
7.77/7.93 c abscon : 39.29
7.77/7.93 c
7.77/7.93 c
7.77/7.93 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-3.xml
7.77/7.93 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 11.664500 | c 33 > 30.000000 | c 15 > 20.195600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.881810 | c 14 > 7.876520 | c 11 > 8.370690 | c 12 > 9.230150 | c 21 > 3.787810 | c 20 > 88.335500 | c 22 > 5.916080 | c 23 > 71.686300 | c 24 > 28.571400 | c 25 > 918.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.370690 | c 2 > -1.000000 | c 10 > 16.626100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.728300 | c 32 > 0.000000 | c 5 > 15.002000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.94 c choco : 1801.0
7.77/7.94 c mistral : 17.86
7.77/7.94 c abscon : 189.77
7.77/7.94 c
7.77/7.94 c
7.77/7.94 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-11.xml
7.77/7.94 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 13.099600 | c 33 > 30.000000 | c 15 > 20.173700 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.806410 | c 14 > 7.781360 | c 11 > 8.495860 | c 12 > 9.051860 | c 21 > 4.004060 | c 20 > 86.900400 | c 22 > 5.744560 | c 23 > 61.404600 | c 24 > 10.000000 | c 25 > 923.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.495860 | c 2 > -1.000000 | c 10 > 16.557900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 13.572200 | c 32 > 0.000000 | c 5 > 14.907500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.95 c choco : 1801.0
7.77/7.95 c mistral : 51.41
7.77/7.95 c abscon : 1801.0
7.77/7.95 c
7.77/7.95 c
7.77/7.95 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
7.77/7.95 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 19.452200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.059480 | c 14 > 9.417850 | c 11 > 12.164600 | c 12 > 4.765530 | c 21 > 3.107250 | c 20 > 85.421000 | c 22 > 5.000000 | c 23 > 65.371600 | c 24 > 25.000000 | c 25 > 490.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.960000 | c 2 > -1.000000 | c 10 > 15.614100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.084100 | c 32 > 0.000000 | c 5 > 13.597500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.96 c choco : 1801.0
7.77/7.96 c mistral : 3.36
7.77/7.96 c abscon : 15.51
7.77/7.96 c
7.77/7.96 c
7.77/7.96 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
7.77/7.96 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 23.800200 | c 33 > 30.000000 | c 15 > 19.804600 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.050950 | c 14 > 8.751540 | c 11 > 11.493900 | c 12 > 5.236670 | c 21 > 3.089090 | c 20 > 76.199800 | c 22 > 5.099020 | c 23 > 60.156700 | c 24 > 10.000000 | c 25 > 486.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.033420 | c 2 > -1.000000 | c 10 > 15.550000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.356500 | c 32 > 0.000000 | c 5 > 13.123300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.97 c choco : 1801.0
7.77/7.97 c mistral : 3.46
7.77/7.97 c abscon : 14.39
7.77/7.97 c
7.77/7.97 c
7.77/7.97 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
7.77/7.97 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 12.442600 | c 33 > 30.000000 | c 15 > 19.734000 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 6.396280 | c 14 > 8.434630 | c 11 > 12.538400 | c 12 > 4.143190 | c 21 > 3.130890 | c 20 > 87.557400 | c 22 > 4.898980 | c 23 > 64.366700 | c 24 > 20.000000 | c 25 > 461.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.174930 | c 2 > -1.000000 | c 10 > 15.494700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.466600 | c 32 > 0.000000 | c 5 > 13.885100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.98 c choco : 1801.0
7.77/7.98 c mistral : 5.03
7.77/7.98 c abscon : 102.03
7.77/7.98 c
7.77/7.98 c
7.77/7.98 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
7.77/7.98 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.049790 | c 33 > 30.000000 | c 15 > 20.795500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.418740 | c 14 > 8.118940 | c 11 > 9.219170 | c 12 > 8.571470 | c 21 > 4.902910 | c 20 > 98.950200 | c 22 > 6.708200 | c 23 > 82.224100 | c 24 > 22.222200 | c 25 > 350.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.219170 | c 2 > -1.000000 | c 10 > 17.177700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.980400 | c 32 > 0.000000 | c 5 > 17.155900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.98 c choco : 1801.0
7.77/7.98 c mistral : 137.37
7.77/7.98 c abscon : 1046.72
7.77/7.98 c
7.77/7.98 c
7.77/7.98 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
7.77/7.98 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.032270 | c 33 > 30.000000 | c 15 > 20.714300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.395630 | c 14 > 8.348730 | c 11 > 9.192290 | c 12 > 8.606890 | c 21 > 4.892560 | c 20 > 98.967700 | c 22 > 6.708200 | c 23 > 86.853200 | c 24 > 25.000000 | c 25 > 348.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.192290 | c 2 > -1.000000 | c 10 > 17.188200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994700 | c 32 > 0.000000 | c 5 > 17.167700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.77/7.99 c choco : 1801.0
7.77/7.99 c mistral : 98.85
7.77/7.99 c abscon : 1801.0
7.77/7.99 c
7.77/7.99 c
7.77/7.99 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.77/7.99 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.226990 | c 33 > 30.000000 | c 15 > 20.404900 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.487570 | c 14 > 8.546890 | c 11 > 9.255030 | c 12 > 8.456330 | c 21 > 3.902400 | c 20 > 98.773000 | c 22 > 6.000000 | c 23 > 66.609100 | c 24 > 13.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.255030 | c 2 > -1.000000 | c 10 > 17.018100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.512500 | c 32 > 0.000000 | c 5 > 16.686600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.00 c choco : 1801.0
7.85/8.00 c mistral : 43.86
7.85/8.00 c abscon : 262.21
7.85/8.00 c
7.85/8.00 c
7.85/8.00 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.85/8.00 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.895683 | c 33 > 30.000000 | c 15 > 20.466700 | c 34 > 30.000000 | c 16 > 23.000000 | c 13 > 7.445010 | c 14 > 8.507790 | c 11 > 9.394460 | c 12 > 8.546470 | c 21 > 4.014350 | c 20 > 99.104300 | c 22 > 5.830950 | c 23 > 63.995800 | c 24 > 12.500000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.394460 | c 2 > -1.000000 | c 10 > 17.300500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.994000 | c 32 > 0.000000 | c 5 > 17.128600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.85/8.01 c choco : 1801.0
7.85/8.01 c mistral : 38.33
7.85/8.01 c abscon : 568.38
7.85/8.01 c
7.85/8.01 c
7.85/8.01 c Length: 10
7.85/8.01 c 27.472214262463446 40.625633579204646 46.568496268921976 389.0255334393929 393.4998584674643 418.02817787108546 529.6207208470047 531.7803674476411 579.4674405842137 579.4923736678982
7.85/8.02 c
7.85/8.02 c 1.0 0.9767267618092121 0.9665632424112158 0.6042427591725089 0.6012978379061391 0.585650480557741 0.5236544940244732 0.5225838906576521 0.5000112920000965 0.5
7.85/8.02 c
7.85/8.02 c solver 0
7.85/8.02 c before 0.0 seconds: {} 0
7.85/8.02 c before 18.0 seconds: {3, 4} 1205
7.85/8.02 c before 54.0 seconds: {0, 3, 4} 2205
7.85/8.02 c before 108.0 seconds: {0, 3, 4, 5} 2791
7.85/8.02 c before 198.0 seconds: {0, 1, 3, 4, 5} 3767
7.85/8.02 c before 270.0 seconds: {0, 1, 3, 4, 5, 8} 4267
7.85/8.02 c before 576.0 seconds: {0, 1, 3, 4, 5, 8, 9} 4767
7.85/8.02 c before 1062.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9} 5291
7.85/8.02 c
7.85/8.02 c solver 1
7.85/8.02 c before 0.0 seconds: {} 0
7.85/8.02 c before 18.0 seconds: {0, 1, 3, 4, 5} 3767
7.85/8.02 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5734
7.85/8.02 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6257
7.85/8.02 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6780
7.85/8.02 c
7.85/8.02 c solver 2
7.85/8.02 c before 0.0 seconds: {} 0
7.85/8.02 c
7.85/8.02 cTotal time: 67
7.85/8.02 c 1206.0 seconds unused
7.85/8.02 c 0 c 0 c 8
7.85/8.02 c 2 c 0 c 10
7.85/8.02 c 0 c 0 c 0
7.85/8.02 c is solver0 dominated by:
7.85/8.02 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.85/8.02 c is dominated? true
7.85/8.02 c
7.85/8.02 c is solver1 dominated by:
7.85/8.02 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.85/8.02 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.85/8.02 c is dominated? false
7.85/8.02 c
7.85/8.02 c is solver2 dominated by:
7.85/8.02 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.85/8.02 c is dominated? true
7.85/8.02 c
7.85/8.02 c Number of non-dominated solvers: 1
7.85/8.02 c remove dominated solvers
7.85/8.02 c solver 1 is not dominated by another solver
7.85/8.03 c solver 2 is dominated by another solver
7.85/8.03 c solver 0 is dominated by another solver
7.85/8.03 c
7.85/8.03 c solver 0: 0.0
7.85/8.03 c
7.85/8.03 c solver 1: 144.0
7.85/8.03 c
7.85/8.03 c+ 8/8 of 92
7.85/8.03 c
7.85/8.03 c solver 2: 0.0
7.85/8.03 c do not run abscon
7.85/8.03 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6780
7.85/8.03 c do not run choco
7.85/8.03 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.85/8.03 c On Instance: HOME/instance-1058146-1215113130.xml
7.85/8.03 c Running for: 1800 seconds
1051.90/1062.09 c mistral-prime version 1.313
1051.90/1062.09 s SATISFIABLE
1051.90/1062.09 v 15 1 23 12 11 10 14 11 38 23 13 5 8 17 1 36 27 32 25 7 3 42 37 35 26 35 6 8 26 14 26 8 17 0 16 5 17 40 6 41 10 13 6 25 43 3 23 30 7 21 0 31 4 20 6 44 40 24 26 25 39 36 7 23 31 43 18 9 5 37 34 9 33 15 22 8 3 12 21 44 27 38 14 36 13 2 20 18 21 20 28 7 35 12 9 40 44 2 11 27 19 17 41 8 41 34 24 2 37 29 18 27 1 0 4 18 4 5 6 9 23 3 1 29 34 44 15 28 13 37 41 25 16 28 16 18 39 9 21 4 22 14 35 12 32 4 0 32 11 24 25 27 42 1 33 15 10 12 32 30 16 19 42 36 43 31 9 17 24 39 19 20 3 0 31 38 32 2 33 29 4 16 22 10 33 16 32 17 11 8 22 35 3 14 28 40 30 29 19 23 2 0 0 4 1 2 0 4 9 4 8 1 1 6 4 9 0 6 1 1 1 5 4 1 0 0 8 4 1 6 2 0 2 9 2 5 5 9 9 0 1 9 0 7 1 6 8 1 4 4 4 0 0 9 1 0 5 5 4 8 9 2 6 9 4 3 1 8 4 9 6 0 4 8 4 7 0 5 6 2 1 8 4 1 1 2 0 9 0 1 0 0 9 7 7 0 1 8 0 7 8 1 9 2 1 1 0 1 6 0 0 4 8 2 1 6 2 2 2 1 6 4 5 8 9 4 1 4 2 0 2 0 0 8 4 8 8 2 1 8 0 9 8 0 4 6 1 8 2 1 2 8 7 1 2 0 8 1 1 0 8 0 0 4 0 2 9 0 8 0 1 4 9 0 1 0 2 0 0 5 4 1 6 4 1 9 0 4 9 9 9 2 8 8 9 8 9 9 6 1
1051.90/1062.09 d CHECKS 1164584245
1051.90/1062.09 d ASSIGNMENTS 173060
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058146-1215113130/watcher-1058146-1215113130 -o /tmp/evaluation-result-1058146-1215113130/solver-1058146-1215113130 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058146-1215113130.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.97 1.91 4/80 12141
/proc/meminfo: memFree=1152304/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=0
/proc/12141/stat : 12141 (hydra) R 12139 12141 11402 0 -1 4194304 312 247 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12141/statm: 1340 236 195 169 0 51 0
[pid=12144] ppid=12141 vsize=5360 CPUtime=0
/proc/12144/stat : 12144 (hydra) R 12141 12141 11402 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840473247 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12144/statm: 1340 236 195 169 0 51 0
[startup+0.061045 s]
/proc/loadavg: 1.92 1.97 1.91 4/80 12141
/proc/meminfo: memFree=1152304/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=0
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 236 195 169 0 51 0
[pid=12144] ppid=12141 vsize=5232 CPUtime=0.04
/proc/12144/stat : 12144 (xsolve) R 12141 12141 11402 0 -1 4194304 647 0 0 0 4 0 0 0 23 0 1 0 1990285863 5357568 606 996147200 134512640 135239763 4294956176 18446744073709551615 134617920 0 0 4096 0 0 0 0 17 1 0 0
/proc/12144/statm: 1308 606 377 177 0 211 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10592
[startup+0.101047 s]
/proc/loadavg: 1.92 1.97 1.91 4/80 12141
/proc/meminfo: memFree=1152304/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=0
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 236 195 169 0 51 0
[pid=12144] ppid=12141 vsize=5872 CPUtime=0.08
/proc/12144/stat : 12144 (xsolve) R 12141 12141 11402 0 -1 4194304 785 0 0 0 8 0 0 0 23 0 1 0 1990285863 6012928 744 996147200 134512640 135239763 4294956176 18446744073709551615 134617963 0 0 4096 0 0 0 0 17 1 0 0
/proc/12144/statm: 1468 744 377 177 0 371 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11232
[startup+0.30107 s]
/proc/loadavg: 1.92 1.97 1.91 4/80 12141
/proc/meminfo: memFree=1152304/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=0
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 236 195 169 0 51 0
[pid=12144] ppid=12141 vsize=8316 CPUtime=0.27
/proc/12144/stat : 12144 (xsolve) R 12141 12141 11402 0 -1 4194304 1363 0 0 0 27 0 0 0 25 0 1 0 1990285863 8515584 1322 996147200 134512640 135239763 4294956176 18446744073709551615 134617963 0 0 4096 0 0 0 0 17 1 0 0
/proc/12144/statm: 2079 1322 377 177 0 982 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 13676
[startup+0.701117 s]
/proc/loadavg: 1.92 1.97 1.91 4/80 12141
/proc/meminfo: memFree=1152304/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=0
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 236 195 169 0 51 0
[pid=12144] ppid=12141 vsize=30652 CPUtime=0.68
/proc/12144/stat : 12144 (xsolve) R 12141 12141 11402 0 -1 4194304 6939 0 0 0 65 3 0 0 25 0 1 0 1990285863 31387648 6800 996147200 134512640 135239763 4294956176 18446744073709551615 134820779 0 0 4096 0 0 0 0 17 1 0 0
/proc/12144/statm: 7663 6800 431 177 0 6566 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 36012
[startup+1.5012 s]
/proc/loadavg: 1.92 1.97 1.91 3/82 12145
/proc/meminfo: memFree=1125536/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=0
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1990285863 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 236 195 169 0 51 0
[pid=12144] ppid=12141 vsize=30652 CPUtime=1.45
/proc/12144/stat : 12144 (xsolve) R 12141 12141 11402 0 -1 4194304 6943 0 0 0 142 3 0 0 25 0 1 0 1990285863 31387648 6804 996147200 134512640 135239763 4294956176 18446744073709551615 135030894 0 0 4096 0 0 0 0 17 1 0 0
/proc/12144/statm: 7663 6804 432 177 0 6566 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 36012
[startup+3.10254 s]
/proc/loadavg: 1.92 1.97 1.91 3/90 12157
/proc/meminfo: memFree=1148512/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=196996 CPUtime=1.03
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 4528 0 1 0 99 4 0 0 18 0 9 0 1990286067 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49249 3824 1677 9 0 43832 0
[pid=12149/tid=12150] ppid=12141 vsize=196996 CPUtime=0.78
/proc/12149/task/12150/stat : 12150 (java) R 12141 12141 11402 0 -1 64 2629 0 1 0 77 1 0 0 23 0 9 0 1990286068 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=196996 CPUtime=0.09
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 572 0 0 0 8 1 0 0 15 0 9 0 1990286069 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=196996 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990286069 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=196996 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1990286069 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=196996 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990286071 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=196996 CPUtime=0.13
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 602 0 0 0 13 0 0 0 16 0 9 0 1990286072 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=196996 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990286072 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=196996 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990286072 201723904 3824 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202356
[startup+6.30169 s]
/proc/loadavg: 1.93 1.97 1.91 3/90 12157
/proc/meminfo: memFree=1134112/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197108 CPUtime=4.2
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 9472 0 1 0 406 14 0 0 18 0 9 0 1990286067 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49277 7855 2540 9 0 43860 0
[pid=12149/tid=12150] ppid=12141 vsize=197108 CPUtime=3.28
/proc/12149/task/12150/stat : 12150 (java) R 12141 12141 11402 0 -1 64 3474 0 1 0 324 4 0 0 25 0 9 0 1990286068 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4126439963 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197108 CPUtime=0.71
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 4644 0 0 0 63 8 0 0 16 0 9 0 1990286069 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197108 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990286069 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197108 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990286069 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197108 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990286071 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197108 CPUtime=0.17
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1990286072 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197108 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990286072 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197108 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990286072 201838592 7855 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7023 s]
/proc/loadavg: 1.93 1.97 1.91 3/93 12160
/proc/meminfo: memFree=1098248/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=5.88
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11435 0 1 0 569 19 0 0 18 0 10 0 1990286067 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9405 2543 9 0 43941 0
[pid=12159] ppid=12149 vsize=5356 CPUtime=0
/proc/12159/stat : 12159 (mistral) S 12149 12141 11402 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990286666 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12159/statm: 1339 236 196 169 0 50 0
[pid=12160] ppid=12159 vsize=30652 CPUtime=4.6
/proc/12160/stat : 12160 (xsolve) R 12159 12141 11402 0 -1 4194304 6920 0 0 0 457 3 0 0 25 0 1 0 1990286667 31387648 6786 996147200 134512640 135239763 4294955968 18446744073709551615 135019181 0 4 0 0 0 0 0 17 1 0 0
/proc/12160/statm: 7663 6786 414 177 0 6566 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=4.7
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3860 0 1 0 465 5 0 0 23 0 10 0 1990286068 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=0.94
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6124 0 0 0 82 12 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990286071 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197432 CPUtime=0.21
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12158] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12158/stat : 12158 (java) S 12141 12141 11402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990286666 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 238800
[startup+25.5027 s]
/proc/loadavg: 1.95 1.97 1.91 5/93 12160
/proc/meminfo: memFree=1098312/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=5.88
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11435 0 1 0 569 19 0 0 18 0 10 0 1990286067 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9405 2543 9 0 43941 0
[pid=12159] ppid=12149 vsize=5356 CPUtime=0
/proc/12159/stat : 12159 (mistral) S 12149 12141 11402 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990286666 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12159/statm: 1339 236 196 169 0 50 0
[pid=12160] ppid=12159 vsize=30652 CPUtime=17.28
/proc/12160/stat : 12160 (xsolve) R 12159 12141 11402 0 -1 4194304 6920 0 0 0 1725 3 0 0 25 0 1 0 1990286667 31387648 6786 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0
/proc/12160/statm: 7663 6786 414 177 0 6566 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=4.7
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3860 0 1 0 465 5 0 0 23 0 10 0 1990286068 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=0.94
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6124 0 0 0 82 12 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990286071 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/loadavg: 2.00 2.02 2.00 3/93 12162
/proc/meminfo: memFree=1098120/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=5.88
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11435 0 1 0 569 19 0 0 18 0 10 0 1990286067 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9405 2543 9 0 43941 0
[pid=12159] ppid=12149 vsize=5356 CPUtime=0
/proc/12159/stat : 12159 (mistral) S 12149 12141 11402 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990286666 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12159/statm: 1339 236 196 169 0 50 0
[pid=12160] ppid=12159 vsize=30652 CPUtime=1041.15
/proc/12160/stat : 12160 (xsolve) R 12159 12141 11402 0 -1 4194304 6921 0 0 0 104111 4 0 0 25 0 1 0 1990286667 31387648 6787 996147200 134512640 135239763 4294955968 18446744073709551615 134821027 0 4 0 0 0 0 0 17 1 0 0
/proc/12160/statm: 7663 6787 414 177 0 6566 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=4.7
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3860 0 1 0 465 5 0 0 23 0 10 0 1990286068 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=0.94
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6124 0 0 0 82 12 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990286071 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197432 CPUtime=0.21
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12149/tid=12158] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12158/stat : 12158 (java) S 12141 12141 11402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990286666 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1049.03
Current children cumulated vsize (KiB) 238800
[startup+1060.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12162
/proc/meminfo: memFree=1098120/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=5.88
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11435 0 1 0 569 19 0 0 18 0 10 0 1990286067 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9405 2543 9 0 43941 0
[pid=12159] ppid=12149 vsize=5356 CPUtime=0
/proc/12159/stat : 12159 (mistral) S 12149 12141 11402 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990286666 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12159/statm: 1339 236 196 169 0 50 0
[pid=12160] ppid=12159 vsize=30652 CPUtime=1042.73
/proc/12160/stat : 12160 (xsolve) R 12159 12141 11402 0 -1 4194304 6921 0 0 0 104269 4 0 0 25 0 1 0 1990286667 31387648 6787 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0
/proc/12160/statm: 7663 6787 414 177 0 6566 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=4.7
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3860 0 1 0 465 5 0 0 23 0 10 0 1990286068 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=0.94
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6124 0 0 0 82 12 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990286071 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197432 CPUtime=0.21
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12149/tid=12158] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12158/stat : 12158 (java) S 12141 12141 11402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990286666 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1050.61
Current children cumulated vsize (KiB) 238800
[startup+1061.51 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12162
/proc/meminfo: memFree=1098120/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=5.88
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11435 0 1 0 569 19 0 0 18 0 10 0 1990286067 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9405 2543 9 0 43941 0
[pid=12159] ppid=12149 vsize=5356 CPUtime=0
/proc/12159/stat : 12159 (mistral) S 12149 12141 11402 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990286666 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12159/statm: 1339 236 196 169 0 50 0
[pid=12160] ppid=12159 vsize=30652 CPUtime=1043.53
/proc/12160/stat : 12160 (xsolve) R 12159 12141 11402 0 -1 4194304 6921 0 0 0 104349 4 0 0 25 0 1 0 1990286667 31387648 6787 996147200 134512640 135239763 4294955968 18446744073709551615 134791214 0 4 0 0 0 0 0 17 1 0 0
/proc/12160/statm: 7663 6787 414 177 0 6566 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=4.7
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3860 0 1 0 465 5 0 0 23 0 10 0 1990286068 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=0.94
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6124 0 0 0 82 12 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990286071 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197432 CPUtime=0.21
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12149/tid=12158] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12158/stat : 12158 (java) S 12141 12141 11402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990286666 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1051.41
Current children cumulated vsize (KiB) 238800
[startup+1061.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12162
/proc/meminfo: memFree=1098120/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=5.88
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11435 0 1 0 569 19 0 0 18 0 10 0 1990286067 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9405 2543 9 0 43941 0
[pid=12159] ppid=12149 vsize=5356 CPUtime=0
/proc/12159/stat : 12159 (mistral) S 12149 12141 11402 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990286666 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/12159/statm: 1339 236 196 169 0 50 0
[pid=12160] ppid=12159 vsize=30652 CPUtime=1043.92
/proc/12160/stat : 12160 (xsolve) R 12159 12141 11402 0 -1 4194304 6921 0 0 0 104388 4 0 0 25 0 1 0 1990286667 31387648 6787 996147200 134512640 135239763 4294955968 18446744073709551615 134821584 0 4 0 0 0 0 0 17 1 0 0
/proc/12160/statm: 7663 6787 414 177 0 6566 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=4.7
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3860 0 1 0 465 5 0 0 23 0 10 0 1990286068 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=0.94
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6124 0 0 0 82 12 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990286069 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990286071 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197432 CPUtime=0.21
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990286072 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=12149/tid=12158] ppid=12141 vsize=197432 CPUtime=0
/proc/12149/task/12158/stat : 12158 (java) S 12141 12141 11402 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990286666 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1051.8
Current children cumulated vsize (KiB) 238800
[startup+1062.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/93 12162
/proc/meminfo: memFree=1098120/2055920 swapFree=4180396/4192956
[pid=12141] ppid=12139 vsize=5360 CPUtime=2
/proc/12141/stat : 12141 (hydra) S 12139 12141 11402 0 -1 4194304 375 7540 0 0 0 0 195 5 18 0 1 0 1990285863 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12141/statm: 1340 238 196 169 0 51 0
[pid=12149] ppid=12141 vsize=197432 CPUtime=1050.01
/proc/12149/stat : 12149 (java) S 12141 12141 11402 0 -1 0 11520 7260 1 0 569 20 104407 5 18 0 9 0 1990286067 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12149/statm: 49358 9407 2544 9 0 43941 0
[pid=12149/tid=12150] ppid=12141 vsize=197432 CPUtime=1048.82
/proc/12149/task/12150/stat : 12150 (java) S 12141 12141 11402 0 -1 64 3913 7260 1 0 465 5 104407 5 16 0 9 0 1990286068 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12151] ppid=12141 vsize=197432 CPUtime=1045.06
/proc/12149/task/12151/stat : 12151 (java) S 12141 12141 11402 0 -1 64 6142 7260 0 0 82 12 104407 5 16 0 9 0 1990286069 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12152] ppid=12141 vsize=197432 CPUtime=1044.12
/proc/12149/task/12152/stat : 12152 (java) S 12141 12141 11402 0 -1 64 11 7260 0 0 0 0 104407 5 16 0 9 0 1990286069 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12153] ppid=12141 vsize=197432 CPUtime=1044.12
/proc/12149/task/12153/stat : 12153 (java) S 12141 12141 11402 0 -1 64 5 7260 0 0 0 0 104407 5 16 0 9 0 1990286069 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12154] ppid=12141 vsize=197432 CPUtime=1044.12
/proc/12149/task/12154/stat : 12154 (java) S 12141 12141 11402 0 -1 64 1 7260 0 0 0 0 104407 5 18 0 9 0 1990286071 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12155] ppid=12141 vsize=197432 CPUtime=1044.33
/proc/12149/task/12155/stat : 12155 (java) S 12141 12141 11402 0 -1 64 646 7260 0 0 21 0 104407 5 16 0 9 0 1990286072 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12156] ppid=12141 vsize=197432 CPUtime=1044.12
/proc/12149/task/12156/stat : 12156 (java) S 12141 12141 11402 0 -1 64 0 7260 0 0 0 0 104407 5 19 0 9 0 1990286072 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12149/tid=12157] ppid=12141 vsize=197432 CPUtime=1044.12
/proc/12149/task/12157/stat : 12157 (java) S 12141 12141 11402 0 -1 64 11 7260 0 0 0 0 104407 5 15 0 9 0 1990286072 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1052.01
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 1062.12
CPU time (s): 1052.03
CPU user time (s): 1051.72
CPU system time (s): 0.310952
CPU usage (%): 99.0505
Max. virtual memory (cumulated for all children) (KiB): 238800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1051.72
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26737
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30244
involuntary context switches= 54183
runsolver used 1.3188 second user time and 3.59045 second system time
The end