0.00/0.00 c cpHydra_k_10 version 0.0
7.02/7.16 c CASE TO CLASSIFY:
7.02/7.16 c Case: 0
7.02/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.545100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.583600 | c 14 > 13.938000 | c 11 > 7.546890 | c 12 > 11.319600 | 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.645700 | 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.726220 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.02/7.17 c choco : 1801.0
7.02/7.17 c mistral : 1801.0
7.02/7.17 c abscon : 1801.0
7.02/7.17 c
7.02/7.17 c
7.12/7.25 c List of same ones: 10
7.12/7.25 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
7.12/7.25 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.26 c choco : 13.14
7.12/7.26 c mistral : 111.164
7.12/7.26 c abscon : 90.4513
7.12/7.26 c
7.12/7.26 c
7.12/7.26 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
7.12/7.26 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.26 c choco : 2.04
7.12/7.26 c mistral : 3.37
7.12/7.26 c abscon : 10.3474
7.12/7.26 c
7.12/7.26 c
7.12/7.26 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
7.12/7.26 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.27 c choco : 9.89
7.12/7.27 c mistral : 47.8837
7.12/7.27 c abscon : 83.9172
7.12/7.28 c
7.12/7.28 c
7.12/7.28 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
7.12/7.28 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.28 c choco : 1.71
7.12/7.28 c mistral : 0.294955
7.12/7.28 c abscon : 1.3438
7.12/7.28 c
7.12/7.28 c
7.12/7.28 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
7.12/7.28 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.29 c choco : 1.98
7.12/7.29 c mistral : 0.888864
7.12/7.29 c abscon : 1.51277
7.12/7.29 c
7.12/7.29 c
7.12/7.29 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
7.12/7.29 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.21/7.30 c choco : 2.41
7.21/7.30 c mistral : 2.56061
7.21/7.30 c abscon : 5.59815
7.21/7.30 c
7.21/7.30 c
7.21/7.30 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
7.21/7.30 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.21/7.31 c choco : 2.18
7.21/7.31 c mistral : 3.68944
7.21/7.31 c abscon : 6.576
7.21/7.31 c
7.21/7.31 c
7.21/7.31 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
7.21/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.21/7.32 c choco : 10.43
7.21/7.32 c mistral : 141.615
7.21/7.32 c abscon : 373.165
7.21/7.32 c
7.21/7.32 c
7.21/7.32 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-20/qwh-20-166-7_ext.xml
7.21/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.560400 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.527600 | c 14 > 12.829100 | c 11 > 7.366320 | c 12 > 10.625800 | c 21 > 2.980770 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.277300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.317410 | c 31 > -1.000000 | c 4 > 7.366320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.33 c choco : 3.32
7.21/7.33 c mistral : 4.6143
7.21/7.33 c abscon : 17.1644
7.21/7.33 c
7.21/7.33 c
7.21/7.33 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-2_ext.xml
7.21/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.780500 | c 14 > 12.765100 | c 11 > 7.546890 | c 12 > 10.302000 | 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 > 0.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.665340 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.21/7.34 c choco : 33.57
7.21/7.34 c mistral : 1800.04
7.21/7.34 c abscon : 1800.1
7.21/7.34 c
7.21/7.34 c
7.40/7.53 c Length: 10
7.40/7.53 c 1.2915479785513218 1.5647081977480661 1.666124425995852 1.7301985952774335 1.7920200920190603 1.7936101508967888 1.97868931371249 2.022271881177209 2.047039228446783 2.242759719029216
7.40/7.53 c
7.40/7.53 c 1.0 0.776897684532621 0.7174688605187304 0.6843927641809455 0.6552471723733302 0.6545302520637138 0.580590200379647 0.5655458604364693 0.5573387671101512 0.5
7.40/7.53 c
7.40/7.53 c solver 0
7.40/7.53 c before 0.0 seconds: {} 0
7.40/7.53 c before 18.0 seconds: {1, 3, 4, 5, 6, 8} 3908
7.40/7.53 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 8} 4626
7.40/7.53 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 5626
7.40/7.53 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6192
7.40/7.53 c
7.40/7.53 c solver 1
7.40/7.53 c before 0.0 seconds: {} 0
7.40/7.53 c before 18.0 seconds: {1, 3, 4, 5, 6, 8} 3908
7.40/7.53 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 8} 4626
7.40/7.53 c before 126.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 5626
7.40/7.53 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6192
7.40/7.53 c
7.40/7.53 c solver 2
7.40/7.53 c before 0.0 seconds: {} 0
7.40/7.53 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 6192
7.40/7.53 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6692
7.40/7.53 c
7.40/7.53 cTotal time: 31
7.40/7.53 c 558.0 seconds unused
7.40/7.53 c 0 c 0 c 0
7.40/7.53 c 0 c 0 c 0
7.40/7.53 c 1 c 1 c 0
7.40/7.53 c is solver0 dominated by:
7.40/7.53 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.40/7.53 c is dominated? true
7.40/7.53 c
7.40/7.53 c is solver1 dominated by:
7.40/7.53 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.40/7.53 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.40/7.53 c is dominated? true
7.40/7.53 c
7.40/7.53 c is solver2 dominated by:
7.40/7.53 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.40/7.53 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.40/7.53 c is dominated? false
7.40/7.53 c
7.40/7.53 c Number of non-dominated solvers: 1
7.40/7.53 c remove dominated solvers
7.40/7.53 c solver 2 is not dominated by another solver
7.40/7.54 c solver 1 is dominated by another solver
7.40/7.54 c solver 0 is dominated by another solver
7.40/7.54 c
7.40/7.54 c solver 0: 0.0
7.40/7.54 c
7.40/7.54 c solver 1: 0.0
7.40/7.54 c
7.40/7.54 c solver 2: 36.0
7.40/7.54 c
7.40/7.54 c+ 2/2 of 98
7.40/7.54 c do not run abscon
7.40/7.54 c do not run mistral
7.40/7.54 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6692
7.40/7.54 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.40/7.54 c On Instance: HOME/instance-1045515-1215022770.xml
7.40/7.54 c Running for: 1800 seconds
20.08/20.31 s SATISFIABLE
20.08/20.31 v 17 13 4 19 8 1 5 10 11 6 18 2 12 16 7 3 9 15 14 0 5 12 17 18 7 3 11 4 13 14 0 10 9 2 6 16 8 19 15 1 2 10 3 1 6 11 9 0 18 7 17 8 15 14 16 4 12 13 5 19 12 8 15 6 1 14 2 19 4 10 5 7 18 0 3 9 17 16 13 11 8 4 18 17 9 10 7 14 19 5 3 15 11 12 0 6 1 2 16 13 6 2 11 12 10 19 15 7 8 18 14 5 3 4 1 13 16 0 17 9 19 9 8 14 4 5 6 15 10 17 2 16 1 3 12 7 13 11 0 18 7 16 14 10 18 13 17 9 6 4 1 11 2 5 15 0 19 8 12 3 11 0 6 9 5 4 3 1 2 15 7 12 13 10 8 19 14 17 18 16 0 14 9 3 11 6 18 12 15 1 10 4 16 13 19 2 5 7 8 17 10 3 0 16 2 17 14 5 1 19 6 13 4 7 11 8 18 12 9 15 3 11 19 7 13 8 1 6 5 16 12 9 10 18 17 15 0 14 4 2 16 1 13 0 14 15 19 18 12 11 9 3 6 8 5 17 2 4 7 10 9 6 2 8 15 0 12 16 3 13 4 17 19 11 14 1 7 18 10 5 1 18 10 13 0 9 4 3 17 12 16 19 7 6 2 14 15 5 11 8 13 5 7 2 12 16 8 11 0 9 15 14 17 19 4 18 10 3 1 6 15 17 5 4 3 7 16 2 9 8 13 0 14 1 18 10 11 6 19 12 14 15 12 11 17 18 10 8 16 3 19 6 0 9 13 5 4 1 2 7 18 7 16 5 19 2 13 17 14 0 11 1 8 15 9 12 6 10 3 4 4 19 1 15 16 12 0 13 7 2 8 18 5 17 10 11 3 9 6 14
20.08/20.31 d ASSIGNMENTS 521
20.08/20.31 c SAT 12614 TIME 521 NDS 470 PARSTIME 306 BUILDPB 11838 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-1045515-1215022770/watcher-1045515-1215022770 -o /tmp/evaluation-result-1045515-1215022770/solver-1045515-1215022770 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045515-1215022770.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 1.91 4/80 7463
/proc/meminfo: memFree=1493840/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=0
/proc/7463/stat : 7463 (hydra) R 7461 7463 7021 0 -1 4194304 264 0 0 0 0 0 0 0 20 0 1 0 1290522966 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 273952174478 0 0 4100 65536 0 0 0 17 1 0 0
/proc/7463/statm: 1340 232 193 169 0 51 0
[startup+0.200911 s]
/proc/loadavg: 1.92 1.99 1.91 4/80 7463
/proc/meminfo: memFree=1493840/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=0
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1290522966 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302671 s]
/proc/loadavg: 1.92 1.99 1.91 4/80 7463
/proc/meminfo: memFree=1493840/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=0
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1290522966 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.40269 s]
/proc/loadavg: 1.92 1.99 1.91 4/80 7463
/proc/meminfo: memFree=1493840/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=0
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1290522966 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701749 s]
/proc/loadavg: 1.92 1.99 1.91 4/80 7463
/proc/meminfo: memFree=1493840/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=0
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1290522966 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50191 s]
/proc/loadavg: 1.92 1.99 1.91 3/82 7467
/proc/meminfo: memFree=1490944/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=0
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1290522966 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 236 195 169 0 51 0
[pid=7467] ppid=7463 vsize=6968 CPUtime=1.47
/proc/7467/stat : 7467 (xsolve) R 7463 7463 7021 0 -1 4194304 1144 0 0 0 145 2 0 0 25 0 1 0 1290522967 7135232 1070 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/7467/statm: 1742 1070 423 177 0 645 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 12328
[startup+3.10122 s]
/proc/loadavg: 1.92 1.99 1.91 4/90 7479
/proc/meminfo: memFree=1485376/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=196984 CPUtime=1.47
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 5505 0 1 0 141 6 0 0 18 0 9 0 1290523127 201711616 4626 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49246 4646 1947 9 0 43829 0
[pid=7471/tid=7472] ppid=7463 vsize=196984 CPUtime=1.12
/proc/7471/task/7472/stat : 7472 (java) R 7463 7463 7021 0 -1 64 2771 0 1 0 109 3 0 0 25 0 9 0 1290523128 201711616 4660 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=196984 CPUtime=0.17
/proc/7471/task/7473/stat : 7473 (java) R 7463 7463 7021 0 -1 64 1453 0 0 0 16 1 0 0 16 0 9 0 1290523129 201711616 4678 996147200 134512640 134550740 4294955968 18446744073709551615 103737197 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=196984 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1290523129 201711616 4696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=196984 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1290523129 201711616 4716 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=196984 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1290523131 201711616 4736 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=196984 CPUtime=0.14
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 1290523131 201711616 4756 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=196984 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1290523131 201711616 4774 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=196984 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1290523131 201711616 4790 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202344
[startup+6.30185 s]
/proc/loadavg: 1.93 1.99 1.91 3/90 7479
/proc/meminfo: memFree=1472192/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=197092 CPUtime=4.65
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 10161 0 1 0 449 16 0 0 18 0 9 0 1290523127 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49273 8423 2540 9 0 43856 0
[pid=7471/tid=7472] ppid=7463 vsize=197092 CPUtime=3.67
/proc/7471/task/7472/stat : 7472 (java) R 7463 7463 7021 0 -1 64 3578 0 1 0 361 6 0 0 25 0 9 0 1290523128 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=197092 CPUtime=0.79
/proc/7471/task/7473/stat : 7473 (java) R 7463 7463 7021 0 -1 64 5233 0 0 0 70 9 0 0 15 0 9 0 1290523129 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 102514520 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=197092 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1290523129 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=197092 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1290523129 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=197092 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1290523131 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=197092 CPUtime=0.17
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1290523131 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=197092 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1290523131 201822208 8423 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=197092 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1290523131 201822208 8425 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202452
[startup+12.7021 s]
/proc/loadavg: 1.94 1.99 1.91 3/101 7490
/proc/meminfo: memFree=1409576/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=197416 CPUtime=5.88
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 13877 0 1 0 566 22 0 0 18 0 10 0 1290523127 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49354 9389 2543 9 0 43937 0
[pid=7481] ppid=7471 vsize=5356 CPUtime=0
/proc/7481/stat : 7481 (choco) S 7471 7463 7021 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1290523721 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7481/statm: 1339 238 197 169 0 50 0
[pid=7482] ppid=7481 vsize=655600 CPUtime=5.11
/proc/7482/stat : 7482 (java) S 7481 7463 7021 0 -1 0 16161 0 1 0 502 9 0 0 25 0 9 0 1290523722 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7482/statm: 163900 15739 1909 9 0 158429 0
[pid=7482/tid=7483] ppid=7481 vsize=655600 CPUtime=4.72
/proc/7482/task/7483/stat : 7483 (java) R 7481 7463 7021 0 -1 64 12071 0 1 0 465 7 0 0 25 0 9 0 1290523722 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4126962688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7484] ppid=7481 vsize=655600 CPUtime=0.08
/proc/7482/task/7484/stat : 7484 (java) S 7481 7463 7021 0 -1 64 2919 0 0 0 8 0 0 0 16 0 9 0 1290523724 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7485] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7485/stat : 7485 (java) S 7481 7463 7021 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7486] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7486/stat : 7486 (java) S 7481 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7487] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7487/stat : 7487 (java) S 7481 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1290523726 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7488] ppid=7481 vsize=655600 CPUtime=0.27
/proc/7482/task/7488/stat : 7488 (java) S 7481 7463 7021 0 -1 64 623 0 0 0 27 0 0 0 15 0 9 0 1290523726 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7489] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7489/stat : 7489 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1290523726 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7490] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7490/stat : 7490 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1290523726 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7472] ppid=7463 vsize=197416 CPUtime=4.53
/proc/7471/task/7472/stat : 7472 (java) S 7463 7463 7021 0 -1 64 3854 0 1 0 446 7 0 0 25 0 10 0 1290523128 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=197416 CPUtime=1.1
/proc/7471/task/7473/stat : 7473 (java) S 7463 7463 7021 0 -1 64 8573 0 0 0 98 12 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=197416 CPUtime=0.2
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7480] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7480/stat : 7480 (java) S 7463 7463 7021 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1290523721 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.56
Current children cumulated vsize (KiB) 863732
Solver just ended. Dumping a history of the last processes samples
[startup+12.9021 s]
/proc/loadavg: 1.94 1.99 1.91 3/101 7490
/proc/meminfo: memFree=1409576/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=197416 CPUtime=5.88
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 13877 0 1 0 566 22 0 0 18 0 10 0 1290523127 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49354 9389 2543 9 0 43937 0
[pid=7481] ppid=7471 vsize=5356 CPUtime=0
/proc/7481/stat : 7481 (choco) S 7471 7463 7021 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1290523721 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7481/statm: 1339 238 197 169 0 50 0
[pid=7482] ppid=7481 vsize=655600 CPUtime=5.31
/proc/7482/stat : 7482 (java) S 7481 7463 7021 0 -1 0 16161 0 1 0 522 9 0 0 25 0 9 0 1290523722 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7482/statm: 163900 15739 1909 9 0 158429 0
[pid=7482/tid=7483] ppid=7481 vsize=655600 CPUtime=4.92
/proc/7482/task/7483/stat : 7483 (java) R 7481 7463 7021 0 -1 64 12071 0 1 0 485 7 0 0 25 0 9 0 1290523722 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4126982086 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7484] ppid=7481 vsize=655600 CPUtime=0.08
/proc/7482/task/7484/stat : 7484 (java) S 7481 7463 7021 0 -1 64 2919 0 0 0 8 0 0 0 16 0 9 0 1290523724 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7485] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7485/stat : 7485 (java) S 7481 7463 7021 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15739 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7486] ppid=7481 vsize=655600 CPUtime=0
################
# More data... #
################
[pid=7482/tid=7486] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7486/stat : 7486 (java) S 7481 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7487] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7487/stat : 7487 (java) S 7481 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7488] ppid=7481 vsize=655600 CPUtime=0.27
/proc/7482/task/7488/stat : 7488 (java) S 7481 7463 7021 0 -1 64 624 0 0 0 27 0 0 0 16 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7489] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7489/stat : 7489 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7490] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7490/stat : 7490 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7472] ppid=7463 vsize=197416 CPUtime=4.53
/proc/7471/task/7472/stat : 7472 (java) S 7463 7463 7021 0 -1 64 3854 0 1 0 446 7 0 0 25 0 10 0 1290523128 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=197416 CPUtime=1.1
/proc/7471/task/7473/stat : 7473 (java) S 7463 7463 7021 0 -1 64 8573 0 0 0 98 12 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=197416 CPUtime=0.2
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7480] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7480/stat : 7480 (java) S 7463 7463 7021 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1290523721 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) 17.54
Current children cumulated vsize (KiB) 863732
[startup+19.3024 s]
/proc/loadavg: 1.95 1.99 1.91 3/101 7490
/proc/meminfo: memFree=1409384/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=197416 CPUtime=5.88
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 13877 0 1 0 566 22 0 0 18 0 10 0 1290523127 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49354 9389 2543 9 0 43937 0
[pid=7481] ppid=7471 vsize=5356 CPUtime=0
/proc/7481/stat : 7481 (choco) S 7471 7463 7021 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1290523721 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7481/statm: 1339 238 197 169 0 50 0
[pid=7482] ppid=7481 vsize=655600 CPUtime=11.67
/proc/7482/stat : 7482 (java) S 7481 7463 7021 0 -1 0 16230 0 1 0 1158 9 0 0 25 0 9 0 1290523722 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7482/statm: 163900 15793 1909 9 0 158429 0
[pid=7482/tid=7483] ppid=7481 vsize=655600 CPUtime=11.27
/proc/7482/task/7483/stat : 7483 (java) R 7481 7463 7021 0 -1 64 12086 0 1 0 1120 7 0 0 25 0 9 0 1290523722 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4126964152 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7484] ppid=7481 vsize=655600 CPUtime=0.09
/proc/7482/task/7484/stat : 7484 (java) S 7481 7463 7021 0 -1 64 2972 0 0 0 9 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7485] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7485/stat : 7485 (java) S 7481 7463 7021 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7486] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7486/stat : 7486 (java) S 7481 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7487] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7487/stat : 7487 (java) S 7481 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7488] ppid=7481 vsize=655600 CPUtime=0.27
/proc/7482/task/7488/stat : 7488 (java) S 7481 7463 7021 0 -1 64 624 0 0 0 27 0 0 0 16 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7489] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7489/stat : 7489 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7490] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7490/stat : 7490 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7472] ppid=7463 vsize=197416 CPUtime=4.53
/proc/7471/task/7472/stat : 7472 (java) S 7463 7463 7021 0 -1 64 3854 0 1 0 446 7 0 0 25 0 10 0 1290523128 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=197416 CPUtime=1.1
/proc/7471/task/7473/stat : 7473 (java) S 7463 7463 7021 0 -1 64 8573 0 0 0 98 12 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=197416 CPUtime=0.2
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7480] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7480/stat : 7480 (java) S 7463 7463 7021 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1290523721 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) 19.12
Current children cumulated vsize (KiB) 863732
[startup+20.1026 s]
/proc/loadavg: 1.95 1.99 1.91 3/101 7490
/proc/meminfo: memFree=1409384/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=197416 CPUtime=5.88
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 13877 0 1 0 566 22 0 0 18 0 10 0 1290523127 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49354 9389 2543 9 0 43937 0
[pid=7481] ppid=7471 vsize=5356 CPUtime=0
/proc/7481/stat : 7481 (choco) S 7471 7463 7021 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1290523721 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7481/statm: 1339 238 197 169 0 50 0
[pid=7482] ppid=7481 vsize=655600 CPUtime=12.48
/proc/7482/stat : 7482 (java) S 7481 7463 7021 0 -1 0 16232 0 1 0 1238 10 0 0 25 0 9 0 1290523722 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7482/statm: 163900 15793 1909 9 0 158429 0
[pid=7482/tid=7483] ppid=7481 vsize=655600 CPUtime=12.07
/proc/7482/task/7483/stat : 7483 (java) R 7481 7463 7021 0 -1 64 12088 0 1 0 1200 7 0 0 25 0 9 0 1290523722 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4127020636 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7484] ppid=7481 vsize=655600 CPUtime=0.09
/proc/7482/task/7484/stat : 7484 (java) S 7481 7463 7021 0 -1 64 2972 0 0 0 9 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7485] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7485/stat : 7485 (java) S 7481 7463 7021 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7486] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7486/stat : 7486 (java) S 7481 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1290523724 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7487] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7487/stat : 7487 (java) S 7481 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7488] ppid=7481 vsize=655600 CPUtime=0.28
/proc/7482/task/7488/stat : 7488 (java) S 7481 7463 7021 0 -1 64 624 0 0 0 28 0 0 0 15 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7489] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7489/stat : 7489 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7482/tid=7490] ppid=7481 vsize=655600 CPUtime=0
/proc/7482/task/7490/stat : 7490 (java) S 7481 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1290523726 671334400 15793 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7472] ppid=7463 vsize=197416 CPUtime=4.53
/proc/7471/task/7472/stat : 7472 (java) S 7463 7463 7021 0 -1 64 3854 0 1 0 446 7 0 0 25 0 10 0 1290523128 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=197416 CPUtime=1.1
/proc/7471/task/7473/stat : 7473 (java) S 7463 7463 7021 0 -1 64 8573 0 0 0 98 12 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=197416 CPUtime=0.2
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7480] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7480/stat : 7480 (java) S 7463 7463 7021 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1290523721 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) 19.93
Current children cumulated vsize (KiB) 863732
[startup+20.3026 s]
/proc/loadavg: 1.95 1.99 1.91 3/101 7490
/proc/meminfo: memFree=1409384/2055920 swapFree=4120768/4192956
[pid=7463] ppid=7461 vsize=5360 CPUtime=1.57
/proc/7463/stat : 7463 (hydra) S 7461 7463 7021 0 -1 4194304 375 1740 0 0 0 0 155 2 19 0 1 0 1290522966 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7463/statm: 1340 238 196 169 0 51 0
[pid=7471] ppid=7463 vsize=197416 CPUtime=5.88
/proc/7471/stat : 7471 (java) S 7463 7463 7021 0 -1 0 13884 0 1 0 566 22 0 0 18 0 10 0 1290523127 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7471/statm: 49354 9389 2543 9 0 43937 0
[pid=7481] ppid=7471 vsize=5356 CPUtime=0
/proc/7481/stat : 7481 (choco) S 7471 7463 7021 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 1290523721 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7481/statm: 1339 238 197 169 0 50 0
[pid=7482] ppid=7481 vsize=0 CPUtime=12.63
/proc/7482/stat : 7482 (java) Z 7481 7463 7021 0 -1 12 16249 0 1 0 1253 10 0 0 16 0 2 0 1290523722 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7482/statm: 0 0 0 0 0 0 0
[pid=7471/tid=7472] ppid=7463 vsize=197416 CPUtime=4.53
/proc/7471/task/7472/stat : 7472 (java) S 7463 7463 7021 0 -1 64 3861 0 1 0 446 7 0 0 16 0 10 0 1290523128 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7471/tid=7473] ppid=7463 vsize=197416 CPUtime=1.1
/proc/7471/task/7473/stat : 7473 (java) S 7463 7463 7021 0 -1 64 8573 0 0 0 98 12 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7474] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7474/stat : 7474 (java) S 7463 7463 7021 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7475] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7475/stat : 7475 (java) S 7463 7463 7021 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1290523129 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7476] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7476/stat : 7476 (java) S 7463 7463 7021 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7477] ppid=7463 vsize=197416 CPUtime=0.2
/proc/7471/task/7477/stat : 7477 (java) S 7463 7463 7021 0 -1 64 642 0 0 0 20 0 0 0 16 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7478] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7478/stat : 7478 (java) S 7463 7463 7021 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7479] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7479/stat : 7479 (java) S 7463 7463 7021 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1290523131 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7471/tid=7480] ppid=7463 vsize=197416 CPUtime=0
/proc/7471/task/7480/stat : 7480 (java) S 7463 7463 7021 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1290523721 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) 20.08
Current children cumulated vsize (KiB) 208132
Child status: 0
Real time (s): 20.3446
CPU time (s): 20.1319
CPU user time (s): 19.76
CPU system time (s): 0.371943
CPU usage (%): 98.9547
Max. virtual memory (cumulated for all children) (KiB): 863732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.76
system time used= 0.371943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32654
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= 11579
involuntary context switches= 13130
runsolver used 0.113982 second user time and 0.121981 second system time
The end