0.00/0.00 c cpHydra_k_10 version 0.0
8.58/8.72 c CASE TO CLASSIFY:
8.58/8.72 c Case: 0
8.58/8.72 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.399450 | c 33 > 30.000000 | c 15 > 21.701900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.228550 | c 14 > 8.554590 | c 11 > 9.090110 | c 12 > 8.283270 | 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.58/8.73 c choco : 1801.0
8.58/8.73 c mistral : 1801.0
8.58/8.73 c abscon : 1801.0
8.58/8.73 c
8.58/8.73 c
8.77/8.99 c List of same ones: 10
8.77/8.99 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-15.xml
8.77/8.99 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.86/9.00 c choco : 1801.0
8.86/9.00 c mistral : 106.17
8.86/9.00 c abscon : 39.95
8.86/9.00 c
8.86/9.00 c
8.86/9.00 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-4.xml
8.86/9.00 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.86/9.01 c choco : 1801.0
8.86/9.01 c mistral : 293.62
8.86/9.01 c abscon : 1801.0
8.86/9.01 c
8.86/9.01 c
8.86/9.01 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-20.xml
8.86/9.01 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.86/9.02 c choco : 1801.0
8.86/9.02 c mistral : 654.08
8.86/9.02 c abscon : 1801.0
8.86/9.02 c
8.86/9.02 c
8.86/9.02 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
8.86/9.02 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.86/9.03 c choco : 1801.0
8.86/9.03 c mistral : 71.99
8.86/9.03 c abscon : 45.66
8.86/9.03 c
8.86/9.03 c
8.86/9.03 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
8.86/9.03 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.86/9.04 c choco : 1801.0
8.86/9.04 c mistral : 265.78
8.86/9.04 c abscon : 1801.0
8.86/9.04 c
8.86/9.04 c
8.86/9.04 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-17.xml
8.86/9.04 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.86/9.05 c choco : 1801.0
8.86/9.05 c mistral : 440.15
8.86/9.05 c abscon : 13.8
8.86/9.05 c
8.86/9.05 c
8.86/9.05 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-13.xml
8.86/9.05 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.86/9.05 c choco : 1801.0
8.86/9.06 c mistral : 43.86
8.86/9.06 c abscon : 262.21
8.86/9.06 c
8.86/9.06 c
8.86/9.06 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-5.xml
8.86/9.06 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.86/9.06 c choco : 1801.0
8.86/9.06 c mistral : 1156.77
8.86/9.06 c abscon : 1801.0
8.86/9.06 c
8.86/9.06 c
8.86/9.06 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
8.86/9.06 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.86/9.07 c choco : 1801.0
8.86/9.07 c mistral : 467.31
8.86/9.07 c abscon : 1801.0
8.86/9.07 c
8.86/9.07 c
8.86/9.07 c /home/ehebrard/new_instances/competition_4c/data/compet08/patat-08-comp-12.xml
8.86/9.07 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.86/9.08 c choco : 1801.0
8.86/9.08 c mistral : 38.33
8.86/9.08 c abscon : 568.38
8.86/9.08 c
8.86/9.08 c
8.86/9.08 c Length: 10
8.86/9.08 c 0.8268475224610626 5.180835448316807 7.0610835682617505 13.60034507643831 13.817288348813925 17.87541305105703 18.254803488068564 20.079618918820174 20.14263247596503 20.789952897866055
8.86/9.09 c
8.86/9.09 c 1.0 0.8209494912934348 0.7620279117042644 0.6098099249475702 0.6057953597218648 0.5393732541063684 0.5339004740555038 0.5090567142382155 0.5082400548549179 0.5
8.86/9.09 c
8.86/9.09 c solver 0
8.86/9.09 c before 0.0 seconds: {} 0
8.86/9.09 c before 18.0 seconds: {5} 539
8.86/9.09 c before 54.0 seconds: {0, 3, 5} 2149
8.86/9.09 c before 270.0 seconds: {0, 3, 5, 6} 2683
8.86/9.09 c before 576.0 seconds: {0, 3, 5, 6, 9} 3183
8.86/9.09 c
8.86/9.09 c solver 1
8.86/9.09 c before 0.0 seconds: {} 0
8.86/9.09 c before 54.0 seconds: {6, 9} 1033
8.86/9.09 c before 72.0 seconds: {3, 6, 9} 1643
8.86/9.09 c before 108.0 seconds: {0, 3, 6, 9} 2643
8.86/9.09 c before 270.0 seconds: {0, 3, 4, 6, 9} 3249
8.86/9.09 c before 306.0 seconds: {0, 1, 3, 4, 6, 9} 4070
8.86/9.09 c before 450.0 seconds: {0, 1, 3, 4, 5, 6, 9} 4609
8.86/9.09 c before 468.0 seconds: {0, 1, 3, 4, 5, 6, 8, 9} 5118
8.86/9.09 c before 666.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5880
8.86/9.09 c before 1170.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6389
8.86/9.09 c
8.86/9.09 c solver 2
8.86/9.09 c before 0.0 seconds: {} 0
8.86/9.09 c
8.86/9.09 cTotal time: 97
8.86/9.09 c 1746.0 seconds unused
8.86/9.09 c 0 c 0 c 5
8.86/9.09 c 5 c 0 c 10
8.86/9.09 c 0 c 0 c 0
8.86/9.09 c is solver0 dominated by:
8.86/9.09 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)
8.86/9.09 c is dominated? true
8.86/9.09 c
8.86/9.09 c is solver1 dominated by:
8.86/9.09 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)
8.86/9.09 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)
8.86/9.09 c is dominated? false
8.86/9.09 c
8.86/9.09 c is solver2 dominated by:
8.86/9.09 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)
8.86/9.09 c is dominated? true
8.86/9.09 c
8.86/9.09 c Number of non-dominated solvers: 1
8.86/9.10 c remove dominated solvers
8.86/9.10 c solver 1 is not dominated by another solver
8.86/9.10 c solver 2 is dominated by another solver
8.86/9.10 c solver 0 is dominated by another solver
8.86/9.10 c
8.86/9.10 c solver 0: 0.0
8.86/9.10 c
8.86/9.10 c solver 1: 1170.0
8.86/9.10 c
8.86/9.10 c+ 65/65 of 35
8.86/9.10 c
8.86/9.10 c solver 2: 0.0
8.86/9.10 c do not run abscon
8.86/9.10 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6389
8.86/9.10 c do not run choco
8.93/9.10 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.93/9.10 c On Instance: HOME/instance-1058274-1215113872.xml
8.93/9.10 c Running for: 1800 seconds
44.87/45.42 c mistral-prime version 1.313
44.87/45.42 s SATISFIABLE
44.87/45.42 v 7 33 3 9 39 3 44 2 36 22 1 0 7 33 40 23 33 30 41 12 34 7 26 7 34 19 1 17 4 4 0 0 5 23 7 2 11 16 21 40 41 44 20 9 21 34 36 31 33 19 9 29 20 12 28 8 26 3 22 18 17 11 7 39 38 5 29 16 10 19 13 1 12 5 12 5 0 11 42 2 35 27 4 32 11 26 0 23 31 1 19 7 11 14 8 20 19 12 6 9 14 11 6 31 20 36 6 16 31 9 6 0 30 35 27 30 11 7 26 32 23 23 3 23 8 28 38 10 32 2 16 39 35 17 25 32 18 20 18 4 18 34 13 33 30 37 5 27 12 15 40 7 2 39 13 32 6 17 41 35 37 33 3 36 16 11 10 14 23 2 10 9 18 24 21 1 15 14 34 37 27 4 41 11 34 17 28 15 25 24 5 32 30 4 9 23 18 24 30 4 24 26 15 44 27 1 32 42 3 26 10 33 28 6 15 21 24 2 33 20 3 23 34 26 12 17 44 29 14 29 0 8 22 15 10 26 6 20 22 38 5 35 16 25 12 10 7 2 13 12 8 19 24 19 17 12 5 21 6 5 27 25 35 18 21 14 8 31 21 19 22 43 27 13 31 13 29 40 18 16 14 6 21 16 1 17 9 30 42 18 20 38 3 3 32 8 1 16 25 39 31 29 9 36 13 0 24 13 37 21 14 2 4 15 29 1 10 42 15 28 19 11 43 17 9 22 10 22 34 13 43 14 8 37 29 39 20 1 35 6 14 0 8 24 25 0 28 4 3 2 2 1 3 2 0 6 1 3 9 5 8 0 1 5 9 1 0 2 1 5 6 6 2 8 2 5 9 9 0 6 3 7 8 4 5 5 4 8 0 1 0 8 1 1 5 5 1 2 9 2 0 5 7 0 1 5 9 8 7 5 5 1 0 1 5 5 0 6 1 1 9 5 4 1 8 7 1 5 0 2 5 1 2 9 0 7 9 5 8 7 7 7 9 3 4 5 0 9 4 9 1 6 9 9 0 8 5 5 4 8 7 2 0 0 5 1 7 3 3 1 2 8 7 0 7 2 0 5 6 4 1 4 7 0 1 7 8 6 9 8 1 1 6 6 5 8 2 0 6 2 0 4 1 7 8 8 6 2 4 2 5 4 5 0 0 3 2 6 7 0 6 5 0 9 4 1 7 5 0 9 2 1 9 8 9 7 9 1 2 0 4 2 8 4 6 6 4 5 9 9 7 0 8 0 9 2 0 1 9 4 7 2 4 8 0 9 2 9 7 3 2 9 8 5 3 4 4 1 2 6 5 9 8 6 8 1 0 9 0 1 0 9 9 8 2 0 9 8 7 7 2 6 6 9 8 1 9 8 1 6 4 9 1 6 1 4 6 0 2 4 1 0 7 2 1 0 9 8 2 7 7 3 6 4 0 1 3 4 8 7 8 9 4 0 4 8 3 2 0 8 6 7 4 2 1 8 1 5 1 3 8 7 5 4 2 4 4 4 5 5 8 2 2 6 7 9 9 2 7 3 1 9 0 0 8 2 2 6 6 2 0 6 1 8 7 4 0 7 1 6
44.87/45.42 d CHECKS 78292265
44.87/45.42 d ASSIGNMENTS 8509
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058274-1215113872/watcher-1058274-1215113872 -o /tmp/evaluation-result-1058274-1215113872/solver-1058274-1215113872 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058274-1215113872.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.07 2.05 2.01 4/80 4471
/proc/meminfo: memFree=1499584/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=18572 CPUtime=0
/proc/4471/stat : 4471 (runsolver) R 4469 4471 3359 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 634320813 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 231493659943 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4471/statm: 4643 292 257 25 0 2626 0
[startup+0.081143 s]
/proc/loadavg: 2.07 2.05 2.01 4/80 4471
/proc/meminfo: memFree=1499584/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=0
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634320813 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101141 s]
/proc/loadavg: 2.07 2.05 2.01 4/80 4471
/proc/meminfo: memFree=1499584/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=0
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634320813 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301166 s]
/proc/loadavg: 2.07 2.05 2.01 4/80 4471
/proc/meminfo: memFree=1499584/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=0
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634320813 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701224 s]
/proc/loadavg: 2.07 2.05 2.01 4/80 4471
/proc/meminfo: memFree=1499584/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=0
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634320813 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50135 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 4475
/proc/meminfo: memFree=1486248/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=0
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634320813 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 236 195 169 0 51 0
[pid=4475] ppid=4471 vsize=47680 CPUtime=1.47
/proc/4475/stat : 4475 (xsolve) R 4471 4471 3359 0 -1 4194304 11521 0 0 0 143 4 0 0 25 0 1 0 634320814 48824320 11030 996147200 134512640 135239763 4294956176 18446744073709551615 135030883 0 0 4096 0 0 0 0 17 1 0 0
/proc/4475/statm: 11920 11030 431 177 0 10823 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 53040
[startup+3.10158 s]
/proc/loadavg: 2.07 2.05 2.01 3/82 4475
/proc/meminfo: memFree=1456680/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 5360
[startup+6.30205 s]
/proc/loadavg: 2.07 2.05 2.01 4/90 4487
/proc/meminfo: memFree=1485096/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197000 CPUtime=3.33
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 8351 0 1 0 322 11 0 0 18 0 9 0 634321103 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49250 6913 2540 9 0 43833 0
[pid=4479/tid=4480] ppid=4471 vsize=197000 CPUtime=2.63
/proc/4479/task/4480/stat : 4480 (java) R 4471 4471 3359 0 -1 64 3202 0 1 0 260 3 0 0 25 0 9 0 634321104 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4126461335 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197000 CPUtime=0.5
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 3799 0 0 0 44 6 0 0 16 0 9 0 634321106 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197000 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634321106 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197000 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 634321106 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197000 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 634321108 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197000 CPUtime=0.17
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 634321108 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197000 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634321108 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197000 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634321108 201728000 6913 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202360
[startup+12.703 s]
/proc/loadavg: 2.06 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428368/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13985 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47812 CPUtime=3.55
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11515 0 0 0 350 5 0 0 25 0 1 0 634321724 48959488 11029 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11953 11029 414 177 0 10856 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3991 0 1 0 467 6 0 0 23 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 255960
[startup+25.5029 s]
/proc/loadavg: 2.05 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428176/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13991 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47812 CPUtime=16.23
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11525 0 0 0 1618 5 0 0 25 0 1 0 634321724 48959488 11039 996147200 134512640 135239763 4294955968 18446744073709551615 135030786 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11953 11039 414 177 0 10856 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3991 0 1 0 467 6 0 0 23 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 255960
Solver just ended. Dumping a history of the last processes samples
[startup+38.3028 s]
/proc/loadavg: 2.04 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428176/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13991 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47812 CPUtime=28.91
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11527 0 0 0 2886 5 0 0 25 0 1 0 634321724 48959488 11041 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11953 11041 414 177 0 10856 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3991 0 1 0 467 6 0 0 23 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47812 CPUtime=33.66
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11543 0 0 0 3361 5 0 0 25 0 1 0 634321724 48959488 11057 996147200 134512640 135239763 4294955968 18446744073709551615 134799832 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11953 11057 414 177 0 10856 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3991 0 1 0 467 6 0 0 23 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.6
Current children cumulated vsize (KiB) 255960
[startup+44.7027 s]
/proc/loadavg: 2.03 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428112/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13991 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47812 CPUtime=35.25
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11543 0 0 0 3520 5 0 0 25 0 1 0 634321724 48959488 11057 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11953 11057 414 177 0 10856 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3991 0 1 0 467 6 0 0 23 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.19
Current children cumulated vsize (KiB) 255960
[startup+45.1078 s]
/proc/loadavg: 2.03 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428048/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13991 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47812 CPUtime=35.64
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11544 0 0 0 3559 5 0 0 25 0 1 0 634321724 48959488 11058 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11953 11058 414 177 0 10856 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3991 0 1 0 467 6 0 0 23 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.58
Current children cumulated vsize (KiB) 255960
[startup+45.3028 s]
/proc/loadavg: 2.03 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428048/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13992 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=47656 CPUtime=35.84
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11553 0 0 0 3579 5 0 0 25 0 1 0 634321724 48799744 11028 996147200 134512640 135239763 4294955968 18446744073709551615 134818518 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 11914 11028 420 177 0 10817 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3992 0 1 0 467 6 0 0 16 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.78
Current children cumulated vsize (KiB) 255804
[startup+45.4028 s]
/proc/loadavg: 2.03 2.05 2.01 3/93 4490
/proc/meminfo: memFree=1428048/2055920 swapFree=4180236/4192956
[pid=4471] ppid=4469 vsize=5360 CPUtime=2.86
/proc/4471/stat : 4471 (hydra) S 4469 4471 3359 0 -1 4194304 375 12134 0 0 0 0 281 5 18 0 1 0 634320813 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231493657412 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4471/statm: 1340 238 196 169 0 51 0
[pid=4479] ppid=4471 vsize=197432 CPUtime=6.08
/proc/4479/stat : 4479 (java) S 4471 4471 3359 0 -1 0 13992 0 1 0 588 20 0 0 18 0 10 0 634321103 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4479/statm: 49358 9507 2543 9 0 43941 0
[pid=4489] ppid=4479 vsize=5356 CPUtime=0
/proc/4489/stat : 4489 (mistral) S 4479 4471 3359 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634321723 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231493657412 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4489/statm: 1339 236 196 169 0 50 0
[pid=4490] ppid=4489 vsize=19496 CPUtime=35.93
/proc/4490/stat : 4490 (xsolve) R 4489 4471 3359 0 -1 4194304 11560 0 0 0 3588 5 0 0 25 0 1 0 634321724 19963904 4160 996147200 134512640 135239763 4294955968 18446744073709551615 11522117 0 4 0 0 0 0 0 17 1 0 0
/proc/4490/statm: 4874 4160 427 177 0 3777 0
[pid=4479/tid=4480] ppid=4471 vsize=197432 CPUtime=4.73
/proc/4479/task/4480/stat : 4480 (java) S 4471 4471 3359 0 -1 64 3992 0 1 0 467 6 0 0 16 0 10 0 634321104 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4479/tid=4481] ppid=4471 vsize=197432 CPUtime=1.1
/proc/4479/task/4481/stat : 4481 (java) S 4471 4471 3359 0 -1 64 8552 0 0 0 99 11 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4482] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4482/stat : 4482 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4483] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4483/stat : 4483 (java) S 4471 4471 3359 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634321106 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4484] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4484/stat : 4484 (java) S 4471 4471 3359 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4485] ppid=4471 vsize=197432 CPUtime=0.2
/proc/4479/task/4485/stat : 4485 (java) S 4471 4471 3359 0 -1 64 643 0 0 0 20 0 0 0 16 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4486] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4486/stat : 4486 (java) S 4471 4471 3359 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4487] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4487/stat : 4487 (java) S 4471 4471 3359 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 634321108 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4479/tid=4488] ppid=4471 vsize=197432 CPUtime=0
/proc/4479/task/4488/stat : 4488 (java) S 4471 4471 3359 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634321723 202170368 9507 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.87
Current children cumulated vsize (KiB) 227644
Child status: 0
Real time (s): 45.4837
CPU time (s): 44.9482
CPU user time (s): 44.6102
CPU system time (s): 0.337948
CPU usage (%): 98.8227
Max. virtual memory (cumulated for all children) (KiB): 255960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.6102
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38465
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= 9654
involuntary context switches= 12806
runsolver used 0.070989 second user time and 0.184971 second system time
The end