0.00/0.00 c cpHydra_k_10 version 0.0
9.23/9.41 c CASE TO CLASSIFY:
9.23/9.41 c Case: 0
9.23/9.41 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.827705 | c 33 > 30.000000 | c 15 > 21.609900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 7.021550 | c 14 > 8.787900 | c 11 > 9.308340 | c 12 > 8.216440 | c 21 > 4.869800 | c 20 > 99.172300 | c 22 > 6.708200 | c 23 > 85.063200 | c 24 > 33.333300 | c 25 > 250.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.308340 | c 2 > -1.000000 | c 10 > 16.904800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.759000 | c 32 > 0.000000 | c 5 > 16.985000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.23/9.42 c choco : 1801.0
9.23/9.42 c mistral : 1801.0
9.23/9.42 c abscon : 1801.0
9.23/9.42 c
9.23/9.42 c
9.23/9.49 c List of same ones: 10
9.23/9.49 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-13.xml
9.23/9.49 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.827705 | c 33 > 30.000000 | c 15 > 20.694100 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.951770 | c 14 > 8.379380 | c 11 > 9.308340 | c 12 > 8.185690 | c 21 > 4.869800 | c 20 > 99.172300 | c 22 > 6.708200 | c 23 > 85.063200 | c 24 > 33.333300 | c 25 > 250.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.308340 | c 2 > -1.000000 | c 10 > 16.904800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.759000 | c 32 > 0.000000 | c 5 > 16.985000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.50 c choco : 1801.0
9.33/9.50 c mistral : 114.2
9.33/9.50 c abscon : 1801.0
9.33/9.50 c
9.33/9.50 c
9.33/9.50 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-16.xml
9.33/9.50 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.498934 | c 33 > 30.000000 | c 15 > 20.578600 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.573960 | c 14 > 8.339850 | c 11 > 9.513730 | c 12 > 8.266280 | c 21 > 4.907900 | c 20 > 99.501100 | c 22 > 6.708200 | c 23 > 87.740100 | c 24 > 28.571400 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.513730 | c 2 > -1.000000 | c 10 > 17.297500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.360800 | c 32 > 0.000000 | c 5 > 17.530800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.51 c choco : 1801.0
9.33/9.51 c mistral : 793.29
9.33/9.51 c abscon : 1801.0
9.33/9.51 c
9.33/9.51 c
9.33/9.51 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-9.xml
9.33/9.51 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.450580 | c 33 > 30.000000 | c 15 > 20.707300 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.953550 | c 14 > 8.451210 | c 11 > 9.552670 | c 12 > 8.368340 | c 21 > 4.877240 | c 20 > 99.549400 | c 22 > 6.708200 | c 23 > 84.802900 | c 24 > 25.000000 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.552670 | c 2 > -1.000000 | c 10 > 17.406200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.513100 | c 32 > 0.000000 | c 5 > 17.665300 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.52 c choco : 1801.0
9.33/9.52 c mistral : 499.22
9.33/9.52 c abscon : 1801.0
9.33/9.52 c
9.33/9.52 c
9.33/9.52 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-11.xml
9.33/9.52 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.765670 | c 33 > 30.000000 | c 15 > 20.735200 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.584730 | c 14 > 8.588710 | c 11 > 9.353150 | c 12 > 8.024060 | c 21 > 4.851030 | c 20 > 99.234300 | c 22 > 6.708200 | c 23 > 83.020000 | c 24 > 25.000000 | c 25 > 220.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.353150 | c 2 > -1.000000 | c 10 > 16.798500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.711800 | c 32 > 0.000000 | c 5 > 16.943200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.53 c choco : 1801.0
9.33/9.53 c mistral : 807.54
9.33/9.53 c abscon : 1801.0
9.33/9.53 c
9.33/9.53 c
9.33/9.53 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-5.xml
9.33/9.53 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
9.33/9.54 c choco : 1801.0
9.33/9.54 c mistral : 71.99
9.33/9.54 c abscon : 45.66
9.33/9.54 c
9.33/9.54 c
9.33/9.54 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-19.xml
9.33/9.54 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
9.33/9.55 c choco : 1801.0
9.33/9.55 c mistral : 265.78
9.33/9.55 c abscon : 1801.0
9.33/9.55 c
9.33/9.55 c
9.33/9.55 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-12.xml
9.33/9.55 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.704225 | c 33 > 30.000000 | c 15 > 20.751900 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.592960 | c 14 > 8.897850 | c 11 > 9.262090 | c 12 > 8.033320 | c 21 > 4.845360 | c 20 > 99.295800 | c 22 > 6.708200 | c 23 > 87.711200 | c 24 > 30.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.262090 | c 2 > -1.000000 | c 10 > 16.738200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 15.657900 | c 32 > 0.000000 | c 5 > 16.896500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.56 c choco : 1801.0
9.33/9.56 c mistral : 62.47
9.33/9.56 c abscon : 40.58
9.33/9.56 c
9.33/9.56 c
9.33/9.56 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-2.xml
9.33/9.56 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.307064 | c 33 > 30.000000 | c 15 > 20.498000 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.362750 | c 14 > 8.658210 | c 11 > 9.599910 | c 12 > 8.664880 | c 21 > 4.940900 | c 20 > 99.692900 | c 22 > 6.708200 | c 23 > 80.681200 | c 24 > 30.000000 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.599910 | c 2 > -1.000000 | c 10 > 17.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 16.981900 | c 32 > 0.000000 | c 5 > 18.086700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.57 c choco : 1801.0
9.33/9.57 c mistral : 628.57
9.33/9.57 c abscon : 1801.0
9.33/9.57 c
9.33/9.57 c
9.33/9.57 c /home/ehebrard/new_instances/competition_4c/data/compet02/patat-02-comp-6.xml
9.33/9.57 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
9.33/9.57 c choco : 1801.0
9.33/9.57 c mistral : 467.31
9.33/9.57 c abscon : 1801.0
9.33/9.57 c
9.33/9.57 c
9.33/9.57 c /home/ehebrard/new_instances/competition_4c/data/medium/patat-02-medium-3.xml
9.33/9.57 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 0.312402 | c 33 > 30.000000 | c 15 > 20.565500 | c 34 > 30.000000 | c 16 > 20.000000 | c 13 > 6.410480 | c 14 > 8.643860 | c 11 > 9.605480 | c 12 > 8.645100 | c 21 > 4.940900 | c 20 > 99.687600 | c 22 > 6.708200 | c 23 > 80.177400 | c 24 > 28.571400 | c 25 > 200.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 9.605480 | c 2 > -1.000000 | c 10 > 17.754100 | 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.064700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.33/9.58 c choco : 1801.0
9.33/9.58 c mistral : 407.7
9.33/9.58 c abscon : 1801.0
9.33/9.58 c
9.33/9.58 c
9.33/9.59 c Length: 10
9.33/9.59 c 1.0056803872503444 30.535633778273557 31.179386518870523 31.219841270404068 50.03271514615638 50.057244895255906 50.191328456557116 50.3625259688231 50.49920682770806 50.51983038503899
9.33/9.59 c
9.33/9.59 c 1.0 0.6264116850593188 0.6213512623225841 0.6210359839646887 0.5024716327497246 0.5023465841652063 0.5016641469127352 0.5007955033490566 0.50010415130459 0.5
9.33/9.59 c
9.33/9.59 c solver 0
9.33/9.59 c before 0.0 seconds: {} 0
9.33/9.59 c before 54.0 seconds: {4, 6} 1004
9.33/9.59 c
9.33/9.59 c solver 1
9.33/9.59 c before 0.0 seconds: {} 0
9.33/9.59 c before 72.0 seconds: {4, 6} 1004
9.33/9.59 c before 126.0 seconds: {0, 4, 6} 2004
9.33/9.59 c before 270.0 seconds: {0, 4, 5, 6} 2506
9.33/9.59 c before 414.0 seconds: {0, 4, 5, 6, 9} 3006
9.33/9.59 c before 468.0 seconds: {0, 4, 5, 6, 8, 9} 3506
9.33/9.59 c before 504.0 seconds: {0, 2, 4, 5, 6, 8, 9} 4127
9.33/9.59 c before 630.0 seconds: {0, 2, 4, 5, 6, 7, 8, 9} 4628
9.33/9.59 c before 810.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5876
9.33/9.59 c
9.33/9.59 c solver 2
9.33/9.59 c before 0.0 seconds: {} 0
9.33/9.59 c
9.33/9.59 cTotal time: 48
9.33/9.59 c 864.0 seconds unused
9.33/9.59 c 0 c 0 c 2
9.33/9.59 c 8 c 0 c 10
9.33/9.59 c 0 c 0 c 0
9.33/9.59 c is solver0 dominated by:
9.33/9.59 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.33/9.59 c is dominated? true
9.33/9.59 c
9.33/9.59 c is solver1 dominated by:
9.33/9.59 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.33/9.59 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.33/9.59 c is dominated? false
9.33/9.59 c
9.33/9.59 c is solver2 dominated by:
9.33/9.59 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.33/9.60 c is dominated? true
9.33/9.60 c
9.33/9.60 c Number of non-dominated solvers: 1
9.33/9.60 c remove dominated solvers
9.33/9.60 c solver 1 is not dominated by another solver
9.33/9.60 c solver 2 is dominated by another solver
9.33/9.60 c solver 0 is dominated by another solver
9.40/9.60 c
9.40/9.60 c solver 0: 0.0
9.40/9.60 c
9.40/9.60 c solver 1: 810.0
9.40/9.60 c
9.40/9.60 c+ 45/45 of 55
9.40/9.60 c
9.40/9.60 c solver 2: 0.0
9.40/9.60 c do not run abscon
9.40/9.60 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5876
9.40/9.60 c do not run choco
9.40/9.60 c Starting solver: HOME/cpHydra_k_10/solver/mistral
9.40/9.60 c On Instance: HOME/instance-1058482-1215115447.xml
9.40/9.60 c Running for: 1800 seconds
135.25/136.75 c mistral-prime version 1.313
135.25/136.75 s SATISFIABLE
135.25/136.75 v 25 19 25 9 36 0 34 0 35 40 31 1 38 35 29 40 7 21 9 9 35 35 3 1 13 22 16 6 2 15 25 18 43 37 5 20 6 33 9 5 2 18 33 21 3 4 17 13 15 10 4 9 1 10 11 0 24 30 16 13 22 7 2 5 7 37 17 1 33 40 37 3 22 16 41 31 32 6 25 18 25 37 40 31 35 26 3 10 34 37 9 29 30 14 31 30 17 10 2 22 27 19 43 6 29 37 15 31 43 42 27 26 14 20 28 29 24 19 15 39 15 21 23 43 16 30 22 11 6 14 12 10 6 27 34 4 12 0 8 41 29 16 17 23 12 36 36 7 1 8 18 4 1 21 1 11 4 23 11 26 34 36 15 36 32 2 26 20 24 41 19 38 4 8 22 16 23 34 12 17 23 30 21 19 27 27 9 35 12 23 33 0 44 12 30 40 33 21 43 39 28 43 10 22 38 18 3 15 35 15 31 38 37 31 5 14 28 43 3 19 37 10 18 25 31 8 17 4 14 9 10 9 42 39 24 28 42 38 26 6 28 10 22 38 23 3 0 11 13 32 34 34 9 12 23 20 19 25 5 36 5 28 14 44 35 41 2 30 13 1 29 40 17 4 13 3 41 4 35 26 14 44 15 28 27 8 44 24 32 18 21 33 7 22 8 42 5 30 41 28 2 20 11 30 34 36 10 32 5 12 36 25 16 22 19 18 25 8 28 26 40 13 39 4 38 20 20 11 26 32 6 1 28 5 1 7 21 18 8 6 32 13 29 2 23 6 16 24 20 8 15 3 2 24 0 14 16 29 23 11 29 7 21 39 29 17 14 19 25 39 8 7 27 20 31 17 7 0 32 24 12 21 39 24 0 20 17 12 0 11 19 13 2 3 5 11 33 7 18 27 1 6 7 0 9 2 1 5 9 4 5 5 3 6 6 1 9 1 5 7 1 0 3 0 4 2 0 6 1 2 8 7 0 6 4 5 5 9 4 2 9 6 1 6 4 1 0 5 6 6 9 9 6 3 2 1 1 0 4 6 7 5 4 6 8 1 3 4 4 5 8 6 4 9 0 1 4 9 5 8 6 7 0 9 7 4 1 9 7 5 1 5 3 4 3 5 8 7 8 3 4 9 3 0 0 0 5 0 5 3 5 8 9 3 7 1 9 1 0 5 7 5 8 9 1 2 8 4 2 8 7 5 8 6 4 6 8 3 4 4 4 2 5 6 4 0 3 4 1 5 1 7 3 3 9 3 4 7 5 0 6 4 4 1 3 6 9 0 6 3 8 2 8 9 1 3 4 3 2 2 3 1 4 3 9 1 3 8 3 1 3 8 0 1 4 9 6 7 4 4 2 6 8 0 0 3 2 1 4 8 8 4 4 7 1 1 4 8 9 5 3 2 5 2 2 3 4 2 3 6 4 8 4 3 4 3 0 9 7 4 8 1 6 1 2 5 7 1 1 0 0 8 2 5 9 8 4 0 3 5 7 6 6 4 3 6 2 7 2 2 2 3 6 3 7 8 1 5 5 5 0 3 9 0 7 8 9 3 1 2 2 7 6 9 6 6 9 9 9 1 7 2 9 6 9 7 0 6 8 6 8 3 6 5 2 4 4 0 9 3 6 3 8 0 8 4 6 8 1 8 1 8 5 5 7 3 8 9 1 7 5 8 8 3 5 3 5 0 1 7 3 7 5 5 6 5 7 7 0 7 9 1 9 1 3 1 7 7 9 9 2 7 3 7 4 7 2 9 7 7 0 0 0 8 4 9 9 9 0 6 0 0 0 0 0 0 0 0 0 0
135.25/136.75 d CHECKS 262447856
135.25/136.75 d ASSIGNMENTS 58873
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058482-1215115447/watcher-1058482-1215115447 -o /tmp/evaluation-result-1058482-1215115447/solver-1058482-1215115447 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058482-1215115447.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 23727
/proc/meminfo: memFree=1551808/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=820 CPUtime=0
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 46 0 0 0 0 0 0 0 24 0 1 0 1990495932 839680 25 996147200 134512640 135239763 4294956176 18446744073709551615 9757476 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 205 25 19 177 0 3 0
[startup+0.21253 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 23727
/proc/meminfo: memFree=1551808/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=7456 CPUtime=0.19
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 1173 0 0 0 19 0 0 0 19 0 1 0 1990495932 7634944 1132 996147200 134512640 135239763 4294956176 18446744073709551615 134683382 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 1864 1132 377 177 0 767 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12816
[startup+0.302547 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 23727
/proc/meminfo: memFree=1551808/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=8744 CPUtime=0.28
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 1469 0 0 0 28 0 0 0 19 0 1 0 1990495932 8953856 1428 996147200 134512640 135239763 4294956176 18446744073709551615 134617963 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 2186 1428 377 177 0 1089 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 14104
[startup+0.402568 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 23727
/proc/meminfo: memFree=1551808/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=10024 CPUtime=0.38
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 1804 0 0 0 37 1 0 0 20 0 1 0 1990495932 10264576 1763 996147200 134512640 135239763 4294956176 18446744073709551615 4159744829 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 2506 1763 377 177 0 1409 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 15384
[startup+0.702626 s]
/proc/loadavg: 1.91 1.97 1.99 4/73 23727
/proc/meminfo: memFree=1551808/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=13868 CPUtime=0.67
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 2823 0 0 0 66 1 0 0 23 0 1 0 1990495932 14200832 2716 996147200 134512640 135239763 4294956176 18446744073709551615 10190332 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 3467 2716 377 177 0 2370 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 19228
[startup+1.50179 s]
/proc/loadavg: 1.91 1.97 1.99 3/75 23731
/proc/meminfo: memFree=1535152/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=24316 CPUtime=1.46
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 5441 0 0 0 142 4 0 0 25 0 1 0 1990495932 24899584 5204 996147200 134512640 135239763 4294956176 18446744073709551615 135000985 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 6079 5204 383 177 0 4982 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29676
[startup+3.1011 s]
/proc/loadavg: 1.91 1.97 1.99 3/75 23731
/proc/meminfo: memFree=1496688/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=0
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990495931 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 236 195 169 0 51 0
[pid=23730] ppid=23727 vsize=59784 CPUtime=3.04
/proc/23730/stat : 23730 (xsolve) R 23727 23727 23025 0 -1 4194304 14684 0 0 0 294 10 0 0 25 0 1 0 1990495932 61218816 13983 996147200 134512640 135239763 4294956176 18446744073709551615 134799832 0 0 4096 0 0 0 0 17 1 0 0
/proc/23730/statm: 14946 13983 432 177 0 13849 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 65144
[startup+6.30172 s]
/proc/loadavg: 1.92 1.97 1.99 3/83 23743
/proc/meminfo: memFree=1538352/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197000 CPUtime=2.78
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 7584 0 1 0 270 8 0 0 18 0 9 0 1990496278 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49250 6316 2540 9 0 43833 0
[pid=23735/tid=23736] ppid=23727 vsize=197000 CPUtime=2.2
/proc/23735/task/23736/stat : 23736 (java) R 23727 23727 23025 0 -1 64 3028 0 1 0 218 2 0 0 25 0 9 0 1990496280 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4126567051 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197000 CPUtime=0.38
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 3203 0 0 0 34 4 0 0 16 0 9 0 1990496281 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197000 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990496281 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197000 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990496281 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197000 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990496283 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197000 CPUtime=0.17
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1990496283 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197000 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990496283 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197000 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990496283 201728000 6316 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 202360
[startup+12.703 s]
/proc/loadavg: 1.93 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468760/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=6.03
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11431 0 1 0 585 18 0 0 18 0 10 0 1990496278 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9405 2544 9 0 43941 0
[pid=23745] ppid=23735 vsize=5356 CPUtime=0
/proc/23745/stat : 23745 (mistral) S 23735 23727 23025 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990496892 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23745/statm: 1339 236 196 169 0 50 0
[pid=23746] ppid=23745 vsize=59784 CPUtime=3.04
/proc/23746/stat : 23746 (xsolve) R 23745 23727 23025 0 -1 4194304 14661 0 0 0 297 7 0 0 25 0 1 0 1990496893 61218816 13965 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/23746/statm: 14946 13965 414 177 0 13849 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=4.89
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3858 0 1 0 483 6 0 0 24 0 10 0 1990496280 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=0.9
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6127 0 0 0 80 10 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=0.2
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23744] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23744/stat : 23744 (java) S 23727 23727 23025 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990496892 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 267932
[startup+25.5075 s]
/proc/loadavg: 1.94 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468952/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=6.03
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11436 0 1 0 585 18 0 0 18 0 10 0 1990496278 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9405 2544 9 0 43941 0
[pid=23745] ppid=23735 vsize=5356 CPUtime=0
/proc/23745/stat : 23745 (mistral) S 23735 23727 23025 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990496892 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23745/statm: 1339 236 196 169 0 50 0
[pid=23746] ppid=23745 vsize=59784 CPUtime=15.72
/proc/23746/stat : 23746 (xsolve) R 23745 23727 23025 0 -1 4194304 14662 0 0 0 1565 7 0 0 25 0 1 0 1990496893 61218816 13966 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/23746/statm: 14946 13966 414 177 0 13849 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=4.89
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3858 0 1 0 483 6 0 0 24 0 10 0 1990496280 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=0.9
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6127 0 0 0 80 10 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=0.2
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23744] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23744/stat : 23744 (java) S 23727 23727 23025 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990496892 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 267932
[startup+51.1025 s]
/proc/loadavg: 1.96 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468760/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
/proc/loadavg: 1.99 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468568/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=6.03
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11436 0 1 0 585 18 0 0 18 0 10 0 1990496278 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9405 2544 9 0 43941 0
[pid=23745] ppid=23735 vsize=5356 CPUtime=0
/proc/23745/stat : 23745 (mistral) S 23735 23727 23025 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990496892 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23745/statm: 1339 236 196 169 0 50 0
[pid=23746] ppid=23745 vsize=60172 CPUtime=123.67
/proc/23746/stat : 23746 (xsolve) R 23745 23727 23025 0 -1 4194304 14772 0 0 0 12359 8 0 0 25 0 1 0 1990496893 61616128 14011 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/23746/statm: 15043 14011 414 177 0 13946 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=4.89
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3858 0 1 0 483 6 0 0 24 0 10 0 1990496280 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=0.9
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6127 0 0 0 80 10 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=0.2
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23744] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23744/stat : 23744 (java) S 23727 23727 23025 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990496892 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 133.08
Current children cumulated vsize (KiB) 268320
[startup+136.102 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468568/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=6.03
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11436 0 1 0 585 18 0 0 18 0 10 0 1990496278 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9405 2544 9 0 43941 0
[pid=23745] ppid=23735 vsize=5356 CPUtime=0
/proc/23745/stat : 23745 (mistral) S 23735 23727 23025 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990496892 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23745/statm: 1339 236 196 169 0 50 0
[pid=23746] ppid=23745 vsize=60172 CPUtime=125.25
/proc/23746/stat : 23746 (xsolve) R 23745 23727 23025 0 -1 4194304 14772 0 0 0 12517 8 0 0 25 0 1 0 1990496893 61616128 14011 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/23746/statm: 15043 14011 414 177 0 13946 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=4.89
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3858 0 1 0 483 6 0 0 24 0 10 0 1990496280 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=0.9
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6127 0 0 0 80 10 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=0.2
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23744] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23744/stat : 23744 (java) S 23727 23727 23025 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990496892 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 134.66
Current children cumulated vsize (KiB) 268320
[startup+136.502 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468568/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=6.03
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11436 0 1 0 585 18 0 0 18 0 10 0 1990496278 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9405 2544 9 0 43941 0
[pid=23745] ppid=23735 vsize=5356 CPUtime=0
/proc/23745/stat : 23745 (mistral) S 23735 23727 23025 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990496892 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23745/statm: 1339 236 196 169 0 50 0
[pid=23746] ppid=23745 vsize=60172 CPUtime=125.65
/proc/23746/stat : 23746 (xsolve) R 23745 23727 23025 0 -1 4194304 14775 0 0 0 12557 8 0 0 25 0 1 0 1990496893 61616128 14014 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/23746/statm: 15043 14014 414 177 0 13946 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=4.89
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3858 0 1 0 483 6 0 0 24 0 10 0 1990496280 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=0.9
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6127 0 0 0 80 10 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=0.2
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23744] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23744/stat : 23744 (java) S 23727 23727 23025 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990496892 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 135.06
Current children cumulated vsize (KiB) 268320
[startup+136.702 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468568/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=6.03
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11437 0 1 0 585 18 0 0 18 0 10 0 1990496278 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9405 2544 9 0 43941 0
[pid=23745] ppid=23735 vsize=5356 CPUtime=0
/proc/23745/stat : 23745 (mistral) S 23735 23727 23025 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1990496892 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228774699844 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/23745/statm: 1339 236 196 169 0 50 0
[pid=23746] ppid=23745 vsize=25592 CPUtime=125.84
/proc/23746/stat : 23746 (xsolve) R 23745 23727 23025 0 -1 4194304 14802 0 0 0 12576 8 0 0 25 0 1 0 1990496893 26206208 5582 996147200 134512640 135239763 4294955968 18446744073709551615 10190376 0 4 0 0 0 0 0 17 1 0 0
/proc/23746/statm: 6398 5582 427 177 0 5301 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=4.89
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3859 0 1 0 483 6 0 0 16 0 10 0 1990496280 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=0.9
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6127 0 0 0 80 10 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1990496281 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=0.2
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1990496283 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23744] ppid=23727 vsize=197432 CPUtime=0
/proc/23735/task/23744/stat : 23744 (java) S 23727 23727 23025 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1990496892 202170368 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 135.25
Current children cumulated vsize (KiB) 233740
[startup+136.802 s]
/proc/loadavg: 1.99 1.97 1.99 3/86 23746
/proc/meminfo: memFree=1468568/2055920 swapFree=4179604/4192956
[pid=23727] ppid=23725 vsize=5360 CPUtime=3.38
/proc/23727/stat : 23727 (hydra) S 23725 23727 23025 0 -1 4194304 375 15278 0 3 0 0 327 11 19 0 1 0 1990495931 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23727/statm: 1340 238 196 169 0 51 0
[pid=23735] ppid=23727 vsize=197432 CPUtime=131.93
/proc/23735/stat : 23735 (java) S 23727 23727 23025 0 -1 0 11521 15104 1 0 585 18 12581 9 18 0 9 0 1990496278 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23735/statm: 49358 9407 2545 9 0 43941 0
[pid=23735/tid=23736] ppid=23727 vsize=197432 CPUtime=130.79
/proc/23735/task/23736/stat : 23736 (java) S 23727 23727 23025 0 -1 64 3912 15104 1 0 483 6 12581 9 16 0 9 0 1990496280 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23737] ppid=23727 vsize=197432 CPUtime=126.8
/proc/23735/task/23737/stat : 23737 (java) S 23727 23727 23025 0 -1 64 6145 15104 0 0 80 10 12581 9 16 0 9 0 1990496281 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23738] ppid=23727 vsize=197432 CPUtime=125.9
/proc/23735/task/23738/stat : 23738 (java) S 23727 23727 23025 0 -1 64 11 15104 0 0 0 0 12581 9 16 0 9 0 1990496281 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23739] ppid=23727 vsize=197432 CPUtime=125.9
/proc/23735/task/23739/stat : 23739 (java) S 23727 23727 23025 0 -1 64 5 15104 0 0 0 0 12581 9 16 0 9 0 1990496281 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23740] ppid=23727 vsize=197432 CPUtime=125.9
/proc/23735/task/23740/stat : 23740 (java) S 23727 23727 23025 0 -1 64 1 15104 0 0 0 0 12581 9 18 0 9 0 1990496283 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23741] ppid=23727 vsize=197432 CPUtime=126.1
/proc/23735/task/23741/stat : 23741 (java) S 23727 23727 23025 0 -1 64 646 15104 0 0 20 0 12581 9 15 0 9 0 1990496283 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23742] ppid=23727 vsize=197432 CPUtime=125.9
/proc/23735/task/23742/stat : 23742 (java) S 23727 23727 23025 0 -1 64 0 15104 0 0 0 0 12581 9 19 0 9 0 1990496283 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23735/tid=23743] ppid=23727 vsize=197432 CPUtime=125.9
/proc/23735/task/23743/stat : 23743 (java) S 23727 23727 23025 0 -1 64 11 15104 0 0 0 0 12581 9 15 0 9 0 1990496283 202170368 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 135.31
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 136.811
CPU time (s): 135.36
CPU user time (s): 134.948
CPU system time (s): 0.411937
CPU usage (%): 98.9399
Max. virtual memory (cumulated for all children) (KiB): 268320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 134.948
system time used= 0.411937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42318
page faults= 4
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11396
involuntary context switches= 15597
runsolver used 0.203968 second user time and 0.472928 second system time
The end
Begin job on node74 at 2008-07-03 22:04:08
IDJOB=1058482
IDBENCH=54130
IDSOLVER=365
FILE ID=node74/1058482-1215115447
PBS_JOBID= 7877060
Free space on /tmp= 103200 MiB
SOLVER NAME= cpHydra k_10
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-13.xml
COMMAND LINE= HOME/cpHydra_k_10/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1058482-1215115447/watcher-1058482-1215115447 -o /tmp/evaluation-result-1058482-1215115447/solver-1058482-1215115447 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058482-1215115447.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 96388d2f788c0ec6e36289d5c4da0a58
RANDOM SEED=1113855354
node74.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.259
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1552224 kB
Buffers: 33472 kB
Cached: 285608 kB
SwapCached: 6708 kB
Active: 221668 kB
Inactive: 218604 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1552224 kB
SwapTotal: 4192956 kB
SwapFree: 4179604 kB
Dirty: 28528 kB
Writeback: 0 kB
Mapped: 128684 kB
Slab: 48276 kB
Committed_AS: 4046028 kB
PageTables: 2004 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103176 MiB
End job on node74 at 2008-07-03 22:06:25