0.00/0.00 c cpHydra_k_10 version 0.0
7.30/7.40 c CASE TO CLASSIFY:
7.30/7.40 c Case: 0
7.30/7.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.405900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.314600 | c 14 > 14.148600 | c 11 > 6.906890 | c 12 > 12.406500 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | 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 > 9.763210 | 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 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.30/7.41 c choco : 1801.0
7.30/7.41 c mistral : 1801.0
7.30/7.41 c abscon : 1801.0
7.30/7.41 c
7.30/7.41 c
7.30/7.49 c List of same ones: 10
7.30/7.49 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
7.30/7.49 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.896900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.197100 | c 14 > 13.726400 | c 11 > 6.906890 | c 12 > 12.021500 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | 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 > 9.763210 | 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 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.50 c choco : 2.18
7.39/7.50 c mistral : 3.68944
7.39/7.50 c abscon : 6.576
7.39/7.50 c
7.39/7.50 c
7.39/7.50 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
7.39/7.50 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.093200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.831100 | c 14 > 13.897600 | c 11 > 6.906890 | c 12 > 11.922100 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | 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 > 9.763210 | 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 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.51 c choco : 1.98
7.39/7.51 c mistral : 0.888864
7.39/7.51 c abscon : 1.51277
7.39/7.51 c
7.39/7.51 c
7.39/7.51 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
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.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.834800 | c 14 > 13.928800 | c 11 > 6.906890 | c 12 > 11.801700 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | 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 > 9.766530 | 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.052570 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.52 c choco : 1.71
7.39/7.52 c mistral : 0.294955
7.39/7.52 c abscon : 1.3438
7.39/7.52 c
7.39/7.52 c
7.39/7.52 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
7.39/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.881300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.056200 | c 14 > 14.189400 | c 11 > 6.906890 | c 12 > 12.221700 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | 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 > 9.764870 | 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.033420 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.53 c choco : 1.73
7.39/7.53 c mistral : 2.31065
7.39/7.53 c abscon : 1.27481
7.39/7.53 c
7.39/7.53 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
7.39/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.139700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.031500 | c 14 > 13.664100 | c 11 > 6.906890 | c 12 > 11.386800 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | 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 > 9.763210 | 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 > 8.915880 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.54 c choco : 2.41
7.39/7.54 c mistral : 2.56061
7.39/7.54 c abscon : 5.59815
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
7.39/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.539900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.207000 | c 14 > 13.388300 | c 11 > 7.539160 | c 12 > 11.691100 | 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.668880 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.55 c choco : 10.43
7.39/7.55 c mistral : 141.615
7.39/7.55 c abscon : 373.165
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
7.39/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.625500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.844100 | c 14 > 13.151000 | c 11 > 7.546890 | c 12 > 10.952100 | 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.714250 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.55 c choco : 13.14
7.39/7.55 c mistral : 111.164
7.39/7.55 c abscon : 90.4513
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
7.39/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.461000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.525900 | c 14 > 12.725600 | c 11 > 7.546890 | c 12 > 10.964100 | 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.693490 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.56 c choco : 9.89
7.39/7.56 c mistral : 47.8837
7.39/7.56 c abscon : 83.9172
7.39/7.56 c
7.39/7.56 c
7.39/7.56 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
7.39/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.514700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.111600 | c 14 > 13.089100 | c 11 > 7.546890 | c 12 > 10.653900 | 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.649300 | 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.724510 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.57 c choco : 2.04
7.39/7.57 c mistral : 3.37
7.39/7.57 c abscon : 10.3474
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
7.39/7.57 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.39/7.58 c choco : 3.32
7.39/7.58 c mistral : 4.6143
7.39/7.58 c abscon : 17.1644
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c Length: 10
7.39/7.58 c 0.7741867281218402 0.7932199568845956 0.879022754711162 0.9299587571500143 1.730558992233435 2.256944639374214 2.550953491520377 2.855942629728406 3.003433035161596 3.1607459516386314
7.39/7.58 c
7.39/7.58 c 1.0 0.9920879246421316 0.9579207568189525 0.93872866532548 0.713912095521262 0.6167908032328211 0.573233811384784 0.5341071873150185 0.5170406785376491 0.5
7.39/7.59 c
7.39/7.59 c solver 0
7.39/7.59 c before 0.0 seconds: {} 0
7.39/7.59 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9} 5619
7.39/7.59 c before 90.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9} 6153
7.39/7.59 c before 108.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6727
7.39/7.59 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7343
7.39/7.59 c
7.39/7.59 c solver 1
7.39/7.59 c before 0.0 seconds: {} 0
7.39/7.59 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9} 5619
7.39/7.59 c before 54.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9} 6153
7.39/7.59 c before 126.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6727
7.39/7.59 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7343
7.39/7.59 c
7.39/7.59 c solver 2
7.39/7.59 c before 0.0 seconds: {} 0
7.39/7.59 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7343
7.39/7.59 c
7.39/7.59 cTotal time: 30
7.39/7.59 c 540.0 seconds unused
7.39/7.59 c 0 c 0 c 0
7.39/7.59 c 0 c 0 c 0
7.39/7.59 c 0 c 0 c 0
7.39/7.59 c is solver0 dominated by:
7.39/7.59 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.39/7.59 c is dominated? true
7.39/7.59 c
7.39/7.59 c is solver1 dominated by:
7.39/7.59 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.39/7.59 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.39/7.59 c is dominated? true
7.39/7.59 c
7.39/7.59 c is solver2 dominated by:
7.39/7.59 c solver 0 (2 solves instances that 0 can't: false) (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.39/7.59 c solver 1 (2 solves instances that 1 can't: false) (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.39/7.59 c is dominated? false
7.39/7.59 c
7.39/7.59 c Number of non-dominated solvers: 1
7.39/7.59 c remove dominated solvers
7.39/7.59 c solver 2 is not dominated by another solver
7.39/7.59 c solver 1 is dominated by another solver
7.39/7.59 c solver 0 is dominated by another solver
7.39/7.59 c
7.39/7.59 c solver 0: 0.0
7.39/7.59 c
7.39/7.59 c solver 1: 0.0
7.39/7.59 c
7.39/7.59 c solver 2: 18.0
7.39/7.59 c
7.39/7.59 c+ 1/1 of 99
7.39/7.60 c do not run abscon
7.39/7.60 c do not run mistral
7.39/7.60 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7343
7.47/7.60 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.47/7.60 c On Instance: HOME/instance-1045322-1215020679.xml
7.47/7.60 c Running for: 1800 seconds
10.29/10.58 s SATISFIABLE
10.29/10.58 v 10 8 5 11 4 0 2 6 12 3 1 7 9 14 13 12 14 13 9 5 11 10 3 0 6 2 1 4 7 8 0 2 11 7 13 9 6 10 3 12 8 14 5 4 1 9 7 6 13 12 8 14 0 11 1 5 4 2 10 3 2 9 7 6 8 5 13 11 4 10 3 12 14 1 0 14 1 2 4 10 7 5 12 13 8 6 3 0 9 11 5 10 1 8 9 6 4 2 7 0 14 13 3 11 12 13 12 14 0 2 1 8 9 5 11 10 6 7 3 4 3 6 9 12 1 10 7 4 14 13 0 2 11 8 5 1 4 12 10 14 3 0 7 8 5 11 9 6 13 2 6 3 8 2 11 14 12 5 1 7 4 10 13 0 9 8 0 4 3 6 12 1 14 9 2 13 11 10 5 7 4 13 3 1 0 2 11 8 10 9 7 5 12 6 14 7 11 0 5 3 4 9 13 6 14 12 8 1 2 10 11 5 10 14 7 13 3 1 2 4 9 0 8 12 6
10.29/10.58 d ASSIGNMENTS 29
10.29/10.58 c SAT 2864 TIME 29 NDS 420 PARSTIME 276 BUILDPB 2168 RES true 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-1045322-1215020679/watcher-1045322-1215020679 -o /tmp/evaluation-result-1045322-1215020679/solver-1045322-1215020679 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045322-1215020679.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.06 1.99 1.61 4/72 21848
/proc/meminfo: memFree=1494760/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=0
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1981041466 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 236 195 169 0 51 0
[pid=21850] ppid=21848 vsize=5360 CPUtime=0
/proc/21850/stat : 21850 (hydra) R 21848 21848 21519 0 -1 4194368 21 0 0 0 0 0 0 0 22 0 1 0 1981041466 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 210824297970 0 0 4096 0 0 0 0 17 1 0 0
/proc/21850/statm: 1340 239 198 169 0 51 0
[startup+0.218343 s]
/proc/loadavg: 2.06 1.99 1.61 4/72 21848
/proc/meminfo: memFree=1494760/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=0
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981041466 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301349 s]
/proc/loadavg: 2.06 1.99 1.61 4/72 21848
/proc/meminfo: memFree=1494760/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=0
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981041466 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401361 s]
/proc/loadavg: 2.06 1.99 1.61 4/72 21848
/proc/meminfo: memFree=1494760/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=0
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981041466 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701396 s]
/proc/loadavg: 2.06 1.99 1.61 4/72 21848
/proc/meminfo: memFree=1494760/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=0
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981041466 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50149 s]
/proc/loadavg: 2.06 1.99 1.61 3/74 21852
/proc/meminfo: memFree=1493016/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=0
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981041466 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 236 195 169 0 51 0
[pid=21852] ppid=21848 vsize=5792 CPUtime=1.47
/proc/21852/stat : 21852 (xsolve) R 21848 21848 21519 0 -1 4194304 804 0 0 0 146 1 0 0 25 0 1 0 1981041467 5931008 763 996147200 134512640 135239763 4294956176 18446744073709551615 135102491 0 0 4096 0 0 0 0 17 1 0 0
/proc/21852/statm: 1448 763 423 177 0 351 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11152
[startup+3.1127 s]
/proc/loadavg: 2.06 1.99 1.61 3/82 21864
/proc/meminfo: memFree=1485656/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197020 CPUtime=1.53
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 5389 0 1 0 148 5 0 0 18 0 9 0 1981041621 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49255 4519 1821 9 0 43838 0
[pid=21856/tid=21857] ppid=21848 vsize=197020 CPUtime=1.19
/proc/21856/task/21857/stat : 21857 (java) R 21848 21848 21519 0 -1 64 2761 0 1 0 117 2 0 0 25 0 9 0 1981041622 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197020 CPUtime=0.17
/proc/21856/task/21858/stat : 21858 (java) R 21848 21848 21519 0 -1 64 1288 0 0 0 15 2 0 0 16 0 9 0 1981041623 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 104181398 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981041623 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981041623 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981041625 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197020 CPUtime=0.15
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 614 0 0 0 15 0 0 0 16 0 9 0 1981041625 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981041625 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21864/stat : 21864 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981041625 201748480 4519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202380
[startup+6.30208 s]
/proc/loadavg: 2.05 1.99 1.61 3/82 21864
/proc/meminfo: memFree=1473560/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197020 CPUtime=4.69
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 9937 0 1 0 455 14 0 0 18 0 9 0 1981041621 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49255 8231 2540 9 0 43838 0
[pid=21856/tid=21857] ppid=21848 vsize=197020 CPUtime=3.7
/proc/21856/task/21857/stat : 21857 (java) R 21848 21848 21519 0 -1 64 3545 0 1 0 366 4 0 0 25 0 9 0 1981041622 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4126624174 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197020 CPUtime=0.77
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 5036 0 0 0 69 8 0 0 16 0 9 0 1981041623 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981041623 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981041623 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981041625 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197020 CPUtime=0.18
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 630 0 0 0 18 0 0 0 16 0 9 0 1981041625 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981041625 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21864/stat : 21864 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981041625 201748480 8231 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202380
Solver just ended. Dumping a history of the last processes samples
[startup+6.50217 s]
/proc/loadavg: 2.05 1.99 1.61 3/82 21864
/proc/meminfo: memFree=1473560/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197020 CPUtime=4.88
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 10155 0 1 0 474 14 0 0 18 0 9 0 1981041621 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49255 8413 2540 9 0 43838 0
[pid=21856/tid=21857] ppid=21848 vsize=197020 CPUtime=3.87
/proc/21856/task/21857/stat : 21857 (java) R 21848 21848 21519 0 -1 64 3581 0 1 0 383 4 0 0 25 0 9 0 1981041622 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197020 CPUtime=0.81
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 5218 0 0 0 72 9 0 0 15 0 9 0 1981041623 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981041623 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981041623 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981041625 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197020 CPUtime=0.18
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 630 0 0 0 18 0 0 0 16 0 9 0 1981041625 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981041625 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197020 CPUtime=0
/proc/21856/task/21864/stat : 21864 (java) R 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981041625 201748480 8413 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.4
Current children cumulated vsize (KiB) 202380
[startup+8.1023 s]
/proc/loadavg: 2.05 1.99 1.61 4/93 21875
/proc/meminfo: memFree=1459136/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197344 CPUtime=5.95
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 11372 0 1 0 577 18 0 0 18 0 10 0 1981041621 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49336 9336 2543 9 0 43919 0
[pid=21866] ppid=21856 vsize=5356 CPUtime=0
/proc/21866/stat : 21866 (choco) S 21856 21848 21519 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981042226 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21866/statm: 1339 238 197 169 0 50 0
[pid=21867] ppid=21866 vsize=655356 CPUtime=0.47
/proc/21867/stat : 21867 (java) S 21866 21848 21519 0 -1 0 5020 0 1 0 43 4 0 0 18 0 9 0 1981042227 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21867/statm: 163839 4647 1812 9 0 158368 0
[pid=21867/tid=21868] ppid=21866 vsize=655356 CPUtime=0.28
/proc/21867/task/21868/stat : 21868 (java) R 21866 21848 21519 0 -1 64 3938 0 1 0 26 2 0 0 21 0 9 0 1981042228 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21869] ppid=21866 vsize=655356 CPUtime=0
/proc/21867/task/21869/stat : 21869 (java) S 21866 21848 21519 0 -1 64 4 0 0 0 0 0 0 0 18 0 9 0 1981042229 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21870] ppid=21866 vsize=655356 CPUtime=0
/proc/21867/task/21870/stat : 21870 (java) S 21866 21848 21519 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 1981042229 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21871] ppid=21866 vsize=655356 CPUtime=0
/proc/21867/task/21871/stat : 21871 (java) S 21866 21848 21519 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 1981042229 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21872] ppid=21866 vsize=655356 CPUtime=0
/proc/21867/task/21872/stat : 21872 (java) S 21866 21848 21519 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1981042231 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21873] ppid=21866 vsize=655356 CPUtime=0.16
/proc/21867/task/21873/stat : 21873 (java) R 21866 21848 21519 0 -1 64 533 0 0 0 16 0 0 0 16 0 9 0 1981042231 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 101661362 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21874] ppid=21866 vsize=655356 CPUtime=0
/proc/21867/task/21874/stat : 21874 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981042231 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21875] ppid=21866 vsize=655356 CPUtime=0
/proc/21867/task/21875/stat : 21875 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981042231 671084544 4647 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21857] ppid=21848 vsize=197344 CPUtime=4.77
/proc/21856/task/21857/stat : 21857 (java) S 21848 21848 21519 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981041622 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197344 CPUtime=0.94
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 6068 0 0 0 84 10 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197344 CPUtime=0.21
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/21867/stat : 21867 (java) S 21866 21848 21519 0 -1 0 14943 0 1 0 195 9 0 0 18 0 9 0 1981042227 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21867/statm: 163870 14530 1909 9 0 158399 0
[pid=21867/tid=21868] ppid=21866 vsize=655480 CPUtime=1.68
/proc/21867/task/21868/stat : 21868 (java) R 21866 21848 21519 0 -1 64 12065 0 1 0 162 6 0 0 25 0 9 0 1981042228 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4126952556 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21869] ppid=21866 vsize=655480 CPUtime=0.05
/proc/21867/task/21869/stat : 21869 (java) S 21866 21848 21519 0 -1 64 1719 0 0 0 4 1 0 0 16 0 9 0 1981042229 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21870] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21870/stat : 21870 (java) S 21866 21848 21519 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981042229 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21871] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21871/stat : 21871 (java) S 21866 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981042229 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21872] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21872/stat : 21872 (java) S 21866 21848 21519 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21873] ppid=21866 vsize=655480 CPUtime=0.29
/proc/21867/task/21873/stat : 21873 (java) S 21866 21848 21519 0 -1 64 611 0 0 0 28 1 0 0 15 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21874] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21874/stat : 21874 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21875] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21875/stat : 21875 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21857] ppid=21848 vsize=197344 CPUtime=4.77
/proc/21856/task/21857/stat : 21857 (java) S 21848 21848 21519 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981041622 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197344 CPUtime=0.94
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 6106 0 0 0 84 10 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197344 CPUtime=0.21
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21864/stat : 21864 (java) S 21848 21848 21519 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21865] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21865/stat : 21865 (java) S 21848 21848 21519 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1981042226 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.51
Current children cumulated vsize (KiB) 863540
[startup+10.1075 s]
/proc/loadavg: 2.05 1.99 1.61 3/93 21875
/proc/meminfo: memFree=1415488/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197344 CPUtime=5.95
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 11410 0 1 0 577 18 0 0 18 0 10 0 1981041621 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49336 9336 2543 9 0 43919 0
[pid=21866] ppid=21856 vsize=5356 CPUtime=0
/proc/21866/stat : 21866 (choco) S 21856 21848 21519 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981042226 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21866/statm: 1339 238 197 169 0 50 0
[pid=21867] ppid=21866 vsize=655480 CPUtime=2.43
/proc/21867/stat : 21867 (java) S 21866 21848 21519 0 -1 0 14944 0 1 0 234 9 0 0 18 0 9 0 1981042227 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21867/statm: 163870 14530 1909 9 0 158399 0
[pid=21867/tid=21868] ppid=21866 vsize=655480 CPUtime=2.07
/proc/21867/task/21868/stat : 21868 (java) R 21866 21848 21519 0 -1 64 12066 0 1 0 201 6 0 0 25 0 9 0 1981042228 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4126936017 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21869] ppid=21866 vsize=655480 CPUtime=0.05
/proc/21867/task/21869/stat : 21869 (java) S 21866 21848 21519 0 -1 64 1719 0 0 0 4 1 0 0 16 0 9 0 1981042229 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21870] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21870/stat : 21870 (java) S 21866 21848 21519 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981042229 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21871] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21871/stat : 21871 (java) S 21866 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981042229 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21872] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21872/stat : 21872 (java) S 21866 21848 21519 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21873] ppid=21866 vsize=655480 CPUtime=0.29
/proc/21867/task/21873/stat : 21873 (java) S 21866 21848 21519 0 -1 64 611 0 0 0 28 1 0 0 15 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21874] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21874/stat : 21874 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21875] ppid=21866 vsize=655480 CPUtime=0
/proc/21867/task/21875/stat : 21875 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981042231 671211520 14530 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21857] ppid=21848 vsize=197344 CPUtime=4.77
/proc/21856/task/21857/stat : 21857 (java) S 21848 21848 21519 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981041622 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197344 CPUtime=0.94
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 6106 0 0 0 84 10 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197344 CPUtime=0.21
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21864/stat : 21864 (java) S 21848 21848 21519 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21865] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21865/stat : 21865 (java) S 21848 21848 21519 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1981042226 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (KiB) 863540
[startup+10.5026 s]
/proc/loadavg: 2.05 1.99 1.61 3/93 21875
/proc/meminfo: memFree=1415488/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197344 CPUtime=5.95
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 11410 0 1 0 577 18 0 0 18 0 10 0 1981041621 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49336 9336 2543 9 0 43919 0
[pid=21866] ppid=21856 vsize=5356 CPUtime=0
/proc/21866/stat : 21866 (choco) S 21856 21848 21519 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981042226 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21866/statm: 1339 238 197 169 0 50 0
[pid=21867] ppid=21866 vsize=655612 CPUtime=2.82
/proc/21867/stat : 21867 (java) S 21866 21848 21519 0 -1 0 14955 0 1 0 273 9 0 0 18 0 9 0 1981042227 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21867/statm: 163903 14540 1909 9 0 158432 0
[pid=21867/tid=21868] ppid=21866 vsize=655612 CPUtime=2.44
/proc/21867/task/21868/stat : 21868 (java) R 21866 21848 21519 0 -1 64 12070 0 1 0 238 6 0 0 25 0 9 0 1981042228 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4126953944 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21869] ppid=21866 vsize=655612 CPUtime=0.05
/proc/21867/task/21869/stat : 21869 (java) S 21866 21848 21519 0 -1 64 1719 0 0 0 4 1 0 0 16 0 9 0 1981042229 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21870] ppid=21866 vsize=655612 CPUtime=0
/proc/21867/task/21870/stat : 21870 (java) S 21866 21848 21519 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981042229 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21871] ppid=21866 vsize=655612 CPUtime=0
/proc/21867/task/21871/stat : 21871 (java) S 21866 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981042229 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21872] ppid=21866 vsize=655612 CPUtime=0
/proc/21867/task/21872/stat : 21872 (java) S 21866 21848 21519 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1981042231 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21873] ppid=21866 vsize=655612 CPUtime=0.3
/proc/21867/task/21873/stat : 21873 (java) S 21866 21848 21519 0 -1 64 618 0 0 0 29 1 0 0 16 0 9 0 1981042231 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21874] ppid=21866 vsize=655612 CPUtime=0
/proc/21867/task/21874/stat : 21874 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981042231 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21867/tid=21875] ppid=21866 vsize=655612 CPUtime=0
/proc/21867/task/21875/stat : 21875 (java) S 21866 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981042231 671346688 14540 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21857] ppid=21848 vsize=197344 CPUtime=4.77
/proc/21856/task/21857/stat : 21857 (java) S 21848 21848 21519 0 -1 64 3856 0 1 0 471 6 0 0 25 0 10 0 1981041622 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197344 CPUtime=0.94
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 6106 0 0 0 84 10 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981041623 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197344 CPUtime=0.21
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21864/stat : 21864 (java) S 21848 21848 21519 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1981041625 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21865] ppid=21848 vsize=197344 CPUtime=0
/proc/21856/task/21865/stat : 21865 (java) S 21848 21848 21519 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1981042226 202080256 9336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.29
Current children cumulated vsize (KiB) 863672
[startup+10.6026 s]
/proc/loadavg: 2.05 1.99 1.61 3/93 21875
/proc/meminfo: memFree=1415488/2055920 swapFree=4180424/4192956
[pid=21848] ppid=21846 vsize=5360 CPUtime=1.52
/proc/21848/stat : 21848 (hydra) S 21846 21848 21519 0 -1 4194304 375 1400 0 0 0 0 150 2 19 0 1 0 1981041466 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21848/statm: 1340 238 196 169 0 51 0
[pid=21856] ppid=21848 vsize=197344 CPUtime=8.84
/proc/21856/stat : 21856 (java) S 21848 21848 21519 0 -1 0 11481 15272 1 1 577 18 279 10 18 0 9 0 1981041621 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21856/statm: 49336 9338 2544 9 0 43919 0
[pid=21856/tid=21857] ppid=21848 vsize=197344 CPUtime=7.66
/proc/21856/task/21857/stat : 21857 (java) S 21848 21848 21519 0 -1 64 3905 15272 1 1 471 6 279 10 16 0 9 0 1981041622 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21858] ppid=21848 vsize=197344 CPUtime=3.83
/proc/21856/task/21858/stat : 21858 (java) S 21848 21848 21519 0 -1 64 6117 15272 0 1 84 10 279 10 16 0 9 0 1981041623 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21859] ppid=21848 vsize=197344 CPUtime=2.89
/proc/21856/task/21859/stat : 21859 (java) S 21848 21848 21519 0 -1 64 11 15272 0 1 0 0 279 10 16 0 9 0 1981041623 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21860] ppid=21848 vsize=197344 CPUtime=2.89
/proc/21856/task/21860/stat : 21860 (java) S 21848 21848 21519 0 -1 64 5 15272 0 1 0 0 279 10 16 0 9 0 1981041623 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21861] ppid=21848 vsize=197344 CPUtime=2.89
/proc/21856/task/21861/stat : 21861 (java) S 21848 21848 21519 0 -1 64 1 15272 0 1 0 0 279 10 18 0 9 0 1981041625 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21862] ppid=21848 vsize=197344 CPUtime=3.1
/proc/21856/task/21862/stat : 21862 (java) S 21848 21848 21519 0 -1 64 646 15272 0 1 21 0 279 10 16 0 9 0 1981041625 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21863] ppid=21848 vsize=197344 CPUtime=2.89
/proc/21856/task/21863/stat : 21863 (java) S 21848 21848 21519 0 -1 64 1 15272 0 1 0 0 279 10 19 0 9 0 1981041625 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21856/tid=21864] ppid=21848 vsize=197344 CPUtime=2.89
/proc/21856/task/21864/stat : 21864 (java) S 21848 21848 21519 0 -1 64 7 15272 0 1 0 0 279 10 15 0 9 0 1981041625 202080256 9338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 202704
Child status: 0
Real time (s): 10.6239
CPU time (s): 10.4034
CPU user time (s): 10.0835
CPU system time (s): 0.319951
CPU usage (%): 97.925
Max. virtual memory (cumulated for all children) (KiB): 863672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0835
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28565
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= 10628
involuntary context switches= 12145
runsolver used 0.024996 second user time and 0.097985 second system time
The end