0.00/0.11 c cpHydra_k_10 version 0.0
6.74/6.85 c CASE TO CLASSIFY:
6.74/6.85 c Case: 0
6.74/6.85 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.640400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.159000 | c 14 > 14.067500 | c 11 > 7.539160 | c 12 > 12.203500 | 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
6.74/6.86 c choco : 1801.0
6.74/6.86 c mistral : 1801.0
6.74/6.86 c abscon : 1801.0
6.74/6.86 c
6.74/6.86 c
6.83/6.93 c List of same ones: 10
6.83/6.93 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
6.83/6.93 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
6.83/6.94 c choco : 10.43
6.83/6.94 c mistral : 141.615
6.83/6.94 c abscon : 373.165
6.83/6.94 c
6.83/6.94 c
6.83/6.94 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
6.83/6.94 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
6.83/6.95 c choco : 1.73
6.83/6.95 c mistral : 2.31065
6.83/6.95 c abscon : 1.27481
6.83/6.95 c
6.83/6.95 c
6.83/6.95 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-25/qcp-25-264-3_ext.xml
6.83/6.95 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
6.83/6.96 c choco : 373.6
6.83/6.96 c mistral : 1800.04
6.83/6.96 c abscon : 1800.02
6.83/6.96 c
6.83/6.96 c
6.83/6.96 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
6.83/6.96 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
6.83/6.96 c choco : 2.18
6.83/6.96 c mistral : 3.68944
6.83/6.96 c abscon : 6.576
6.83/6.96 c
6.83/6.96 c
6.83/6.96 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
6.83/6.96 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
6.83/6.97 c choco : 1.71
6.83/6.97 c mistral : 0.294955
6.83/6.97 c abscon : 1.3438
6.83/6.97 c
6.83/6.97 c
6.83/6.97 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
6.83/6.97 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
6.83/6.98 c choco : 1.98
6.83/6.98 c mistral : 0.888864
6.83/6.98 c abscon : 1.51277
6.83/6.98 c
6.83/6.98 c
6.83/6.98 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
6.83/6.98 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
6.83/6.99 c choco : 13.14
6.83/6.99 c mistral : 111.164
6.83/6.99 c abscon : 90.4513
6.83/6.99 c
6.83/6.99 c
6.83/6.99 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
6.83/6.99 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
6.92/7.00 c choco : 9.89
6.92/7.00 c mistral : 47.8837
6.92/7.00 c abscon : 83.9172
6.92/7.00 c
6.92/7.00 c
6.92/7.00 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
6.92/7.00 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
6.92/7.00 c choco : 2.41
6.92/7.01 c mistral : 2.56061
6.92/7.01 c abscon : 5.59815
6.92/7.01 c
6.92/7.01 c
6.92/7.01 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
6.92/7.01 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
6.92/7.01 c choco : 2.04
6.92/7.01 c mistral : 3.37
6.92/7.01 c abscon : 10.3474
6.92/7.01 c
6.92/7.01 c
6.92/7.02 c Length: 10
6.92/7.02 c 1.3918587033172591 1.7245990826855964 1.9795355214292074 2.0211702464661414 2.1494314356359467 2.1513740528322836 2.273174241605779 2.71950695125054 2.8539490551865154 2.970021099706196
6.92/7.02 c
6.92/7.02 c 1.0 0.8258726798717034 0.7286609208212266 0.7149177927415796 0.6756598284592924 0.6750983531216678 0.6416656047763656 0.5431057248938684 0.5190892097024138 0.5
6.92/7.02 c
6.92/7.02 c solver 0
6.92/7.02 c before 0.0 seconds: {} 0
6.92/7.02 c before 18.0 seconds: {1, 3, 4, 5, 8, 9} 3910
6.92/7.02 c before 90.0 seconds: {1, 3, 4, 5, 7, 8, 9} 4453
6.92/7.02 c before 108.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 5095
6.92/7.02 c before 378.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6095
6.92/7.02 c
6.92/7.02 c solver 1
6.92/7.02 c before 0.0 seconds: {} 0
6.92/7.02 c before 18.0 seconds: {1, 3, 4, 5, 8, 9} 3910
6.92/7.02 c before 54.0 seconds: {1, 3, 4, 5, 7, 8, 9} 4453
6.92/7.02 c before 126.0 seconds: {1, 3, 4, 5, 6, 7, 8, 9} 5095
6.92/7.02 c before 144.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6095
6.92/7.02 c
6.92/7.02 c solver 2
6.92/7.02 c before 0.0 seconds: {} 0
6.92/7.02 c before 18.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6095
6.92/7.02 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6824
6.92/7.02 c
6.92/7.02 cTotal time: 50
6.92/7.02 c 900.0 seconds unused
6.92/7.02 c 0 c 0 c 0
6.92/7.02 c 0 c 0 c 0
6.92/7.02 c 1 c 1 c 0
6.92/7.03 c is solver0 dominated by:
6.92/7.03 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)
6.92/7.03 c is dominated? true
6.92/7.03 c
6.92/7.03 c is solver1 dominated by:
6.92/7.03 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)
6.92/7.03 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)
6.92/7.03 c is dominated? true
6.92/7.03 c
6.92/7.03 c is solver2 dominated by:
6.92/7.03 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)
6.92/7.03 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)
6.92/7.03 c is dominated? false
6.92/7.03 c
6.92/7.03 c Number of non-dominated solvers: 1
6.92/7.03 c remove dominated solvers
6.92/7.03 c solver 2 is not dominated by another solver
6.92/7.03 c solver 1 is dominated by another solver
6.92/7.03 c solver 0 is dominated by another solver
6.92/7.03 c
6.92/7.03 c solver 0: 0.0
6.92/7.03 c
6.92/7.03 c solver 1: 0.0
6.92/7.03 c
6.92/7.03 c solver 2: 378.0
6.92/7.03 c
6.92/7.03 c+ 21/21 of 79
6.92/7.03 c do not run abscon
6.92/7.03 c do not run mistral
6.92/7.03 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6824
6.92/7.03 c Starting solver: HOME/cpHydra_k_10/solver/choco
6.92/7.03 c On Instance: HOME/instance-1045513-1215022766.xml
6.92/7.03 c Running for: 1800 seconds
23.04/23.44 s SATISFIABLE
23.04/23.44 v 0 16 17 18 15 14 4 5 12 7 8 9 19 6 2 11 3 1 10 13 10 6 5 12 4 8 3 14 1 11 7 13 9 0 16 2 15 19 18 17 1 14 15 5 10 11 8 9 18 2 19 6 17 4 7 16 0 13 3 12 14 0 8 16 3 15 7 6 4 13 1 5 11 19 18 9 2 12 17 10 2 19 10 3 11 16 6 8 9 0 13 12 14 7 4 17 18 15 1 5 7 1 18 4 14 10 17 3 11 16 12 0 6 13 19 5 8 2 15 9 9 11 4 14 7 5 13 17 8 1 3 16 2 18 15 6 12 10 19 0 6 15 11 7 12 18 0 2 3 5 10 19 13 17 8 1 4 9 14 16 5 2 0 15 1 19 11 18 16 4 6 10 7 3 12 13 17 8 9 14 4 18 1 10 2 9 5 0 15 12 14 17 16 8 13 19 7 11 6 3 8 4 9 13 16 7 12 10 19 6 17 15 0 11 1 3 14 5 2 18 16 8 19 6 5 12 1 13 2 14 0 18 15 9 17 7 10 3 4 11 12 5 14 9 19 17 2 1 0 8 15 4 3 16 10 18 11 6 13 7 11 17 12 2 9 13 19 15 14 18 4 7 1 10 3 8 5 16 0 6 3 12 13 17 8 2 10 7 5 9 18 1 4 15 6 14 16 0 11 19 13 3 7 0 6 1 15 4 17 19 11 8 10 5 14 12 9 18 16 2 19 10 16 8 13 3 18 11 6 17 9 2 5 12 0 15 1 14 7 4 17 9 6 1 18 0 16 19 10 3 2 11 12 14 5 4 13 7 8 15 18 7 3 19 0 4 9 16 13 15 5 14 8 2 11 10 6 17 12 1 15 13 2 11 17 6 14 12 7 10 16 3 18 1 9 0 19 4 5 8
23.04/23.44 d ASSIGNMENTS 807
23.04/23.44 c SAT 16292 TIME 807 NDS 436 PARSTIME 302 BUILDPB 15554 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-1045513-1215022766/watcher-1045513-1215022766 -o /tmp/evaluation-result-1045513-1215022766/solver-1045513-1215022766 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045513-1215022766.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 23258
/proc/meminfo: memFree=1191360/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=0
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1981251666 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23258/statm: 1340 236 195 169 0 51 0
[pid=23261] ppid=23258 vsize=6464 CPUtime=0.1
/proc/23261/stat : 23261 (xsolve) R 23258 23258 22852 0 -1 4194304 946 0 0 0 10 0 0 0 19 0 1 0 1981251667 6619136 905 996147200 134512640 135239763 4294956176 18446744073709551615 135019887 0 0 4096 0 0 0 0 17 0 0 0
/proc/23261/statm: 1616 905 377 177 0 519 0
[startup+0.186484 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 23258
/proc/meminfo: memFree=1191360/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=0
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1981251666 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23258/statm: 1340 236 195 169 0 51 0
[pid=23261] ppid=23258 vsize=6972 CPUtime=0.17
/proc/23261/stat : 23261 (xsolve) R 23258 23258 22852 0 -1 4194304 1139 0 0 0 17 0 0 0 19 0 1 0 1981251667 7139328 1066 996147200 134512640 135239763 4294956176 18446744073709551615 135016284 0 0 4096 0 0 0 0 17 0 0 0
/proc/23261/statm: 1743 1066 423 177 0 646 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 12332
[startup+0.202481 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 23258
/proc/meminfo: memFree=1191360/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=0
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1981251666 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23258/statm: 1340 236 195 169 0 51 0
[pid=23261] ppid=23258 vsize=6972 CPUtime=0.18
/proc/23261/stat : 23261 (xsolve) R 23258 23258 22852 0 -1 4194304 1139 0 0 0 18 0 0 0 19 0 1 0 1981251667 7139328 1066 996147200 134512640 135239763 4294956176 18446744073709551615 134736996 0 0 4096 0 0 0 0 17 0 0 0
/proc/23261/statm: 1743 1066 423 177 0 646 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12332
[startup+0.302491 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 23258
/proc/meminfo: memFree=1191360/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=0
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1981251666 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23258/statm: 1340 236 195 169 0 51 0
[pid=23261] ppid=23258 vsize=6972 CPUtime=0.28
/proc/23261/stat : 23261 (xsolve) R 23258 23258 22852 0 -1 4194304 1139 0 0 0 28 0 0 0 20 0 1 0 1981251667 7139328 1066 996147200 134512640 135239763 4294956176 18446744073709551615 135030883 0 0 4096 0 0 0 0 17 0 0 0
/proc/23261/statm: 1743 1066 423 177 0 646 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12332
[startup+0.701525 s]
/proc/loadavg: 2.00 2.00 1.91 4/93 23258
/proc/meminfo: memFree=1191360/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=0
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1981251666 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23258/statm: 1340 236 195 169 0 51 0
[pid=23261] ppid=23258 vsize=6972 CPUtime=0.69
/proc/23261/stat : 23261 (xsolve) R 23258 23258 22852 0 -1 4194304 1139 0 0 0 68 1 0 0 23 0 1 0 1981251667 7139328 1066 996147200 134512640 135239763 4294956176 18446744073709551615 135030916 0 0 4096 0 0 0 0 17 0 0 0
/proc/23261/statm: 1743 1066 423 177 0 646 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12332
[startup+1.5026 s]
/proc/loadavg: 2.00 2.00 1.91 3/95 23262
/proc/meminfo: memFree=1188016/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=0
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1981251666 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23258/statm: 1340 236 195 169 0 51 0
[pid=23261] ppid=23258 vsize=6972 CPUtime=1.48
/proc/23261/stat : 23261 (xsolve) R 23258 23258 22852 0 -1 4194304 1139 0 0 0 147 1 0 0 25 0 1 0 1981251667 7139328 1066 996147200 134512640 135239763 4294956176 18446744073709551615 134820635 0 0 4096 0 0 0 0 17 0 0 0
/proc/23261/statm: 1743 1066 423 177 0 646 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12332
[startup+3.10176 s]
/proc/loadavg: 2.00 2.00 1.91 3/103 23274
/proc/meminfo: memFree=1183024/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197020 CPUtime=1.49
/proc/23266/stat : 23266 (java) S 23258 23258 22852 0 -1 0 6473 0 1 0 143 6 0 0 20 0 9 0 1981251826 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23266/statm: 49255 5444 2540 9 0 43838 0
[pid=23266/tid=23267] ppid=23258 vsize=197020 CPUtime=1.15
/proc/23266/task/23267/stat : 23267 (java) R 23258 23258 22852 0 -1 64 2790 0 1 0 113 2 0 0 25 0 9 0 1981251827 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4126445286 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23268] ppid=23258 vsize=197020 CPUtime=0.18
/proc/23266/task/23268/stat : 23268 (java) S 23258 23258 22852 0 -1 64 2344 0 0 0 16 2 0 0 16 0 9 0 1981251828 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23269] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23269/stat : 23269 (java) S 23258 23258 22852 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981251828 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23270] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981251828 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981251830 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197020 CPUtime=0.13
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 614 0 0 0 13 0 0 0 16 0 9 0 1981251830 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981251830 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981251830 201748480 5444 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202380
[startup+6.30206 s]
/proc/loadavg: 2.00 2.00 1.91 3/103 23274
/proc/meminfo: memFree=1168944/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197020 CPUtime=4.67
/proc/23266/stat : 23266 (java) S 23258 23258 22852 0 -1 0 10496 0 1 0 455 12 0 0 20 0 9 0 1981251826 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23266/statm: 49255 8716 2540 9 0 43838 0
[pid=23266/tid=23267] ppid=23258 vsize=197020 CPUtime=3.78
/proc/23266/task/23267/stat : 23267 (java) R 23258 23258 22852 0 -1 64 3637 0 1 0 374 4 0 0 25 0 9 0 1981251827 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4126605312 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23268] ppid=23258 vsize=197020 CPUtime=0.71
/proc/23266/task/23268/stat : 23268 (java) S 23258 23258 22852 0 -1 64 5504 0 0 0 64 7 0 0 16 0 9 0 1981251828 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23269] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23269/stat : 23269 (java) S 23258 23258 22852 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981251828 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23270] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981251828 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981251830 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197020 CPUtime=0.16
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 630 0 0 0 16 0 0 0 16 0 9 0 1981251830 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981251830 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197020 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981251830 201748480 8716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202380
[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 1.91 3/114 23285
/proc/meminfo: memFree=1106728/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197344 CPUtime=5.37
/proc/23266/stat : 23266 (java) S 23258 23258 22852 0 -1 0 11435 0 1 0 523 14 0 0 20 0 10 0 1981251826 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23266/statm: 49336 9404 2544 9 0 43919 0
[pid=23276] ppid=23266 vsize=5356 CPUtime=0
/proc/23276/stat : 23276 (choco) S 23266 23258 22852 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981252371 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23276/statm: 1339 238 197 169 0 50 0
[pid=23277] ppid=23276 vsize=655604 CPUtime=5.57
/proc/23277/stat : 23277 (java) S 23276 23258 22852 0 -1 0 16172 0 1 0 547 10 0 0 25 0 9 0 1981252371 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23277/statm: 163901 15749 1910 9 0 158430 0
[pid=23277/tid=23278] ppid=23276 vsize=655604 CPUtime=5.17
/proc/23277/task/23278/stat : 23278 (java) R 23276 23258 22852 0 -1 64 12073 0 1 0 510 7 0 0 25 0 9 0 1981252372 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4126969261 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23279] ppid=23276 vsize=655604 CPUtime=0.08
/proc/23277/task/23279/stat : 23279 (java) S 23276 23258 22852 0 -1 64 2919 0 0 0 7 1 0 0 16 0 9 0 1981252373 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23280] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23280/stat : 23280 (java) S 23276 23258 22852 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23281] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23281/stat : 23281 (java) S 23276 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23282] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23282/stat : 23282 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23283] ppid=23276 vsize=655604 CPUtime=0.28
/proc/23277/task/23283/stat : 23283 (java) S 23276 23258 22852 0 -1 64 632 0 0 0 28 0 0 0 16 0 9 0 1981252375 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23284] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23284/stat : 23284 (java) S 23276 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23285] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23285/stat : 23285 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981252375 671338496 15749 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23267] ppid=23258 vsize=197344 CPUtime=4.37
/proc/23266/task/23267/stat : 23267 (java) S 23258 23258 22852 0 -1 64 3857 0 1 0 432 5 0 0 25 0 10 0 1981251827 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23266/tid=23268] ppid=23258 vsize=197344 CPUtime=0.79
/proc/23266/task/23268/stat : 23268 (java) S 23258 23258 22852 0 -1 64 6121 0 0 0 72 7 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23269] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23269/stat : 23269 (java) S 23258 23258 22852 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23270] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197344 CPUtime=0.19
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23275] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23275/stat : 23275 (java) S 23258 23258 22852 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981252370 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 863664
Solver just ended. Dumping a history of the last processes samples
[startup+12.8027 s]
/proc/loadavg: 2.00 2.00 1.91 3/114 23285
/proc/meminfo: memFree=1106728/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197344 CPUtime=5.37
################
# More data... #
################
[pid=23266/tid=23270] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197344 CPUtime=0.19
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23275] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23275/stat : 23275 (java) S 23258 23258 22852 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981252370 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.49
Current children cumulated vsize (KiB) 863664
[startup+22.4026 s]
/proc/loadavg: 2.00 2.00 1.91 3/114 23285
/proc/meminfo: memFree=1106536/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197344 CPUtime=5.37
/proc/23266/stat : 23266 (java) S 23258 23258 22852 0 -1 0 11435 0 1 0 523 14 0 0 20 0 10 0 1981251826 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23266/statm: 49336 9404 2544 9 0 43919 0
[pid=23276] ppid=23266 vsize=5356 CPUtime=0
/proc/23276/stat : 23276 (choco) S 23266 23258 22852 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981252371 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23276/statm: 1339 238 197 169 0 50 0
[pid=23277] ppid=23276 vsize=655604 CPUtime=15.12
/proc/23277/stat : 23277 (java) S 23276 23258 22852 0 -1 0 16253 0 1 0 1502 10 0 0 25 0 9 0 1981252371 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23277/statm: 163901 15806 1910 9 0 158430 0
[pid=23277/tid=23278] ppid=23276 vsize=655604 CPUtime=14.69
/proc/23277/task/23278/stat : 23278 (java) R 23276 23258 22852 0 -1 64 12097 0 1 0 1462 7 0 0 25 0 9 0 1981252372 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4126969121 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23279] ppid=23276 vsize=655604 CPUtime=0.1
/proc/23277/task/23279/stat : 23279 (java) S 23276 23258 22852 0 -1 64 2973 0 0 0 9 1 0 0 16 0 9 0 1981252373 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23280] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23280/stat : 23280 (java) S 23276 23258 22852 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23281] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23281/stat : 23281 (java) S 23276 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23282] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23282/stat : 23282 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23283] ppid=23276 vsize=655604 CPUtime=0.29
/proc/23277/task/23283/stat : 23283 (java) S 23276 23258 22852 0 -1 64 635 0 0 0 29 0 0 0 16 0 9 0 1981252375 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23284] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23284/stat : 23284 (java) S 23276 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23285] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23285/stat : 23285 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981252375 671338496 15806 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23267] ppid=23258 vsize=197344 CPUtime=4.37
/proc/23266/task/23267/stat : 23267 (java) S 23258 23258 22852 0 -1 64 3857 0 1 0 432 5 0 0 25 0 10 0 1981251827 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23266/tid=23268] ppid=23258 vsize=197344 CPUtime=0.79
/proc/23266/task/23268/stat : 23268 (java) S 23258 23258 22852 0 -1 64 6121 0 0 0 72 7 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23269] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23269/stat : 23269 (java) S 23258 23258 22852 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23270] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197344 CPUtime=0.19
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23275] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23275/stat : 23275 (java) S 23258 23258 22852 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981252370 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.06
Current children cumulated vsize (KiB) 863664
[startup+23.2077 s]
/proc/loadavg: 2.00 2.00 1.91 3/114 23285
/proc/meminfo: memFree=1106536/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197344 CPUtime=5.37
/proc/23266/stat : 23266 (java) S 23258 23258 22852 0 -1 0 11435 0 1 0 523 14 0 0 20 0 10 0 1981251826 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23266/statm: 49336 9404 2544 9 0 43919 0
[pid=23276] ppid=23266 vsize=5356 CPUtime=0
/proc/23276/stat : 23276 (choco) S 23266 23258 22852 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981252371 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23276/statm: 1339 238 197 169 0 50 0
[pid=23277] ppid=23276 vsize=655604 CPUtime=15.91
/proc/23277/stat : 23277 (java) S 23276 23258 22852 0 -1 0 16257 0 1 0 1581 10 0 0 25 0 9 0 1981252371 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23277/statm: 163901 15808 1910 9 0 158430 0
[pid=23277/tid=23278] ppid=23276 vsize=655604 CPUtime=15.48
/proc/23277/task/23278/stat : 23278 (java) R 23276 23258 22852 0 -1 64 12099 0 1 0 1541 7 0 0 25 0 9 0 1981252372 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4126969261 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23279] ppid=23276 vsize=655604 CPUtime=0.1
/proc/23277/task/23279/stat : 23279 (java) S 23276 23258 22852 0 -1 64 2973 0 0 0 9 1 0 0 16 0 9 0 1981252373 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23280] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23280/stat : 23280 (java) S 23276 23258 22852 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23281] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23281/stat : 23281 (java) S 23276 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23282] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23282/stat : 23282 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23283] ppid=23276 vsize=655604 CPUtime=0.3
/proc/23277/task/23283/stat : 23283 (java) S 23276 23258 22852 0 -1 64 637 0 0 0 29 1 0 0 16 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23284] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23284/stat : 23284 (java) S 23276 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23285] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23285/stat : 23285 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23267] ppid=23258 vsize=197344 CPUtime=4.37
/proc/23266/task/23267/stat : 23267 (java) S 23258 23258 22852 0 -1 64 3857 0 1 0 432 5 0 0 25 0 10 0 1981251827 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23266/tid=23268] ppid=23258 vsize=197344 CPUtime=0.79
/proc/23266/task/23268/stat : 23268 (java) S 23258 23258 22852 0 -1 64 6121 0 0 0 72 7 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23269] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23269/stat : 23269 (java) S 23258 23258 22852 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23270] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197344 CPUtime=0.19
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23275] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23275/stat : 23275 (java) S 23258 23258 22852 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981252370 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.85
Current children cumulated vsize (KiB) 863664
[startup+23.4027 s]
/proc/loadavg: 2.00 2.00 1.91 3/114 23285
/proc/meminfo: memFree=1106536/2055920 swapFree=4179560/4192956
[pid=23258] ppid=23256 vsize=5360 CPUtime=1.57
/proc/23258/stat : 23258 (hydra) S 23256 23258 22852 0 -1 4194304 375 1735 0 0 0 0 156 1 19 0 1 0 1981251666 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23258/statm: 1340 238 196 169 0 51 0
[pid=23266] ppid=23258 vsize=197344 CPUtime=5.37
/proc/23266/stat : 23266 (java) S 23258 23258 22852 0 -1 0 11435 0 1 0 523 14 0 0 20 0 10 0 1981251826 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23266/statm: 49336 9404 2544 9 0 43919 0
[pid=23276] ppid=23266 vsize=5356 CPUtime=0
/proc/23276/stat : 23276 (choco) S 23266 23258 22852 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1981252371 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/23276/statm: 1339 238 197 169 0 50 0
[pid=23277] ppid=23276 vsize=655604 CPUtime=16.1
/proc/23277/stat : 23277 (java) S 23276 23258 22852 0 -1 0 16258 0 1 0 1600 10 0 0 25 0 9 0 1981252371 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/23277/statm: 163901 15808 1910 9 0 158430 0
[pid=23277/tid=23278] ppid=23276 vsize=655604 CPUtime=15.67
/proc/23277/task/23278/stat : 23278 (java) R 23276 23258 22852 0 -1 64 12100 0 1 0 1560 7 0 0 25 0 9 0 1981252372 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4126951578 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23279] ppid=23276 vsize=655604 CPUtime=0.1
/proc/23277/task/23279/stat : 23279 (java) S 23276 23258 22852 0 -1 64 2973 0 0 0 9 1 0 0 16 0 9 0 1981252373 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23280] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23280/stat : 23280 (java) S 23276 23258 22852 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23281] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23281/stat : 23281 (java) S 23276 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981252373 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23282] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23282/stat : 23282 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23283] ppid=23276 vsize=655604 CPUtime=0.3
/proc/23277/task/23283/stat : 23283 (java) S 23276 23258 22852 0 -1 64 637 0 0 0 29 1 0 0 15 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23284] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23284/stat : 23284 (java) S 23276 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23277/tid=23285] ppid=23276 vsize=655604 CPUtime=0
/proc/23277/task/23285/stat : 23285 (java) S 23276 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981252375 671338496 15808 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23267] ppid=23258 vsize=197344 CPUtime=4.37
/proc/23266/task/23267/stat : 23267 (java) S 23258 23258 22852 0 -1 64 3857 0 1 0 432 5 0 0 25 0 10 0 1981251827 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=23266/tid=23268] ppid=23258 vsize=197344 CPUtime=0.79
/proc/23266/task/23268/stat : 23268 (java) S 23258 23258 22852 0 -1 64 6121 0 0 0 72 7 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23269] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23269/stat : 23269 (java) S 23258 23258 22852 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23270] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23270/stat : 23270 (java) S 23258 23258 22852 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981251828 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23271] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23271/stat : 23271 (java) S 23258 23258 22852 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23272] ppid=23258 vsize=197344 CPUtime=0.19
/proc/23266/task/23272/stat : 23272 (java) S 23258 23258 22852 0 -1 64 648 0 0 0 19 0 0 0 16 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23273] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23273/stat : 23273 (java) S 23258 23258 22852 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23274] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23274/stat : 23274 (java) S 23258 23258 22852 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1981251830 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=23266/tid=23275] ppid=23258 vsize=197344 CPUtime=0
/proc/23266/task/23275/stat : 23275 (java) S 23258 23258 22852 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981252370 202080256 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 23.04
Current children cumulated vsize (KiB) 863664
Child status: 0
Real time (s): 23.4752
CPU time (s): 23.1365
CPU user time (s): 22.8435
CPU system time (s): 0.292955
CPU usage (%): 98.5573
Max. virtual memory (cumulated for all children) (KiB): 863664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.8435
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30243
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= 11641
involuntary context switches= 13405
runsolver used 0.114982 second user time and 0.19097 second system time
The end