0.00/0.00 c cpHydra_k_10 version 0.0
8.63/8.76 c CASE TO CLASSIFY:
8.63/8.76 c Case: 0
8.63/8.76 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.849594 | c 33 > 30.000000 | c 15 > 21.717200 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.134060 | c 14 > 8.511750 | c 11 > 9.400880 | c 12 > 8.348150 | 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
8.63/8.77 c choco : 1801.0
8.63/8.77 c mistral : 1801.0
8.63/8.77 c abscon : 1801.0
8.63/8.77 c
8.63/8.77 c
8.72/8.84 c List of same ones: 10
8.72/8.84 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
8.72/8.84 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
8.72/8.85 c choco : 1801.0
8.72/8.85 c mistral : 293.62
8.72/8.85 c abscon : 1801.0
8.72/8.85 c
8.72/8.85 c
8.72/8.85 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
8.72/8.85 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
8.72/8.86 c choco : 1801.0
8.72/8.86 c mistral : 106.17
8.72/8.86 c abscon : 39.95
8.72/8.86 c
8.72/8.86 c
8.72/8.86 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
8.72/8.86 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
8.72/8.87 c choco : 1801.0
8.72/8.87 c mistral : 654.08
8.72/8.87 c abscon : 1801.0
8.72/8.87 c
8.72/8.87 c
8.72/8.87 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
8.72/8.87 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
8.72/8.88 c choco : 1801.0
8.72/8.88 c mistral : 71.99
8.72/8.88 c abscon : 45.66
8.72/8.88 c
8.72/8.88 c
8.72/8.88 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
8.72/8.88 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
8.72/8.89 c choco : 1801.0
8.72/8.89 c mistral : 265.78
8.72/8.89 c abscon : 1801.0
8.72/8.89 c
8.72/8.89 c
8.72/8.89 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
8.72/8.89 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
8.81/8.90 c choco : 1801.0
8.81/8.90 c mistral : 440.15
8.81/8.90 c abscon : 13.8
8.81/8.90 c
8.81/8.90 c
8.81/8.90 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
8.81/8.90 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
8.81/8.91 c choco : 1801.0
8.81/8.91 c mistral : 467.31
8.81/8.91 c abscon : 1801.0
8.81/8.91 c
8.81/8.91 c
8.81/8.91 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
8.81/8.91 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
8.81/8.92 c choco : 1801.0
8.81/8.92 c mistral : 43.86
8.81/8.92 c abscon : 262.21
8.81/8.92 c
8.81/8.92 c
8.81/8.92 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
8.81/8.92 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
8.81/8.92 c choco : 1801.0
8.81/8.92 c mistral : 1156.77
8.81/8.92 c abscon : 1801.0
8.81/8.92 c
8.81/8.92 c
8.81/8.92 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
8.81/8.92 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
8.81/8.93 c choco : 1801.0
8.81/8.93 c mistral : 38.33
8.81/8.93 c abscon : 568.38
8.81/8.93 c
8.81/8.93 c
9.00/9.11 c Length: 10
9.00/9.11 c 1.0032798788473727 5.149236331169507 9.222656991655073 9.54354153090748 11.625694120500896 14.523373427900834 18.292960143512175 23.010327432001404 24.76009154892051 25.53893822069001
9.00/9.11 c
9.00/9.11 c 1.0 0.8554489877199793 0.7490652353532785 0.741798212910346 0.6978669915301365 0.6447293016883524 0.5866218698830864 0.5271644153478454 0.5080638521034162 0.5
9.00/9.12 c
9.00/9.12 c solver 0
9.00/9.12 c before 0.0 seconds: {} 0
9.00/9.12 c before 18.0 seconds: {5} 644
9.00/9.12 c before 54.0 seconds: {1, 3, 5} 2241
9.00/9.12 c before 270.0 seconds: {1, 3, 5, 7} 2769
9.00/9.12 c before 576.0 seconds: {1, 3, 5, 7, 9} 3269
9.00/9.12 c
9.00/9.12 c solver 1
9.00/9.12 c before 0.0 seconds: {} 0
9.00/9.12 c before 54.0 seconds: {7, 9} 1027
9.00/9.12 c before 72.0 seconds: {3, 7, 9} 1768
9.00/9.12 c before 108.0 seconds: {1, 3, 7, 9} 2624
9.00/9.12 c before 270.0 seconds: {1, 3, 4, 7, 9} 3322
9.00/9.12 c before 306.0 seconds: {0, 1, 3, 4, 7, 9} 4322
9.00/9.12 c before 450.0 seconds: {0, 1, 3, 4, 5, 7, 9} 4967
9.00/9.12 c before 468.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 5553
9.00/9.12 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6302
9.00/9.12 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6810
9.00/9.12 c
9.00/9.12 c solver 2
9.00/9.12 c before 0.0 seconds: {} 0
9.00/9.12 c
9.00/9.12 cTotal time: 97
9.00/9.12 c 1746.0 seconds unused
9.00/9.12 c 0 c 0 c 5
9.00/9.12 c 5 c 0 c 10
9.00/9.12 c 0 c 0 c 0
9.00/9.12 c is solver0 dominated by:
9.00/9.12 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)
9.00/9.12 c is dominated? true
9.00/9.12 c
9.00/9.12 c is solver1 dominated by:
9.00/9.12 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)
9.00/9.12 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)
9.00/9.12 c is dominated? false
9.00/9.12 c
9.00/9.12 c is solver2 dominated by:
9.00/9.12 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)
9.00/9.12 c is dominated? true
9.00/9.12 c
9.00/9.12 c Number of non-dominated solvers: 1
9.00/9.12 c remove dominated solvers
9.00/9.12 c solver 1 is not dominated by another solver
9.00/9.12 c solver 2 is dominated by another solver
9.00/9.12 c solver 0 is dominated by another solver
9.00/9.12 c
9.00/9.12 c solver 0: 0.0
9.00/9.12 c
9.00/9.12 c solver 1: 1170.0
9.00/9.12 c
9.00/9.12 c+ 65/65 of 35
9.00/9.12 c
9.00/9.12 c solver 2: 0.0
9.00/9.12 c do not run abscon
9.00/9.12 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6810
9.00/9.12 c do not run choco
9.00/9.13 c Starting solver: HOME/cpHydra_k_10/solver/mistral
9.00/9.13 c On Instance: HOME/instance-1058306-1215114249.xml
9.00/9.13 c Running for: 1800 seconds
96.76/97.34 c mistral-prime version 1.313
96.76/97.34 s SATISFIABLE
96.76/97.34 v 2 11 6 34 30 2 31 24 0 10 5 18 31 42 4 5 15 16 34 36 4 8 24 14 26 41 1 21 8 12 43 37 9 12 3 27 13 24 4 34 13 14 6 35 7 22 17 14 36 3 25 11 15 21 29 30 36 14 20 27 13 21 35 12 7 7 39 28 38 22 28 35 36 34 10 5 21 37 18 1 31 9 41 5 15 9 33 42 29 30 17 6 33 2 12 8 2 7 44 8 24 12 17 10 4 6 19 10 28 13 28 28 43 26 32 33 1 24 27 23 32 10 18 7 3 19 3 41 12 25 7 39 22 20 15 27 29 2 12 36 20 23 6 28 32 2 32 27 0 6 14 38 32 29 19 31 9 16 8 16 18 21 3 10 23 3 35 15 13 25 19 25 40 42 0 26 9 20 27 24 14 8 3 44 39 12 32 24 32 23 5 26 33 25 7 29 31 25 8 30 38 35 2 6 36 5 43 37 16 23 34 17 6 39 18 32 43 36 33 40 29 44 27 24 26 17 5 19 25 27 14 16 0 3 43 9 39 2 9 16 1 16 0 10 29 43 21 30 24 6 6 18 24 4 11 35 15 40 28 13 9 19 31 26 16 10 44 38 17 1 20 0 5 12 22 26 15 32 9 11 27 35 17 38 38 14 1 26 13 30 30 11 32 25 19 10 22 21 28 21 41 13 20 9 3 33 34 29 19 17 31 23 34 33 4 21 39 38 14 31 44 20 17 4 0 15 4 38 27 16 22 13 11 41 29 14 2 18 37 37 40 26 42 12 37 40 13 30 11 23 28 22 1 41 4 41 2 37 23 7 20 39 5 33 44 0 1 42 31 40 1 15 18 7 20 21 34 3 10 35 4 0 17 11 22 19 0 8 30 33 11 11 5 8 25 31 1 7 18 36 0 4 7 1 1 7 4 7 5 8 6 1 7 0 0 4 8 7 5 6 4 7 1 2 3 3 9 4 2 9 1 1 6 7 4 8 5 0 1 2 1 0 1 7 5 1 7 4 4 2 2 3 4 7 0 4 7 8 0 6 3 1 2 3 7 4 2 9 9 3 6 1 2 0 3 5 8 3 2 7 0 2 0 9 3 8 4 4 7 7 8 2 5 1 6 5 5 1 1 1 9 1 1 5 8 6 6 6 8 4 1 4 8 6 0 2 0 6 5 3 8 2 0 9 1 8 9 5 5 6 8 6 4 1 9 2 4 2 8 1 3 0 5 0 9 3 7 9 7 8 3 0 6 5 0 1 0 1 4 3 7 2 3 7 4 0 3 1 6 1 1 9 1 3 9 0 5 7 0 4 1 0 5 4 1 0 1 2 4 2 2 9 7 4 2 8 5 7 9 8 8 9 4 4 9 0 3 0 6 1 9 0 0 4 4 5 2 3 0 4 3 8 1 8 2 3 7 2 3 7 9 2 2 6 4 3 3 9 1 0 5 4 0 1 1 6 6 9 3 9 3 9 5 9 8 0 7 0 7 2 4 7 2 8 8 0 2 6 4 2 9 3 3 2 9 4 0 2 9 2 4 4 5 3 2 6 1 7 9 2 0 7 3 0 3 9 7 0 5 3 1 0 8 7 7 3 3 2 4 6 3 7 7 8 2 5 0 1 5 9 6 2 2 6 4 2 7 4 3 9 0 8 1 4 6 7 6 6 2 9 2 1 6 4 4 9 7 3 5 8 3 2 3 6 3 2 8 8 9 0 4 9 1 1 3 1 4 1 6 3 6 6 3 3 6 9 4 8 4 6 5 8 9 6 8 9 6 3 6 6 0 9 8 8 8 8 8 6 8 0
96.76/97.34 d CHECKS 196124542
96.76/97.34 d ASSIGNMENTS 16165
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058306-1215114249/watcher-1058306-1215114249 -o /tmp/evaluation-result-1058306-1215114249/solver-1058306-1215114249 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058306-1215114249.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/75 6126
/proc/meminfo: memFree=1630856/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
[pid=6127] ppid=6126 vsize=5360 CPUtime=0
/proc/6127/stat : 6127 (hydra) R 6126 6126 5703 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 667152593 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 249069890855 0 0 4096 0 0 0 0 17 1 0 0
/proc/6127/statm: 1340 239 198 169 0 51 0
[startup+0.0262659 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 6126
/proc/meminfo: memFree=1630856/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101273 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 6126
/proc/meminfo: memFree=1630856/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301293 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 6126
/proc/meminfo: memFree=1630856/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701332 s]
/proc/loadavg: 2.00 2.00 2.00 4/75 6126
/proc/meminfo: memFree=1630856/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50141 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 6130
/proc/meminfo: memFree=1616248/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
[pid=6130] ppid=6126 vsize=25660 CPUtime=1.48
/proc/6130/stat : 6130 (xsolve) R 6126 6126 5703 0 -1 4194304 5889 0 0 0 145 3 0 0 25 0 1 0 667152593 26275840 5652 996147200 134512640 135239763 4294956176 18446744073709551615 12355195 0 0 4096 0 0 0 0 17 0 0 0
/proc/6130/statm: 6415 5652 377 177 0 5318 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 31020
[startup+3.10157 s]
/proc/loadavg: 2.00 2.00 2.00 3/77 6130
/proc/meminfo: memFree=1566072/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=0
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 667152592 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6126/statm: 1340 236 195 169 0 51 0
[pid=6130] ppid=6126 vsize=70776 CPUtime=3.07
/proc/6130/stat : 6130 (xsolve) R 6126 6126 5703 0 -1 4194304 17176 0 0 0 301 6 0 0 25 0 1 0 667152593 72474624 16505 996147200 134512640 135239763 4294956176 18446744073709551615 135102463 0 0 4096 0 0 0 0 17 0 0 0
/proc/6130/statm: 17694 16505 432 177 0 16597 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 76136
[startup+6.30189 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 6142
/proc/meminfo: memFree=1616056/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197024 CPUtime=2.76
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 8105 0 1 0 268 8 0 0 21 0 9 0 667152943 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49256 6727 2540 9 0 43839 0
[pid=6134/tid=6135] ppid=6126 vsize=197024 CPUtime=2.13
/proc/6134/task/6135/stat : 6135 (java) R 6126 6126 5703 0 -1 64 3138 0 1 0 210 3 0 0 25 0 9 0 667152944 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4126528153 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197024 CPUtime=0.45
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 3613 0 0 0 41 4 0 0 16 0 9 0 667152946 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197024 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 667152946 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197024 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 667152946 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197024 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 667152948 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197024 CPUtime=0.16
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 667152948 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197024 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 667152948 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197024 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 667152948 201752576 6727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202384
[startup+12.7025 s]
/proc/loadavg: 2.23 2.05 2.02 3/89 6146
/proc/meminfo: memFree=1537112/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.54
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13859 0 1 0 540 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70776 CPUtime=3.53
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17153 0 0 0 346 7 0 0 25 0 1 0 667153507 72474624 16487 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17694 16487 414 177 0 16597 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 278840
[startup+25.5018 s]
/proc/loadavg: 2.19 2.05 2.01 3/89 6146
/proc/meminfo: memFree=1537688/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.55
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13866 0 1 0 541 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70776 CPUtime=16.27
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17159 0 0 0 1620 7 0 0 25 0 1 0 667153507 72474624 16493 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17694 16493 414 177 0 16597 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 278840
[startup+51.1024 s]
/proc/loadavg: 2.12 2.04 2.01 3/89 6146
/proc/meminfo: memFree=1537752/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.55
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13866 0 1 0 541 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70776 CPUtime=41.75
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17160 0 0 0 4167 8 0 0 25 0 1 0 667153507 72474624 16494 996147200 134512640 135239763 4294955968 18446744073709551615 135071862 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17694 16494 414 177 0 16597 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
################
# More data... #
################
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70908 CPUtime=83.15
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17178 0 0 0 8307 8 0 0 25 0 1 0 667153507 72609792 16512 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17727 16512 414 177 0 16630 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.18
Current children cumulated vsize (KiB) 278972
[startup+95.9028 s]
/proc/loadavg: 2.06 2.03 2.01 3/89 6146
/proc/meminfo: memFree=1537752/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.55
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13866 0 1 0 541 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70908 CPUtime=86.34
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17179 0 0 0 8626 8 0 0 25 0 1 0 667153507 72609792 16513 996147200 134512640 135239763 4294955968 18446744073709551615 135019144 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17727 16513 414 177 0 16630 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 95.37
Current children cumulated vsize (KiB) 278972
[startup+96.7028 s]
/proc/loadavg: 2.05 2.03 2.01 3/89 6146
/proc/meminfo: memFree=1537752/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.55
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13866 0 1 0 541 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70908 CPUtime=87.14
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17193 0 0 0 8706 8 0 0 25 0 1 0 667153507 72609792 16527 996147200 134512640 135239763 4294955968 18446744073709551615 135097648 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17727 16527 414 177 0 16630 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.17
Current children cumulated vsize (KiB) 278972
[startup+97.1029 s]
/proc/loadavg: 2.05 2.03 2.01 3/89 6146
/proc/meminfo: memFree=1537752/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.55
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13866 0 1 0 541 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=70908 CPUtime=87.53
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17193 0 0 0 8745 8 0 0 25 0 1 0 667153507 72609792 16527 996147200 134512640 135239763 4294955968 18446744073709551615 134820511 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 17727 16527 414 177 0 16630 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3854 0 1 0 422 5 0 0 24 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.56
Current children cumulated vsize (KiB) 278972
[startup+97.3029 s]
/proc/loadavg: 2.05 2.03 2.01 3/89 6146
/proc/meminfo: memFree=1537752/2055920 swapFree=4174660/4192956
[pid=6126] ppid=6124 vsize=5360 CPUtime=3.48
/proc/6126/stat : 6126 (hydra) S 6124 6126 5703 0 -1 4194304 375 17773 0 0 0 0 340 8 20 0 1 0 667152592 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 249069888324 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6126/statm: 1340 238 196 169 0 51 0
[pid=6134] ppid=6126 vsize=197348 CPUtime=5.55
/proc/6134/stat : 6134 (java) S 6126 6126 5703 0 -1 0 13867 0 1 0 541 14 0 0 21 0 10 0 667152943 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/6134/statm: 49337 9391 2543 9 0 43920 0
[pid=6144] ppid=6134 vsize=5356 CPUtime=0
/proc/6144/stat : 6144 (mistral) S 6134 6126 5703 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 667153506 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 249069888324 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/6144/statm: 1339 236 196 169 0 50 0
[pid=6145] ppid=6144 vsize=28840 CPUtime=87.73
/proc/6145/stat : 6145 (xsolve) R 6144 6126 5703 0 -1 4194304 17210 0 0 0 8765 8 0 0 25 0 1 0 667153507 29532160 6409 996147200 134512640 135239763 4294955968 18446744073709551615 12349509 0 4 0 0 0 0 0 17 0 0 0
/proc/6145/statm: 7210 6409 427 177 0 6113 0
[pid=6134/tid=6135] ppid=6126 vsize=197348 CPUtime=4.27
/proc/6134/task/6135/stat : 6135 (java) S 6126 6126 5703 0 -1 64 3855 0 1 0 422 5 0 0 16 0 10 0 667152944 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=6134/tid=6136] ppid=6126 vsize=197348 CPUtime=1.07
/proc/6134/task/6136/stat : 6136 (java) S 6126 6126 5703 0 -1 64 8559 0 0 0 99 8 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6137] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6137/stat : 6137 (java) S 6126 6126 5703 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6138] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6138/stat : 6138 (java) S 6126 6126 5703 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 667152946 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6139] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6139/stat : 6139 (java) S 6126 6126 5703 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6140] ppid=6126 vsize=197348 CPUtime=0.19
/proc/6134/task/6140/stat : 6140 (java) S 6126 6126 5703 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6141] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6141/stat : 6141 (java) S 6126 6126 5703 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6142] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6142/stat : 6142 (java) S 6126 6126 5703 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 667152948 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6134/tid=6143] ppid=6126 vsize=197348 CPUtime=0
/proc/6134/task/6143/stat : 6143 (java) S 6126 6126 5703 0 -1 64 68 0 0 0 0 0 0 0 25 0 10 0 667153506 202084352 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 96.76
Current children cumulated vsize (KiB) 236904
Child status: 0
Real time (s): 97.3746
CPU time (s): 96.8413
CPU user time (s): 96.5043
CPU system time (s): 0.336948
CPU usage (%): 99.4522
Max. virtual memory (cumulated for all children) (KiB): 278972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.5043
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49636
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= 11095
involuntary context switches= 13570
runsolver used 0.12998 second user time and 0.346947 second system time
The end