0.00/0.00 c cpHydra_k_10 version 0.0
7.22/7.43 c CASE TO CLASSIFY:
7.22/7.44 c Case: 0
7.22/7.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.542200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.523300 | c 14 > 13.945800 | c 11 > 7.546890 | c 12 > 12.203800 | 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.658210 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.45 c choco : 1801.0
7.22/7.45 c mistral : 1801.0
7.22/7.45 c abscon : 1801.0
7.22/7.45 c
7.22/7.45 c
7.33/7.52 c List of same ones: 10
7.33/7.52 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
7.33/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.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.33/7.53 c choco : 10.43
7.33/7.53 c mistral : 141.615
7.33/7.53 c abscon : 373.165
7.33/7.53 c
7.33/7.53 c
7.33/7.53 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
7.33/7.53 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.33/7.54 c choco : 2.18
7.33/7.54 c mistral : 3.68944
7.33/7.54 c abscon : 6.576
7.33/7.54 c
7.33/7.54 c
7.33/7.54 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-2_ext.xml
7.33/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.881300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.056200 | c 14 > 14.189400 | c 11 > 6.906890 | c 12 > 12.221700 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.764870 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.033420 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/7.55 c choco : 1.73
7.33/7.55 c mistral : 2.31065
7.33/7.55 c abscon : 1.27481
7.33/7.55 c
7.33/7.55 c
7.33/7.55 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
7.33/7.55 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.33/7.56 c choco : 1.71
7.33/7.56 c mistral : 0.294955
7.33/7.56 c abscon : 1.3438
7.33/7.56 c
7.33/7.56 c
7.33/7.56 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
7.33/7.56 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.33/7.57 c choco : 1.98
7.33/7.57 c mistral : 0.888864
7.33/7.57 c abscon : 1.51277
7.33/7.57 c
7.33/7.57 c
7.33/7.57 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
7.33/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.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.33/7.58 c choco : 13.14
7.33/7.58 c mistral : 111.164
7.33/7.58 c abscon : 90.4513
7.33/7.58 c
7.33/7.58 c
7.33/7.58 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-25/qcp-25-264-3_ext.xml
7.33/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.509300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.208800 | c 14 > 13.296800 | c 11 > 8.027910 | c 12 > 11.467300 | c 21 > 3.337300 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.301500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.179900 | c 31 > -1.000000 | c 4 > 8.027910 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.33/7.59 c choco : 373.6
7.33/7.59 c mistral : 1800.04
7.33/7.59 c abscon : 1800.02
7.33/7.59 c
7.33/7.59 c
7.33/7.59 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
7.33/7.59 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.33/7.60 c choco : 9.89
7.33/7.60 c mistral : 47.8837
7.33/7.60 c abscon : 83.9172
7.33/7.60 c
7.33/7.60 c
7.33/7.60 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-5_ext.xml
7.33/7.60 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.40/7.61 c choco : 2.41
7.40/7.61 c mistral : 2.56061
7.40/7.61 c abscon : 5.59815
7.40/7.61 c
7.40/7.61 c
7.40/7.61 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
7.40/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.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.40/7.62 c choco : 2.04
7.40/7.62 c mistral : 3.37
7.40/7.62 c abscon : 10.3474
7.40/7.62 c
7.40/7.62 c
7.40/7.62 c Length: 10
7.40/7.62 c 1.4304323943129935 1.7580016810856598 1.7840202041176565 1.8020341112753686 1.8024432586630863 1.871697609551288 1.994794029994075 2.2783303115220157 2.38751696343712 2.4878056535830932
7.40/7.62 c
7.40/7.62 c 1.0 0.7634780679468336 0.7493993154350261 0.73995225728717 0.7397404531065427 0.7055559277676726 0.6520012996957371 0.5549725794015792 0.5248922287506798 0.5
7.40/7.63 c
7.40/7.63 c solver 0
7.40/7.63 c before 0.0 seconds: {} 0
7.40/7.63 c before 18.0 seconds: {1, 2, 3, 4, 8, 9} 4017
7.40/7.63 c before 90.0 seconds: {1, 2, 3, 4, 7, 8, 9} 4572
7.40/7.63 c before 108.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9} 5277
7.40/7.63 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6277
7.40/7.63 c
7.40/7.63 c solver 1
7.40/7.63 c before 0.0 seconds: {} 0
7.40/7.63 c before 18.0 seconds: {1, 2, 3, 4, 8, 9} 4017
7.40/7.63 c before 54.0 seconds: {1, 2, 3, 4, 7, 8, 9} 4572
7.40/7.63 c before 126.0 seconds: {1, 2, 3, 4, 5, 7, 8, 9} 5277
7.40/7.63 c before 144.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6277
7.40/7.63 c
7.40/7.63 c solver 2
7.40/7.63 c before 0.0 seconds: {} 0
7.40/7.63 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6277
7.40/7.63 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6929
7.40/7.63 c
7.40/7.63 cTotal time: 50
7.40/7.63 c 900.0 seconds unused
7.40/7.63 c 0 c 0 c 0
7.40/7.63 c 0 c 0 c 0
7.40/7.63 c 1 c 1 c 0
7.40/7.63 c is solver0 dominated by:
7.40/7.63 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.63 c is dominated? true
7.40/7.63 c
7.40/7.63 c is solver1 dominated by:
7.40/7.63 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.63 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.40/7.63 c is dominated? true
7.40/7.63 c
7.40/7.63 c is solver2 dominated by:
7.40/7.63 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.40/7.63 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.40/7.63 c is dominated? false
7.40/7.63 c
7.40/7.63 c Number of non-dominated solvers: 1
7.40/7.63 c remove dominated solvers
7.40/7.63 c solver 2 is not dominated by another solver
7.40/7.63 c solver 1 is dominated by another solver
7.40/7.63 c solver 0 is dominated by another solver
7.40/7.63 c
7.40/7.63 c solver 0: 0.0
7.40/7.63 c
7.40/7.63 c solver 1: 0.0
7.40/7.63 c
7.40/7.63 c solver 2: 378.0
7.40/7.63 c
7.40/7.63 c+ 21/21 of 79
7.40/7.64 c do not run abscon
7.40/7.64 c do not run mistral
7.40/7.64 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6929
7.40/7.64 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.40/7.64 c On Instance: HOME/instance-1045520-1215022792.xml
7.40/7.64 c Running for: 1800 seconds
13.01/13.48 s UNSATISFIABLE
13.01/13.49 d ASSIGNMENTS 170
13.01/13.49 c UNSAT 5701 TIME 170 NDS 476 PARSTIME 329 BUILDPB 4896 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-1045520-1215022792/watcher-1045520-1215022792 -o /tmp/evaluation-result-1045520-1215022792/solver-1045520-1215022792 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045520-1215022792.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.01 2.00 1.91 4/92 966
/proc/meminfo: memFree=1710560/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=0
/proc/966/stat : 966 (hydra) R 964 966 396 0 -1 4194304 305 124 0 0 0 0 0 0 22 0 1 0 1981254879 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4354356 0 0 4100 65536 0 0 0 17 1 0 0
/proc/966/statm: 1340 236 195 169 0 51 0
[pid=968] ppid=966 vsize=0 CPUtime=0
/proc/968/stat : 968 (rm) Z 966 966 396 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 1981254880 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/968/statm: 0 0 0 0 0 0 0
[startup+0.056119 s]
/proc/loadavg: 2.01 2.00 1.91 4/92 966
/proc/meminfo: memFree=1710560/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=0
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981254879 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101125 s]
/proc/loadavg: 2.01 2.00 1.91 4/92 966
/proc/meminfo: memFree=1710560/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=0
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981254879 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301164 s]
/proc/loadavg: 2.01 2.00 1.91 4/92 966
/proc/meminfo: memFree=1710560/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=0
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981254879 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701241 s]
/proc/loadavg: 2.01 2.00 1.91 4/92 966
/proc/meminfo: memFree=1710560/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=0
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981254879 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5014 s]
/proc/loadavg: 2.01 2.00 1.91 4/94 970
/proc/meminfo: memFree=1707664/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=0
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1981254879 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 236 195 169 0 51 0
[pid=970] ppid=966 vsize=6972 CPUtime=1.46
/proc/970/stat : 970 (xsolve) R 966 966 396 0 -1 4194304 1143 0 0 0 144 2 0 0 25 0 1 0 1981254880 7139328 1070 996147200 134512640 135239763 4294956176 18446744073709551615 135096288 0 0 4096 0 0 0 0 17 1 0 0
/proc/970/statm: 1743 1070 423 177 0 646 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12332
[startup+3.10272 s]
/proc/loadavg: 2.01 2.00 1.91 4/102 982
/proc/meminfo: memFree=1703952/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=1.58
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 375 1739 0 0 0 0 155 3 19 0 1 0 1981254879 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 238 196 169 0 51 0
[pid=974] ppid=966 vsize=197104 CPUtime=1.44
/proc/974/stat : 974 (java) S 966 966 396 0 -1 0 4999 0 1 0 139 5 0 0 18 0 9 0 1981255042 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/974/statm: 49276 4195 1678 9 0 43859 0
[pid=974/tid=975] ppid=966 vsize=197104 CPUtime=1.13
/proc/974/task/975/stat : 975 (java) R 966 966 396 0 -1 64 2729 0 1 0 112 1 0 0 25 0 9 0 1981255042 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4126638215 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=976] ppid=966 vsize=197104 CPUtime=0.14
/proc/974/task/976/stat : 976 (java) S 966 966 396 0 -1 64 933 0 0 0 12 2 0 0 16 0 9 0 1981255044 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=977] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/977/stat : 977 (java) S 966 966 396 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981255044 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=978] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/978/stat : 978 (java) S 966 966 396 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981255044 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=979] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/979/stat : 979 (java) S 966 966 396 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981255046 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=980] ppid=966 vsize=197104 CPUtime=0.14
/proc/974/task/980/stat : 980 (java) S 966 966 396 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1981255046 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=981] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/981/stat : 981 (java) S 966 966 396 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981255046 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=982] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/982/stat : 982 (java) S 966 966 396 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981255046 201834496 4195 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202464
[startup+6.30135 s]
/proc/loadavg: 2.01 2.00 1.91 4/102 982
/proc/meminfo: memFree=1690640/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=1.58
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 375 1739 0 0 0 0 155 3 19 0 1 0 1981254879 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 238 196 169 0 51 0
[pid=974] ppid=966 vsize=197104 CPUtime=4.57
/proc/974/stat : 974 (java) S 966 966 396 0 -1 0 9908 0 1 0 443 14 0 0 18 0 9 0 1981255042 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/974/statm: 49276 8222 2540 9 0 43859 0
[pid=974/tid=975] ppid=966 vsize=197104 CPUtime=3.61
/proc/974/task/975/stat : 975 (java) R 966 966 396 0 -1 64 3543 0 1 0 358 3 0 0 25 0 9 0 1981255042 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4126439946 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=976] ppid=966 vsize=197104 CPUtime=0.76
/proc/974/task/976/stat : 976 (java) S 966 966 396 0 -1 64 5013 0 0 0 67 9 0 0 16 0 9 0 1981255044 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=977] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/977/stat : 977 (java) S 966 966 396 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981255044 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=978] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/978/stat : 978 (java) S 966 966 396 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981255044 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=979] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/979/stat : 979 (java) S 966 966 396 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981255046 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=980] ppid=966 vsize=197104 CPUtime=0.17
/proc/974/task/980/stat : 980 (java) S 966 966 396 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1981255046 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=981] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/981/stat : 981 (java) S 966 966 396 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1981255046 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=982] ppid=966 vsize=197104 CPUtime=0
/proc/974/task/982/stat : 982 (java) S 966 966 396 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981255046 201834496 8222 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 202464
[startup+12.7026 s]
/proc/loadavg: 2.01 2.00 1.91 3/113 993
/proc/meminfo: memFree=1625656/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=1.58
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 375 1739 0 0 0 0 155 3 19 0 1 0 1981254879 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 238 196 169 0 51 0
[pid=974] ppid=966 vsize=197428 CPUtime=5.85
/proc/974/stat : 974 (java) S 966 966 396 0 -1 0 11439 0 1 0 568 17 0 0 18 0 10 0 1981255042 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/974/statm: 49357 9405 2544 9 0 43940 0
[pid=984] ppid=974 vsize=5356 CPUtime=0
/proc/984/stat : 984 (choco) S 974 966 396 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1981255644 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 238 197 169 0 50 0
[pid=985] ppid=984 vsize=655592 CPUtime=4.9
/proc/985/stat : 985 (java) S 984 966 396 0 -1 0 16152 0 1 0 481 9 0 0 25 0 9 0 1981255645 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/985/statm: 163898 15731 1910 9 0 158427 0
[pid=985/tid=986] ppid=984 vsize=655592 CPUtime=4.49
/proc/985/task/986/stat : 986 (java) R 984 966 396 0 -1 64 12072 0 1 0 442 7 0 0 25 0 9 0 1981255645 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4127002701 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=987] ppid=984 vsize=655592 CPUtime=0.08
/proc/985/task/987/stat : 987 (java) S 984 966 396 0 -1 64 2904 0 0 0 8 0 0 0 16 0 9 0 1981255646 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=988] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/988/stat : 988 (java) S 984 966 396 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981255647 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=989] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/989/stat : 989 (java) S 984 966 396 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981255647 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=990] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/990/stat : 990 (java) S 984 966 396 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981255649 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=991] ppid=984 vsize=655592 CPUtime=0.3
/proc/985/task/991/stat : 991 (java) S 984 966 396 0 -1 64 628 0 0 0 29 1 0 0 15 0 9 0 1981255649 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=992] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/992/stat : 992 (java) S 984 966 396 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981255649 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=993] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/993/stat : 993 (java) S 984 966 396 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981255649 671326208 15731 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=975] ppid=966 vsize=197428 CPUtime=4.7
/proc/974/task/975/stat : 975 (java) S 966 966 396 0 -1 64 3859 0 1 0 466 4 0 0 25 0 10 0 1981255042 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=974/tid=976] ppid=966 vsize=197428 CPUtime=0.92
/proc/974/task/976/stat : 976 (java) S 966 966 396 0 -1 64 6127 0 0 0 81 11 0 0 16 0 10 0 1981255044 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=977] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/977/stat : 977 (java) S 966 966 396 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981255044 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=978] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/978/stat : 978 (java) S 966 966 396 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981255044 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=979] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/979/stat : 979 (java) S 966 966 396 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=980] ppid=966 vsize=197428 CPUtime=0.2
/proc/974/task/980/stat : 980 (java) S 966 966 396 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=981] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/981/stat : 981 (java) S 966 966 396 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=982] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/982/stat : 982 (java) S 966 966 396 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=983] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/983/stat : 983 (java) S 966 966 396 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981255644 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 863736
Solver just ended. Dumping a history of the last processes samples
[startup+13.1027 s]
/proc/loadavg: 2.01 2.00 1.91 3/113 993
/proc/meminfo: memFree=1625720/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=1.58
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 375 1739 0 0 0 0 155 3 19 0 1 0 1981254879 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 238 196 169 0 51 0
[pid=974] ppid=966 vsize=197428 CPUtime=5.85
/proc/974/stat : 974 (java) S 966 966 396 0 -1 0 11439 0 1 0 568 17 0 0 18 0 10 0 1981255042 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/974/statm: 49357 9405 2544 9 0 43940 0
[pid=984] ppid=974 vsize=5356 CPUtime=0
/proc/984/stat : 984 (choco) S 974 966 396 0 -1 4194304 294 0 0 0 0 0 0 0 25 0 1 0 1981255644 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 259353273156 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/984/statm: 1339 238 197 169 0 50 0
[pid=985] ppid=984 vsize=655592 CPUtime=5.3
/proc/985/stat : 985 (java) S 984 966 396 0 -1 0 16154 0 1 0 520 10 0 0 25 0 9 0 1981255645 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/985/statm: 163898 15732 1910 9 0 158427 0
[pid=985/tid=986] ppid=984 vsize=655592 CPUtime=4.88
/proc/985/task/986/stat : 986 (java) R 984 966 396 0 -1 64 12073 0 1 0 481 7 0 0 25 0 9 0 1981255645 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4127008328 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=987] ppid=984 vsize=655592 CPUtime=0.08
/proc/985/task/987/stat : 987 (java) S 984 966 396 0 -1 64 2904 0 0 0 8 0 0 0 16 0 9 0 1981255646 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=988] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/988/stat : 988 (java) S 984 966 396 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1981255647 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=989] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/989/stat : 989 (java) S 984 966 396 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981255647 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=990] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/990/stat : 990 (java) S 984 966 396 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981255649 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=991] ppid=984 vsize=655592 CPUtime=0.3
/proc/985/task/991/stat : 991 (java) S 984 966 396 0 -1 64 629 0 0 0 29 1 0 0 15 0 9 0 1981255649 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=992] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/992/stat : 992 (java) S 984 966 396 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981255649 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=985/tid=993] ppid=984 vsize=655592 CPUtime=0
/proc/985/task/993/stat : 993 (java) S 984 966 396 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1981255649 671326208 15732 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=975] ppid=966 vsize=197428 CPUtime=4.7
/proc/974/task/975/stat : 975 (java) S 966 966 396 0 -1 64 3859 0 1 0 466 4 0 0 25 0 10 0 1981255042 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=974/tid=976] ppid=966 vsize=197428 CPUtime=0.92
/proc/974/task/976/stat : 976 (java) S 966 966 396 0 -1 64 6127 0 0 0 81 11 0 0 16 0 10 0 1981255044 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=977] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/977/stat : 977 (java) S 966 966 396 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1981255044 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=978] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/978/stat : 978 (java) S 966 966 396 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1981255044 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=979] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/979/stat : 979 (java) S 966 966 396 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=980] ppid=966 vsize=197428 CPUtime=0.2
/proc/974/task/980/stat : 980 (java) S 966 966 396 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=981] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/981/stat : 981 (java) S 966 966 396 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=982] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/982/stat : 982 (java) S 966 966 396 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1981255046 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=983] ppid=966 vsize=197428 CPUtime=0
/proc/974/task/983/stat : 983 (java) S 966 966 396 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1981255644 202166272 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 863736
[startup+13.5028 s]
/proc/loadavg: 2.01 2.00 1.91 3/113 993
/proc/meminfo: memFree=1625720/2055920 swapFree=4179472/4192956
[pid=966] ppid=964 vsize=5360 CPUtime=1.58
/proc/966/stat : 966 (hydra) S 964 966 396 0 -1 4194304 375 1739 0 0 0 0 155 3 19 0 1 0 1981254879 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/966/statm: 1340 238 196 169 0 51 0
[pid=974] ppid=966 vsize=197428 CPUtime=11.49
/proc/974/stat : 974 (java) S 966 966 396 0 -1 0 11526 16471 1 1 568 17 553 11 18 0 9 0 1981255042 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/974/statm: 49357 9407 2545 9 0 43940 0
[pid=974/tid=975] ppid=966 vsize=197428 CPUtime=10.34
/proc/974/task/975/stat : 975 (java) S 966 966 396 0 -1 64 3915 16471 1 1 466 4 553 11 16 0 9 0 1981255042 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=976] ppid=966 vsize=197428 CPUtime=6.56
/proc/974/task/976/stat : 976 (java) S 966 966 396 0 -1 64 6146 16471 0 1 81 11 553 11 16 0 9 0 1981255044 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=977] ppid=966 vsize=197428 CPUtime=5.64
/proc/974/task/977/stat : 977 (java) S 966 966 396 0 -1 64 11 16471 0 1 0 0 553 11 16 0 9 0 1981255044 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=978] ppid=966 vsize=197428 CPUtime=5.64
/proc/974/task/978/stat : 978 (java) S 966 966 396 0 -1 64 5 16471 0 1 0 0 553 11 16 0 9 0 1981255044 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=979] ppid=966 vsize=197428 CPUtime=5.64
/proc/974/task/979/stat : 979 (java) S 966 966 396 0 -1 64 1 16471 0 1 0 0 553 11 18 0 9 0 1981255046 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=980] ppid=966 vsize=197428 CPUtime=5.84
/proc/974/task/980/stat : 980 (java) S 966 966 396 0 -1 64 645 16471 0 1 20 0 553 11 16 0 9 0 1981255046 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=981] ppid=966 vsize=197428 CPUtime=5.64
/proc/974/task/981/stat : 981 (java) S 966 966 396 0 -1 64 0 16471 0 1 0 0 553 11 19 0 9 0 1981255046 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=974/tid=982] ppid=966 vsize=197428 CPUtime=5.64
/proc/974/task/982/stat : 982 (java) S 966 966 396 0 -1 64 13 16471 0 1 0 0 553 11 15 0 9 0 1981255046 202166272 9407 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 13.07
Current children cumulated vsize (KiB) 202788
Child status: 0
Real time (s): 13.5318
CPU time (s): 13.111
CPU user time (s): 12.7771
CPU system time (s): 0.333949
CPU usage (%): 96.8903
Max. virtual memory (cumulated for all children) (KiB): 863736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.7771
system time used= 0.333949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30148
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= 10658
involuntary context switches= 12600
runsolver used 0.039993 second user time and 0.116982 second system time
The end