0.00/0.00 c cpHydra_k_10 version 0.0
6.85/6.99 c CASE TO CLASSIFY:
6.85/6.99 c Case: 0
6.85/7.00 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 14.579000 | c 33 > 30.000000 | c 15 > 20.715000 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 8.068970 | c 14 > 10.622100 | c 11 > 12.164600 | c 12 > 5.157370 | 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
6.96/7.01 c choco : 1801.0
6.96/7.01 c mistral : 1801.0
6.96/7.01 c abscon : 1801.0
6.96/7.01 c
6.96/7.01 c
6.96/7.08 c List of same ones: 10
6.96/7.08 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-8.xml
6.96/7.08 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
6.96/7.08 c choco : 1801.0
6.96/7.08 c mistral : 3.36
6.96/7.08 c abscon : 15.51
6.96/7.08 c
6.96/7.08 c
6.96/7.08 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-15.xml
6.96/7.09 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
6.96/7.09 c choco : 1801.0
6.96/7.09 c mistral : 3.46
6.96/7.09 c abscon : 14.39
6.96/7.09 c
6.96/7.09 c
6.96/7.09 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-7.xml
6.96/7.09 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.06/7.10 c choco : 1801.0
7.06/7.10 c mistral : 5.03
7.06/7.10 c abscon : 102.03
7.06/7.10 c
7.06/7.10 c
7.06/7.10 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-14.xml
7.06/7.10 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.06/7.11 c choco : 1801.0
7.06/7.11 c mistral : 137.37
7.06/7.11 c abscon : 1046.72
7.06/7.11 c
7.06/7.11 c
7.06/7.11 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-7.xml
7.06/7.11 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.06/7.12 c choco : 1801.0
7.06/7.12 c mistral : 98.85
7.06/7.12 c abscon : 1801.0
7.06/7.12 c
7.06/7.12 c
7.06/7.12 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.06/7.12 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.06/7.13 c choco : 1801.0
7.06/7.13 c mistral : 43.86
7.06/7.13 c abscon : 262.21
7.06/7.13 c
7.06/7.13 c
7.06/7.13 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.06/7.13 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.06/7.14 c choco : 1801.0
7.06/7.14 c mistral : 38.33
7.06/7.14 c abscon : 568.38
7.06/7.14 c
7.06/7.14 c
7.06/7.14 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
7.06/7.14 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.644026 | c 33 > 30.000000 | c 15 > 20.714400 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.106580 | c 14 > 8.422060 | c 11 > 9.392320 | c 12 > 8.650280 | c 21 > 4.920950 | c 20 > 99.356000 | c 22 > 6.708200 | c 23 > 78.650500 | c 24 > 25.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.392320 | c 2 > -1.000000 | c 10 > 17.473800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.489900 | c 32 > 0.000000 | c 5 > 17.616800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.14 c choco : 1801.0
7.06/7.14 c mistral : 654.08
7.06/7.14 c abscon : 1801.0
7.06/7.14 c
7.06/7.14 c
7.06/7.14 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
7.06/7.14 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.753258 | c 33 > 30.000000 | c 15 > 20.543200 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.454780 | c 14 > 8.353150 | c 11 > 9.493860 | c 12 > 8.600780 | c 21 > 4.062170 | c 20 > 99.246700 | c 22 > 6.000000 | c 23 > 61.086600 | 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.493860 | c 2 > -1.000000 | c 10 > 17.464800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.264800 | c 32 > 0.000000 | c 5 > 17.380300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.15 c choco : 1801.0
7.06/7.15 c mistral : 963.3
7.06/7.15 c abscon : 1801.0
7.06/7.15 c
7.06/7.15 c
7.06/7.15 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
7.06/7.15 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.716829 | c 33 > 30.000000 | c 15 > 20.502000 | c 34 > 30.000000 | c 16 > 24.000000 | c 13 > 7.462510 | c 14 > 8.149750 | c 11 > 9.467610 | c 12 > 8.672580 | c 21 > 4.149400 | c 20 > 99.283200 | c 22 > 5.830950 | c 23 > 65.344800 | c 24 > 11.764700 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.467610 | c 2 > -1.000000 | c 10 > 17.526000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.333300 | c 32 > 0.000000 | c 5 > 17.448100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.06/7.16 c choco : 1801.0
7.06/7.16 c mistral : 1156.77
7.06/7.16 c abscon : 1801.0
7.06/7.16 c
7.06/7.16 c
7.23/7.36 c Length: 10
7.23/7.36 c 2.0536529765761298 21.091478300877828 29.768305871250046 142.64587092275752 145.19635758310915 191.6399275645712 191.7155720404941 191.73584058246198 191.78580906060506 191.85212539012602
7.23/7.36 c
7.23/7.36 c 1.0 0.9088385231373929 0.8725839976074948 0.5744667690451454 0.5700660822800578 0.5002796604597732 0.5001799309660492 0.5001532157233759 0.5000873662420653 0.5
7.23/7.36 c
7.23/7.36 c solver 0
7.23/7.36 c before 0.0 seconds: {} 0
7.23/7.36 c before 18.0 seconds: {0, 1} 1908
7.23/7.36 c before 108.0 seconds: {0, 1, 2} 2781
7.23/7.36 c before 270.0 seconds: {0, 1, 2, 5} 3281
7.23/7.36 c before 576.0 seconds: {0, 1, 2, 5, 6} 3781
7.23/7.36 c before 1062.0 seconds: {0, 1, 2, 3, 5, 6} 4356
7.23/7.36 c
7.23/7.36 c solver 1
7.23/7.36 c before 0.0 seconds: {} 0
7.23/7.36 c before 18.0 seconds: {0, 1, 2} 2781
7.23/7.36 c before 54.0 seconds: {0, 1, 2, 5, 6} 3781
7.23/7.36 c before 108.0 seconds: {0, 1, 2, 4, 5, 6} 4351
7.23/7.36 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6} 4926
7.23/7.36 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5426
7.23/7.36 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5926
7.23/7.36 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6426
7.23/7.36 c
7.23/7.36 c solver 2
7.23/7.36 c before 0.0 seconds: {} 0
7.23/7.36 c
7.23/7.36 cTotal time: 124
7.23/7.36 c run abscon for 576.0 seconds {0, 1, 2, 5, 6} 3781
7.23/7.36 c run mistral for 1170.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6426
7.23/7.36 c do not run choco
7.23/7.36 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.23/7.36 c On Instance: HOME/instance-1058194-1215113304.xml
7.23/7.36 c Running for: 576 seconds
12.21/12.49 s SAT
12.21/12.49 v 37 22 35 29 20 6 2 2 8 22 9 24 16 33 10 19 30 15 37 28 24 39 3 1 41 13 32 11 40 24 12 6 13 7 27 34 3 20 2 12 44 10 18 29 3 0 8 39 15 18 9 38 27 20 43 21 41 22 7 12 8 41 37 20 30 4 9 31 22 16 38 44 37 27 1 43 18 6 32 41 12 31 7 38 17 1 39 10 42 21 6 13 26 10 24 19 19 25 21 38 9 11 33 23 14 32 42 23 26 44 28 7 44 11 30 34 5 34 11 9 37 11 42 16 39 25 32 34 14 0 15 30 5 23 5 36 21 43 29 36 35 38 11 17 33 21 31 32 28 0 17 3 4 16 39 22 3 20 1 1 20 2 0 31 17 42 4 28 30 23 8 16 12 36 5 17 9 23 25 40 14 42 29 37 13 43 15 18 35 4 6 36 4 40 13 14 34 0 26 33 2 4 9 3 3 6 7 1 9 5 1 3 6 8 2 3 1 9 0 3 4 6 7 4 9 9 0 1 2 0 3 9 3 1 8 3 2 6 8 9 8 5 3 5 0 4 1 7 5 1 5 8 6 4 7 7 1 9 4 4 5 6 1 1 8 3 4 1 3 9 0 4 4 2 2 8 0 5 5 0 2 6 2 2 9 9 3 1 3 0 4 7 6 3 8 0 4 8 1 5 3 0 7 1 4 1 8 4 2 9 7 3 1 2 4 5 9 4 9 2 3 4 2 7 4 0 4 6 3 3 6 0 0 5 1 7 3 4 7 3 5 1 5 4 6 2 2 7 5 0 1 8 8 2 2 2 4 9 7 8 7 4 9 9 7 0 1 6 9 2 7 4 6 9 6 0 0 0 6 6 9 9 6 8 2 3 7 7 6 6 7 6 7 7 6 6 8 5 9 3
12.21/12.49 d ASSIGNMENTS 1793
12.21/12.49 d CHECKS 71895
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058194-1215113304/watcher-1058194-1215113304 -o /tmp/evaluation-result-1058194-1215113304/solver-1058194-1215113304 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058194-1215113304.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: 2.62 2.34 2.12 4/73 13614
/proc/meminfo: memFree=1462376/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=0
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 624548213 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 236 195 169 0 51 0
[pid=13615] ppid=13614 vsize=2404 CPUtime=0
/proc/13615/stat : 13615 (rm) R 13614 13614 12914 0 -1 4194304 83 0 0 0 0 0 0 0 19 0 1 0 624548213 2461696 53 996147200 4194304 4227748 548682069024 18446744073709551615 228043426160 0 0 4096 0 0 0 0 17 1 0 0
/proc/13615/statm: 601 53 40 8 0 9 0
[startup+0.0875621 s]
/proc/loadavg: 2.62 2.34 2.12 4/73 13614
/proc/meminfo: memFree=1462376/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=0
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 624548213 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13614/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101564 s]
/proc/loadavg: 2.62 2.34 2.12 4/73 13614
/proc/meminfo: memFree=1462376/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=0
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 624548213 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13614/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301608 s]
/proc/loadavg: 2.62 2.34 2.12 4/73 13614
/proc/meminfo: memFree=1462376/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=0
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 624548213 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13614/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701685 s]
/proc/loadavg: 2.62 2.34 2.12 4/73 13614
/proc/meminfo: memFree=1462376/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=0
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 624548213 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13614/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50184 s]
/proc/loadavg: 2.62 2.34 2.12 3/75 13618
/proc/meminfo: memFree=1448280/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=0
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 624548213 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13614/statm: 1340 236 195 169 0 51 0
[pid=13618] ppid=13614 vsize=18544 CPUtime=1.47
/proc/13618/stat : 13618 (xsolve) R 13614 13614 12914 0 -1 4194304 3945 0 0 0 146 1 0 0 25 0 1 0 624548214 18989056 3884 996147200 134512640 135239763 4294956176 18446744073709551615 134820511 0 0 4096 0 0 0 0 17 0 0 0
/proc/13618/statm: 4636 3884 432 177 0 3539 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 23904
[startup+3.10215 s]
/proc/loadavg: 2.65 2.35 2.12 3/83 13630
/proc/meminfo: memFree=1454744/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=196984 CPUtime=1.34
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 5146 0 1 0 129 5 0 0 21 0 9 0 624548388 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49246 4307 1678 9 0 43829 0
[pid=13622/tid=13623] ppid=13614 vsize=196984 CPUtime=1.04
/proc/13622/task/13623/stat : 13623 (java) R 13614 13614 12914 0 -1 64 2763 0 1 0 101 3 0 0 25 0 9 0 624548389 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4126440211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13624] ppid=13614 vsize=196984 CPUtime=0.14
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 1047 0 0 0 13 1 0 0 16 0 9 0 624548390 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13625] ppid=13614 vsize=196984 CPUtime=0
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 624548390 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=196984 CPUtime=0
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624548390 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=196984 CPUtime=0
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624548392 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=196984 CPUtime=0.13
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 612 0 0 0 13 0 0 0 16 0 9 0 624548392 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=196984 CPUtime=0
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 624548392 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=196984 CPUtime=0
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 624548392 201711616 4307 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202344
[startup+6.30179 s]
/proc/loadavg: 2.65 2.35 2.12 3/83 13630
/proc/meminfo: memFree=1440280/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=197092 CPUtime=4.54
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 10311 0 1 0 440 14 0 0 21 0 9 0 624548388 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49273 8549 2540 9 0 43856 0
[pid=13622/tid=13623] ppid=13614 vsize=197092 CPUtime=3.58
/proc/13622/task/13623/stat : 13623 (java) R 13614 13614 12914 0 -1 64 3602 0 1 0 353 5 0 0 25 0 9 0 624548389 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4126444450 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13624] ppid=13614 vsize=197092 CPUtime=0.76
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 5357 0 0 0 69 7 0 0 16 0 9 0 624548390 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13625] ppid=13614 vsize=197092 CPUtime=0
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 624548390 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=197092 CPUtime=0
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624548390 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=197092 CPUtime=0
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624548392 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=197092 CPUtime=0.16
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 628 0 0 0 16 0 0 0 16 0 9 0 624548392 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=197092 CPUtime=0
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 624548392 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=197092 CPUtime=0
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 624548392 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+9.50342 s]
/proc/loadavg: 2.76 2.38 2.13 3/95 13642
/proc/meminfo: memFree=1390584/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=197416 CPUtime=5.58
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 13857 0 1 0 541 17 0 0 21 0 10 0 624548388 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49354 9387 2543 9 0 43937 0
[pid=13632] ppid=13622 vsize=5356 CPUtime=0
/proc/13632/stat : 13632 (abscon) S 13622 13614 12914 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 624548950 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13632/statm: 1339 237 196 169 0 50 0
[pid=13633] ppid=13632 vsize=655896 CPUtime=2.07
/proc/13633/stat : 13633 (java) S 13632 13614 12914 0 -1 0 15176 0 1 0 191 16 0 0 18 0 9 0 624548951 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13633/statm: 163974 14684 2007 9 0 158502 0
[pid=13633/tid=13635] ppid=13632 vsize=655896 CPUtime=1.76
/proc/13633/task/13635/stat : 13635 (java) R 13632 13614 12914 0 -1 64 12443 0 1 0 162 14 0 0 25 0 9 0 624548952 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4126913482 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13636] ppid=13632 vsize=655896 CPUtime=0.04
/proc/13633/task/13636/stat : 13636 (java) S 13632 13614 12914 0 -1 64 1488 0 0 0 4 0 0 0 16 0 9 0 624548953 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13637] ppid=13632 vsize=655896 CPUtime=0
/proc/13633/task/13637/stat : 13637 (java) S 13632 13614 12914 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 624548953 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13638] ppid=13632 vsize=655896 CPUtime=0
/proc/13633/task/13638/stat : 13638 (java) S 13632 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624548953 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13639] ppid=13632 vsize=655896 CPUtime=0
/proc/13633/task/13639/stat : 13639 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 624548955 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13640] ppid=13632 vsize=655896 CPUtime=0.24
/proc/13633/task/13640/stat : 13640 (java) S 13632 13614 12914 0 -1 64 699 0 0 0 23 1 0 0 15 0 9 0 624548955 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13641] ppid=13632 vsize=655896 CPUtime=0
/proc/13633/task/13641/stat : 13641 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 624548955 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13642] ppid=13632 vsize=655896 CPUtime=0
/proc/13633/task/13642/stat : 13642 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624548955 671637504 14684 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13634] ppid=13632 vsize=7044 CPUtime=0
/proc/13634/stat : 13634 (translate) S 13632 13614 12914 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 624548951 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13634/statm: 1761 213 182 1 0 41 0
[pid=13622/tid=13623] ppid=13614 vsize=197416 CPUtime=4.3
/proc/13622/task/13623/stat : 13623 (java) S 13614 13614 12914 0 -1 64 3851 0 1 0 424 6 0 0 25 0 10 0 624548389 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13622/tid=13624] ppid=13614 vsize=197416 CPUtime=1.07
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 8560 0 0 0 97 10 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13625] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=197416 CPUtime=0.18
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13631] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13631/stat : 13631 (java) S 13614 13614 12914 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 624548950 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 9.37
Current children cumulated vsize (KiB) 871072
[startup+11.1027 s]
/proc/loadavg: 2.76 2.38 2.13 3/95 13642
/proc/meminfo: memFree=1364664/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=197416 CPUtime=5.58
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 13857 0 1 0 541 17 0 0 21 0 10 0 624548388 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49354 9387 2543 9 0 43937 0
[pid=13632] ppid=13622 vsize=5356 CPUtime=0
/proc/13632/stat : 13632 (abscon) S 13622 13614 12914 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 624548950 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13632/statm: 1339 237 196 169 0 50 0
[pid=13633] ppid=13632 vsize=656032 CPUtime=3.63
/proc/13633/stat : 13633 (java) S 13632 13614 12914 0 -1 0 20220 0 1 0 341 22 0 0 18 0 9 0 624548951 671776768 19535 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13633/statm: 164008 19535 2616 9 0 158536 0
[pid=13633/tid=13635] ppid=13632 vsize=656032 CPUtime=3.06
################
# More data... #
################
/proc/13633/task/13638/stat : 13638 (java) S 13632 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 624548953 671776768 19535 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13639] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13639/stat : 13639 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 624548955 671776768 19535 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13640] ppid=13632 vsize=656032 CPUtime=0.35
/proc/13633/task/13640/stat : 13640 (java) S 13632 13614 12914 0 -1 64 758 0 0 0 34 1 0 0 15 0 9 0 624548955 671776768 19535 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13641] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13641/stat : 13641 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 624548955 671776768 19535 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13642] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13642/stat : 13642 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624548955 671776768 19535 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13634] ppid=13632 vsize=7044 CPUtime=0
/proc/13634/stat : 13634 (translate) S 13632 13614 12914 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 624548951 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13634/statm: 1761 213 182 1 0 41 0
[pid=13622/tid=13623] ppid=13614 vsize=197416 CPUtime=4.3
/proc/13622/task/13623/stat : 13623 (java) S 13614 13614 12914 0 -1 64 3851 0 1 0 424 6 0 0 25 0 10 0 624548389 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13622/tid=13624] ppid=13614 vsize=197416 CPUtime=1.07
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 8560 0 0 0 97 10 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13625] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=197416 CPUtime=0.18
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13631] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13631/stat : 13631 (java) S 13614 13614 12914 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 624548950 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 871208
[startup+11.9029 s]
/proc/loadavg: 2.76 2.38 2.13 3/95 13642
/proc/meminfo: memFree=1364664/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=197416 CPUtime=5.58
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 13857 0 1 0 541 17 0 0 21 0 10 0 624548388 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49354 9387 2543 9 0 43937 0
[pid=13632] ppid=13622 vsize=5356 CPUtime=0
/proc/13632/stat : 13632 (abscon) S 13622 13614 12914 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 624548950 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13632/statm: 1339 237 196 169 0 50 0
[pid=13633] ppid=13632 vsize=656032 CPUtime=4.43
/proc/13633/stat : 13633 (java) S 13632 13614 12914 0 -1 0 22277 0 1 0 420 23 0 0 18 0 9 0 624548951 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13633/statm: 164008 21590 2616 9 0 158536 0
[pid=13633/tid=13635] ppid=13632 vsize=656032 CPUtime=3.81
/proc/13633/task/13635/stat : 13635 (java) R 13632 13614 12914 0 -1 64 12578 0 1 0 363 18 0 0 25 0 9 0 624548952 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4127229570 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13636] ppid=13632 vsize=656032 CPUtime=0.24
/proc/13633/task/13636/stat : 13636 (java) S 13632 13614 12914 0 -1 64 8392 0 0 0 22 2 0 0 16 0 9 0 624548953 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13637] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13637/stat : 13637 (java) S 13632 13614 12914 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 624548953 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13638] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13638/stat : 13638 (java) S 13632 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624548953 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13639] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13639/stat : 13639 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 624548955 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13640] ppid=13632 vsize=656032 CPUtime=0.35
/proc/13633/task/13640/stat : 13640 (java) S 13632 13614 12914 0 -1 64 761 0 0 0 34 1 0 0 16 0 9 0 624548955 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13641] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13641/stat : 13641 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 624548955 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13642] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13642/stat : 13642 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624548955 671776768 21590 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13634] ppid=13632 vsize=7044 CPUtime=0
/proc/13634/stat : 13634 (translate) S 13632 13614 12914 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 624548951 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13634/statm: 1761 213 182 1 0 41 0
[pid=13622/tid=13623] ppid=13614 vsize=197416 CPUtime=4.3
/proc/13622/task/13623/stat : 13623 (java) S 13614 13614 12914 0 -1 64 3851 0 1 0 424 6 0 0 25 0 10 0 624548389 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13622/tid=13624] ppid=13614 vsize=197416 CPUtime=1.07
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 8560 0 0 0 97 10 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13625] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=197416 CPUtime=0.18
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13631] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13631/stat : 13631 (java) S 13614 13614 12914 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 624548950 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.73
Current children cumulated vsize (KiB) 871208
[startup+12.303 s]
/proc/loadavg: 2.94 2.42 2.15 3/95 13642
/proc/meminfo: memFree=1356344/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=197416 CPUtime=5.58
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 13861 0 1 0 541 17 0 0 21 0 10 0 624548388 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49354 9387 2543 9 0 43937 0
[pid=13632] ppid=13622 vsize=5356 CPUtime=0
/proc/13632/stat : 13632 (abscon) S 13622 13614 12914 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 624548950 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13632/statm: 1339 237 196 169 0 50 0
[pid=13633] ppid=13632 vsize=656032 CPUtime=4.81
/proc/13633/stat : 13633 (java) S 13632 13614 12914 0 -1 0 22284 0 1 0 458 23 0 0 18 0 9 0 624548951 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13633/statm: 164008 21597 2616 9 0 158536 0
[pid=13633/tid=13635] ppid=13632 vsize=656032 CPUtime=4.17
/proc/13633/task/13635/stat : 13635 (java) R 13632 13614 12914 0 -1 64 12578 0 1 0 399 18 0 0 25 0 9 0 624548952 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4127240558 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13636] ppid=13632 vsize=656032 CPUtime=0.24
/proc/13633/task/13636/stat : 13636 (java) S 13632 13614 12914 0 -1 64 8392 0 0 0 22 2 0 0 16 0 9 0 624548953 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13637] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13637/stat : 13637 (java) S 13632 13614 12914 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 624548953 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13638] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13638/stat : 13638 (java) S 13632 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 624548953 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13639] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13639/stat : 13639 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 624548955 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13640] ppid=13632 vsize=656032 CPUtime=0.37
/proc/13633/task/13640/stat : 13640 (java) S 13632 13614 12914 0 -1 64 768 0 0 0 36 1 0 0 16 0 9 0 624548955 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13641] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13641/stat : 13641 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 624548955 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13633/tid=13642] ppid=13632 vsize=656032 CPUtime=0
/proc/13633/task/13642/stat : 13642 (java) S 13632 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624548955 671776768 21597 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13634] ppid=13632 vsize=7044 CPUtime=0
/proc/13634/stat : 13634 (translate) S 13632 13614 12914 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 624548951 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13634/statm: 1761 213 182 1 0 41 0
[pid=13622/tid=13623] ppid=13614 vsize=197416 CPUtime=4.3
/proc/13622/task/13623/stat : 13623 (java) S 13614 13614 12914 0 -1 64 3851 0 1 0 424 6 0 0 25 0 10 0 624548389 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13622/tid=13624] ppid=13614 vsize=197416 CPUtime=1.07
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 8560 0 0 0 97 10 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13625] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 624548390 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=197416 CPUtime=0.18
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 645 0 0 0 18 0 0 0 16 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 624548392 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13631] ppid=13614 vsize=197416 CPUtime=0
/proc/13622/task/13631/stat : 13631 (java) S 13614 13614 12914 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 624548950 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.11
Current children cumulated vsize (KiB) 871208
[startup+12.503 s]
/proc/loadavg: 2.94 2.42 2.15 3/95 13642
/proc/meminfo: memFree=1356344/2055920 swapFree=4165996/4192956
[pid=13614] ppid=13612 vsize=5360 CPUtime=1.72
/proc/13614/stat : 13614 (hydra) S 13612 13614 12914 0 -1 4194304 375 4541 0 0 0 0 170 2 19 0 1 0 624548213 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13614/statm: 1340 238 196 169 0 51 0
[pid=13622] ppid=13614 vsize=197416 CPUtime=10.55
/proc/13622/stat : 13622 (java) S 13614 13614 12914 0 -1 0 13936 22902 1 1 541 17 472 25 21 0 9 0 624548388 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13622/statm: 49354 9389 2544 9 0 43937 0
[pid=13622/tid=13623] ppid=13614 vsize=197416 CPUtime=9.27
/proc/13622/task/13623/stat : 13623 (java) S 13614 13614 12914 0 -1 64 3904 22902 1 1 424 6 472 25 16 0 9 0 624548389 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13622/tid=13624] ppid=13614 vsize=197416 CPUtime=6.04
/proc/13622/task/13624/stat : 13624 (java) S 13614 13614 12914 0 -1 64 8570 22902 0 1 97 10 472 25 16 0 9 0 624548390 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13622/tid=13625] ppid=13614 vsize=197416 CPUtime=4.97
/proc/13622/task/13625/stat : 13625 (java) S 13614 13614 12914 0 -1 64 11 22902 0 1 0 0 472 25 16 0 9 0 624548390 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13626] ppid=13614 vsize=197416 CPUtime=4.97
/proc/13622/task/13626/stat : 13626 (java) S 13614 13614 12914 0 -1 64 5 22902 0 1 0 0 472 25 15 0 9 0 624548390 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13627] ppid=13614 vsize=197416 CPUtime=4.97
/proc/13622/task/13627/stat : 13627 (java) S 13614 13614 12914 0 -1 64 1 22902 0 1 0 0 472 25 25 0 9 0 624548392 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13628] ppid=13614 vsize=197416 CPUtime=5.15
/proc/13622/task/13628/stat : 13628 (java) S 13614 13614 12914 0 -1 64 645 22902 0 1 18 0 472 25 16 0 9 0 624548392 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13629] ppid=13614 vsize=197416 CPUtime=4.97
/proc/13622/task/13629/stat : 13629 (java) S 13614 13614 12914 0 -1 64 0 22902 0 1 0 0 472 25 25 0 9 0 624548392 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13622/tid=13630] ppid=13614 vsize=197416 CPUtime=4.97
/proc/13622/task/13630/stat : 13630 (java) S 13614 13614 12914 0 -1 64 10 22902 0 1 0 0 472 25 15 0 9 0 624548392 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 202776
Child status: 0
Real time (s): 12.5307
CPU time (s): 12.3121
CPU user time (s): 11.8452
CPU system time (s): 0.466929
CPU usage (%): 98.256
Max. virtual memory (cumulated for all children) (KiB): 871208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.8452
system time used= 0.466929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41791
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11564
involuntary context switches= 12832
runsolver used 0.039993 second user time and 0.103984 second system time
The end