0.00/0.00 c cpHydra_k_10 version 0.0
10.07/10.22 c CASE TO CLASSIFY:
10.07/10.22 c Case: 0
10.07/10.22 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.644026 | c 33 > 30.000000 | c 15 > 21.625600 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.108500 | c 14 > 8.519640 | c 11 > 9.392320 | c 12 > 8.651020 | 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
10.07/10.23 c choco : 1801.0
10.07/10.23 c mistral : 1801.0
10.07/10.23 c abscon : 1801.0
10.07/10.23 c
10.07/10.23 c
10.17/10.31 c List of same ones: 10
10.17/10.31 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
10.17/10.31 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
10.17/10.32 c choco : 1801.0
10.17/10.32 c mistral : 654.08
10.17/10.32 c abscon : 1801.0
10.17/10.32 c
10.17/10.32 c
10.17/10.32 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
10.17/10.32 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.399450 | c 33 > 30.000000 | c 15 > 20.959000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.186680 | c 14 > 8.194760 | c 11 > 9.090110 | c 12 > 8.259910 | c 21 > 4.857540 | c 20 > 98.600600 | c 22 > 6.708200 | c 23 > 83.019000 | c 24 > 20.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.090110 | c 2 > -1.000000 | c 10 > 16.675800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.264400 | c 32 > 0.000000 | c 5 > 16.536900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.17/10.33 c choco : 1801.0
10.17/10.33 c mistral : 106.17
10.17/10.33 c abscon : 39.95
10.17/10.33 c
10.17/10.33 c
10.17/10.33 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
10.17/10.33 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.849594 | c 33 > 30.000000 | c 15 > 20.736900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.115770 | c 14 > 8.299210 | c 11 > 9.400880 | c 12 > 8.339510 | c 21 > 4.870700 | c 20 > 99.150400 | c 22 > 6.708200 | c 23 > 87.351200 | c 24 > 22.222200 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.400880 | c 2 > -1.000000 | c 10 > 17.155900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.044900 | c 32 > 0.000000 | c 5 > 17.233300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.17/10.34 c choco : 1801.0
10.17/10.34 c mistral : 293.62
10.17/10.34 c abscon : 1801.0
10.17/10.34 c
10.17/10.34 c
10.17/10.34 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
10.17/10.34 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.468187 | c 33 > 30.000000 | c 15 > 20.496000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.978730 | c 14 > 8.690000 | c 11 > 9.611020 | c 12 > 8.780590 | c 21 > 4.946840 | c 20 > 99.531800 | c 22 > 6.708200 | c 23 > 84.598700 | c 24 > 33.333300 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.611020 | c 2 > -1.000000 | c 10 > 17.848000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.958200 | c 32 > 0.000000 | c 5 > 18.064900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.17/10.35 c choco : 1801.0
10.17/10.35 c mistral : 265.78
10.17/10.35 c abscon : 1801.0
10.17/10.35 c
10.17/10.35 c
10.17/10.35 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
10.17/10.35 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.579810 | c 33 > 30.000000 | c 15 > 20.881300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.129480 | c 14 > 8.209450 | c 11 > 8.774790 | c 12 > 8.261650 | c 21 > 4.836470 | c 20 > 97.420200 | c 22 > 6.708200 | c 23 > 93.217300 | c 24 > 28.571400 | c 25 > 299.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 8.774790 | c 2 > -1.000000 | c 10 > 16.155800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 14.022200 | c 32 > 0.000000 | c 5 > 15.591900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.17/10.36 c choco : 1801.0
10.17/10.36 c mistral : 71.99
10.17/10.36 c abscon : 45.66
10.17/10.36 c
10.17/10.36 c
10.17/10.36 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
10.17/10.36 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.658299 | c 33 > 30.000000 | c 15 > 20.669000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.208980 | c 14 > 8.592460 | c 11 > 9.411510 | c 12 > 8.640030 | c 21 > 4.928780 | c 20 > 99.341700 | c 22 > 6.708200 | c 23 > 83.238900 | c 24 > 40.000000 | c 25 > 300.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.411510 | c 2 > -1.000000 | c 10 > 17.463900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.462700 | c 32 > 0.000000 | c 5 > 17.592400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
10.17/10.37 c choco : 1801.0
10.17/10.37 c mistral : 467.31
10.17/10.37 c abscon : 1801.0
10.17/10.37 c
10.17/10.37 c
10.17/10.37 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
10.17/10.37 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
10.17/10.37 c choco : 1801.0
10.17/10.37 c mistral : 43.86
10.17/10.37 c abscon : 262.21
10.17/10.38 c
10.17/10.38 c
10.17/10.38 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
10.17/10.38 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
10.17/10.38 c choco : 1801.0
10.17/10.38 c mistral : 1156.77
10.17/10.38 c abscon : 1801.0
10.17/10.38 c
10.17/10.38 c
10.17/10.38 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
10.17/10.38 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
10.17/10.39 c choco : 1801.0
10.17/10.39 c mistral : 38.33
10.17/10.39 c abscon : 568.38
10.17/10.39 c
10.17/10.39 c
10.17/10.39 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-6.xml
10.17/10.39 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
10.24/10.40 c choco : 1801.0
10.24/10.40 c mistral : 963.3
10.24/10.40 c abscon : 1801.0
10.24/10.40 c
10.24/10.40 c
10.43/10.60 c Length: 10
10.43/10.60 c 0.9164123146269889 7.030333520180682 9.21342393305682 10.338370193769473 15.714327914048887 15.715809146287347 17.408742686061387 19.266094684855275 19.588518697503616 21.52474034982824
10.43/10.60 c
10.43/10.60 c 1.0 0.7712048431825432 0.7129592069198342 0.6862514760593019 0.5820535001642683 0.5820291507768904 0.5554706821999509 0.5289882060385992 0.5246461333868743 0.5
10.43/10.60 c
10.43/10.60 c solver 0
10.43/10.60 c before 0.0 seconds: {} 0
10.43/10.60 c before 54.0 seconds: {1, 4} 1353
10.43/10.60 c before 270.0 seconds: {1, 4, 6} 1908
10.43/10.60 c before 576.0 seconds: {1, 4, 6, 8} 2433
10.43/10.60 c
10.43/10.60 c solver 1
10.43/10.60 c before 0.0 seconds: {} 0
10.43/10.61 c before 54.0 seconds: {6, 8} 1080
10.43/10.61 c before 72.0 seconds: {4, 6, 8} 1662
10.43/10.61 c before 108.0 seconds: {1, 4, 6, 8} 2433
10.43/10.61 c before 270.0 seconds: {1, 3, 4, 6, 8} 3119
10.43/10.61 c before 306.0 seconds: {1, 2, 3, 4, 6, 8} 3832
10.43/10.61 c before 468.0 seconds: {1, 2, 3, 4, 5, 6, 8} 4414
10.43/10.61 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 5414
10.43/10.61 c before 972.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5914
10.43/10.61 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6443
10.43/10.61 c
10.43/10.61 c solver 2
10.43/10.61 c before 0.0 seconds: {} 0
10.43/10.61 c
10.43/10.61 cTotal time: 97
10.43/10.61 c 1746.0 seconds unused
10.43/10.61 c 0 c 0 c 4
10.43/10.61 c 6 c 0 c 10
10.43/10.61 c 0 c 0 c 0
10.43/10.61 c is solver0 dominated by:
10.43/10.61 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
10.43/10.61 c is dominated? true
10.43/10.61 c
10.43/10.61 c is solver1 dominated by:
10.43/10.61 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
10.43/10.61 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)
10.43/10.61 c is dominated? false
10.43/10.61 c
10.43/10.61 c is solver2 dominated by:
10.43/10.61 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)
10.43/10.61 c is dominated? true
10.43/10.61 c
10.43/10.61 c Number of non-dominated solvers: 1
10.43/10.61 c remove dominated solvers
10.43/10.61 c solver 1 is not dominated by another solver
10.43/10.61 c solver 2 is dominated by another solver
10.43/10.61 c solver 0 is dominated by another solver
10.43/10.61 c
10.43/10.61 c solver 0: 0.0
10.43/10.61 c
10.43/10.61 c solver 1: 1170.0
10.43/10.61 c
10.43/10.61 c+ 65/65 of 35
10.43/10.61 c
10.43/10.61 c solver 2: 0.0
10.43/10.61 c do not run abscon
10.43/10.61 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6443
10.43/10.61 c do not run choco
10.43/10.61 c Starting solver: HOME/cpHydra_k_10/solver/mistral
10.43/10.61 c On Instance: HOME/instance-1058450-1215115152.xml
10.43/10.61 c Running for: 1800 seconds
390.76/394.60 c mistral-prime version 1.313
390.76/394.60 s SATISFIABLE
390.76/394.60 v 0 0 18 44 25 42 33 25 8 6 27 12 30 32 35 34 18 29 37 23 25 1 3 1 19 34 24 15 38 35 15 28 22 29 24 42 17 9 22 13 43 31 39 7 11 32 19 37 5 1 6 9 16 9 43 3 37 8 2 33 4 25 1 10 10 1 16 25 15 9 9 42 8 6 32 30 13 24 17 13 32 0 7 40 0 12 28 26 5 8 16 38 42 22 38 10 11 14 21 15 15 36 36 33 41 32 41 33 41 27 14 10 35 2 28 16 31 21 28 9 28 19 13 10 15 40 34 5 26 25 14 39 3 38 36 29 31 6 3 33 20 13 1 6 24 4 40 26 0 17 25 41 24 14 5 36 6 29 3 23 24 37 9 13 19 12 2 13 7 4 21 10 44 18 27 30 41 26 8 15 28 11 2 7 26 12 10 11 27 31 31 36 5 16 14 23 34 7 34 4 22 35 26 21 9 42 0 31 38 4 39 7 30 24 14 18 16 8 26 11 1 23 10 37 3 14 17 27 4 40 35 33 0 32 21 28 37 39 29 1 20 35 28 29 21 0 11 6 23 27 24 2 30 2 4 41 29 4 3 5 38 20 17 20 7 18 21 27 39 43 12 19 8 3 20 4 25 22 17 23 22 19 8 9 14 15 24 15 7 7 12 22 23 8 8 30 14 39 17 2 10 20 19 20 34 16 17 26 5 27 0 9 30 6 15 20 13 12 4 18 40 44 23 20 18 41 13 23 37 12 34 36 7 2 35 12 40 11 1 2 16 5 17 21 22 21 19 10 6 3 4 8 2 4 8 2 4 9 6 7 8 3 5 0 5 8 5 4 9 9 4 4 4 7 2 2 5 5 4 4 8 0 9 5 4 3 5 4 6 7 4 1 4 7 6 2 6 4 9 9 1 2 3 1 2 8 8 8 4 0 5 5 6 2 0 5 9 3 1 6 3 0 0 0 1 4 3 6 2 0 4 9 6 6 2 6 8 9 8 3 5 2 4 2 1 7 7 9 6 4 0 9 7 9 0 5 2 3 5 9 5 3 3 2 2 2 3 8 5 0 9 7 1 5 2 2 6 5 8 0 2 5 0 3 3 6 4 4 9 8 6 2 8 5 3 6 9 6 5 4 1 4 9 4 2 0 2 0 5 4 0 5 5 4 5 5 8 9 1 8 0 6 2 9 5 6 1 4 4 6 4 2 9 4 3 2 8 0 0 9 2 4 4 4 6 2 7 0 5 1 8 0 2 4 9 1 3 5 9 4 8 2 2 7 8 1 0 9 0 4 3 7 1 3 7 1 0 1 9 5 1 2 0 3 2 3 2 9 9 2 7 2 7 3 7 6 8 8 6 4 2 7 3 6 2 3 2 0 2 3 5 2 1 5 8 7 3 3 3 3 9 4 5 3 4 7 2 0 6 0 3 1 7 7 0 7 1 3 9 3 0 4 3 1 2 0 3 2 7 3 9 3 3 1 3 8 3 5 0 2 1 8 9 3 9 9 5 8 3 3 4 3 1 0 4 9 6 5 0 4 4 2 5 5 9 1 3 3 0 0 1 1 9 5 5 9 9 4 9 1
390.76/394.60 d CHECKS 765042652
390.76/394.60 d ASSIGNMENTS 42542
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058450-1215115152/watcher-1058450-1215115152 -o /tmp/evaluation-result-1058450-1215115152/solver-1058450-1215115152 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058450-1215115152.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 2.01 1.99 4/72 23031
/proc/meminfo: memFree=1465504/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5260 CPUtime=0
/proc/23031/stat : 23031 (hydra) R 23029 23031 22401 0 -1 4194304 67 0 0 0 0 0 0 0 22 0 1 0 1990490652 5386240 50 996147200 4194304 4889804 548682068816 18446744073709551615 259910586208 0 0 4096 0 0 0 0 17 1 0 0
/proc/23031/statm: 1315 50 36 169 0 14 0
[startup+0.160316 s]
/proc/loadavg: 1.92 2.01 1.99 4/72 23031
/proc/meminfo: memFree=1465504/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=0
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990490652 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202317 s]
/proc/loadavg: 1.92 2.01 1.99 4/72 23031
/proc/meminfo: memFree=1465504/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=0
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990490652 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302328 s]
/proc/loadavg: 1.92 2.01 1.99 4/72 23031
/proc/meminfo: memFree=1465504/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=0
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990490652 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70237 s]
/proc/loadavg: 1.92 2.01 1.99 4/72 23031
/proc/meminfo: memFree=1465504/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=0
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990490652 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50245 s]
/proc/loadavg: 1.92 2.01 1.99 3/74 23035
/proc/meminfo: memFree=1450832/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=0
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990490652 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 236 195 169 0 51 0
[pid=23035] ppid=23031 vsize=23876 CPUtime=1.47
/proc/23035/stat : 23035 (xsolve) R 23031 23031 22401 0 -1 4194304 5410 0 0 0 144 3 0 0 25 0 1 0 1990490653 24449024 5173 996147200 134512640 135239763 4294956176 18446744073709551615 134683373 0 0 4096 0 0 0 0 17 1 0 0
/proc/23035/statm: 5969 5173 377 177 0 4872 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29236
[startup+3.1016 s]
/proc/loadavg: 1.92 2.01 1.99 3/74 23035
/proc/meminfo: memFree=1437008/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=0
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 330 247 0 0 0 0 0 0 23 0 1 0 1990490652 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 236 195 169 0 51 0
[pid=23035] ppid=23031 vsize=89728 CPUtime=3.05
/proc/23035/stat : 23035 (xsolve) R 23031 23031 22401 0 -1 4194304 21986 0 0 0 295 10 0 0 25 0 1 0 1990490653 91881472 21070 996147200 134512640 135239763 4294956176 18446744073709551615 134799832 0 0 4096 0 0 0 0 17 1 0 0
/proc/23035/statm: 22432 21070 431 177 0 21335 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 95088
[startup+6.30291 s]
/proc/loadavg: 2.01 2.02 2.00 4/82 23047
/proc/meminfo: memFree=1456464/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197000 CPUtime=1.87
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 6619 0 1 0 180 7 0 0 18 0 9 0 1990491093 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49250 5556 2540 9 0 43833 0
[pid=23039/tid=23040] ppid=23031 vsize=197000 CPUtime=1.48
/proc/23039/task/23040/stat : 23040 (java) R 23031 23031 22401 0 -1 64 2826 0 1 0 145 3 0 0 25 0 9 0 1990491094 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4126450103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197000 CPUtime=0.21
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 2458 0 0 0 19 2 0 0 16 0 9 0 1990491095 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197000 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990491095 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197000 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990491095 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197000 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990491097 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197000 CPUtime=0.15
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 611 0 0 0 15 0 0 0 16 0 9 0 1990491097 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197000 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990491097 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197000 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990491097 201728000 5556 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202360
[startup+12.7025 s]
/proc/loadavg: 2.01 2.02 2.00 3/85 23050
/proc/meminfo: memFree=1418168/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13875 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=30804 CPUtime=2.05
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 7220 0 0 0 200 5 0 0 25 0 1 0 1990491715 31543296 6988 996147200 134512640 135239763 4294955968 18446744073709551615 134603091 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 7701 6988 375 177 0 6604 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3861 0 1 0 470 6 0 0 24 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 238956
[startup+25.5027 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 23050
/proc/meminfo: memFree=1354232/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13881 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=89860 CPUtime=14.72
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 22003 0 0 0 1460 12 0 0 25 0 1 0 1990491715 92016640 21092 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 22465 21092 414 177 0 21368 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3861 0 1 0 470 6 0 0 24 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 298012
[startup+51.1022 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 23050
/proc/meminfo: memFree=1354296/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13881 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=89860 CPUtime=40.06
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 22006 0 0 0 3994 12 0 0 25 0 1 0 1990491715 92016640 21095 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 22465 21095 414 177 0 21368 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3861 0 1 0 470 6 0 0 24 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
################
# More data... #
################
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=89860 CPUtime=376.15
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 22018 0 0 0 37603 12 0 0 25 0 1 0 1990491715 92016640 21107 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 22465 21107 414 177 0 21368 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3861 0 1 0 470 6 0 0 24 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 386.6
Current children cumulated vsize (KiB) 298012
[startup+392.003 s]
/proc/loadavg: 2.11 2.06 2.01 3/85 23056
/proc/meminfo: memFree=1352560/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13881 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=89860 CPUtime=377.73
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 22018 0 0 0 37761 12 0 0 25 0 1 0 1990491715 92016640 21107 996147200 134512640 135239763 4294955968 18446744073709551615 135031190 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 22465 21107 414 177 0 21368 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3861 0 1 0 470 6 0 0 24 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 388.18
Current children cumulated vsize (KiB) 298012
[startup+393.603 s]
/proc/loadavg: 2.11 2.06 2.01 3/85 23056
/proc/meminfo: memFree=1352560/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13881 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=89860 CPUtime=379.32
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 22019 0 0 0 37920 12 0 0 25 0 1 0 1990491715 92016640 21108 996147200 134512640 135239763 4294955968 18446744073709551615 135095345 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 22465 21108 414 177 0 21368 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3861 0 1 0 470 6 0 0 24 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 389.77
Current children cumulated vsize (KiB) 298012
[startup+394.403 s]
/proc/loadavg: 2.11 2.06 2.01 3/85 23056
/proc/meminfo: memFree=1352560/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13882 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=89496 CPUtime=380.11
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194304 22034 0 0 0 37999 12 0 0 25 0 1 0 1990491715 91643904 21032 996147200 134512640 135239763 4294955968 18446744073709551615 11019600 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 22374 21032 420 177 0 21277 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3862 0 1 0 470 6 0 0 16 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 390.56
Current children cumulated vsize (KiB) 297648
[startup+394.604 s]
/proc/loadavg: 2.11 2.06 2.01 3/85 23056
/proc/meminfo: memFree=1352560/2055920 swapFree=4180028/4192956
[pid=23031] ppid=23029 vsize=5360 CPUtime=4.35
/proc/23031/stat : 23031 (hydra) S 23029 23031 22401 0 -1 4194304 375 22620 0 0 0 0 423 12 18 0 1 0 1990490652 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259913212740 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23031/statm: 1340 238 196 169 0 51 0
[pid=23039] ppid=23031 vsize=197436 CPUtime=6.1
/proc/23039/stat : 23039 (java) S 23031 23031 22401 0 -1 0 13882 0 1 0 592 18 0 0 18 0 10 0 1990491093 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23039/statm: 49359 9394 2543 9 0 43942 0
[pid=23049] ppid=23039 vsize=5356 CPUtime=0
/proc/23049/stat : 23049 (mistral) S 23039 23031 22401 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990491714 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259913212740 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23049/statm: 1339 236 196 169 0 50 0
[pid=23050] ppid=23049 vsize=0 CPUtime=380.31
/proc/23050/stat : 23050 (xsolve) R 23049 23031 22401 0 -1 4194308 22043 0 0 0 38018 13 0 0 25 0 1 0 1990491715 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/23050/statm: 0 0 0 0 0 0 0
[pid=23039/tid=23040] ppid=23031 vsize=197436 CPUtime=4.76
/proc/23039/task/23040/stat : 23040 (java) S 23031 23031 22401 0 -1 64 3862 0 1 0 470 6 0 0 16 0 10 0 1990491094 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23039/tid=23041] ppid=23031 vsize=197436 CPUtime=1.12
/proc/23039/task/23041/stat : 23041 (java) S 23031 23031 22401 0 -1 64 8572 0 0 0 101 11 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23042] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23042/stat : 23042 (java) S 23031 23031 22401 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23043] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23043/stat : 23043 (java) S 23031 23031 22401 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990491095 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23044] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23044/stat : 23044 (java) S 23031 23031 22401 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23045] ppid=23031 vsize=197436 CPUtime=0.2
/proc/23039/task/23045/stat : 23045 (java) S 23031 23031 22401 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23046] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23046/stat : 23046 (java) S 23031 23031 22401 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23047] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23047/stat : 23047 (java) S 23031 23031 22401 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1990491097 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23039/tid=23048] ppid=23031 vsize=197436 CPUtime=0
/proc/23039/task/23048/stat : 23048 (java) S 23031 23031 22401 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1990491714 202174464 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 390.76
Current children cumulated vsize (KiB) 208152
Child status: 0
Real time (s): 394.649
CPU time (s): 390.815
CPU user time (s): 390.343
CPU system time (s): 0.471928
CPU usage (%): 99.0283
Max. virtual memory (cumulated for all children) (KiB): 298012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 390.343
system time used= 0.471928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59322
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= 16881
involuntary context switches= 26549
runsolver used 0.52192 second user time and 1.3358 second system time
The end