0.00/0.00 c cpHydra_k_10 version 0.0
7.33/7.46 c CASE TO CLASSIFY:
7.33/7.46 c Case: 0
7.33/7.46 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 20.797200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 11.248900 | c 14 > 13.849300 | c 11 > 10.019600 | c 12 > 10.302100 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/7.47 c choco : 1801.0
7.33/7.47 c mistral : 1801.0
7.33/7.47 c abscon : 1801.0
7.33/7.47 c
7.33/7.47 c
7.43/7.54 c List of same ones: 10
7.43/7.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-2.xml
7.43/7.54 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 19.935200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 10.386500 | c 14 > 12.940100 | c 11 > 10.019600 | c 12 > 9.285440 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.55 c choco : 42.29
7.43/7.55 c mistral : 4.09
7.43/7.55 c abscon : 5.17121
7.43/7.55 c
7.43/7.55 c
7.43/7.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-4.xml
7.43/7.55 c 19 > 39.230800 | c 35 > 26.076900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.538500 | c 15 > 20.080700 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 10.359300 | c 14 > 13.017900 | c 11 > 10.011200 | c 12 > 9.209880 | c 21 > 1.414210 | c 20 > 60.769200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.707360 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.303780 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.396600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.56 c choco : 97.7
7.43/7.56 c mistral : 12.3971
7.43/7.56 c abscon : 4.75328
7.43/7.56 c
7.43/7.56 c
7.43/7.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-3.xml
7.43/7.56 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 19.954900 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 9.940520 | c 14 > 12.803100 | c 11 > 10.019600 | c 12 > 8.670580 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.57 c choco : 73.01
7.43/7.57 c mistral : 0.493924
7.43/7.57 c abscon : 7.12592
7.43/7.57 c
7.43/7.57 c
7.43/7.57 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-1-6-1.xml
7.43/7.57 c 19 > 38.653800 | c 35 > 26.134600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.192300 | c 15 > 20.202000 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 8.324630 | c 14 > 12.436500 | c 11 > 10.019600 | c 12 > 7.104540 | c 21 > 1.414210 | c 20 > 61.346200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.712530 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.317410 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.406200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.58 c choco : 45.97
7.43/7.58 c mistral : 1.4
7.43/7.58 c abscon : 3.53646
7.43/7.58 c
7.43/7.58 c
7.43/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-2.xml
7.43/7.58 c 19 > 38.846200 | c 35 > 26.115400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.307700 | c 15 > 18.541400 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.915430 | c 14 > 11.476200 | c 11 > 9.016810 | c 12 > 6.489690 | c 21 > 1.414210 | c 20 > 61.153800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.710810 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.312880 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.403000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.43/7.59 c choco : 4.61
7.43/7.59 c mistral : 0.036993
7.43/7.59 c abscon : 1.13283
7.43/7.59 c
7.43/7.59 c
7.43/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-3.xml
7.43/7.59 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 18.137200 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.967320 | c 14 > 11.473200 | c 11 > 9.022370 | c 12 > 6.629220 | c 21 > 1.414210 | c 20 > 61.538500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.52/7.61 c choco : 3.49
7.52/7.61 c mistral : 0.219965
7.52/7.61 c abscon : 1.37479
7.52/7.61 c
7.52/7.61 c
7.52/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-1-6-4.xml
7.52/7.61 c 19 > 38.461500 | c 35 > 26.153800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 23.076900 | c 15 > 17.680100 | c 34 > 33.846200 | c 16 > 3.000000 | c 13 > 7.944640 | c 14 > 10.893300 | c 11 > 9.022370 | c 12 > 6.333710 | c 21 > 1.414210 | c 20 > 61.538500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.714250 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.321930 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.409400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.52/7.61 c choco : 2.78
7.52/7.61 c mistral : 0.056991
7.52/7.61 c abscon : 1.06884
7.52/7.61 c
7.52/7.61 c
7.52/7.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-100-2-0-2.xml
7.52/7.61 c 19 > 34.000000 | c 35 > 26.600000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.400000 | c 15 > 20.765200 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 10.169100 | c 14 > 13.490600 | c 11 > 9.219170 | c 12 > 9.740540 | c 21 > 1.414210 | c 20 > 66.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.960000 | c 1 > 7.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.629360 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.633000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.52/7.62 c choco : 9.95
7.52/7.62 c mistral : 0.19397
7.52/7.62 c abscon : 1.41378
7.52/7.62 c
7.52/7.62 c
7.52/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-4.xml
7.52/7.62 c 19 > 33.666700 | c 35 > 26.633300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.200000 | c 15 > 19.199300 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 10.074500 | c 14 > 12.474200 | c 11 > 10.224000 | c 12 > 8.103660 | c 21 > 1.414210 | c 20 > 66.333300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.962900 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.636620 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.638400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.52/7.63 c choco : 1801.0
7.52/7.63 c mistral : 85.46
7.52/7.63 c abscon : 49.4865
7.52/7.63 c
7.52/7.63 c
7.52/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/aim/aim-200-2-0-2.xml
7.52/7.63 c 19 > 33.500000 | c 35 > 26.650000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 20.100000 | c 15 > 19.435500 | c 34 > 33.333300 | c 16 > 3.000000 | c 13 > 9.838820 | c 14 > 12.138900 | c 11 > 10.226400 | c 12 > 8.142540 | c 21 > 1.414210 | c 20 > 66.500000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.964340 | c 1 > 8.643860 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.640240 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.641100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.52/7.64 c choco : 1801.0
7.52/7.64 c mistral : 21.6907
7.52/7.64 c abscon : 18.3172
7.52/7.64 c
7.52/7.64 c
7.52/7.64 c Length: 10
7.52/7.64 c 1.8294862545534483 1.994579618415874 2.4855018537108364 4.596304152958112 6.4404170922697235 6.484098370822268 7.084050213783073 7.515421460696662 8.374053665017911 8.655150115682567
7.52/7.64 c
7.52/7.64 c 1.0 0.9763840513196158 0.9123170669580829 0.7115639135143753 0.5968265940051385 0.5945557297200261 0.5650277430716881 0.5455468820914823 0.5105120264920875 0.5
7.52/7.65 c
7.52/7.65 c solver 0
7.52/7.65 c before 0.0 seconds: {} 0
7.52/7.65 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5902
7.52/7.65 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6402
7.52/7.65 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6912
7.52/7.65 c
7.52/7.65 c solver 1
7.52/7.65 c before 0.0 seconds: {} 0
7.52/7.65 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5902
7.52/7.65 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6402
7.52/7.65 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6912
7.52/7.65 c
7.52/7.65 c solver 2
7.52/7.65 c before 0.0 seconds: {} 0
7.52/7.65 c before 18.0 seconds: {4, 5, 6, 7} 2301
7.52/7.65 c before 54.0 seconds: {0, 3, 4, 5, 6, 7} 4013
7.52/7.65 c before 90.0 seconds: {0, 2, 3, 4, 5, 6, 7} 4925
7.52/7.65 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5902
7.52/7.65 c
7.52/7.65 cTotal time: 14
7.52/7.65 c 252.0 seconds unused
7.52/7.65 c 0 c 0 c 2
7.52/7.65 c 0 c 0 c 2
7.52/7.65 c 0 c 0 c 0
7.52/7.65 c is solver0 dominated by:
7.52/7.65 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.52/7.65 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.52/7.65 c is dominated? false
7.52/7.65 c
7.52/7.65 c is solver1 dominated by:
7.52/7.65 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.52/7.65 c is dominated? true
7.52/7.65 c
7.52/7.65 c is solver2 dominated by:
7.52/7.65 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.52/7.65 c is dominated? true
7.52/7.65 c
7.52/7.65 c Number of non-dominated solvers: 1
7.52/7.65 c remove dominated solvers
7.52/7.65 c solver 0 is not dominated by another solver
7.52/7.65 c solver 2 is dominated by another solver
7.52/7.65 c solver 1 is dominated by another solver
7.52/7.65 c
7.52/7.65 c solver 0: 54.0
7.52/7.65 c
7.52/7.65 c+ 3/3 of 97
7.52/7.65 c
7.52/7.65 c solver 1: 0.0
7.52/7.65 c
7.52/7.65 c solver 2: 0.0
7.52/7.66 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6912
7.52/7.66 c do not run mistral
7.52/7.66 c do not run choco
7.52/7.66 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.52/7.66 c On Instance: HOME/instance-1063131-1215136322.xml
7.52/7.66 c Running for: 1800 seconds
11.05/11.26 s SAT
11.05/11.26 v 1 0 0 1 1 0 1 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0
11.05/11.26 d ASSIGNMENTS 37887
11.05/11.26 d CHECKS 792276
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063131-1215136322/watcher-1063131-1215136322 -o /tmp/evaluation-result-1063131-1215136322/solver-1063131-1215136322 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1063131-1215136322.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.83 2.08 2.05 4/81 18105
/proc/meminfo: memFree=1800368/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=18572 CPUtime=0
/proc/18105/stat : 18105 (runsolver) R 18103 18105 15537 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1992606833 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 240472616231 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18105/statm: 4643 292 257 25 0 2626 0
[startup+0.055494 s]
/proc/loadavg: 1.83 2.08 2.05 4/81 18105
/proc/meminfo: memFree=1800368/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=0
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992606833 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101492 s]
/proc/loadavg: 1.83 2.08 2.05 4/81 18105
/proc/meminfo: memFree=1800368/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=0
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992606833 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301508 s]
/proc/loadavg: 1.83 2.08 2.05 4/81 18105
/proc/meminfo: memFree=1800368/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=0
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992606833 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701543 s]
/proc/loadavg: 1.83 2.08 2.05 4/81 18105
/proc/meminfo: memFree=1800368/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=0
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992606833 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50261 s]
/proc/loadavg: 1.83 2.08 2.05 3/83 18109
/proc/meminfo: memFree=1798304/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=0
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1992606833 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 236 195 169 0 51 0
[pid=18109] ppid=18105 vsize=6044 CPUtime=1.47
/proc/18109/stat : 18109 (xsolve) R 18105 18105 15537 0 -1 4194304 893 0 0 0 145 2 0 0 25 0 1 0 1992606834 6189056 852 996147200 134512640 135239763 4294956176 18446744073709551615 135097553 0 0 4096 0 0 0 0 17 1 0 0
/proc/18109/statm: 1511 852 430 177 0 414 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11404
[startup+3.10176 s]
/proc/loadavg: 1.83 2.08 2.05 4/91 18121
/proc/meminfo: memFree=1793624/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197000 CPUtime=1.57
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 5132 0 1 0 152 5 0 0 18 0 9 0 1992606984 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49250 4309 1678 9 0 43833 0
[pid=18113/tid=18114] ppid=18105 vsize=197000 CPUtime=1.25
/proc/18113/task/18114/stat : 18114 (java) R 18105 18105 15537 0 -1 64 2749 0 1 0 124 1 0 0 25 0 9 0 1992606985 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4126482695 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18115] ppid=18105 vsize=197000 CPUtime=0.15
/proc/18113/task/18115/stat : 18115 (java) S 18105 18105 15537 0 -1 64 1043 0 0 0 13 2 0 0 16 0 9 0 1992606987 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18116] ppid=18105 vsize=197000 CPUtime=0
/proc/18113/task/18116/stat : 18116 (java) S 18105 18105 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992606987 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18117] ppid=18105 vsize=197000 CPUtime=0
/proc/18113/task/18117/stat : 18117 (java) S 18105 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992606987 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18118] ppid=18105 vsize=197000 CPUtime=0
/proc/18113/task/18118/stat : 18118 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992606989 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18119] ppid=18105 vsize=197000 CPUtime=0.14
/proc/18113/task/18119/stat : 18119 (java) S 18105 18105 15537 0 -1 64 615 0 0 0 14 0 0 0 16 0 9 0 1992606989 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18120] ppid=18105 vsize=197000 CPUtime=0
/proc/18113/task/18120/stat : 18120 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992606989 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18121] ppid=18105 vsize=197000 CPUtime=0
/proc/18113/task/18121/stat : 18121 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992606989 201728000 4309 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202360
[startup+6.30204 s]
/proc/loadavg: 1.84 2.08 2.05 3/91 18121
/proc/meminfo: memFree=1779288/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197112 CPUtime=4.75
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 10022 0 1 0 461 14 0 0 18 0 9 0 1992606984 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49278 8312 2540 9 0 43861 0
[pid=18113/tid=18114] ppid=18105 vsize=197112 CPUtime=3.83
/proc/18113/task/18114/stat : 18114 (java) R 18105 18105 15537 0 -1 64 3552 0 1 0 378 5 0 0 25 0 9 0 1992606985 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4126498126 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18115] ppid=18105 vsize=197112 CPUtime=0.74
/proc/18113/task/18115/stat : 18115 (java) S 18105 18105 15537 0 -1 64 5115 0 0 0 66 8 0 0 16 0 9 0 1992606987 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18116] ppid=18105 vsize=197112 CPUtime=0
/proc/18113/task/18116/stat : 18116 (java) S 18105 18105 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1992606987 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18117] ppid=18105 vsize=197112 CPUtime=0
/proc/18113/task/18117/stat : 18117 (java) S 18105 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992606987 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18118] ppid=18105 vsize=197112 CPUtime=0
/proc/18113/task/18118/stat : 18118 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992606989 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18119] ppid=18105 vsize=197112 CPUtime=0.17
/proc/18113/task/18119/stat : 18119 (java) S 18105 18105 15537 0 -1 64 630 0 0 0 16 1 0 0 16 0 9 0 1992606989 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18120] ppid=18105 vsize=197112 CPUtime=0
/proc/18113/task/18120/stat : 18120 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992606989 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18121] ppid=18105 vsize=197112 CPUtime=0
/proc/18113/task/18121/stat : 18121 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992606989 201842688 8312 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202472
Solver just ended. Dumping a history of the last processes samples
[startup+9.50231 s]
/proc/loadavg: 1.94 2.09 2.05 4/103 18133
/proc/meminfo: memFree=1735744/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197436 CPUtime=6.08
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 13944 0 1 0 590 18 0 0 18 0 10 0 1992606984 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49359 9478 2543 9 0 43942 0
[pid=18123] ppid=18113 vsize=5356 CPUtime=0
/proc/18123/stat : 18123 (abscon) S 18113 18105 15537 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 1992607600 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240472613700 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18123/statm: 1339 235 194 169 0 50 0
[pid=18124] ppid=18123 vsize=656336 CPUtime=1.79
/proc/18124/stat : 18124 (java) S 18123 18105 15537 0 -1 0 12198 0 1 0 170 9 0 0 18 0 9 0 1992607600 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18124/statm: 164084 11516 2611 9 0 158612 0
[pid=18124/tid=18126] ppid=18123 vsize=656336 CPUtime=1.45
/proc/18124/task/18126/stat : 18126 (java) R 18123 18105 15537 0 -1 64 9725 0 1 0 138 7 0 0 25 0 9 0 1992607601 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4126939328 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18127] ppid=18123 vsize=656336 CPUtime=0.03
/proc/18124/task/18127/stat : 18127 (java) S 18123 18105 15537 0 -1 64 1295 0 0 0 3 0 0 0 17 0 9 0 1992607602 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18128] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18128/stat : 18128 (java) S 18123 18105 15537 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992607602 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18129] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18129/stat : 18129 (java) S 18123 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992607602 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18130] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18130/stat : 18130 (java) S 18123 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1992607604 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18131] ppid=18123 vsize=656336 CPUtime=0.26
/proc/18124/task/18131/stat : 18131 (java) S 18123 18105 15537 0 -1 64 635 0 0 0 26 0 0 0 16 0 9 0 1992607604 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18132] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18132/stat : 18132 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992607604 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18133] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18133/stat : 18133 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992607604 672088064 11516 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18125] ppid=18123 vsize=7044 CPUtime=0
/proc/18125/stat : 18125 (translate) S 18123 18105 15537 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992607600 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240472784978 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18125/statm: 1761 213 182 1 0 41 0
[pid=18113/tid=18114] ppid=18105 vsize=197436 CPUtime=4.81
/proc/18113/task/18114/stat : 18114 (java) S 18105 18105 15537 0 -1 64 3968 0 1 0 475 6 0 0 25 0 10 0 1992606985 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18113/tid=18115] ppid=18105 vsize=197436 CPUtime=1.04
/proc/18113/task/18115/stat : 18115 (java) S 18105 18105 15537 0 -1 64 8528 0 0 0 94 10 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18116] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18116/stat : 18116 (java) S 18105 18105 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18117] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18117/stat : 18117 (java) S 18105 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18118] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18118/stat : 18118 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18119] ppid=18105 vsize=197436 CPUtime=0.2
/proc/18113/task/18119/stat : 18119 (java) S 18105 18105 15537 0 -1 64 647 0 0 0 19 1 0 0 16 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18120] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18120/stat : 18120 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18121] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18121/stat : 18121 (java) S 18105 18105 15537 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18122] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18122/stat : 18122 (java) S 18105 18105 15537 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992607599 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 871532
[startup+10.3034 s]
/proc/loadavg: 1.94 2.09 2.05 3/103 18133
/proc/meminfo: memFree=1735104/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197436 CPUtime=6.08
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 13944 0 1 0 590 18 0 0 18 0 10 0 1992606984 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49359 9478 2543 9 0 43942 0
[pid=18123] ppid=18113 vsize=5356 CPUtime=0
/proc/18123/stat : 18123 (abscon) S 18113 18105 15537 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 1992607600 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240472613700 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18123/statm: 1339 235 194 169 0 50 0
[pid=18124] ppid=18123 vsize=656336 CPUtime=2.58
/proc/18124/stat : 18124 (java) S 18123 18105 15537 0 -1 0 12203 0 1 0 249 9 0 0 18 0 9 0 1992607600 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18124/statm: 164084 11520 2611 9 0 158612 0
[pid=18124/tid=18126] ppid=18123 vsize=656336 CPUtime=2.25
/proc/18124/task/18126/stat : 18126 (java) R 18123 18105 15537 0 -1 64 9728 0 1 0 218 7 0 0 25 0 9 0 1992607601 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4126939337 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18127] ppid=18123 vsize=656336 CPUtime=0.03
/proc/18124/task/18127/stat : 18127 (java) S 18123 18105 15537 0 -1 64 1295 0 0 0 3 0 0 0 17 0 9 0 1992607602 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/18113/task/18121/stat : 18121 (java) S 18105 18105 15537 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18122] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18122/stat : 18122 (java) S 18105 18105 15537 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992607599 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.15
Current children cumulated vsize (KiB) 871532
[startup+10.7034 s]
/proc/loadavg: 1.94 2.09 2.05 3/103 18133
/proc/meminfo: memFree=1735104/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197436 CPUtime=6.08
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 13944 0 1 0 590 18 0 0 18 0 10 0 1992606984 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49359 9478 2543 9 0 43942 0
[pid=18123] ppid=18113 vsize=5356 CPUtime=0
/proc/18123/stat : 18123 (abscon) S 18113 18105 15537 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 1992607600 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240472613700 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18123/statm: 1339 235 194 169 0 50 0
[pid=18124] ppid=18123 vsize=656336 CPUtime=2.98
/proc/18124/stat : 18124 (java) S 18123 18105 15537 0 -1 0 12203 0 1 0 289 9 0 0 18 0 9 0 1992607600 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18124/statm: 164084 11520 2611 9 0 158612 0
[pid=18124/tid=18126] ppid=18123 vsize=656336 CPUtime=2.65
/proc/18124/task/18126/stat : 18126 (java) R 18123 18105 15537 0 -1 64 9728 0 1 0 258 7 0 0 25 0 9 0 1992607601 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4126939390 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18127] ppid=18123 vsize=656336 CPUtime=0.03
/proc/18124/task/18127/stat : 18127 (java) S 18123 18105 15537 0 -1 64 1295 0 0 0 3 0 0 0 16 0 9 0 1992607602 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18128] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18128/stat : 18128 (java) S 18123 18105 15537 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992607602 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18129] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18129/stat : 18129 (java) S 18123 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992607602 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18130] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18130/stat : 18130 (java) S 18123 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1992607604 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18131] ppid=18123 vsize=656336 CPUtime=0.26
/proc/18124/task/18131/stat : 18131 (java) S 18123 18105 15537 0 -1 64 637 0 0 0 26 0 0 0 15 0 9 0 1992607604 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18132] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18132/stat : 18132 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992607604 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18133] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18133/stat : 18133 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992607604 672088064 11520 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18125] ppid=18123 vsize=7044 CPUtime=0
/proc/18125/stat : 18125 (translate) S 18123 18105 15537 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992607600 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240472784978 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18125/statm: 1761 213 182 1 0 41 0
[pid=18113/tid=18114] ppid=18105 vsize=197436 CPUtime=4.81
/proc/18113/task/18114/stat : 18114 (java) S 18105 18105 15537 0 -1 64 3968 0 1 0 475 6 0 0 25 0 10 0 1992606985 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18113/tid=18115] ppid=18105 vsize=197436 CPUtime=1.04
/proc/18113/task/18115/stat : 18115 (java) S 18105 18105 15537 0 -1 64 8528 0 0 0 94 10 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18116] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18116/stat : 18116 (java) S 18105 18105 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18117] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18117/stat : 18117 (java) S 18105 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18118] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18118/stat : 18118 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18119] ppid=18105 vsize=197436 CPUtime=0.2
/proc/18113/task/18119/stat : 18119 (java) S 18105 18105 15537 0 -1 64 647 0 0 0 19 1 0 0 16 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18120] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18120/stat : 18120 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18121] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18121/stat : 18121 (java) R 18105 18105 15537 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18122] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18122/stat : 18122 (java) S 18105 18105 15537 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992607599 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 871532
[startup+11.1035 s]
/proc/loadavg: 1.94 2.09 2.05 3/103 18133
/proc/meminfo: memFree=1734912/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197436 CPUtime=6.08
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 13944 0 1 0 590 18 0 0 18 0 10 0 1992606984 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49359 9478 2543 9 0 43942 0
[pid=18123] ppid=18113 vsize=5356 CPUtime=0
/proc/18123/stat : 18123 (abscon) S 18113 18105 15537 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 1992607600 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240472613700 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18123/statm: 1339 235 194 169 0 50 0
[pid=18124] ppid=18123 vsize=656336 CPUtime=3.38
/proc/18124/stat : 18124 (java) S 18123 18105 15537 0 -1 0 12204 0 1 0 329 9 0 0 18 0 9 0 1992607600 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18124/statm: 164084 11521 2611 9 0 158612 0
[pid=18124/tid=18126] ppid=18123 vsize=656336 CPUtime=3.05
/proc/18124/task/18126/stat : 18126 (java) R 18123 18105 15537 0 -1 64 9729 0 1 0 298 7 0 0 25 0 9 0 1992607601 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4126952423 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18127] ppid=18123 vsize=656336 CPUtime=0.03
/proc/18124/task/18127/stat : 18127 (java) S 18123 18105 15537 0 -1 64 1295 0 0 0 3 0 0 0 16 0 9 0 1992607602 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18128] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18128/stat : 18128 (java) S 18123 18105 15537 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992607602 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18129] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18129/stat : 18129 (java) S 18123 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992607602 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18130] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18130/stat : 18130 (java) S 18123 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18131] ppid=18123 vsize=656336 CPUtime=0.26
/proc/18124/task/18131/stat : 18131 (java) S 18123 18105 15537 0 -1 64 637 0 0 0 26 0 0 0 15 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18132] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18132/stat : 18132 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18133] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18133/stat : 18133 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18125] ppid=18123 vsize=7044 CPUtime=0
/proc/18125/stat : 18125 (translate) S 18123 18105 15537 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992607600 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240472784978 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18125/statm: 1761 213 182 1 0 41 0
[pid=18113/tid=18114] ppid=18105 vsize=197436 CPUtime=4.81
/proc/18113/task/18114/stat : 18114 (java) S 18105 18105 15537 0 -1 64 3968 0 1 0 475 6 0 0 25 0 10 0 1992606985 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18113/tid=18115] ppid=18105 vsize=197436 CPUtime=1.04
/proc/18113/task/18115/stat : 18115 (java) S 18105 18105 15537 0 -1 64 8528 0 0 0 94 10 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18116] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18116/stat : 18116 (java) S 18105 18105 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18117] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18117/stat : 18117 (java) S 18105 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18118] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18118/stat : 18118 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18119] ppid=18105 vsize=197436 CPUtime=0.2
/proc/18113/task/18119/stat : 18119 (java) S 18105 18105 15537 0 -1 64 647 0 0 0 19 1 0 0 16 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18120] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18120/stat : 18120 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18121] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18121/stat : 18121 (java) S 18105 18105 15537 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18122] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18122/stat : 18122 (java) S 18105 18105 15537 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992607599 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.95
Current children cumulated vsize (KiB) 871532
[startup+11.2035 s]
/proc/loadavg: 1.94 2.09 2.05 3/103 18133
/proc/meminfo: memFree=1734912/2055920 swapFree=4180972/4192956
[pid=18105] ppid=18103 vsize=5360 CPUtime=1.49
/proc/18105/stat : 18105 (hydra) S 18103 18105 15537 0 -1 4194304 375 1489 0 0 0 0 146 3 18 0 1 0 1992606833 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240472613700 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18105/statm: 1340 238 196 169 0 51 0
[pid=18113] ppid=18105 vsize=197436 CPUtime=6.08
/proc/18113/stat : 18113 (java) S 18105 18105 15537 0 -1 0 13944 0 1 0 590 18 0 0 18 0 10 0 1992606984 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18113/statm: 49359 9478 2543 9 0 43942 0
[pid=18123] ppid=18113 vsize=5356 CPUtime=0
/proc/18123/stat : 18123 (abscon) S 18113 18105 15537 0 -1 4194304 301 0 0 0 0 0 0 0 18 0 1 0 1992607600 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 240472613700 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18123/statm: 1339 235 194 169 0 50 0
[pid=18124] ppid=18123 vsize=656336 CPUtime=3.48
/proc/18124/stat : 18124 (java) S 18123 18105 15537 0 -1 0 12204 0 1 0 339 9 0 0 18 0 9 0 1992607600 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18124/statm: 164084 11521 2611 9 0 158612 0
[pid=18124/tid=18126] ppid=18123 vsize=656336 CPUtime=3.15
/proc/18124/task/18126/stat : 18126 (java) R 18123 18105 15537 0 -1 64 9729 0 1 0 308 7 0 0 25 0 9 0 1992607601 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4126978794 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18127] ppid=18123 vsize=656336 CPUtime=0.03
/proc/18124/task/18127/stat : 18127 (java) S 18123 18105 15537 0 -1 64 1295 0 0 0 3 0 0 0 16 0 9 0 1992607602 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18128] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18128/stat : 18128 (java) S 18123 18105 15537 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992607602 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18129] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18129/stat : 18129 (java) S 18123 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992607602 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18130] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18130/stat : 18130 (java) S 18123 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18131] ppid=18123 vsize=656336 CPUtime=0.26
/proc/18124/task/18131/stat : 18131 (java) S 18123 18105 15537 0 -1 64 637 0 0 0 26 0 0 0 15 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18132] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18132/stat : 18132 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18124/tid=18133] ppid=18123 vsize=656336 CPUtime=0
/proc/18124/task/18133/stat : 18133 (java) S 18123 18105 15537 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992607604 672088064 11521 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18125] ppid=18123 vsize=7044 CPUtime=0
/proc/18125/stat : 18125 (translate) S 18123 18105 15537 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992607600 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 240472784978 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18125/statm: 1761 213 182 1 0 41 0
[pid=18113/tid=18114] ppid=18105 vsize=197436 CPUtime=4.81
/proc/18113/task/18114/stat : 18114 (java) S 18105 18105 15537 0 -1 64 3968 0 1 0 475 6 0 0 25 0 10 0 1992606985 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18113/tid=18115] ppid=18105 vsize=197436 CPUtime=1.04
/proc/18113/task/18115/stat : 18115 (java) S 18105 18105 15537 0 -1 64 8528 0 0 0 94 10 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18116] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18116/stat : 18116 (java) S 18105 18105 15537 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18117] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18117/stat : 18117 (java) S 18105 18105 15537 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992606987 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18118] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18118/stat : 18118 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18119] ppid=18105 vsize=197436 CPUtime=0.2
/proc/18113/task/18119/stat : 18119 (java) S 18105 18105 15537 0 -1 64 647 0 0 0 19 1 0 0 16 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18120] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18120/stat : 18120 (java) S 18105 18105 15537 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18121] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18121/stat : 18121 (java) S 18105 18105 15537 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992606989 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18113/tid=18122] ppid=18105 vsize=197436 CPUtime=0
/proc/18113/task/18122/stat : 18122 (java) S 18105 18105 15537 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992607599 202174464 9478 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.05
Current children cumulated vsize (KiB) 871532
Child status: 0
Real time (s): 11.2848
CPU time (s): 11.1453
CPU user time (s): 10.8054
CPU system time (s): 0.339948
CPU usage (%): 98.764
Max. virtual memory (cumulated for all children) (KiB): 871532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8054
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28827
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10623
involuntary context switches= 12009
runsolver used 0.029995 second user time and 0.084987 second system time
The end