0.00/0.00 c cpHydra_k_10 version 0.0
7.39/7.50 c CASE TO CLASSIFY:
7.39/7.51 c Case: 0
7.39/7.51 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.420900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.650180 | c 14 > 13.448600 | c 11 > 7.366320 | c 12 > 10.443800 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.273800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.306060 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.52 c choco : 1801.0
7.39/7.52 c mistral : 1801.0
7.39/7.52 c abscon : 1801.0
7.39/7.52 c
7.39/7.52 c
7.39/7.60 c List of same ones: 10
7.39/7.60 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-0_ext.xml
7.39/7.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.669500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.482750 | c 14 > 12.969600 | c 11 > 7.366320 | c 12 > 9.963750 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.277300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.333160 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.61 c choco : 5.75
7.48/7.61 c mistral : 3.82342
7.48/7.61 c abscon : 4.02439
7.48/7.61 c
7.48/7.61 c
7.48/7.61 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-4_ext.xml
7.48/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.448200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.026000 | c 14 > 12.641100 | c 11 > 7.357550 | c 12 > 10.169500 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.258600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.285400 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.62 c choco : 3.46
7.48/7.62 c mistral : 0.866867
7.48/7.62 c abscon : 2.79157
7.48/7.62 c
7.48/7.62 c
7.48/7.62 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
7.48/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.527600 | c 14 > 12.829100 | c 11 > 7.366320 | c 12 > 10.625800 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.277300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.317410 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.63 c choco : 3.32
7.48/7.63 c mistral : 4.6143
7.48/7.63 c abscon : 17.1644
7.48/7.63 c
7.48/7.63 c
7.48/7.63 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-8_ext.xml
7.48/7.63 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.339600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.710560 | c 14 > 12.598100 | c 11 > 7.375040 | c 12 > 10.069300 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.292300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.379380 | c 31 > -1.000000 | c 4 > 7.375040 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.64 c choco : 4.36
7.48/7.64 c mistral : 5.2462
7.48/7.64 c abscon : 3.13152
7.48/7.64 c
7.48/7.64 c
7.48/7.64 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-9_ext.xml
7.48/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.436000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.204200 | c 14 > 12.550000 | c 11 > 7.357550 | c 12 > 10.531900 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.259700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.236010 | c 31 > -1.000000 | c 4 > 7.357550 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.65 c choco : 2.8
7.48/7.65 c mistral : 2.81857
7.48/7.65 c abscon : 3.75643
7.48/7.65 c
7.48/7.65 c
7.48/7.65 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-2_ext.xml
7.48/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.360300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.688240 | c 14 > 12.720700 | c 11 > 7.375040 | c 12 > 9.720130 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.294600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.394460 | c 31 > -1.000000 | c 4 > 7.375040 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.66 c choco : 3.51
7.48/7.66 c mistral : 194.737
7.48/7.66 c abscon : 98.2651
7.48/7.66 c
7.48/7.66 c
7.48/7.66 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-9_ext.xml
7.48/7.66 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.483000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.065500 | c 14 > 12.740000 | c 11 > 7.539160 | c 12 > 9.816720 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.633900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.665340 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.66 c choco : 6.82
7.48/7.66 c mistral : 35.2046
7.48/7.67 c abscon : 43.8483
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-1_ext.xml
7.48/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.385400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.526330 | c 14 > 12.502600 | c 11 > 7.366320 | c 12 > 9.828910 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.296920 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.67 c choco : 3.07
7.48/7.67 c mistral : 12.918
7.48/7.67 c abscon : 9.75252
7.48/7.67 c
7.48/7.67 c
7.48/7.67 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-4_ext.xml
7.48/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.441700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 9.901420 | c 14 > 12.433600 | c 11 > 7.539160 | c 12 > 10.068900 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.634800 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.638440 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.68 c choco : 42.96
7.48/7.68 c mistral : 1800.02
7.48/7.68 c abscon : 1800.1
7.48/7.68 c
7.48/7.68 c
7.48/7.68 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-7_ext.xml
7.48/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.423200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.437400 | c 14 > 12.697200 | c 11 > 7.546890 | c 12 > 10.321500 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.647500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.672430 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.48/7.69 c choco : 42.27
7.48/7.69 c mistral : 15.4926
7.48/7.69 c abscon : 525.707
7.48/7.69 c
7.48/7.69 c
7.48/7.69 c Length: 10
7.48/7.69 c 1.0262896410857911 1.3474028364969404 1.3882980331686694 1.4290997458540105 1.4482642641106627 1.4792757955499718 1.5141065006465029 1.5364548851821191 1.587387986630867 1.6000925666973136
7.48/7.69 c
7.48/7.69 c 1.0 0.6411806784258229 0.6131609169092181 0.5875437944836835 0.5762360543248655 0.5588323217940895 0.5404975807967165 0.5293540360748535 0.5055972181851109 0.5
7.48/7.70 c
7.48/7.70 c solver 0
7.48/7.70 c before 0.0 seconds: {} 0
7.48/7.70 c before 18.0 seconds: {0, 1, 2, 3, 4, 7} 3947
7.48/7.70 c before 54.0 seconds: {0, 1, 2, 3, 4, 6, 7} 4487
7.48/7.70 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5046
7.48/7.70 c before 540.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5546
7.48/7.70 c
7.48/7.70 c solver 1
7.48/7.70 c before 0.0 seconds: {} 0
7.48/7.70 c before 18.0 seconds: {0, 1, 2, 3, 4, 7, 9} 4447
7.48/7.70 c before 36.0 seconds: {0, 1, 2, 3, 4, 6, 7, 9} 4987
7.48/7.70 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 5546
7.48/7.70 c
7.48/7.70 c solver 2
7.48/7.70 c before 0.0 seconds: {} 0
7.48/7.70 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 5046
7.48/7.70 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6052
7.48/7.70 c
7.48/7.70 cTotal time: 44
7.48/7.70 c 792.0 seconds unused
7.48/7.70 c 0 c 0 c 0
7.48/7.70 c 0 c 0 c 0
7.48/7.70 c 1 c 1 c 0
7.48/7.70 c is solver0 dominated by:
7.48/7.70 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: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.48/7.70 c is dominated? true
7.48/7.70 c
7.48/7.70 c is solver1 dominated by:
7.48/7.70 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: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.48/7.70 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.48/7.70 c is dominated? true
7.48/7.70 c
7.48/7.70 c is solver2 dominated by:
7.48/7.70 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.48/7.70 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.48/7.70 c is dominated? false
7.48/7.70 c
7.48/7.70 c Number of non-dominated solvers: 1
7.48/7.70 c remove dominated solvers
7.48/7.70 c solver 2 is not dominated by another solver
7.48/7.70 c solver 1 is dominated by another solver
7.56/7.71 c solver 0 is dominated by another solver
7.56/7.71 c
7.56/7.71 c solver 0: 0.0
7.56/7.71 c
7.56/7.71 c solver 1: 0.0
7.56/7.71 c
7.56/7.71 c solver 2: 54.0
7.56/7.71 c
7.56/7.71 c+ 3/3 of 97
7.56/7.71 c do not run abscon
7.56/7.71 c do not run mistral
7.56/7.71 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6052
7.56/7.71 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.56/7.71 c On Instance: HOME/instance-1045481-1215022028.xml
7.56/7.71 c Running for: 1800 seconds
9.41/9.66 s SATISFIABLE
9.41/9.66 v 2 8 13 0 5 4 6 17 11 3 16 1 19 14 15 12 7 9 10 18 1 5 19 14 11 18 10 16 8 17 2 7 15 3 9 6 0 13 4 12 12 2 0 9 10 8 1 14 19 16 13 6 5 7 11 18 17 4 15 3 18 15 4 13 9 17 11 0 6 7 14 12 8 1 2 19 5 3 16 10 13 11 15 18 7 6 9 19 14 5 4 10 12 16 17 3 8 2 1 0 16 17 12 5 13 15 7 3 18 9 19 8 0 6 1 4 10 11 14 2 6 10 17 19 15 9 16 1 0 2 7 5 13 8 14 11 12 18 3 4 5 0 2 3 16 13 19 10 17 6 11 4 14 12 18 1 9 8 7 15 4 19 10 15 8 7 13 2 16 11 18 0 6 5 12 9 3 14 17 1 8 3 9 16 1 0 12 18 10 19 5 17 11 4 7 13 2 15 6 14 11 1 7 10 2 3 0 9 5 14 6 15 4 13 8 16 19 12 18 17 14 13 8 1 17 2 5 4 3 15 0 16 9 11 19 10 18 6 12 7 15 4 1 11 18 12 8 5 9 0 3 14 2 19 10 7 6 17 13 16 3 12 14 7 6 5 17 13 15 4 9 2 10 18 16 8 1 0 11 19 0 14 18 6 19 10 2 7 4 13 12 11 3 15 5 17 16 1 9 8 17 9 11 2 3 16 18 15 12 1 10 19 7 0 13 14 4 5 8 6 19 6 16 8 0 11 4 12 2 18 1 9 17 10 3 15 14 7 5 13 10 7 6 17 14 19 3 11 1 12 8 13 18 9 4 0 15 16 2 5 7 16 3 4 12 14 15 6 13 8 17 18 1 2 0 5 11 10 19 9 9 18 5 12 4 1 14 8 7 10 15 3 16 17 6 2 13 19 0 11
9.41/9.66 d ASSIGNMENTS 32
9.41/9.66 c SAT 1814 TIME 32 NDS 664 PARSTIME 349 BUILDPB 801 RES null RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045481-1215022028/watcher-1045481-1215022028 -o /tmp/evaluation-result-1045481-1215022028/solver-1045481-1215022028 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045481-1215022028.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.87 4/72 4945
/proc/meminfo: memFree=1803872/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=18572 CPUtime=0
/proc/4945/stat : 4945 (runsolver) R 4943 4945 4570 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1981174766 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 240577473831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4945/statm: 4643 292 257 25 0 2626 0
[startup+0.065699 s]
/proc/loadavg: 2.00 1.99 1.87 4/72 4945
/proc/meminfo: memFree=1803872/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=0
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981174766 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101704 s]
/proc/loadavg: 2.00 1.99 1.87 4/72 4945
/proc/meminfo: memFree=1803872/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=0
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981174766 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301735 s]
/proc/loadavg: 2.00 1.99 1.87 4/72 4945
/proc/meminfo: memFree=1803872/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=0
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981174766 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701803 s]
/proc/loadavg: 2.00 1.99 1.87 4/72 4945
/proc/meminfo: memFree=1803872/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=0
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981174766 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50194 s]
/proc/loadavg: 2.00 1.99 1.87 3/74 4949
/proc/meminfo: memFree=1801232/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=0
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1981174766 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 236 195 169 0 51 0
[pid=4949] ppid=4945 vsize=6728 CPUtime=1.47
/proc/4949/stat : 4949 (xsolve) R 4945 4945 4570 0 -1 4194304 1037 0 0 0 146 1 0 0 25 0 1 0 1981174767 6889472 996 996147200 134512640 135239763 4294956176 18446744073709551615 135019558 0 0 4096 0 0 0 0 17 1 0 0
/proc/4949/statm: 1682 996 423 177 0 585 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12088
[startup+3.10221 s]
/proc/loadavg: 2.00 1.99 1.87 4/82 4961
/proc/meminfo: memFree=1797264/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197108 CPUtime=1.47
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 4982 0 1 0 141 6 0 0 19 0 9 0 1981174926 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49277 4186 1678 9 0 43860 0
[pid=4953/tid=4954] ppid=4945 vsize=197108 CPUtime=1.15
/proc/4953/task/4954/stat : 4954 (java) R 4945 4945 4570 0 -1 64 2721 0 1 0 113 2 0 0 25 0 9 0 1981174927 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4126508743 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197108 CPUtime=0.14
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 924 0 0 0 12 2 0 0 16 0 9 0 1981174929 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1981174929 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981174929 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981174931 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197108 CPUtime=0.15
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 612 0 0 0 15 0 0 0 16 0 9 0 1981174931 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981174931 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981174931 201838592 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202468
[startup+6.30175 s]
/proc/loadavg: 2.00 1.99 1.87 4/82 4961
/proc/meminfo: memFree=1784400/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197108 CPUtime=4.63
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 9803 0 1 0 450 13 0 0 19 0 9 0 1981174926 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49277 8119 2540 9 0 43860 0
[pid=4953/tid=4954] ppid=4945 vsize=197108 CPUtime=3.66
/proc/4953/task/4954/stat : 4954 (java) R 4945 4945 4570 0 -1 64 3525 0 1 0 363 3 0 0 25 0 9 0 1981174927 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4126440962 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197108 CPUtime=0.76
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 4926 0 0 0 68 8 0 0 16 0 9 0 1981174929 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1981174929 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981174929 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981174931 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197108 CPUtime=0.18
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 627 0 0 0 18 0 0 0 16 0 9 0 1981174931 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981174931 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197108 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981174931 201838592 8119 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+7.90302 s]
/proc/loadavg: 2.00 1.99 1.87 3/82 4961
/proc/meminfo: memFree=1776144/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197432 CPUtime=5.99
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 11378 0 1 0 583 16 0 0 19 0 10 0 1981174926 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49358 9340 2543 9 0 43941 0
[pid=4953/tid=4954] ppid=4945 vsize=197432 CPUtime=4.81
/proc/4953/task/4954/stat : 4954 (java) S 4945 4945 4570 0 -1 64 3860 0 1 0 477 4 0 0 25 0 10 0 1981174927 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197432 CPUtime=0.94
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 6073 0 0 0 85 9 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197432 CPUtime=0.21
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 643 0 0 0 21 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.56
Current children cumulated vsize (KiB) 202792
[startup+8.70215 s]
/proc/loadavg: 2.00 1.99 1.87 4/93 4972
/proc/meminfo: memFree=1752248/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197432 CPUtime=5.99
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 11416 0 1 0 583 16 0 0 19 0 10 0 1981174926 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49358 9340 2543 9 0 43941 0
[pid=4963] ppid=4953 vsize=5356 CPUtime=0
/proc/4963/stat : 4963 (choco) S 4953 4945 4570 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981175538 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4963/statm: 1339 238 197 169 0 50 0
[pid=4964] ppid=4963 vsize=655484 CPUtime=0.96
/proc/4964/stat : 4964 (java) S 4963 4945 4570 0 -1 0 8093 0 1 0 92 4 0 0 18 0 9 0 1981175539 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4964/statm: 163871 7690 1885 9 0 158400 0
[pid=4964/tid=4965] ppid=4963 vsize=655484 CPUtime=0.76
/proc/4964/task/4965/stat : 4965 (java) R 4963 4945 4570 0 -1 64 6982 0 1 0 72 4 0 0 24 0 9 0 1981175539 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4966] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4966/stat : 4966 (java) S 4963 4945 4570 0 -1 64 4 0 0 0 0 0 0 0 19 0 9 0 1981175541 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4967] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4967/stat : 4967 (java) S 4963 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1981175541 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4968] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4968/stat : 4968 (java) S 4963 4945 4570 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1981175541 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4969] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4969/stat : 4969 (java) S 4963 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981175543 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4970] ppid=4963 vsize=655484 CPUtime=0.19
/proc/4964/task/4970/stat : 4970 (java) R 4963 4945 4570 0 -1 64 563 0 0 0 19 0 0 0 16 0 9 0 1981175543 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 102091156 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4971] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4971/stat : 4971 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981175543 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4972] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4972/stat : 4972 (java) R 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981175543 671215616 7690 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4954] ppid=4945 vsize=197432 CPUtime=4.81
/proc/4953/task/4954/stat : 4954 (java) S 4945 4945 4570 0 -1 64 3860 0 1 0 477 4 0 0 25 0 10 0 1981174927 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197432 CPUtime=0.94
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 6111 0 0 0 85 9 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197432 CPUtime=0.21
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 643 0 0 0 21 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4962] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4962/stat : 4962 (java) S 4945 4945 4570 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981175538 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.52
Current children cumulated vsize (KiB) 863632
[startup+9.10322 s]
/proc/loadavg: 2.00 1.99 1.87 4/93 4972
/proc/meminfo: memFree=1752248/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197432 CPUtime=5.99
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 11416 0 1 0 583 16 0 0 19 0 10 0 1981174926 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49358 9340 2543 9 0 43941 0
[pid=4963] ppid=4953 vsize=5356 CPUtime=0
/proc/4963/stat : 4963 (choco) S 4953 4945 4570 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981175538 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4963/statm: 1339 238 197 169 0 50 0
[pid=4964] ppid=4963 vsize=655484 CPUtime=1.35
/proc/4964/stat : 4964 (java) S 4963 4945 4570 0 -1 0 12243 0 1 0 128 7 0 0 18 0 9 0 1981175539 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4964/statm: 163871 11833 1896 9 0 158400 0
[pid=4964/tid=4965] ppid=4963 vsize=655484 CPUtime=1.07
/proc/4964/task/4965/stat : 4965 (java) R 4963 4945 4570 0 -1 64 11080 0 1 0 101 6 0 0 25 0 9 0 1981175539 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4126982817 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4966] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4966/stat : 4966 (java) S 4963 4945 4570 0 -1 64 7 0 0 0 0 0 0 0 17 0 9 0 1981175541 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4967] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4967/stat : 4967 (java) S 4963 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1981175541 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4968] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4968/stat : 4968 (java) S 4963 4945 4570 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1981175541 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4969] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4969/stat : 4969 (java) S 4963 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981175543 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4970] ppid=4963 vsize=655484 CPUtime=0.27
/proc/4964/task/4970/stat : 4970 (java) S 4963 4945 4570 0 -1 64 612 0 0 0 27 0 0 0 15 0 9 0 1981175543 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4971] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4971/stat : 4971 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981175543 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4972] ppid=4963 vsize=655484 CPUtime=0
/proc/4964/task/4972/stat : 4972 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981175543 671215616 11833 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4954] ppid=4945 vsize=197432 CPUtime=4.81
/proc/4953/task/4954/stat : 4954 (java) S 4945 4945 4570 0 -1 64 3860 0 1 0 477 4 0 0 25 0 10 0 1981174927 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197432 CPUtime=0.94
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 6111 0 0 0 85 9 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197432 CPUtime=0.21
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 643 0 0 0 21 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4962] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4962/stat : 4962 (java) S 4945 4945 4570 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981175538 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 863632
[startup+9.50329 s]
/proc/loadavg: 2.00 1.99 1.87 4/93 4972
/proc/meminfo: memFree=1752248/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197432 CPUtime=5.99
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 11416 0 1 0 583 16 0 0 19 0 10 0 1981174926 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49358 9340 2543 9 0 43941 0
[pid=4963] ppid=4953 vsize=5356 CPUtime=0
/proc/4963/stat : 4963 (choco) S 4953 4945 4570 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981175538 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4963/statm: 1339 238 197 169 0 50 0
[pid=4964] ppid=4963 vsize=655616 CPUtime=1.75
/proc/4964/stat : 4964 (java) S 4963 4945 4570 0 -1 0 14971 0 1 0 166 9 0 0 18 0 9 0 1981175539 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4964/statm: 163904 14559 1910 9 0 158433 0
[pid=4964/tid=4965] ppid=4963 vsize=655616 CPUtime=1.39
/proc/4964/task/4965/stat : 4965 (java) R 4963 4945 4570 0 -1 64 12062 0 1 0 133 6 0 0 25 0 9 0 1981175539 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4126982884 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4966] ppid=4963 vsize=655616 CPUtime=0.05
/proc/4964/task/4966/stat : 4966 (java) S 4963 4945 4570 0 -1 64 1740 0 0 0 4 1 0 0 16 0 9 0 1981175541 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4967] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4967/stat : 4967 (java) S 4963 4945 4570 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981175541 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4968] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4968/stat : 4968 (java) S 4963 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981175541 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4969] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4969/stat : 4969 (java) S 4963 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981175543 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4970] ppid=4963 vsize=655616 CPUtime=0.28
/proc/4964/task/4970/stat : 4970 (java) S 4963 4945 4570 0 -1 64 622 0 0 0 28 0 0 0 15 0 9 0 1981175543 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4971] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4971/stat : 4971 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981175543 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4972] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4972/stat : 4972 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981175543 671350784 14559 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4954] ppid=4945 vsize=197432 CPUtime=4.81
/proc/4953/task/4954/stat : 4954 (java) S 4945 4945 4570 0 -1 64 3860 0 1 0 477 4 0 0 25 0 10 0 1981174927 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197432 CPUtime=0.94
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 6111 0 0 0 85 9 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197432 CPUtime=0.21
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 643 0 0 0 21 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4962] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4962/stat : 4962 (java) S 4945 4945 4570 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981175538 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.31
Current children cumulated vsize (KiB) 863764
[startup+9.60331 s]
/proc/loadavg: 2.00 1.99 1.87 4/93 4972
/proc/meminfo: memFree=1752248/2055920 swapFree=4180240/4192956
[pid=4945] ppid=4943 vsize=5360 CPUtime=1.57
/proc/4945/stat : 4945 (hydra) S 4943 4945 4570 0 -1 4194304 375 1635 0 0 0 0 155 2 18 0 1 0 1981174766 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4945/statm: 1340 238 196 169 0 51 0
[pid=4953] ppid=4945 vsize=197432 CPUtime=5.99
/proc/4953/stat : 4953 (java) S 4945 4945 4570 0 -1 0 11416 0 1 0 583 16 0 0 19 0 10 0 1981174926 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4953/statm: 49358 9340 2543 9 0 43941 0
[pid=4963] ppid=4953 vsize=5356 CPUtime=0
/proc/4963/stat : 4963 (choco) S 4953 4945 4570 0 -1 4194304 295 0 0 0 0 0 0 0 25 0 1 0 1981175538 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 240577471300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4963/statm: 1339 238 197 169 0 50 0
[pid=4964] ppid=4963 vsize=655616 CPUtime=1.85
/proc/4964/stat : 4964 (java) S 4963 4945 4570 0 -1 0 14973 0 1 0 176 9 0 0 18 0 9 0 1981175539 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4964/statm: 163904 14561 1910 9 0 158433 0
[pid=4964/tid=4965] ppid=4963 vsize=655616 CPUtime=1.48
/proc/4964/task/4965/stat : 4965 (java) R 4963 4945 4570 0 -1 64 12062 0 1 0 142 6 0 0 25 0 9 0 1981175539 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4126996030 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4966] ppid=4963 vsize=655616 CPUtime=0.05
/proc/4964/task/4966/stat : 4966 (java) S 4963 4945 4570 0 -1 64 1740 0 0 0 4 1 0 0 16 0 9 0 1981175541 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4967] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4967/stat : 4967 (java) S 4963 4945 4570 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981175541 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4968] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4968/stat : 4968 (java) S 4963 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981175541 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4969] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4969/stat : 4969 (java) S 4963 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981175543 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4970] ppid=4963 vsize=655616 CPUtime=0.28
/proc/4964/task/4970/stat : 4970 (java) S 4963 4945 4570 0 -1 64 624 0 0 0 28 0 0 0 15 0 9 0 1981175543 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4971] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4971/stat : 4971 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981175543 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4964/tid=4972] ppid=4963 vsize=655616 CPUtime=0
/proc/4964/task/4972/stat : 4972 (java) S 4963 4945 4570 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981175543 671350784 14561 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4954] ppid=4945 vsize=197432 CPUtime=4.81
/proc/4953/task/4954/stat : 4954 (java) S 4945 4945 4570 0 -1 64 3860 0 1 0 477 4 0 0 25 0 10 0 1981174927 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4953/tid=4955] ppid=4945 vsize=197432 CPUtime=0.94
/proc/4953/task/4955/stat : 4955 (java) S 4945 4945 4570 0 -1 64 6111 0 0 0 85 9 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4956] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4956/stat : 4956 (java) S 4945 4945 4570 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4957] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4957/stat : 4957 (java) S 4945 4945 4570 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981174929 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4958] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4958/stat : 4958 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4959] ppid=4945 vsize=197432 CPUtime=0.21
/proc/4953/task/4959/stat : 4959 (java) S 4945 4945 4570 0 -1 64 643 0 0 0 21 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4960] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4960/stat : 4960 (java) S 4945 4945 4570 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4961] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4961/stat : 4961 (java) S 4945 4945 4570 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981174931 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4953/tid=4962] ppid=4945 vsize=197432 CPUtime=0
/proc/4953/task/4962/stat : 4962 (java) S 4945 4945 4570 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981175538 202170368 9340 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 863764
Child status: 0
Real time (s): 9.68646
CPU time (s): 9.49455
CPU user time (s): 9.1906
CPU system time (s): 0.303953
CPU usage (%): 98.0188
Max. virtual memory (cumulated for all children) (KiB): 863764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.1906
system time used= 0.303953
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28828
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= 10299
involuntary context switches= 11768
runsolver used 0.028995 second user time and 0.069989 second system time
The end