0.00/0.00 c cpHydra_k_10 version 0.0
7.39/7.52 c CASE TO CLASSIFY:
7.39/7.52 c Case: 0
7.39/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.596600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.612100 | c 14 > 12.291500 | c 11 > 4.321930 | c 12 > 11.411000 | 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.39/7.53 c choco : 1801.0
7.39/7.53 c mistral : 1801.0
7.39/7.53 c abscon : 1801.0
7.39/7.53 c
7.39/7.53 c
7.49/7.61 c List of same ones: 10
7.49/7.61 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-1_ext.xml
7.49/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.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.49/7.62 c choco : 1801.0
7.49/7.62 c mistral : 14.5298
7.49/7.62 c abscon : 73.4458
7.49/7.62 c
7.49/7.62 c
7.49/7.62 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
7.49/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.49/7.63 c choco : 1801.0
7.49/7.63 c mistral : 31.21
7.49/7.63 c abscon : 9.34158
7.49/7.64 c
7.49/7.64 c
7.49/7.64 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-41_ext.xml
7.49/7.64 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.454400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.533600 | c 14 > 12.194800 | c 11 > 4.321930 | c 12 > 11.298600 | 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.49/7.65 c choco : 1801.0
7.49/7.65 c mistral : 6.39
7.49/7.65 c abscon : 15.0097
7.49/7.65 c
7.49/7.65 c
7.49/7.65 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
7.49/7.65 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.49/7.65 c choco : 1801.0
7.49/7.65 c mistral : 40.83
7.49/7.65 c abscon : 38.2792
7.49/7.65 c
7.49/7.65 c
7.49/7.65 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-11_ext.xml
7.49/7.65 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.378400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.585400 | c 14 > 12.329000 | c 11 > 4.321930 | c 12 > 11.465200 | 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.49/7.66 c choco : 1801.0
7.49/7.66 c mistral : 170.881
7.49/7.66 c abscon : 441.821
7.49/7.66 c
7.49/7.66 c
7.49/7.66 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-37_ext.xml
7.49/7.67 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.453500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.523300 | c 14 > 12.261200 | c 11 > 4.321930 | c 12 > 11.560600 | 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.49/7.67 c choco : 1801.0
7.49/7.67 c mistral : 188.511
7.49/7.67 c abscon : 173.762
7.49/7.67 c
7.49/7.67 c
7.49/7.67 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
7.49/7.68 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.49/7.68 c choco : 1801.0
7.49/7.68 c mistral : 4.6253
7.49/7.68 c abscon : 41.7786
7.49/7.68 c
7.49/7.68 c
7.49/7.68 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-49_ext.xml
7.49/7.68 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.377200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.511600 | c 14 > 12.287400 | c 11 > 4.321930 | c 12 > 11.580200 | 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.49/7.69 c choco : 99.3
7.49/7.69 c mistral : 9.29
7.49/7.69 c abscon : 51.2542
7.49/7.69 c
7.49/7.69 c
7.49/7.69 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
7.49/7.69 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.319500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.711900 | c 14 > 12.207300 | c 11 > 4.321930 | c 12 > 11.348800 | 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.49/7.70 c choco : 1801.0
7.49/7.70 c mistral : 19.81
7.49/7.70 c abscon : 89.5534
7.49/7.70 c
7.49/7.70 c
7.49/7.70 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-23_ext.xml
7.49/7.70 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.365000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.501000 | c 14 > 12.362500 | c 11 > 4.321930 | c 12 > 11.563800 | 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.54/7.71 c choco : 1801.0
7.54/7.71 c mistral : 45.17
7.54/7.71 c abscon : 130.86
7.54/7.71 c
7.54/7.71 c
7.54/7.71 c Length: 10
7.54/7.71 c 0.15851469963381762 0.2003443847478627 0.21992666959693458 0.22224742540690973 0.22949514156077436 0.2324940603542383 0.237916834208931 0.30390468900627404 0.31351394307111474 0.31598514205576295
7.54/7.71 c
7.54/7.71 c 1.0 0.7901171181815159 0.7194293991283328 0.7118814965755906 0.6892967075647134 0.6803654195596114 0.6647896705404639 0.5199439276004364 0.5039543019634893 0.5
7.54/7.72 c
7.54/7.72 c solver 0
7.54/7.72 c before 0.0 seconds: {} 0
7.54/7.72 c before 18.0 seconds: {1, 2} 1509
7.54/7.72 c before 54.0 seconds: {1, 2, 3, 6, 7} 3406
7.54/7.72 c before 90.0 seconds: {0, 1, 2, 3, 6, 7, 8} 4910
7.54/7.72 c before 144.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9} 5410
7.54/7.72 c before 180.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 6090
7.54/7.72 c before 450.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6779
7.54/7.72 c
7.54/7.72 c solver 1
7.54/7.72 c before 0.0 seconds: {} 0
7.54/7.72 c before 18.0 seconds: {0, 2, 6, 7} 2904
7.54/7.72 c before 36.0 seconds: {0, 1, 2, 6, 7, 8} 4198
7.54/7.72 c before 54.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9} 5410
7.54/7.72 c before 180.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6099
7.54/7.72 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6779
7.54/7.72 c
7.54/7.72 c solver 2
7.54/7.72 c before 0.0 seconds: {} 0
7.54/7.72 c before 108.0 seconds: {7} 519
7.54/7.72 c
7.54/7.72 cTotal time: 42
7.54/7.72 c 756.0 seconds unused
7.54/7.72 c 0 c 0 c 9
7.54/7.72 c 0 c 0 c 9
7.54/7.72 c 0 c 0 c 0
7.54/7.72 c is solver0 dominated by:
7.54/7.72 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.54/7.72 c is dominated? true
7.54/7.72 c
7.54/7.72 c is solver1 dominated by:
7.54/7.72 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.54/7.72 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.54/7.72 c is dominated? false
7.54/7.72 c
7.54/7.72 c is solver2 dominated by:
7.54/7.72 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.54/7.72 c is dominated? true
7.54/7.72 c
7.54/7.72 c Number of non-dominated solvers: 1
7.54/7.72 c remove dominated solvers
7.54/7.72 c solver 1 is not dominated by another solver
7.54/7.72 c solver 2 is dominated by another solver
7.54/7.72 c solver 0 is dominated by another solver
7.54/7.72 c
7.54/7.72 c solver 0: 0.0
7.54/7.72 c
7.54/7.72 c solver 1: 198.0
7.54/7.72 c
7.54/7.72 c+ 11/11 of 89
7.54/7.72 c
7.54/7.72 c solver 2: 0.0
7.54/7.73 c do not run abscon
7.54/7.73 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6779
7.54/7.73 c do not run choco
7.54/7.73 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.54/7.73 c On Instance: HOME/instance-1078341-1215206562.xml
7.54/7.73 c Running for: 1800 seconds
36.95/37.49 c mistral-prime version 1.313
36.95/37.49 s SATISFIABLE
36.95/37.49 v 7 7 16 9 15 19 2 18 10 1 5 9 11 1 16 10 1 4 9 8
36.95/37.49 d CHECKS 15843675
36.95/37.49 d ASSIGNMENTS 111895
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078341-1215206562/watcher-1078341-1215206562 -o /tmp/evaluation-result-1078341-1215206562/solver-1078341-1215206562 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1078341-1215206562.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.97 1.99 4/74 11576
/proc/meminfo: memFree=1809536/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=18572 CPUtime=0
/proc/11576/stat : 11576 (runsolver) R 11574 11576 5127 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1999629741 19017728 292 996147200 4194304 4296836 548682068432 18446744073709551615 210824129831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11576/statm: 4643 292 257 25 0 2626 0
[startup+0.0921039 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 11576
/proc/meminfo: memFree=1809536/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=0
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1999629741 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101099 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 11576
/proc/meminfo: memFree=1809536/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=0
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1999629741 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301125 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 11576
/proc/meminfo: memFree=1809536/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=0
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1999629741 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70117 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 11576
/proc/meminfo: memFree=1809536/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=0
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1999629741 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50127 s]
/proc/loadavg: 1.91 1.97 1.99 3/76 11580
/proc/meminfo: memFree=1805360/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=0
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 328 247 0 0 0 0 0 0 21 0 1 0 1999629741 5488640 236 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 236 195 169 0 51 0
[pid=11580] ppid=11576 vsize=8212 CPUtime=1.46
/proc/11580/stat : 11580 (xsolve) R 11576 11576 5127 0 -1 4194304 1423 0 0 0 145 1 0 0 25 0 1 0 1999629742 8409088 1382 996147200 134512640 135239763 4294956128 18446744073709551615 135013651 0 0 4096 0 0 0 0 17 1 0 0
/proc/11580/statm: 2053 1382 412 177 0 956 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 13572
[startup+3.10247 s]
/proc/loadavg: 1.91 1.97 1.99 4/84 11592
/proc/meminfo: memFree=1802672/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=196996 CPUtime=1.37
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 4901 0 1 0 132 5 0 0 18 0 9 0 1999629911 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49249 4117 1677 9 0 43832 0
[pid=11584/tid=11585] ppid=11576 vsize=196996 CPUtime=1.08
/proc/11584/task/11585/stat : 11585 (java) R 11576 11576 5127 0 -1 64 2708 0 1 0 105 3 0 0 25 0 9 0 1999629912 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4126517049 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=196996 CPUtime=0.12
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 861 0 0 0 12 0 0 0 16 0 9 0 1999629913 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=196996 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999629914 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=196996 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999629914 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=196996 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999629916 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=196996 CPUtime=0.14
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 605 0 0 0 14 0 0 0 16 0 9 0 1999629916 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=196996 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999629916 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=196996 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999629916 201723904 4117 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202356
[startup+6.30286 s]
/proc/loadavg: 1.92 1.97 1.99 3/84 11592
/proc/meminfo: memFree=1790000/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197108 CPUtime=4.54
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 9818 0 1 0 441 13 0 0 18 0 9 0 1999629911 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49277 8146 2540 9 0 43860 0
[pid=11584/tid=11585] ppid=11576 vsize=197108 CPUtime=3.57
/proc/11584/task/11585/stat : 11585 (java) R 11576 11576 5127 0 -1 64 3528 0 1 0 352 5 0 0 25 0 9 0 1999629912 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4126439963 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197108 CPUtime=0.76
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 4934 0 0 0 70 6 0 0 16 0 9 0 1999629913 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197108 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1999629914 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197108 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1999629914 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197108 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1999629916 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197108 CPUtime=0.18
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 629 0 0 0 18 0 0 0 16 0 9 0 1999629916 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197108 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1999629916 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197108 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1999629916 201838592 8146 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7026 s]
/proc/loadavg: 1.93 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776920/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=5.92
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11438 0 1 0 575 17 0 0 18 0 10 0 1999629911 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9406 2543 9 0 43941 0
[pid=11594] ppid=11584 vsize=5356 CPUtime=0
/proc/11594/stat : 11594 (mistral) S 11584 11576 5127 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999630514 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11594/statm: 1339 236 196 169 0 50 0
[pid=11595] ppid=11594 vsize=8212 CPUtime=4.9
/proc/11595/stat : 11595 (xsolve) R 11594 11576 5127 0 -1 4194304 1399 0 0 0 490 0 0 0 25 0 1 0 1999630515 8409088 1363 996147200 134512640 135239763 4294955920 18446744073709551615 135013682 0 4 0 0 0 0 0 17 1 0 0
/proc/11595/statm: 2053 1363 393 177 0 956 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=4.74
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3859 0 1 0 467 7 0 0 23 0 10 0 1999629912 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=0.93
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6123 0 0 0 86 7 0 0 16 0 10 0 1999629913 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=0.2
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11593] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11593/stat : 11593 (java) S 11576 11576 5127 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1999630514 202170368 9406 996147200 134512640 134550740 4294955936 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) 216360
[startup+25.5012 s]
/proc/loadavg: 1.94 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776984/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=5.92
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11438 0 1 0 575 17 0 0 18 0 10 0 1999629911 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9406 2543 9 0 43941 0
[pid=11594] ppid=11584 vsize=5356 CPUtime=0
/proc/11594/stat : 11594 (mistral) S 11584 11576 5127 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999630514 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11594/statm: 1339 236 196 169 0 50 0
[pid=11595] ppid=11594 vsize=8212 CPUtime=17.58
/proc/11595/stat : 11595 (xsolve) R 11594 11576 5127 0 -1 4194304 1399 0 0 0 1758 0 0 0 25 0 1 0 1999630515 8409088 1363 996147200 134512640 135239763 4294955920 18446744073709551615 135087236 0 4 0 0 0 0 0 17 1 0 0
/proc/11595/statm: 2053 1363 393 177 0 956 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=4.74
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3859 0 1 0 467 7 0 0 23 0 10 0 1999629912 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=0.93
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6123 0 0 0 86 7 0 0 16 0 10 0 1999629913 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=0.2
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11593] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11593/stat : 11593 (java) S 11576 11576 5127 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1999630514 202170368 9406 996147200 134512640 134550740 4294955936 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) 216360
Solver just ended. Dumping a history of the last processes samples
[startup+31.908 s]
/proc/loadavg: 1.95 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776728/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=5.92
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11438 0 1 0 575 17 0 0 18 0 10 0 1999629911 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9406 2543 9 0 43941 0
[pid=11594] ppid=11584 vsize=5356 CPUtime=0
/proc/11594/stat : 11594 (mistral) S 11584 11576 5127 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999630514 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11594/statm: 1339 236 196 169 0 50 0
[pid=11595] ppid=11594 vsize=8212 CPUtime=23.91
/proc/11595/stat : 11595 (xsolve) R 11594 11576 5127 0 -1 4194304 1399 0 0 0 2391 0 0 0 25 0 1 0 1999630515 8409088 1363 996147200 134512640 135239763 4294955920 18446744073709551615 134819905 0 4 0 0 0 0 0 17 1 0 0
/proc/11595/statm: 2053 1363 393 177 0 956 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=4.74
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3859 0 1 0 467 7 0 0 23 0 10 0 1999629912 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=0.93
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6123 0 0 0 86 7 0 0 16 0 10 0 1999629913 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=0.2
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11593] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11593/stat : 11593 (java) S 11576 11576 5127 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1999630514 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.49
Current children cumulated vsize (KiB) 216360
[startup+35.1013 s]
/proc/loadavg: 1.95 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776728/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=5.92
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11438 0 1 0 575 17 0 0 18 0 10 0 1999629911 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9406 2543 9 0 43941 0
[pid=11594] ppid=11584 vsize=5356 CPUtime=0
/proc/11594/stat : 11594 (mistral) S 11584 11576 5127 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999630514 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11594/statm: 1339 236 196 169 0 50 0
[pid=11595] ppid=11594 vsize=8212 CPUtime=27.09
/proc/11595/stat : 11595 (xsolve) R 11594 11576 5127 0 -1 4194304 1399 0 0 0 2709 0 0 0 25 0 1 0 1999630515 8409088 1363 996147200 134512640 135239763 4294955920 18446744073709551615 134789435 0 4 0 0 0 0 0 17 1 0 0
/proc/11595/statm: 2053 1363 393 177 0 956 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=4.74
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3859 0 1 0 467 7 0 0 23 0 10 0 1999629912 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=0.93
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6123 0 0 0 86 7 0 0 16 0 10 0 1999629913 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=0.2
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11593] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11593/stat : 11593 (java) S 11576 11576 5127 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1999630514 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.67
Current children cumulated vsize (KiB) 216360
[startup+36.7025 s]
/proc/loadavg: 1.95 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776728/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=5.92
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11438 0 1 0 575 17 0 0 18 0 10 0 1999629911 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9406 2543 9 0 43941 0
[pid=11594] ppid=11584 vsize=5356 CPUtime=0
/proc/11594/stat : 11594 (mistral) S 11584 11576 5127 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999630514 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11594/statm: 1339 236 196 169 0 50 0
[pid=11595] ppid=11594 vsize=8212 CPUtime=28.67
/proc/11595/stat : 11595 (xsolve) R 11594 11576 5127 0 -1 4194304 1399 0 0 0 2866 1 0 0 25 0 1 0 1999630515 8409088 1363 996147200 134512640 135239763 4294955920 18446744073709551615 135095126 0 4 0 0 0 0 0 17 1 0 0
/proc/11595/statm: 2053 1363 393 177 0 956 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=4.74
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3859 0 1 0 467 7 0 0 23 0 10 0 1999629912 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=0.93
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6123 0 0 0 86 7 0 0 16 0 10 0 1999629913 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=0.2
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11593] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11593/stat : 11593 (java) S 11576 11576 5127 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1999630514 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.25
Current children cumulated vsize (KiB) 216360
[startup+37.1026 s]
/proc/loadavg: 1.95 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776728/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=5.92
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11438 0 1 0 575 17 0 0 18 0 10 0 1999629911 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9406 2543 9 0 43941 0
[pid=11594] ppid=11584 vsize=5356 CPUtime=0
/proc/11594/stat : 11594 (mistral) S 11584 11576 5127 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1999630514 5484544 236 996147200 4194304 4889804 548682068544 18446744073709551615 210824127300 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/11594/statm: 1339 236 196 169 0 50 0
[pid=11595] ppid=11594 vsize=8212 CPUtime=29.07
/proc/11595/stat : 11595 (xsolve) R 11594 11576 5127 0 -1 4194304 1399 0 0 0 2906 1 0 0 25 0 1 0 1999630515 8409088 1363 996147200 134512640 135239763 4294955920 18446744073709551615 135013694 0 4 0 0 0 0 0 17 1 0 0
/proc/11595/statm: 2053 1363 393 177 0 956 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=4.74
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3859 0 1 0 467 7 0 0 23 0 10 0 1999629912 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=0.93
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6123 0 0 0 86 7 0 0 16 0 10 0 1999629913 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1999629914 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=0.2
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1999629916 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11593] ppid=11576 vsize=197432 CPUtime=0
/proc/11584/task/11593/stat : 11593 (java) S 11576 11576 5127 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1999630514 202170368 9406 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.65
Current children cumulated vsize (KiB) 216360
[startup+37.5026 s]
/proc/loadavg: 1.95 1.97 1.99 3/87 11595
/proc/meminfo: memFree=1776856/2055920 swapFree=4180424/4192956
[pid=11576] ppid=11574 vsize=5360 CPUtime=1.66
/proc/11576/stat : 11576 (hydra) S 11574 11576 5127 0 -1 4194304 372 2020 0 0 0 0 164 2 18 0 1 0 1999629741 5488640 238 996147200 4194304 4889804 548682068768 18446744073709551615 210824127300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11576/statm: 1340 238 196 169 0 51 0
[pid=11584] ppid=11576 vsize=197432 CPUtime=35.37
/proc/11584/stat : 11584 (java) S 11576 11576 5127 0 -1 0 11526 1716 1 0 575 17 2944 1 18 0 9 0 1999629911 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11584/statm: 49358 9408 2544 9 0 43941 0
[pid=11584/tid=11585] ppid=11576 vsize=197432 CPUtime=34.2
/proc/11584/task/11585/stat : 11585 (java) S 11576 11576 5127 0 -1 64 3914 1716 1 0 468 7 2944 1 16 0 9 0 1999629912 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11586] ppid=11576 vsize=197432 CPUtime=30.38
/proc/11584/task/11586/stat : 11586 (java) S 11576 11576 5127 0 -1 64 6144 1716 0 0 86 7 2944 1 16 0 9 0 1999629913 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11587] ppid=11576 vsize=197432 CPUtime=29.45
/proc/11584/task/11587/stat : 11587 (java) S 11576 11576 5127 0 -1 64 11 1716 0 0 0 0 2944 1 16 0 9 0 1999629914 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11588] ppid=11576 vsize=197432 CPUtime=29.45
/proc/11584/task/11588/stat : 11588 (java) S 11576 11576 5127 0 -1 64 5 1716 0 0 0 0 2944 1 16 0 9 0 1999629914 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11589] ppid=11576 vsize=197432 CPUtime=29.45
/proc/11584/task/11589/stat : 11589 (java) S 11576 11576 5127 0 -1 64 1 1716 0 0 0 0 2944 1 18 0 9 0 1999629916 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11590] ppid=11576 vsize=197432 CPUtime=29.65
/proc/11584/task/11590/stat : 11590 (java) S 11576 11576 5127 0 -1 64 646 1716 0 0 20 0 2944 1 16 0 9 0 1999629916 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11591] ppid=11576 vsize=197432 CPUtime=29.45
/proc/11584/task/11591/stat : 11591 (java) S 11576 11576 5127 0 -1 64 1 1716 0 0 0 0 2944 1 19 0 9 0 1999629916 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11584/tid=11592] ppid=11576 vsize=197432 CPUtime=29.45
/proc/11584/task/11592/stat : 11592 (java) S 11576 11576 5127 0 -1 64 14 1716 0 0 0 0 2944 1 15 0 9 0 1999629916 202170368 9408 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.03
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 37.555
CPU time (s): 37.0774
CPU user time (s): 36.8524
CPU system time (s): 0.224965
CPU usage (%): 98.7282
Max. virtual memory (cumulated for all children) (KiB): 216360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.8524
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15670
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= 9564
involuntary context switches= 11655
runsolver used 0.06199 second user time and 0.158975 second system time
The end