0.00/0.00 c cpHydra_k_10 version 0.0
7.28/7.45 c CASE TO CLASSIFY:
7.28/7.45 c Case: 0
7.28/7.45 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.613400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.871400 | c 14 > 12.512200 | c 11 > 4.321930 | c 12 > 11.692800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.46 c choco : 1801.0
7.28/7.46 c mistral : 1801.0
7.28/7.46 c abscon : 1801.0
7.28/7.46 c
7.28/7.46 c
7.38/7.54 c List of same ones: 10
7.38/7.54 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-31_ext.xml
7.38/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.351100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.869200 | c 14 > 12.396100 | c 11 > 4.321930 | c 12 > 11.818300 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.54 c choco : 1801.0
7.38/7.54 c mistral : 62.89
7.38/7.54 c abscon : 215.477
7.38/7.54 c
7.38/7.54 c
7.38/7.54 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
7.38/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.301100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.880100 | c 14 > 12.414700 | c 11 > 4.321930 | c 12 > 11.695600 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.55 c choco : 1801.0
7.38/7.55 c mistral : 7.55985
7.38/7.55 c abscon : 24.3843
7.38/7.55 c
7.38/7.55 c
7.38/7.55 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
7.38/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.438200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.691600 | c 14 > 12.347900 | c 11 > 4.321930 | c 12 > 11.522400 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.56 c choco : 1801.0
7.38/7.56 c mistral : 40.83
7.38/7.56 c abscon : 38.2792
7.38/7.56 c
7.38/7.56 c
7.38/7.56 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-31_ext.xml
7.38/7.56 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.331900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.844300 | c 14 > 12.314300 | c 11 > 4.321930 | c 12 > 11.772300 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.57 c choco : 1801.0
7.38/7.57 c mistral : 43.0794
7.38/7.57 c abscon : 20.8628
7.38/7.57 c
7.38/7.57 c
7.38/7.57 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-17_ext.xml
7.38/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.455000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.133100 | c 14 > 12.685600 | c 11 > 4.321930 | c 12 > 11.638200 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.857980 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.58 c choco : 1801.0
7.38/7.58 c mistral : 28.8786
7.38/7.58 c abscon : 51.0712
7.38/7.58 c
7.38/7.58 c
7.38/7.58 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-23_ext.xml
7.38/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.312100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.749000 | c 14 > 12.363300 | c 11 > 4.321930 | c 12 > 11.725900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.832890 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.59 c choco : 1801.0
7.38/7.59 c mistral : 7.30789
7.38/7.59 c abscon : 36.7414
7.38/7.59 c
7.38/7.59 c
7.38/7.59 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-1_ext.xml
7.38/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.475100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.639700 | c 14 > 12.346800 | c 11 > 4.321930 | c 12 > 11.491900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.60 c choco : 1801.0
7.45/7.60 c mistral : 14.5298
7.45/7.60 c abscon : 73.4458
7.45/7.60 c
7.45/7.60 c
7.45/7.60 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-5_ext.xml
7.45/7.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.292500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.945600 | c 14 > 12.518200 | c 11 > 4.321930 | c 12 > 11.512600 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.781360 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.61 c choco : 1801.0
7.45/7.61 c mistral : 74.26
7.45/7.61 c abscon : 247.837
7.45/7.61 c
7.45/7.61 c
7.45/7.61 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
7.45/7.61 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.410300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.627600 | c 14 > 12.334300 | c 11 > 4.321930 | c 12 > 11.551800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.906890 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.61 c choco : 1801.0
7.45/7.61 c mistral : 4.6253
7.45/7.62 c abscon : 41.7786
7.45/7.62 c
7.45/7.62 c
7.45/7.62 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
7.45/7.62 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.451200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.706000 | c 14 > 12.255300 | c 11 > 4.321930 | c 12 > 11.502000 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 5.882640 | 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.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.45/7.62 c choco : 1801.0
7.45/7.62 c mistral : 31.21
7.45/7.62 c abscon : 9.34158
7.45/7.62 c
7.45/7.62 c
7.45/7.63 c Length: 10
7.45/7.63 c 0.3140759551446113 0.3282538318131232 0.34504163516885994 0.3550625798362857 0.3558457109478785 0.36008301556724126 0.3780501793413138 0.3832246265573218 0.3932043337757094 0.3958236546746534
7.45/7.63 c
7.45/7.63 c 1.0 0.8521992024403852 0.7252705921275887 0.6660540973229861 0.6618311501758811 0.6398798726585709 0.5609842187050321 0.5417472866929035 0.5081408029362836 0.5
7.45/7.63 c
7.45/7.63 c solver 0
7.45/7.63 c before 0.0 seconds: {} 0
7.45/7.63 c before 18.0 seconds: {9} 500
7.45/7.63 c before 36.0 seconds: {1, 3, 9} 2018
7.45/7.63 c before 54.0 seconds: {1, 2, 3, 4, 5, 8, 9} 4553
7.45/7.63 c before 90.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5114
7.45/7.63 c before 216.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6114
7.45/7.63 c before 252.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6656
7.45/7.63 c
7.45/7.63 c solver 1
7.45/7.63 c before 0.0 seconds: {} 0
7.45/7.63 c before 18.0 seconds: {1, 5, 6, 8} 2561
7.45/7.63 c before 36.0 seconds: {1, 4, 5, 6, 8, 9} 3723
7.45/7.63 c before 54.0 seconds: {1, 2, 3, 4, 5, 6, 8, 9} 5114
7.45/7.63 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6114
7.45/7.63 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6656
7.45/7.63 c
7.45/7.63 c solver 2
7.45/7.63 c before 0.0 seconds: {} 0
7.45/7.63 c
7.45/7.63 cTotal time: 19
7.45/7.63 c 342.0 seconds unused
7.45/7.63 c 0 c 0 c 10
7.45/7.64 c 0 c 0 c 10
7.45/7.64 c 0 c 0 c 0
7.45/7.64 c is solver0 dominated by:
7.45/7.64 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.45/7.64 c is dominated? true
7.45/7.64 c
7.45/7.64 c is solver1 dominated by:
7.45/7.64 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.45/7.64 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.45/7.64 c is dominated? false
7.45/7.64 c
7.45/7.64 c is solver2 dominated by:
7.45/7.64 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.45/7.64 c is dominated? true
7.45/7.64 c
7.45/7.64 c Number of non-dominated solvers: 1
7.45/7.64 c remove dominated solvers
7.45/7.64 c solver 1 is not dominated by another solver
7.45/7.64 c solver 2 is dominated by another solver
7.45/7.64 c solver 0 is dominated by another solver
7.45/7.64 c
7.45/7.64 c solver 0: 0.0
7.45/7.64 c
7.45/7.64 c solver 1: 90.0
7.45/7.64 c
7.45/7.64 c+ 5/5 of 95
7.45/7.64 c
7.45/7.64 c solver 2: 0.0
7.45/7.64 c do not run abscon
7.45/7.64 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6656
7.45/7.64 c do not run choco
7.45/7.64 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.45/7.64 c On Instance: HOME/instance-1078019-1215205189.xml
7.45/7.64 c Running for: 1800 seconds
37.42/37.90 c mistral-prime version 1.313
37.42/37.90 s SATISFIABLE
37.42/37.90 v 12 0 15 18 3 10 1 13 16 14 3 16 5 15 2 13 4 9 0 4
37.42/37.90 d CHECKS 16008648
37.42/37.90 d ASSIGNMENTS 110865
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078019-1215205189/watcher-1078019-1215205189 -o /tmp/evaluation-result-1078019-1215205189/solver-1078019-1215205189 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1078019-1215205189.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.91 1.98 1.99 4/81 15236
/proc/meminfo: memFree=1473772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=0
/proc/15236/stat : 15236 (hydra) R 15234 15236 11601 0 -1 4194304 264 0 0 0 0 0 0 0 21 0 1 0 1999491288 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 258939255397 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15236/statm: 1340 232 193 169 0 51 0
[startup+0.160885 s]
/proc/loadavg: 1.91 1.98 1.99 4/81 15236
/proc/meminfo: memFree=1473772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=0
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1999491288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201899 s]
/proc/loadavg: 1.91 1.98 1.99 4/81 15236
/proc/meminfo: memFree=1473772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=0
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1999491288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301907 s]
/proc/loadavg: 1.91 1.98 1.99 4/81 15236
/proc/meminfo: memFree=1473772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=0
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1999491288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701982 s]
/proc/loadavg: 1.91 1.98 1.99 4/81 15236
/proc/meminfo: memFree=1473772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=0
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1999491288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50112 s]
/proc/loadavg: 1.91 1.98 1.99 3/83 15240
/proc/meminfo: memFree=1468892/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=0
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1999491288 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 236 195 169 0 51 0
[pid=15240] ppid=15236 vsize=8056 CPUtime=1.46
/proc/15240/stat : 15240 (xsolve) R 15236 15236 11601 0 -1 4194304 1375 0 0 0 144 2 0 0 25 0 1 0 1999491289 8249344 1334 996147200 134512640 135239763 4294956176 18446744073709551615 135095149 0 0 4096 0 0 0 0 17 1 0 0
/proc/15240/statm: 2014 1334 412 177 0 917 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13416
[startup+3.10242 s]
/proc/loadavg: 1.91 1.98 1.99 5/91 15252
/proc/meminfo: memFree=1467420/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197000 CPUtime=1.37
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 4878 0 1 0 133 4 0 0 18 0 9 0 1999491457 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49250 4102 1677 9 0 43833 0
[pid=15244/tid=15245] ppid=15236 vsize=197000 CPUtime=1.12
/proc/15244/task/15245/stat : 15245 (java) R 15236 15236 11601 0 -1 64 2703 0 1 0 110 2 0 0 25 0 9 0 1999491458 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4126504503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197000 CPUtime=0.09
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 847 0 0 0 8 1 0 0 16 0 9 0 1999491460 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197000 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 15 0 9 0 1999491460 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197000 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1999491460 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197000 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999491462 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197000 CPUtime=0.13
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1999491463 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197000 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1999491463 201728000 4102 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197000 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999491463 201728000 4102 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) 202360
[startup+6.302 s]
/proc/loadavg: 1.92 1.98 1.99 3/91 15252
/proc/meminfo: memFree=1453916/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197112 CPUtime=4.54
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 9839 0 1 0 442 12 0 0 18 0 9 0 1999491457 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49278 8159 2540 9 0 43861 0
[pid=15244/tid=15245] ppid=15236 vsize=197112 CPUtime=3.67
/proc/15244/task/15245/stat : 15245 (java) R 15236 15236 11601 0 -1 64 3539 0 1 0 362 5 0 0 25 0 9 0 1999491458 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4126562365 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197112 CPUtime=0.68
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 4949 0 0 0 62 6 0 0 16 0 9 0 1999491460 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197112 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999491460 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197112 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999491460 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197112 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999491462 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197112 CPUtime=0.17
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 1999491463 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197112 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1999491463 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197112 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1999491463 201842688 8159 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202472
[startup+12.7021 s]
/proc/loadavg: 1.93 1.98 1.99 4/94 15255
/proc/meminfo: memFree=1441028/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197436 CPUtime=5.85
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 11424 0 1 0 569 16 0 0 18 0 10 0 1999491457 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49359 9386 2544 9 0 43942 0
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=8056 CPUtime=4.98
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194304 1351 0 0 0 498 0 0 0 25 0 1 0 1999492054 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134789432 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 2014 1315 393 177 0 917 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 24 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 216208
[startup+25.5015 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 15255
/proc/meminfo: memFree=1440836/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197436 CPUtime=5.85
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 11424 0 1 0 569 16 0 0 18 0 10 0 1999491457 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49359 9386 2544 9 0 43942 0
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=8056 CPUtime=17.66
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194304 1351 0 0 0 1766 0 0 0 25 0 1 0 1999492054 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135013679 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 2014 1315 393 177 0 917 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 24 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 216208
Solver just ended. Dumping a history of the last processes samples
[startup+25.6025 s]
/proc/loadavg: 1.94 1.98 1.99 3/94 15255
################
# More data... #
################
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=8056 CPUtime=27.25
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194304 1351 0 0 0 2725 0 0 0 25 0 1 0 1999492054 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134819959 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 2014 1315 393 177 0 917 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 24 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.75
Current children cumulated vsize (KiB) 216208
[startup+36.8015 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 15255
/proc/meminfo: memFree=1440772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197436 CPUtime=5.85
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 11424 0 1 0 569 16 0 0 18 0 10 0 1999491457 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49359 9386 2544 9 0 43942 0
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=8056 CPUtime=28.83
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194304 1351 0 0 0 2883 0 0 0 25 0 1 0 1999492054 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135103340 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 2014 1315 393 177 0 917 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 24 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.33
Current children cumulated vsize (KiB) 216208
[startup+37.6026 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 15255
/proc/meminfo: memFree=1440772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197436 CPUtime=5.85
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 11424 0 1 0 569 16 0 0 18 0 10 0 1999491457 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49359 9386 2544 9 0 43942 0
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=8056 CPUtime=29.62
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194304 1351 0 0 0 2962 0 0 0 25 0 1 0 1999492054 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 135096726 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 2014 1315 393 177 0 917 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 24 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.12
Current children cumulated vsize (KiB) 216208
[startup+37.8027 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 15255
/proc/meminfo: memFree=1440772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197436 CPUtime=5.85
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 11424 0 1 0 569 16 0 0 18 0 10 0 1999491457 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49359 9386 2544 9 0 43942 0
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=8056 CPUtime=29.82
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194304 1351 0 0 0 2982 0 0 0 25 0 1 0 1999492054 8249344 1315 996147200 134512640 135239763 4294955952 18446744073709551615 134819947 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 2014 1315 393 177 0 917 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 24 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.32
Current children cumulated vsize (KiB) 216208
[startup+37.9028 s]
/proc/loadavg: 1.95 1.98 1.99 3/94 15255
/proc/meminfo: memFree=1440772/2055920 swapFree=4179816/4192956
[pid=15236] ppid=15234 vsize=5360 CPUtime=1.65
/proc/15236/stat : 15236 (hydra) S 15234 15236 11601 0 -1 4194304 375 1972 0 0 0 0 162 3 18 0 1 0 1999491288 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15236/statm: 1340 238 196 169 0 51 0
[pid=15244] ppid=15236 vsize=197436 CPUtime=5.85
/proc/15244/stat : 15244 (java) S 15236 15236 11601 0 -1 0 11424 0 1 0 569 16 0 0 18 0 10 0 1999491457 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15244/statm: 49359 9386 2544 9 0 43942 0
[pid=15254] ppid=15244 vsize=5356 CPUtime=0
/proc/15254/stat : 15254 (mistral) S 15244 15236 11601 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999492053 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/15254/statm: 1339 236 196 169 0 50 0
[pid=15255] ppid=15254 vsize=0 CPUtime=29.92
/proc/15255/stat : 15255 (xsolve) R 15254 15236 11601 0 -1 4194308 1367 0 0 0 2992 0 0 0 25 0 1 0 1999492054 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/15255/statm: 0 0 0 0 0 0 0
[pid=15244/tid=15245] ppid=15236 vsize=197436 CPUtime=4.78
/proc/15244/task/15245/stat : 15245 (java) S 15236 15236 11601 0 -1 64 3866 0 1 0 472 6 0 0 16 0 10 0 1999491458 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=15244/tid=15246] ppid=15236 vsize=197436 CPUtime=0.84
/proc/15244/task/15246/stat : 15246 (java) S 15236 15236 11601 0 -1 64 6106 0 0 0 76 8 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15247] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15247/stat : 15247 (java) S 15236 15236 11601 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15248] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15248/stat : 15248 (java) S 15236 15236 11601 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999491460 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15249] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15249/stat : 15249 (java) S 15236 15236 11601 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999491462 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15250] ppid=15236 vsize=197436 CPUtime=0.19
/proc/15244/task/15250/stat : 15250 (java) S 15236 15236 11601 0 -1 64 644 0 0 0 19 0 0 0 16 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15251] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15251/stat : 15251 (java) S 15236 15236 11601 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15252] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15252/stat : 15252 (java) S 15236 15236 11601 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1999491463 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15244/tid=15253] ppid=15236 vsize=197436 CPUtime=0
/proc/15244/task/15253/stat : 15253 (java) S 15236 15236 11601 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1999492053 202174464 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.42
Current children cumulated vsize (KiB) 208152
Child status: 0
Real time (s): 37.9357
CPU time (s): 37.4683
CPU user time (s): 37.2443
CPU system time (s): 0.223965
CPU usage (%): 98.7679
Max. virtual memory (cumulated for all children) (KiB): 216208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2443
system time used= 0.223965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15557
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9456
involuntary context switches= 11845
runsolver used 0.046992 second user time and 0.174973 second system time
The end