0.00/0.00 c cpHydra_k_10 version 0.0
7.02/7.23 c CASE TO CLASSIFY:
7.02/7.23 c Case: 0
7.02/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.502600 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.507600 | c 14 > 13.972200 | c 11 > 7.546890 | c 12 > 11.636000 | 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.02/7.24 c choco : 1801.0
7.02/7.24 c mistral : 1801.0
7.02/7.24 c abscon : 1801.0
7.02/7.24 c
7.02/7.24 c
7.12/7.31 c List of same ones: 10
7.12/7.31 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
7.12/7.31 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.12/7.32 c choco : 10.43
7.12/7.32 c mistral : 141.615
7.12/7.32 c abscon : 373.165
7.12/7.32 c
7.12/7.32 c
7.12/7.32 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
7.12/7.32 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.12/7.33 c choco : 13.14
7.12/7.33 c mistral : 111.164
7.12/7.33 c abscon : 90.4513
7.12/7.33 c
7.12/7.33 c
7.12/7.33 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
7.12/7.33 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.12/7.34 c choco : 1.71
7.12/7.34 c mistral : 0.294955
7.12/7.34 c abscon : 1.3438
7.12/7.34 c
7.12/7.34 c
7.12/7.34 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
7.12/7.34 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.12/7.35 c choco : 2.18
7.12/7.35 c mistral : 3.68944
7.12/7.35 c abscon : 6.576
7.12/7.35 c
7.12/7.35 c
7.12/7.35 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
7.12/7.35 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.12/7.36 c choco : 1.98
7.12/7.36 c mistral : 0.888864
7.12/7.36 c abscon : 1.51277
7.12/7.36 c
7.12/7.36 c
7.12/7.36 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-25/qcp-25-264-3_ext.xml
7.12/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.509300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.208800 | c 14 > 13.296800 | c 11 > 8.027910 | c 12 > 11.467300 | c 21 > 3.337300 | c 20 > 0.000000 | c 22 > 5.000000 | 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 > 11.301500 | 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 > 10.179900 | c 31 > -1.000000 | c 4 > 8.027910 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.37 c choco : 373.6
7.12/7.37 c mistral : 1800.04
7.12/7.37 c abscon : 1800.02
7.12/7.37 c
7.12/7.37 c
7.12/7.37 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
7.12/7.37 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.12/7.38 c choco : 1.73
7.12/7.38 c mistral : 2.31065
7.12/7.38 c abscon : 1.27481
7.12/7.38 c
7.12/7.38 c
7.12/7.38 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
7.12/7.38 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.12/7.38 c choco : 9.89
7.12/7.38 c mistral : 47.8837
7.12/7.38 c abscon : 83.9172
7.12/7.39 c
7.12/7.39 c
7.12/7.39 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
7.12/7.39 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.12/7.39 c choco : 2.04
7.12/7.39 c mistral : 3.37
7.12/7.39 c abscon : 10.3474
7.12/7.39 c
7.12/7.39 c
7.12/7.39 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
7.12/7.39 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.19/7.40 c choco : 2.41
7.19/7.40 c mistral : 2.56061
7.19/7.40 c abscon : 5.59815
7.19/7.40 c
7.19/7.40 c
7.28/7.59 c Length: 10
7.28/7.59 c 1.327512626192311 1.5335009977173168 1.768466618571017 1.7996651955016536 1.8108459807228237 1.8402168237737653 1.8848497084648432 2.0135932055904453 2.160846347522193 2.262709563487989
7.28/7.59 c
7.28/7.59 c 1.0 0.8194961239573991 0.6795743963323545 0.6645093723389818 0.6592717425101455 0.6458983384767069 0.626583330788152 0.5768271795952471 0.5287988267178133 0.5
7.28/7.60 c
7.28/7.60 c solver 0
7.28/7.60 c before 0.0 seconds: {} 0
7.28/7.60 c before 18.0 seconds: {2, 3, 4, 6, 8, 9} 3658
7.28/7.60 c before 90.0 seconds: {2, 3, 4, 6, 7, 8, 9} 4235
7.28/7.60 c before 108.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9} 5055
7.28/7.60 c before 378.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6055
7.28/7.60 c
7.28/7.60 c solver 1
7.28/7.60 c before 0.0 seconds: {} 0
7.28/7.60 c before 18.0 seconds: {2, 3, 4, 6, 8, 9} 3658
7.28/7.60 c before 54.0 seconds: {2, 3, 4, 6, 7, 8, 9} 4235
7.28/7.60 c before 126.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9} 5055
7.28/7.60 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6055
7.28/7.60 c
7.28/7.60 c solver 2
7.28/7.60 c before 0.0 seconds: {} 0
7.28/7.60 c before 18.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6055
7.39/7.60 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6700
7.39/7.60 c
7.39/7.60 cTotal time: 50
7.39/7.60 c 900.0 seconds unused
7.39/7.60 c 0 c 0 c 0
7.39/7.60 c 0 c 0 c 0
7.39/7.60 c 1 c 1 c 0
7.39/7.60 c is solver0 dominated by:
7.39/7.60 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.60 c is dominated? true
7.39/7.60 c
7.39/7.60 c is solver1 dominated by:
7.39/7.60 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.60 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: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.39/7.60 c is dominated? true
7.39/7.60 c
7.39/7.60 c is solver2 dominated by:
7.39/7.60 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: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.39/7.60 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: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.39/7.60 c is dominated? false
7.39/7.60 c
7.39/7.60 c Number of non-dominated solvers: 1
7.39/7.60 c remove dominated solvers
7.39/7.60 c solver 2 is not dominated by another solver
7.39/7.60 c solver 1 is dominated by another solver
7.39/7.60 c solver 0 is dominated by another solver
7.39/7.60 c
7.39/7.60 c solver 0: 0.0
7.39/7.60 c
7.39/7.60 c solver 1: 0.0
7.39/7.60 c
7.39/7.60 c solver 2: 378.0
7.39/7.60 c
7.39/7.60 c+ 21/21 of 79
7.39/7.60 c do not run abscon
7.39/7.61 c do not run mistral
7.39/7.61 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6700
7.39/7.61 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.39/7.61 c On Instance: HOME/instance-1045522-1215022846.xml
7.39/7.61 c Running for: 1800 seconds
13.88/14.40 s SATISFIABLE
13.88/14.40 v 6 11 17 13 15 3 18 9 2 5 7 0 8 10 19 14 1 4 16 12 15 4 0 2 19 16 12 18 14 17 3 1 5 9 6 7 13 10 11 8 7 6 12 1 11 17 15 2 9 3 4 13 10 5 14 0 19 16 8 18 18 17 6 8 7 4 14 12 0 10 1 19 11 2 13 9 15 3 5 16 5 18 8 15 6 12 10 7 11 9 14 2 4 3 1 13 16 17 19 0 13 1 19 14 4 10 2 8 17 0 11 3 12 7 16 6 5 18 9 15 0 3 7 11 8 5 9 10 19 18 13 17 14 16 15 1 6 12 4 2 4 19 3 9 2 13 1 15 6 11 16 5 0 12 7 8 17 14 18 10 3 14 10 4 0 6 7 13 15 2 5 16 18 19 9 12 11 8 17 1 12 2 14 7 3 18 17 1 16 15 10 6 19 8 4 11 9 13 0 5 16 10 9 18 17 8 4 6 7 13 2 12 3 15 11 5 14 0 1 19 1 7 16 3 14 11 5 17 4 12 8 18 15 13 0 2 10 19 6 9 10 9 2 6 12 15 13 5 8 16 19 4 1 0 3 17 18 7 14 11 2 8 11 12 18 0 16 3 13 14 17 15 7 1 5 19 4 9 10 6 11 5 18 0 13 19 8 16 3 1 9 10 17 4 12 15 7 6 2 14 8 15 4 19 5 2 11 14 12 6 0 9 16 18 17 10 3 1 7 13 19 12 15 10 9 1 3 0 5 7 18 14 6 17 8 16 2 11 13 4 14 13 5 17 16 9 19 4 1 8 6 7 2 11 10 18 0 15 12 3 9 0 1 16 10 7 6 11 18 19 15 8 13 14 2 4 12 5 3 17 17 16 13 5 1 14 0 19 10 4 12 11 9 6 18 3 8 2 15 7
13.88/14.40 d ASSIGNMENTS 206
13.88/14.40 c SAT 6625 TIME 206 NDS 477 PARSTIME 325 BUILDPB 5823 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-1045522-1215022846/watcher-1045522-1215022846 -o /tmp/evaluation-result-1045522-1215022846/solver-1045522-1215022846 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045522-1215022846.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 2.00 1.91 4/93 15375
/proc/meminfo: memFree=1343568/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=0
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 285 0 0 0 0 0 0 0 20 0 1 0 1531958661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 236 195 169 0 51 0
[pid=15376] ppid=15375 vsize=144 CPUtime=0
/proc/15376/stat : 15376 (rm) R 15375 15375 14511 0 -1 4194304 44 0 0 0 0 0 0 0 22 0 1 0 1531958662 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 212231845257 0 0 4096 0 0 0 0 17 1 0 0
/proc/15376/statm: 36 22 16 8 0 3 0
[startup+0.105278 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 15375
/proc/meminfo: memFree=1343568/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=0
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1531958661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201291 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 15375
/proc/meminfo: memFree=1343568/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=0
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1531958661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301307 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 15375
/proc/meminfo: memFree=1343568/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=0
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1531958661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701374 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 15375
/proc/meminfo: memFree=1343568/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=0
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1531958661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50151 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 15379
/proc/meminfo: memFree=1340672/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=0
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1531958661 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 236 195 169 0 51 0
[pid=15379] ppid=15375 vsize=6972 CPUtime=1.44
/proc/15379/stat : 15379 (xsolve) R 15375 15375 14511 0 -1 4194304 1145 0 0 0 142 2 0 0 25 0 1 0 1531958662 7139328 1072 996147200 134512640 135239763 4294956176 18446744073709551615 134789563 0 0 4096 0 0 0 0 17 1 0 0
/proc/15379/statm: 1743 1072 424 177 0 646 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 12332
[startup+3.1028 s]
/proc/loadavg: 2.08 2.02 1.92 3/103 15391
/proc/meminfo: memFree=1335872/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=196984 CPUtime=1.43
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 5170 0 1 0 137 6 0 0 18 0 9 0 1531958823 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49246 4326 1678 9 0 43829 0
[pid=15383/tid=15384] ppid=15375 vsize=196984 CPUtime=1.11
/proc/15383/task/15384/stat : 15384 (java) R 15375 15375 14511 0 -1 64 2768 0 1 0 109 2 0 0 25 0 9 0 1531958825 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4126428096 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=196984 CPUtime=0.14
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 1068 0 0 0 12 2 0 0 16 0 9 0 1531958826 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=196984 CPUtime=0
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1531958826 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=196984 CPUtime=0
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1531958826 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=196984 CPUtime=0
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1531958828 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=196984 CPUtime=0.14
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 1531958828 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=196984 CPUtime=0
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1531958828 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=196984 CPUtime=0
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1531958828 201711616 4326 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 202344
[startup+6.30243 s]
/proc/loadavg: 2.08 2.02 1.92 3/103 15391
/proc/meminfo: memFree=1322688/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=197092 CPUtime=4.56
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 10099 0 1 0 442 14 0 0 18 0 9 0 1531958823 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49273 8372 2540 9 0 43856 0
[pid=15383/tid=15384] ppid=15375 vsize=197092 CPUtime=3.6
/proc/15383/task/15384/stat : 15384 (java) R 15375 15375 14511 0 -1 64 3567 0 1 0 356 4 0 0 25 0 9 0 1531958825 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=197092 CPUtime=0.76
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 5182 0 0 0 68 8 0 0 15 0 9 0 1531958826 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=197092 CPUtime=0
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1531958826 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=197092 CPUtime=0
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1531958826 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=197092 CPUtime=0
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1531958828 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=197092 CPUtime=0.18
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 626 0 0 0 17 1 0 0 16 0 9 0 1531958828 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=197092 CPUtime=0
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1531958828 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=197092 CPUtime=0
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1531958828 201822208 8372 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 202452
[startup+12.7035 s]
/proc/loadavg: 2.07 2.02 1.92 3/114 15402
/proc/meminfo: memFree=1259240/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=197416 CPUtime=5.83
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 13871 0 1 0 564 19 0 0 18 0 10 0 1531958823 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49354 9389 2543 9 0 43937 0
[pid=15393] ppid=15383 vsize=5356 CPUtime=0
/proc/15393/stat : 15393 (choco) S 15383 15375 14511 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1531959422 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15393/statm: 1339 238 197 169 0 50 0
[pid=15394] ppid=15393 vsize=655592 CPUtime=4.92
/proc/15394/stat : 15394 (java) S 15393 15375 14511 0 -1 0 16167 0 1 0 484 8 0 0 25 0 9 0 1531959423 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 163898 15746 1910 9 0 158427 0
[pid=15394/tid=15395] ppid=15393 vsize=655592 CPUtime=4.51
/proc/15394/task/15395/stat : 15395 (java) R 15393 15375 14511 0 -1 64 12072 0 1 0 446 5 0 0 25 0 9 0 1531959424 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4127011300 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15396] ppid=15393 vsize=655592 CPUtime=0.08
/proc/15394/task/15396/stat : 15396 (java) S 15393 15375 14511 0 -1 64 2919 0 0 0 7 1 0 0 16 0 9 0 1531959425 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15393 15375 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15393 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15393 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15393 vsize=655592 CPUtime=0.3
/proc/15394/task/15400/stat : 15400 (java) S 15393 15375 14511 0 -1 64 628 0 0 0 30 0 0 0 15 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15384] ppid=15375 vsize=197416 CPUtime=4.51
/proc/15383/task/15384/stat : 15384 (java) S 15375 15375 14511 0 -1 64 3853 0 1 0 446 5 0 0 25 0 10 0 1531958825 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=197416 CPUtime=1.08
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 8570 0 0 0 97 11 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=197416 CPUtime=0.21
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15392] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15392/stat : 15392 (java) S 15375 15375 14511 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1531959422 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 863724
Solver just ended. Dumping a history of the last processes samples
[startup+12.8035 s]
/proc/loadavg: 2.07 2.02 1.92 3/114 15402
/proc/meminfo: memFree=1259240/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=197416 CPUtime=5.83
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 13871 0 1 0 564 19 0 0 18 0 10 0 1531958823 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49354 9389 2543 9 0 43937 0
[pid=15393] ppid=15383 vsize=5356 CPUtime=0
/proc/15393/stat : 15393 (choco) S 15383 15375 14511 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1531959422 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15393/statm: 1339 238 197 169 0 50 0
[pid=15394] ppid=15393 vsize=655592 CPUtime=5.02
/proc/15394/stat : 15394 (java) S 15393 15375 14511 0 -1 0 16167 0 1 0 494 8 0 0 25 0 9 0 1531959423 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 163898 15746 1910 9 0 158427 0
[pid=15394/tid=15395] ppid=15393 vsize=655592 CPUtime=4.61
/proc/15394/task/15395/stat : 15395 (java) R 15393 15375 14511 0 -1 64 12072 0 1 0 456 5 0 0 25 0 9 0 1531959424 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4126881137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15396] ppid=15393 vsize=655592 CPUtime=0.08
/proc/15394/task/15396/stat : 15396 (java) S 15393 15375 14511 0 -1 64 2919 0 0 0 7 1 0 0 16 0 9 0 1531959425 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15393 15375 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15393 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15393 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15393 vsize=655592 CPUtime=0.3
/proc/15394/task/15400/stat : 15400 (java) S 15393 15375 14511 0 -1 64 628 0 0 0 30 0 0 0 15 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1531959427 671326208 15746 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15384] ppid=15375 vsize=197416 CPUtime=4.51
/proc/15383/task/15384/stat : 15384 (java) S 15375 15375 14511 0 -1 64 3853 0 1 0 446 5 0 0 25 0 10 0 1531958825 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=197416 CPUtime=1.08
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 8570 0 0 0 97 11 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=197416 CPUtime=0.21
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15392] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15392/stat : 15392 (java) S 15375 15375 14511 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1531959422 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 863724
[startup+13.6036 s]
/proc/loadavg: 2.07 2.02 1.92 3/114 15402
/proc/meminfo: memFree=1259240/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=197416 CPUtime=5.83
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 13871 0 1 0 564 19 0 0 18 0 10 0 1531958823 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49354 9389 2543 9 0 43937 0
[pid=15393] ppid=15383 vsize=5356 CPUtime=0
/proc/15393/stat : 15393 (choco) S 15383 15375 14511 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1531959422 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15393/statm: 1339 238 197 169 0 50 0
[pid=15394] ppid=15393 vsize=655592 CPUtime=5.79
/proc/15394/stat : 15394 (java) S 15393 15375 14511 0 -1 0 16170 0 1 0 571 8 0 0 25 0 9 0 1531959423 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 163898 15747 1910 9 0 158427 0
[pid=15394/tid=15395] ppid=15393 vsize=655592 CPUtime=5.38
/proc/15394/task/15395/stat : 15395 (java) R 15393 15375 14511 0 -1 64 12074 0 1 0 533 5 0 0 25 0 9 0 1531959424 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4127074728 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15396] ppid=15393 vsize=655592 CPUtime=0.08
/proc/15394/task/15396/stat : 15396 (java) S 15393 15375 14511 0 -1 64 2919 0 0 0 7 1 0 0 16 0 9 0 1531959425 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15393 15375 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15393 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15393 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15393 vsize=655592 CPUtime=0.3
/proc/15394/task/15400/stat : 15400 (java) S 15393 15375 14511 0 -1 64 629 0 0 0 30 0 0 0 15 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15384] ppid=15375 vsize=197416 CPUtime=4.51
/proc/15383/task/15384/stat : 15384 (java) S 15375 15375 14511 0 -1 64 3853 0 1 0 446 5 0 0 25 0 10 0 1531958825 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=197416 CPUtime=1.08
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 8570 0 0 0 97 11 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=197416 CPUtime=0.21
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15392] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15392/stat : 15392 (java) S 15375 15375 14511 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1531959422 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.19
Current children cumulated vsize (KiB) 863724
[startup+14.0027 s]
/proc/loadavg: 2.07 2.02 1.92 3/114 15402
/proc/meminfo: memFree=1259240/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=197416 CPUtime=5.83
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 13871 0 1 0 564 19 0 0 18 0 10 0 1531958823 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49354 9389 2543 9 0 43937 0
[pid=15393] ppid=15383 vsize=5356 CPUtime=0
/proc/15393/stat : 15393 (choco) S 15383 15375 14511 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1531959422 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15393/statm: 1339 238 197 169 0 50 0
[pid=15394] ppid=15393 vsize=655592 CPUtime=6.18
/proc/15394/stat : 15394 (java) S 15393 15375 14511 0 -1 0 16171 0 1 0 610 8 0 0 25 0 9 0 1531959423 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 163898 15747 1910 9 0 158427 0
[pid=15394/tid=15395] ppid=15393 vsize=655592 CPUtime=5.77
/proc/15394/task/15395/stat : 15395 (java) R 15393 15375 14511 0 -1 64 12075 0 1 0 572 5 0 0 25 0 9 0 1531959424 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 102064707 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15396] ppid=15393 vsize=655592 CPUtime=0.08
/proc/15394/task/15396/stat : 15396 (java) S 15393 15375 14511 0 -1 64 2919 0 0 0 7 1 0 0 16 0 9 0 1531959425 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15393 15375 14511 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15393 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1531959425 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15393 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15393 vsize=655592 CPUtime=0.3
/proc/15394/task/15400/stat : 15400 (java) S 15393 15375 14511 0 -1 64 629 0 0 0 30 0 0 0 15 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15393 vsize=655592 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15393 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1531959427 671326208 15747 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15384] ppid=15375 vsize=197416 CPUtime=4.51
/proc/15383/task/15384/stat : 15384 (java) S 15375 15375 14511 0 -1 64 3853 0 1 0 446 5 0 0 25 0 10 0 1531958825 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=197416 CPUtime=1.08
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 8570 0 0 0 97 11 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1531958826 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=197416 CPUtime=0.21
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 642 0 0 0 20 1 0 0 16 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1531958828 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15392] ppid=15375 vsize=197416 CPUtime=0
/proc/15383/task/15392/stat : 15392 (java) S 15375 15375 14511 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1531959422 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 863724
[startup+14.4077 s]
/proc/loadavg: 2.07 2.02 1.92 3/114 15402
/proc/meminfo: memFree=1259240/2055920 swapFree=4120564/4192956
[pid=15375] ppid=15373 vsize=5360 CPUtime=1.57
/proc/15375/stat : 15375 (hydra) S 15373 15375 14511 0 -1 4194304 375 1741 0 0 0 0 154 3 18 0 1 0 1531958661 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15375/statm: 1340 238 196 169 0 51 0
[pid=15383] ppid=15375 vsize=197416 CPUtime=12.35
/proc/15383/stat : 15383 (java) S 15375 15375 14511 0 -1 0 13948 16490 1 1 564 19 643 9 18 0 9 0 1531958823 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15383/statm: 49354 9391 2544 9 0 43937 0
[pid=15383/tid=15384] ppid=15375 vsize=197416 CPUtime=11.04
/proc/15383/task/15384/stat : 15384 (java) S 15375 15375 14511 0 -1 64 3908 16490 1 1 446 6 643 9 16 0 9 0 1531958825 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15385] ppid=15375 vsize=197416 CPUtime=7.6
/proc/15383/task/15385/stat : 15385 (java) S 15375 15375 14511 0 -1 64 8582 16490 0 1 97 11 643 9 16 0 9 0 1531958826 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15386] ppid=15375 vsize=197416 CPUtime=6.52
/proc/15383/task/15386/stat : 15386 (java) S 15375 15375 14511 0 -1 64 11 16490 0 1 0 0 643 9 16 0 9 0 1531958826 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15387] ppid=15375 vsize=197416 CPUtime=6.52
/proc/15383/task/15387/stat : 15387 (java) S 15375 15375 14511 0 -1 64 5 16490 0 1 0 0 643 9 15 0 9 0 1531958826 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15388] ppid=15375 vsize=197416 CPUtime=6.52
/proc/15383/task/15388/stat : 15388 (java) S 15375 15375 14511 0 -1 64 1 16490 0 1 0 0 643 9 18 0 9 0 1531958828 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15389] ppid=15375 vsize=197416 CPUtime=6.73
/proc/15383/task/15389/stat : 15389 (java) S 15375 15375 14511 0 -1 64 642 16490 0 1 20 1 643 9 16 0 9 0 1531958828 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15390] ppid=15375 vsize=197416 CPUtime=6.52
/proc/15383/task/15390/stat : 15390 (java) S 15375 15375 14511 0 -1 64 0 16490 0 1 0 0 643 9 19 0 9 0 1531958828 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15383/tid=15391] ppid=15375 vsize=197416 CPUtime=6.52
/proc/15383/task/15391/stat : 15391 (java) S 15375 15375 14511 0 -1 64 11 16490 0 1 0 0 643 9 15 0 9 0 1531958828 202153984 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.92
Current children cumulated vsize (KiB) 202776
Child status: 0
Real time (s): 14.4186
CPU time (s): 13.9659
CPU user time (s): 13.6279
CPU system time (s): 0.337948
CPU usage (%): 96.8599
Max. virtual memory (cumulated for all children) (KiB): 863724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6279
system time used= 0.337948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32591
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= 11273
involuntary context switches= 13115
runsolver used 0.041993 second user time and 0.12998 second system time
The end