0.00/0.00 c cpHydra_k_10 version 0.0
7.21/7.32 c CASE TO CLASSIFY:
7.21/7.32 c Case: 0
7.21/7.32 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 5.178660 | c 33 > 30.000000 | c 15 > 21.635300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.380440 | c 14 > 12.083500 | c 11 > 11.879600 | c 12 > 5.217280 | c 21 > 4.801340 | c 20 > 94.821300 | c 22 > 6.708200 | c 23 > 97.911900 | 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 > 8.554590 | c 2 > -1.000000 | c 10 > 15.707800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.727900 | c 32 > 0.000000 | c 5 > 14.463800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.33 c choco : 1801.0
7.21/7.33 c mistral : 1801.0
7.21/7.33 c abscon : 1801.0
7.21/7.33 c
7.21/7.33 c
7.31/7.40 c List of same ones: 10
7.31/7.40 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
7.31/7.40 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 5.178660 | c 33 > 30.000000 | c 15 > 19.878000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.754490 | c 14 > 10.632100 | c 11 > 11.879600 | c 12 > 5.045030 | c 21 > 4.801340 | c 20 > 94.821300 | c 22 > 6.708200 | c 23 > 97.911900 | 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 > 8.554590 | c 2 > -1.000000 | c 10 > 15.707800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.727900 | c 32 > 0.000000 | c 5 > 14.463800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.31/7.41 c choco : 1801.0
7.31/7.41 c mistral : 440.15
7.31/7.41 c abscon : 13.8
7.31/7.41 c
7.31/7.41 c
7.31/7.41 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
7.31/7.41 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
7.31/7.42 c choco : 1801.0
7.31/7.42 c mistral : 71.99
7.31/7.42 c abscon : 45.66
7.31/7.42 c
7.31/7.42 c
7.31/7.42 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
7.31/7.42 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
7.31/7.43 c choco : 1801.0
7.31/7.43 c mistral : 293.62
7.31/7.43 c abscon : 1801.0
7.31/7.43 c
7.31/7.43 c
7.31/7.43 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
7.31/7.43 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
7.31/7.44 c choco : 1801.0
7.31/7.44 c mistral : 106.17
7.31/7.44 c abscon : 39.95
7.31/7.44 c
7.31/7.44 c
7.31/7.44 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
7.31/7.44 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
7.31/7.45 c choco : 1801.0
7.31/7.45 c mistral : 265.78
7.31/7.45 c abscon : 1801.0
7.31/7.45 c
7.31/7.45 c
7.31/7.45 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
7.31/7.45 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.31/7.46 c choco : 1801.0
7.31/7.46 c mistral : 654.08
7.31/7.46 c abscon : 1801.0
7.31/7.46 c
7.31/7.46 c
7.31/7.46 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
7.31/7.46 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
7.31/7.47 c choco : 1801.0
7.31/7.47 c mistral : 467.31
7.31/7.47 c abscon : 1801.0
7.31/7.47 c
7.31/7.47 c
7.31/7.47 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
7.31/7.47 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.31/7.47 c choco : 1801.0
7.31/7.47 c mistral : 43.86
7.31/7.47 c abscon : 262.21
7.31/7.47 c
7.31/7.47 c
7.31/7.47 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
7.31/7.47 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.31/7.48 c choco : 1801.0
7.31/7.48 c mistral : 1156.77
7.31/7.48 c abscon : 1801.0
7.31/7.48 c
7.31/7.48 c
7.31/7.48 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
7.31/7.48 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.31/7.49 c choco : 1801.0
7.31/7.49 c mistral : 38.33
7.31/7.49 c abscon : 568.38
7.31/7.49 c
7.31/7.49 c
7.31/7.49 c Length: 10
7.31/7.49 c 2.369841495754517 9.520352517974327 14.728934231313412 18.05689957569405 19.181319825163996 21.92902406516433 23.4128746226114 34.89129932995475 36.899562992081094 37.59769285869452
7.31/7.49 c
7.31/7.49 c 1.0 0.8312697655177965 0.7402839587686667 0.691896573094399 0.6769466780452977 0.6429961404086743 0.6260404769242176 0.519973587633673 0.5050039718843278 0.5
7.31/7.50 c
7.31/7.50 c solver 0
7.31/7.50 c before 0.0 seconds: {} 0
7.31/7.50 c before 18.0 seconds: {0} 1000
7.31/7.50 c before 54.0 seconds: {0, 1, 3} 2523
7.31/7.50 c before 270.0 seconds: {0, 1, 3, 7} 3043
7.31/7.50 c before 576.0 seconds: {0, 1, 3, 7, 9} 3543
7.31/7.50 c
7.31/7.50 c solver 1
7.31/7.50 c before 0.0 seconds: {} 0
7.31/7.50 c before 54.0 seconds: {7, 9} 1019
7.31/7.50 c before 72.0 seconds: {1, 7, 9} 1851
7.37/7.50 c before 108.0 seconds: {1, 3, 7, 9} 2543
7.37/7.50 c before 270.0 seconds: {1, 3, 4, 7, 9} 3220
7.37/7.50 c before 306.0 seconds: {1, 2, 3, 4, 7, 9} 3960
7.37/7.50 c before 450.0 seconds: {0, 1, 2, 3, 4, 7, 9} 4960
7.37/7.50 c before 468.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9} 5586
7.37/7.50 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6229
7.37/7.50 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6734
7.37/7.50 c
7.37/7.50 c solver 2
7.37/7.50 c before 0.0 seconds: {} 0
7.37/7.50 c
7.37/7.50 cTotal time: 97
7.37/7.50 c 1746.0 seconds unused
7.37/7.50 c 0 c 0 c 5
7.37/7.50 c 5 c 0 c 10
7.37/7.50 c 0 c 0 c 0
7.37/7.50 c is solver0 dominated by:
7.37/7.50 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)
7.37/7.50 c is dominated? true
7.37/7.50 c
7.37/7.50 c is solver1 dominated by:
7.37/7.50 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)
7.37/7.50 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.37/7.50 c is dominated? false
7.37/7.50 c
7.37/7.50 c is solver2 dominated by:
7.37/7.50 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.37/7.50 c is dominated? true
7.37/7.50 c
7.37/7.50 c Number of non-dominated solvers: 1
7.37/7.50 c remove dominated solvers
7.37/7.50 c solver 1 is not dominated by another solver
7.37/7.51 c solver 2 is dominated by another solver
7.37/7.51 c solver 0 is dominated by another solver
7.37/7.51 c
7.37/7.51 c solver 0: 0.0
7.37/7.51 c
7.37/7.51 c solver 1: 1170.0
7.37/7.51 c
7.37/7.51 c+ 65/65 of 35
7.37/7.51 c
7.37/7.51 c solver 2: 0.0
7.37/7.51 c do not run abscon
7.37/7.51 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6734
7.37/7.51 c do not run choco
7.37/7.51 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.37/7.51 c On Instance: HOME/instance-1058258-1215113807.xml
7.37/7.51 c Running for: 1800 seconds
19.00/19.25 c mistral-prime version 1.313
19.00/19.25 s SATISFIABLE
19.00/19.25 v 13 21 7 4 3 13 0 28 19 2 41 0 2 5 19 36 31 31 30 6 42 17 11 17 11 14 22 41 36 30 28 12 7 19 26 25 32 5 28 18 15 6 37 25 2 12 32 42 33 20 33 9 38 27 32 6 0 14 40 15 1 16 8 4 38 21 43 21 6 38 9 10 23 15 15 25 25 2 26 34 21 9 29 20 40 44 5 1 11 18 21 40 18 25 12 33 2 34 28 33 16 35 15 13 7 29 1 30 12 42 17 13 22 15 41 41 21 41 19 23 16 17 22 3 8 22 14 25 7 17 27 2 35 0 2 36 19 4 10 12 41 1 31 6 20 26 43 40 19 30 18 18 44 19 32 27 4 21 4 12 34 15 9 16 5 37 26 29 31 14 3 27 27 40 0 24 31 24 12 17 22 20 17 9 39 35 6 24 11 21 39 39 35 32 13 41 7 26 42 3 28 37 11 3 17 0 27 10 0 25 39 36 9 4 36 16 9 2 29 6 26 42 18 5 10 6 0 18 43 41 2 23 14 14 3 13 5 15 23 6 4 24 0 14 7 13 24 35 24 12 10 38 17 9 11 10 23 27 2 7 42 26 28 16 43 8 43 7 22 36 20 8 14 15 27 37 26 38 5 30 28 28 31 9 11 24 23 32 17 1 3 34 8 36 20 22 38 14 25 8 27 18 20 0 29 4 1 10 4 43 33 5 1 21 5 10 29 1 3 34 29 33 29 40 12 16 24 8 7 39 41 38 16 34 19 1 33 32 8 1 11 4 18 13 23 44 19 30 30 37 0 2 4 6 5 5 9 1 4 6 5 2 8 3 0 6 1 6 4 9 9 9 2 1 9 8 0 7 0 2 7 9 3 8 6 6 8 8 8 3 5 0 8 9 7 4 1 0 8 4 0 7 1 8 4 5 1 2 4 3 8 0 6 7 3 8 0 5 7 8 0 3 3 4 1 8 2 1 4 6 0 3 0 1 8 9 0 0 1 0 7 9 9 4 1 2 0 1 2 7 9 1 2 2 9 2 7 1 7 7 7 4 1 9 8 4 3 0 2 8 4 3 2 7 1 7 7 1 0 4 7 4 9 0 9 8 1 2 0 3 9 1 0 1 3 9 4 0 3 9 2 6 7 6 0 4 1 1 3 0 0 8 4 3 4 1 0 9 7 0 2 1 6 2 6 1 9 7 5 8 3 6 5 8 0 2 4 6 3 9 8 1 8 7 3 3 5 7 5 0 4 0 7 8 6 5 0 2 4 0 9 4 5 9 1 2 1 5 1 3 2 8 7 9 7 2 8 4 8 1 2 7 6 3 1 9 5 0 1 8 0 4 3 1 6 8 2 4 3 2 5 0 0 2 0 1 9 2 3 2 2 8 3 1 1 8 9 1 9 2 8 5 5 7 9 4 1 6 7 7 0 9 2 9 4 8 0 2 2 9 3 8 2 9 0 4 7 4 3 3 3 8 2 7 6 8 2 4 5 7 4 2 3 4 1 6 5 6 9 4 7 1 4 1 8 7 0 7 8 2 2 2 5 2 9 4 9 6 0 5 5 4 5 1 2 8 5 0 5 2
19.00/19.25 d CHECKS 17468486
19.00/19.25 d ASSIGNMENTS 35191
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058258-1215113807/watcher-1058258-1215113807 -o /tmp/evaluation-result-1058258-1215113807/solver-1058258-1215113807 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058258-1215113807.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.00 2.00 2.00 4/81 8309
/proc/meminfo: memFree=1404184/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=0
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 252323507 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 236 195 169 0 51 0
[pid=8310] ppid=8309 vsize=5360 CPUtime=0
/proc/8310/stat : 8310 (hydra) R 8309 8309 7747 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 252323507 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 214945033511 0 0 4096 0 0 0 0 17 1 0 0
/proc/8310/statm: 1340 239 198 169 0 51 0
[startup+0.028545 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 8309
/proc/meminfo: memFree=1404184/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=0
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 252323507 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10256 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 8309
/proc/meminfo: memFree=1404184/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=0
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 252323507 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301597 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 8309
/proc/meminfo: memFree=1404184/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=0
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 252323507 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702676 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 8309
/proc/meminfo: memFree=1404184/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=0
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 252323507 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8309/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50183 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 8313
/proc/meminfo: memFree=1387712/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=0
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 252323507 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8309/statm: 1340 236 195 169 0 51 0
[pid=8313] ppid=8309 vsize=21020 CPUtime=1.47
/proc/8313/stat : 8313 (xsolve) R 8309 8309 7747 0 -1 4194304 4934 0 0 0 143 4 0 0 25 0 1 0 252323508 21524480 4486 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/8313/statm: 5255 4486 432 177 0 4158 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26380
[startup+3.10114 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 8325
/proc/meminfo: memFree=1398080/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=196992 CPUtime=1.13
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 4846 0 1 0 108 5 0 0 21 0 9 0 252323701 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49248 4074 1677 9 0 43831 0
[pid=8317/tid=8318] ppid=8309 vsize=196992 CPUtime=0.87
/proc/8317/task/8318/stat : 8318 (java) R 8309 8309 7747 0 -1 64 2698 0 1 0 85 2 0 0 25 0 9 0 252323702 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4125969905 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8319] ppid=8309 vsize=196992 CPUtime=0.11
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 818 0 0 0 10 1 0 0 16 0 9 0 252323703 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=196992 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 252323704 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=196992 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252323704 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=196992 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 252323706 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=196992 CPUtime=0.13
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 605 0 0 0 13 0 0 0 16 0 9 0 252323706 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=196992 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 252323706 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=196992 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252323706 201719808 4074 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202352
[startup+6.30276 s]
/proc/loadavg: 2.08 2.02 2.00 4/91 8325
/proc/meminfo: memFree=1384832/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197100 CPUtime=4.32
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 9969 0 1 0 417 15 0 0 21 0 9 0 252323701 201830400 8273 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49275 8273 2540 9 0 43858 0
[pid=8317/tid=8318] ppid=8309 vsize=197100 CPUtime=3.43
/proc/8317/task/8318/stat : 8318 (java) R 8309 8309 7747 0 -1 64 3554 0 1 0 338 5 0 0 25 0 9 0 252323702 201830400 8274 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197100 CPUtime=0.7
/proc/8317/task/8319/stat : 8319 (java) R 8309 8309 7747 0 -1 64 5064 0 0 0 62 8 0 0 15 0 9 0 252323703 201830400 8276 996147200 134512640 134550740 4294955968 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197100 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 252323704 201830400 8277 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197100 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 252323704 201830400 8278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197100 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 252323706 201830400 8278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197100 CPUtime=0.16
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 252323706 201830400 8278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197100 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 252323706 201830400 8278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197100 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 252323706 201830400 8278 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202460
[startup+12.702 s]
/proc/loadavg: 2.15 2.03 2.01 3/94 8328
/proc/meminfo: memFree=1359336/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197424 CPUtime=5.49
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 11433 0 1 0 532 17 0 0 21 0 10 0 252323701 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49356 9403 2543 9 0 43939 0
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=5.14
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4931 0 0 0 512 2 0 0 25 0 1 0 252324259 21659648 4488 996147200 134512640 135239763 4294955968 18446744073709551615 134821034 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4488 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 229292
Solver just ended. Dumping a history of the last processes samples
[startup+15.9026 s]
/proc/loadavg: 2.14 2.03 2.00 3/94 8328
/proc/meminfo: memFree=1359336/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197424 CPUtime=5.49
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 11433 0 1 0 532 17 0 0 21 0 10 0 252323701 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49356 9403 2543 9 0 43939 0
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=8.33
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4931 0 0 0 831 2 0 0 25 0 1 0 252324259 21659648 4488 996147200 134512640 135239763 4294955968 18446744073709551615 134791221 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4488 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.72
Current children cumulated vsize (KiB) 229292
################
# More data... #
################
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=9.92
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4931 0 0 0 990 2 0 0 25 0 1 0 252324259 21659648 4488 996147200 134512640 135239763 4294955968 18446744073709551615 135067226 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4488 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.31
Current children cumulated vsize (KiB) 229292
[startup+18.3021 s]
/proc/loadavg: 2.14 2.03 2.00 3/94 8328
/proc/meminfo: memFree=1359336/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197424 CPUtime=5.49
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 11433 0 1 0 532 17 0 0 21 0 10 0 252323701 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49356 9403 2543 9 0 43939 0
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=10.72
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4931 0 0 0 1070 2 0 0 25 0 1 0 252324259 21659648 4488 996147200 134512640 135239763 4294955968 18446744073709551615 135097610 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4488 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.11
Current children cumulated vsize (KiB) 229292
[startup+18.7062 s]
/proc/loadavg: 2.14 2.03 2.00 3/94 8328
/proc/meminfo: memFree=1359336/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197424 CPUtime=5.49
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 11433 0 1 0 532 17 0 0 21 0 10 0 252323701 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49356 9403 2543 9 0 43939 0
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=11.12
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4931 0 0 0 1110 2 0 0 25 0 1 0 252324259 21659648 4488 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4488 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.51
Current children cumulated vsize (KiB) 229292
[startup+19.1022 s]
/proc/loadavg: 2.14 2.03 2.00 3/94 8328
/proc/meminfo: memFree=1359336/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197424 CPUtime=5.49
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 11433 0 1 0 532 17 0 0 21 0 10 0 252323701 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49356 9403 2543 9 0 43939 0
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=11.51
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4931 0 0 0 1149 2 0 0 25 0 1 0 252324259 21659648 4488 996147200 134512640 135239763 4294955968 18446744073709551615 134737401 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4488 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.9
Current children cumulated vsize (KiB) 229292
[startup+19.2023 s]
/proc/loadavg: 2.14 2.03 2.00 3/94 8328
/proc/meminfo: memFree=1359336/2055920 swapFree=4180772/4192956
[pid=8309] ppid=8307 vsize=5360 CPUtime=1.9
/proc/8309/stat : 8309 (hydra) S 8307 8309 7747 0 -1 4194304 375 5530 0 0 0 0 185 5 20 0 1 0 252323507 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 214945030980 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/8309/statm: 1340 238 196 169 0 51 0
[pid=8317] ppid=8309 vsize=197424 CPUtime=5.49
/proc/8317/stat : 8317 (java) S 8309 8309 7747 0 -1 0 11433 0 1 0 532 17 0 0 21 0 10 0 252323701 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/8317/statm: 49356 9403 2543 9 0 43939 0
[pid=8327] ppid=8317 vsize=5356 CPUtime=0
/proc/8327/stat : 8327 (mistral) S 8317 8309 7747 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 252324258 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 214945030980 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/8327/statm: 1339 236 196 169 0 50 0
[pid=8328] ppid=8327 vsize=21152 CPUtime=11.61
/proc/8328/stat : 8328 (xsolve) R 8327 8309 7747 0 -1 4194304 4933 0 0 0 1159 2 0 0 25 0 1 0 252324259 21659648 4490 996147200 134512640 135239763 4294955968 18446744073709551615 134789894 0 4 0 0 0 0 0 17 0 0 0
/proc/8328/statm: 5288 4490 414 177 0 4191 0
[pid=8317/tid=8318] ppid=8309 vsize=197424 CPUtime=4.42
/proc/8317/task/8318/stat : 8318 (java) S 8309 8309 7747 0 -1 64 3860 0 1 0 436 6 0 0 16 0 10 0 252323702 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=8317/tid=8319] ppid=8309 vsize=197424 CPUtime=0.85
/proc/8317/task/8319/stat : 8319 (java) S 8309 8309 7747 0 -1 64 6121 0 0 0 76 9 0 0 16 0 10 0 252323703 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8320] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8321] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8309 8309 7747 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 252323704 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8322] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8309 8309 7747 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8323] ppid=8309 vsize=197424 CPUtime=0.19
/proc/8317/task/8323/stat : 8323 (java) S 8309 8309 7747 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8324] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8309 8309 7747 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8325] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8309 8309 7747 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 252323706 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=8317/tid=8326] ppid=8309 vsize=197424 CPUtime=0
/proc/8317/task/8326/stat : 8326 (java) S 8309 8309 7747 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 252324258 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19
Current children cumulated vsize (KiB) 229292
Child status: 0
Real time (s): 19.2886
CPU time (s): 19.1051
CPU user time (s): 18.8281
CPU system time (s): 0.276957
CPU usage (%): 99.0487
Max. virtual memory (cumulated for all children) (KiB): 229292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.8281
system time used= 0.276957
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22703
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= 9429
involuntary context switches= 11000
runsolver used 0.034994 second user time and 0.093985 second system time
The end