0.00/0.00 c cpHydra_k_10 version 0.0
8.12/8.21 c CASE TO CLASSIFY:
8.12/8.21 c Case: 0
8.12/8.21 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.333300 | c 34 > 16.666700 | c 16 > 2.000000 | c 13 > 4.861740 | c 14 > 7.169930 | c 11 > 13.169900 | c 12 > 2.321680 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.569860 | c 2 > -1.000000 | c 10 > 14.476700 | 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 > 19.754900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > 13.154800 | c
8.12/8.22 c choco : 1801.0
8.12/8.22 c mistral : 1801.0
8.12/8.22 c abscon : 1801.0
8.12/8.22 c
8.12/8.22 c
8.12/8.29 c List of same ones: 10
8.12/8.29 c /home/eomahony/cpZilla/CSP/zhou/queens1.xml
8.12/8.29 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.671100 | c 34 > 16.666700 | c 16 > 2.000000 | c 13 > 4.844620 | c 14 > 5.672430 | c 11 > 13.169900 | c 12 > 2.306820 | c 21 > 9.797960 | c 20 > 100.000000 | c 22 > 9.797960 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.569860 | c 2 > -1.000000 | c 10 > 14.476700 | 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 > 19.754900 | c 31 > -1.000000 | c 4 > 0.000000 | c 9 > -1.000000 | c 8 > 13.154800 | c
8.21/8.30 c choco : 22.46
8.21/8.30 c mistral : 1.11783
8.21/8.30 c abscon : 3.40848
8.21/8.30 c
8.21/8.30 c
8.21/8.30 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml
8.21/8.30 c 19 > 0.000000 | c 35 > 20.100000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.449100 | c 34 > 10.300000 | c 16 > 3.000000 | c 13 > 7.251880 | c 14 > 5.523560 | c 11 > 8.219170 | c 12 > 7.283660 | c 21 > 9.975090 | c 20 > 100.000000 | c 22 > 10.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.636620 | c 2 > -1.000000 | c 10 > 13.302100 | 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 > 15.589400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.629360 | c
8.21/8.31 c choco : 7.48
8.21/8.31 c mistral : 1800.02
8.21/8.31 c abscon : 233.382
8.21/8.31 c
8.21/8.31 c
8.21/8.31 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml
8.21/8.31 c 19 > 0.000000 | c 35 > 20.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782800 | c 34 > 10.333300 | c 16 > 3.000000 | c 13 > 7.694210 | c 14 > 6.066090 | c 11 > 8.066090 | c 12 > 7.577090 | c 21 > 9.460590 | c 20 > 100.000000 | c 22 > 9.486830 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.483820 | c 2 > -1.000000 | c 10 > 12.999600 | 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 > 15.283100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.475730 | c
8.21/8.32 c choco : 6.42
8.21/8.32 c mistral : 1800.02
8.21/8.32 c abscon : 133.526
8.21/8.32 c
8.21/8.32 c
8.21/8.32 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml
8.21/8.32 c 19 > 0.000000 | c 35 > 20.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.037700 | c 34 > 10.375000 | c 16 > 3.000000 | c 13 > 7.676200 | c 14 > 6.954200 | c 11 > 7.894820 | c 12 > 7.527940 | c 21 > 8.916450 | c 20 > 100.000000 | c 22 > 8.944270 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.312880 | c 2 > -1.000000 | c 10 > 12.661800 | 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 > 14.940500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.303780 | c
8.21/8.33 c choco : 5.54
8.21/8.33 c mistral : 1800.04
8.21/8.33 c abscon : 78.831
8.21/8.33 c
8.21/8.33 c
8.21/8.33 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml
8.21/8.33 c 19 > 0.000000 | c 35 > 20.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.073400 | c 34 > 10.428600 | c 16 > 3.000000 | c 13 > 7.768240 | c 14 > 9.493860 | c 11 > 8.113740 | c 12 > 7.355010 | c 21 > 8.336880 | c 20 > 100.000000 | c 22 > 8.366600 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 12.279000 | 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 > 14.551500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.108520 | c
8.21/8.34 c choco : 4.77
8.21/8.34 c mistral : 1800.06
8.21/8.34 c abscon : 41.2627
8.21/8.34 c
8.21/8.34 c
8.21/8.34 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml
8.21/8.34 c 19 > 0.000000 | c 35 > 20.166700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.987900 | c 34 > 10.500000 | c 16 > 3.000000 | c 13 > 8.556550 | c 14 > 10.303800 | c 11 > 7.888740 | c 12 > 8.578890 | c 21 > 7.713900 | c 20 > 100.000000 | c 22 > 7.745970 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.894820 | c 2 > -1.000000 | c 10 > 11.837600 | 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 > 14.101900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.882640 | c
8.21/8.34 c choco : 4.06
8.21/8.35 c mistral : 1800.09
8.21/8.35 c abscon : 19.4
8.21/8.35 c
8.21/8.35 c
8.21/8.35 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml
8.21/8.35 c 19 > 0.000000 | c 35 > 20.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.610900 | c 34 > 10.600000 | c 16 > 3.000000 | c 13 > 9.356060 | c 14 > 11.174900 | c 11 > 7.622050 | c 12 > 9.409190 | c 21 > 7.035980 | c 20 > 100.000000 | c 22 > 7.071070 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.629360 | c 2 > -1.000000 | c 10 > 11.316300 | 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 > 13.569000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.614710 | c
8.21/8.35 c choco : 3.47
8.21/8.35 c mistral : 25.06
8.21/8.35 c abscon : 7.93379
8.21/8.35 c
8.21/8.35 c
8.21/8.35 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml
8.21/8.35 c 19 > 0.000000 | c 35 > 20.222200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.700700 | c 34 > 10.666700 | c 16 > 3.000000 | c 13 > 9.470560 | c 14 > 11.063400 | c 11 > 7.467610 | c 12 > 9.504530 | c 21 > 6.671250 | c 20 > 100.000000 | c 22 > 6.708200 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.475730 | c 2 > -1.000000 | c 10 > 11.015400 | 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 > 13.260500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.459430 | c
8.21/8.36 c choco : 3.28
8.21/8.36 c mistral : 1800.02
8.21/8.36 c abscon : 5.34119
8.21/8.36 c
8.21/8.36 c
8.21/8.36 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml
8.21/8.36 c 19 > 0.000000 | c 35 > 20.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.533600 | c 34 > 10.750000 | c 16 > 3.000000 | c 13 > 9.269850 | c 14 > 11.296900 | c 11 > 7.294620 | c 12 > 9.328520 | c 21 > 6.285410 | c 20 > 100.000000 | c 22 > 6.324560 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.303780 | c 2 > -1.000000 | c 10 > 10.679500 | 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 > 12.914900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.285400 | c
8.21/8.37 c choco : 2.94
8.21/8.37 c mistral : 1800.01
8.21/8.37 c abscon : 3.38349
8.21/8.37 c
8.21/8.37 c
8.21/8.37 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml
8.21/8.37 c 19 > 0.000000 | c 35 > 20.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.970600 | c 34 > 10.857100 | c 16 > 3.000000 | c 13 > 9.583130 | c 14 > 11.806500 | c 11 > 7.098030 | c 12 > 9.672770 | c 21 > 5.874290 | c 20 > 100.000000 | c 22 > 5.916080 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > 6.108520 | c 2 > -1.000000 | c 10 > 10.299200 | 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 > 12.522300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.087460 | c
8.21/8.38 c choco : 2.63
8.21/8.38 c mistral : 1800.03
8.21/8.38 c abscon : 2.32365
8.21/8.38 c
8.21/8.38 c
8.21/8.38 c Length: 10
8.21/8.38 c 1.6375374817084347 12.870815424031997 13.157374656100659 13.346389009597313 13.554955238221924 14.808881993709045 16.208365502310834 16.651634533144186 17.048568673818338 17.917767137857886
8.21/8.38 c
8.21/8.38 c 1.0 0.5917177080341801 0.5856183639912579 0.5816635976401316 0.5773612747862915 0.5527796091033887 0.5277041009980542 0.5202294271505579 0.5137135355422012 0.5
8.21/8.38 c
8.21/8.38 c solver 0
8.21/8.38 c before 0.0 seconds: {} 0
8.21/8.38 c before 18.0 seconds: {0, 6, 7, 8, 9} 3061
8.21/8.38 c before 36.0 seconds: {0, 5, 6, 7, 8, 9} 3614
8.21/8.38 c before 54.0 seconds: {0, 4, 5, 6, 7, 8, 9} 4191
8.21/8.38 c before 90.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9} 4773
8.21/8.38 c before 144.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5359
8.21/8.38 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5950
8.21/8.38 c
8.21/8.38 c solver 1
8.21/8.38 c before 0.0 seconds: {} 0
8.21/8.38 c before 18.0 seconds: {0} 1000
8.21/8.38 c before 36.0 seconds: {0, 6} 1527
8.21/8.38 c
8.21/8.38 c solver 2
8.21/8.38 c before 0.0 seconds: {} 0
8.21/8.38 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 4950
8.21/8.38 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5950
8.21/8.38 c
8.21/8.38 cTotal time: 17
8.21/8.38 c 306.0 seconds unused
8.21/8.38 c 0 c 8 c 0
8.21/8.38 c 0 c 0 c 0
8.21/8.39 c 0 c 8 c 0
8.21/8.39 c is solver0 dominated by:
8.21/8.39 c solver 1 (0 solves instances that 1 can't: true) (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)
8.21/8.39 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
8.21/8.39 c is dominated? true
8.21/8.39 c
8.21/8.39 c is solver1 dominated by:
8.21/8.39 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
8.21/8.39 c is dominated? true
8.21/8.39 c
8.21/8.39 c is solver2 dominated by:
8.21/8.39 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
8.21/8.39 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: true) (2 < 1: true)
8.21/8.39 c is dominated? false
8.21/8.39 c
8.21/8.39 c Number of non-dominated solvers: 1
8.21/8.39 c remove dominated solvers
8.21/8.39 c solver 2 is not dominated by another solver
8.21/8.39 c solver 1 is dominated by another solver
8.21/8.39 c solver 0 is dominated by another solver
8.21/8.39 c
8.21/8.39 c solver 0: 0.0
8.21/8.39 c
8.21/8.39 c solver 1: 0.0
8.21/8.39 c
8.21/8.39 c solver 2: 36.0
8.21/8.39 c
8.21/8.39 c+ 2/2 of 98
8.21/8.39 c do not run abscon
8.21/8.39 c do not run mistral
8.21/8.39 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5950
8.21/8.39 c Starting solver: HOME/cpHydra_k_10/solver/choco
8.21/8.39 c On Instance: HOME/instance-1055395-1215059486.xml
8.21/8.39 c Running for: 1800 seconds
51.27/51.50 s SATISFIABLE
51.27/51.50 v 86 49 57 70 19 9 1 3 83 27 47 56 53 55 46 51 37 52 62 59 54 67 71 26 23 38 88 95 36 58 94 90 85 96 41 16 48 34 24 91 73 92 65 93 60 50 66 64 33 77 2 10 42 75 78 61 45 84 89 68 79 87 44 13 74 40 80 22 69 14 81 6 43 29 25 35 76 8 4 11 63 17 15 20 12 7 39 21 32 30 28 18 31 72 82 5
51.27/51.50 d ASSIGNMENTS 538
51.27/51.50 c SAT 42951 TIME 538 NDS 2234 PARSTIME 4890 BUILDPB 35827 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1055395-1215059486/watcher-1055395-1215059486 -o /tmp/evaluation-result-1055395-1215059486/solver-1055395-1215059486 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1055395-1215059486.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.15 2.06 2.01 4/77 11083
/proc/meminfo: memFree=1692488/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=18572 CPUtime=0
/proc/11083/stat : 11083 (runsolver) R 11081 10560 10560 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 619166479 19017728 290 996147200 4194304 4296836 548682068496 18446744073709551615 228041227762 0 0 4096 24578 0 0 0 17 1 0 0
/proc/11083/statm: 4643 290 255 25 0 2626 0
[startup+0.0463149 s]
/proc/loadavg: 2.15 2.06 2.01 4/77 11083
/proc/meminfo: memFree=1692488/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=0
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 619166479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101323 s]
/proc/loadavg: 2.15 2.06 2.01 4/77 11083
/proc/meminfo: memFree=1692488/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=0
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 619166479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301363 s]
/proc/loadavg: 2.15 2.06 2.01 4/77 11083
/proc/meminfo: memFree=1692488/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=0
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 619166479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701442 s]
/proc/loadavg: 2.15 2.06 2.01 4/77 11083
/proc/meminfo: memFree=1692488/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=0
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 619166479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.5026 s]
/proc/loadavg: 2.15 2.06 2.01 3/79 11087
/proc/meminfo: memFree=1661624/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=0
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 619166479 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 236 195 169 0 51 0
[pid=11087] ppid=11083 vsize=38608 CPUtime=1.48
/proc/11087/stat : 11087 (xsolve) R 11083 11083 10560 0 -1 4194304 9345 0 0 0 145 3 0 0 25 0 1 0 619166480 39534592 8794 996147200 134512640 135239763 4294956176 18446744073709551615 135016495 0 0 4096 0 0 0 0 17 0 0 0
/proc/11087/statm: 9652 8794 430 177 0 8555 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43968
[startup+3.10193 s]
/proc/loadavg: 2.15 2.06 2.01 3/79 11087
/proc/meminfo: memFree=1653240/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=2.85
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 375 11813 0 0 0 0 280 5 19 0 1 0 619166479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 5360
[startup+6.30257 s]
/proc/loadavg: 2.14 2.06 2.01 3/87 11099
/proc/meminfo: memFree=1675448/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=2.85
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 375 11813 0 0 0 0 280 5 19 0 1 0 619166479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 238 196 169 0 51 0
[pid=11091] ppid=11083 vsize=197152 CPUtime=3.38
/proc/11091/stat : 11091 (java) S 11083 11083 10560 0 -1 0 8833 0 1 0 329 9 0 0 18 0 9 0 619166766 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11091/statm: 49288 7292 2540 9 0 43871 0
[pid=11091/tid=11092] ppid=11083 vsize=197152 CPUtime=2.64
/proc/11091/task/11092/stat : 11092 (java) R 11083 11083 10560 0 -1 64 3303 0 1 0 261 3 0 0 25 0 9 0 619166767 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11093] ppid=11083 vsize=197152 CPUtime=0.55
/proc/11091/task/11093/stat : 11093 (java) R 11083 11083 10560 0 -1 64 4176 0 0 0 50 5 0 0 16 0 9 0 619166769 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 103736016 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11094] ppid=11083 vsize=197152 CPUtime=0
/proc/11091/task/11094/stat : 11094 (java) S 11083 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 619166769 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11095] ppid=11083 vsize=197152 CPUtime=0
/proc/11091/task/11095/stat : 11095 (java) S 11083 11083 10560 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 619166769 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11096] ppid=11083 vsize=197152 CPUtime=0
/proc/11091/task/11096/stat : 11096 (java) S 11083 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 619166771 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11097] ppid=11083 vsize=197152 CPUtime=0.16
/proc/11091/task/11097/stat : 11097 (java) S 11083 11083 10560 0 -1 64 629 0 0 0 16 0 0 0 16 0 9 0 619166771 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11098] ppid=11083 vsize=197152 CPUtime=0
/proc/11091/task/11098/stat : 11098 (java) S 11083 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 619166771 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11099] ppid=11083 vsize=197152 CPUtime=0
/proc/11091/task/11099/stat : 11099 (java) S 11083 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 619166771 201883648 7292 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202512
[startup+12.7028 s]
/proc/loadavg: 2.29 2.09 2.02 3/98 11110
/proc/meminfo: memFree=1568224/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=2.85
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 375 11813 0 0 0 0 280 5 19 0 1 0 619166479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 238 196 169 0 51 0
[pid=11091] ppid=11083 vsize=197428 CPUtime=5.43
/proc/11091/stat : 11091 (java) S 11083 11083 10560 0 -1 0 11454 0 1 0 528 15 0 0 18 0 10 0 619166766 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11091/statm: 49357 9401 2543 9 0 43940 0
[pid=11101] ppid=11091 vsize=5356 CPUtime=0
/proc/11101/stat : 11101 (choco) S 11091 11083 10560 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 619167319 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1339 238 197 169 0 50 0
[pid=11102] ppid=11101 vsize=655508 CPUtime=4.28
/proc/11102/stat : 11102 (java) S 11101 11083 10560 0 -1 0 25959 0 1 0 416 12 0 0 20 0 9 0 619167320 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11102/statm: 163877 25525 1929 9 0 158406 0
[pid=11102/tid=11103] ppid=11101 vsize=655508 CPUtime=3.54
/proc/11102/task/11103/stat : 11103 (java) R 11101 11083 10560 0 -1 64 12076 0 1 0 347 7 0 0 25 0 9 0 619167320 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4126870144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11104] ppid=11101 vsize=655508 CPUtime=0.43
/proc/11102/task/11104/stat : 11104 (java) S 11101 11083 10560 0 -1 64 12687 0 0 0 39 4 0 0 16 0 9 0 619167322 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11105] ppid=11101 vsize=655508 CPUtime=0
/proc/11102/task/11105/stat : 11105 (java) S 11101 11083 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 619167322 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11106] ppid=11101 vsize=655508 CPUtime=0
/proc/11102/task/11106/stat : 11106 (java) S 11101 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 619167322 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11107] ppid=11101 vsize=655508 CPUtime=0
/proc/11102/task/11107/stat : 11107 (java) S 11101 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 619167324 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11108] ppid=11101 vsize=655508 CPUtime=0.28
/proc/11102/task/11108/stat : 11108 (java) S 11101 11083 10560 0 -1 64 642 0 0 0 28 0 0 0 15 0 9 0 619167324 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11109] ppid=11101 vsize=655508 CPUtime=0
/proc/11102/task/11109/stat : 11109 (java) S 11101 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 619167324 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11110] ppid=11101 vsize=655508 CPUtime=0
/proc/11102/task/11110/stat : 11110 (java) S 11101 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 619167324 671240192 25525 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11091/tid=11092] ppid=11083 vsize=197428 CPUtime=4.34
/proc/11091/task/11092/stat : 11092 (java) S 11083 11083 10560 0 -1 64 3862 0 1 0 429 5 0 0 24 0 10 0 619166767 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11091/tid=11093] ppid=11083 vsize=197428 CPUtime=0.87
/proc/11091/task/11093/stat : 11093 (java) S 11083 11083 10560 0 -1 64 6143 0 0 0 79 8 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11094] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11094/stat : 11094 (java) S 11083 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11095] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11095/stat : 11095 (java) S 11083 11083 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11096] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11096/stat : 11096 (java) S 11083 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11097] ppid=11083 vsize=197428 CPUtime=0.19
/proc/11091/task/11097/stat : 11097 (java) S 11083 11083 10560 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11098] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11098/stat : 11098 (java) S 11083 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11099] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11099/stat : 11099 (java) S 11083 11083 10560 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11100] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11100/stat : 11100 (java) S 11083 11083 10560 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 619167319 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 863652
[startup+25.5024 s]
/proc/loadavg: 2.65 2.19 2.05 3/98 11110
/proc/meminfo: memFree=1561184/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=2.85
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 375 11813 0 0 0 0 280 5 19 0 1 0 619166479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 238 196 169 0 51 0
[pid=11091] ppid=11083 vsize=197428 CPUtime=5.43
/proc/11091/stat : 11091 (java) S 11083 11083 10560 0 -1 0 11460 0 1 0 528 15 0 0 18 0 10 0 619166766 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11091/statm: 49357 9401 2543 9 0 43940 0
[pid=11101] ppid=11091 vsize=5356 CPUtime=0
/proc/11101/stat : 11101 (choco) S 11091 11083 10560 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 619167319 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1339 238 197 169 0 50 0
[pid=11102] ppid=11101 vsize=655640 CPUtime=17.08
/proc/11102/stat : 11102 (java) S 11101 11083 10560 0 -1 0 27787 0 1 0 1692 16 0 0 20 0 9 0 619167320 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11102/statm: 163910 27324 1939 9 0 158439 0
[pid=11102/tid=11103] ppid=11101 vsize=655640 CPUtime=16.03
/proc/11102/task/11103/stat : 11103 (java) R 11101 11083 10560 0 -1 64 12206 0 1 0 1594 9 0 0 25 0 9 0 619167320 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4127541776 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11104] ppid=11101 vsize=655640 CPUtime=0.58
/proc/11102/task/11104/stat : 11104 (java) S 11101 11083 10560 0 -1 64 14262 0 0 0 53 5 0 0 16 0 9 0 619167322 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11105] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11105/stat : 11105 (java) S 11101 11083 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 619167322 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11106] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11106/stat : 11106 (java) S 11101 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 619167322 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11107] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11107/stat : 11107 (java) S 11101 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 619167324 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11108] ppid=11101 vsize=655640 CPUtime=0.44
/proc/11102/task/11108/stat : 11108 (java) S 11101 11083 10560 0 -1 64 765 0 0 0 43 1 0 0 16 0 9 0 619167324 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11109] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11109/stat : 11109 (java) S 11101 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 619167324 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11110] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11110/stat : 11110 (java) S 11101 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 619167324 671375360 27324 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11091/tid=11092] ppid=11083 vsize=197428 CPUtime=4.34
/proc/11091/task/11092/stat : 11092 (java) S 11083 11083 10560 0 -1 64 3862 0 1 0 429 5 0 0 24 0 10 0 619166767 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11091/tid=11093] ppid=11083 vsize=197428 CPUtime=0.87
/proc/11091/task/11093/stat : 11093 (java) S 11083 11083 10560 0 -1 64 6143 0 0 0 79 8 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11094] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11094/stat : 11094 (java) S 11083 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11095] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11095/stat : 11095 (java) S 11083 11083 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11096] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11096/stat : 11096 (java) S 11083 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11097] ppid=11083 vsize=197428 CPUtime=0.19
/proc/11091/task/11097/stat : 11097 (java) S 11083 11083 10560 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11098] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11098/stat : 11098 (java) S 11083 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11099] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11099/stat : 11099 (java) S 11083 11083 10560 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11100] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11100/stat : 11100 (java) S 11083 11083 10560 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 619167319 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 863784
[startup+51.1024 s]
/proc/loadavg: 2.61 2.22 2.07 3/98 11110
/proc/meminfo: memFree=1561696/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=2.85
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 375 11813 0 0 0 0 280 5 19 0 1 0 619166479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 238 196 169 0 51 0
[pid=11091] ppid=11083 vsize=197428 CPUtime=5.43
/proc/11091/stat : 11091 (java) S 11083 11083 10560 0 -1 0 11460 0 1 0 528 15 0 0 18 0 10 0 619166766 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11091/statm: 49357 9401 2543 9 0 43940 0
[pid=11101] ppid=11091 vsize=5356 CPUtime=0
/proc/11101/stat : 11101 (choco) S 11091 11083 10560 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 619167319 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1339 238 197 169 0 50 0
[pid=11102] ppid=11101 vsize=655640 CPUtime=42.65
/proc/11102/stat : 11102 (java) S 11101 11083 10560 0 -1 0 27799 0 1 0 4247 18 0 0 20 0 9 0 619167320 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11102/statm: 163910 27333 1939 9 0 158439 0
[pid=11102/tid=11103] ppid=11101 vsize=655640 CPUtime=41.59
/proc/11102/task/11103/stat : 11103 (java) R 11101 11083 10560 0 -1 64 12211 0 1 0 4148 11 0 0 25 0 9 0 619167320 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11104] ppid=11101 vsize=655640 CPUtime=0.58
/proc/11102/task/11104/stat : 11104 (java) S 11101 11083 10560 0 -1 64 14262 0 0 0 53 5 0 0 17 0 9 0 619167322 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11105] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11105/stat : 11105 (java) S 11101 11083 10560 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 619167322 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11106] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11106/stat : 11106 (java) S 11101 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 619167322 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11107] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11107/stat : 11107 (java) S 11101 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 619167324 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11108] ppid=11101 vsize=655640 CPUtime=0.45
/proc/11102/task/11108/stat : 11108 (java) S 11101 11083 10560 0 -1 64 772 0 0 0 44 1 0 0 15 0 9 0 619167324 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11109] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11109/stat : 11109 (java) S 11101 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 619167324 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11102/tid=11110] ppid=11101 vsize=655640 CPUtime=0
/proc/11102/task/11110/stat : 11110 (java) S 11101 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 619167324 671375360 27333 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=11091/tid=11092] ppid=11083 vsize=197428 CPUtime=4.34
/proc/11091/task/11092/stat : 11092 (java) S 11083 11083 10560 0 -1 64 3862 0 1 0 429 5 0 0 24 0 10 0 619166767 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11091/tid=11093] ppid=11083 vsize=197428 CPUtime=0.87
/proc/11091/task/11093/stat : 11093 (java) S 11083 11083 10560 0 -1 64 6143 0 0 0 79 8 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11094] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11094/stat : 11094 (java) S 11083 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11095] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11095/stat : 11095 (java) S 11083 11083 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11096] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11096/stat : 11096 (java) S 11083 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11097] ppid=11083 vsize=197428 CPUtime=0.19
/proc/11091/task/11097/stat : 11097 (java) S 11083 11083 10560 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11098] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11098/stat : 11098 (java) S 11083 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11099] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11099/stat : 11099 (java) S 11083 11083 10560 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11100] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11100/stat : 11100 (java) S 11083 11083 10560 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 619167319 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 863784
Solver just ended. Dumping a history of the last processes samples
[startup+51.5025 s]
/proc/loadavg: 2.61 2.22 2.07 3/98 11110
/proc/meminfo: memFree=1561696/2055920 swapFree=4165996/4192956
[pid=11083] ppid=11081 vsize=5360 CPUtime=2.85
/proc/11083/stat : 11083 (hydra) S 11081 11083 10560 0 -1 4194304 375 11813 0 0 0 0 280 5 19 0 1 0 619166479 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/11083/statm: 1340 238 196 169 0 51 0
[pid=11091] ppid=11083 vsize=197428 CPUtime=5.43
/proc/11091/stat : 11091 (java) S 11083 11083 10560 0 -1 0 11465 0 1 0 528 15 0 0 18 0 10 0 619166766 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/11091/statm: 49357 9401 2543 9 0 43940 0
[pid=11101] ppid=11091 vsize=5356 CPUtime=0
/proc/11101/stat : 11101 (choco) S 11091 11083 10560 0 -1 4194304 293 0 0 0 0 0 0 0 18 0 1 0 619167319 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/11101/statm: 1339 238 197 169 0 50 0
[pid=11102] ppid=11101 vsize=0 CPUtime=42.99
/proc/11102/stat : 11102 (java) Z 11101 11083 10560 0 -1 12 27815 0 1 0 4280 19 0 0 16 0 2 0 619167320 0 0 996147200 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/11102/statm: 0 0 0 0 0 0 0
[pid=11091/tid=11092] ppid=11083 vsize=197428 CPUtime=4.34
/proc/11091/task/11092/stat : 11092 (java) S 11083 11083 10560 0 -1 64 3867 0 1 0 429 5 0 0 16 0 10 0 619166767 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=11091/tid=11093] ppid=11083 vsize=197428 CPUtime=0.87
/proc/11091/task/11093/stat : 11093 (java) S 11083 11083 10560 0 -1 64 6143 0 0 0 79 8 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11094] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11094/stat : 11094 (java) S 11083 11083 10560 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11095] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11095/stat : 11095 (java) S 11083 11083 10560 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 619166769 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11096] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11096/stat : 11096 (java) S 11083 11083 10560 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11097] ppid=11083 vsize=197428 CPUtime=0.19
/proc/11091/task/11097/stat : 11097 (java) S 11083 11083 10560 0 -1 64 646 0 0 0 19 0 0 0 16 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11098] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11098/stat : 11098 (java) S 11083 11083 10560 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11099] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11099/stat : 11099 (java) S 11083 11083 10560 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 619166771 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=11091/tid=11100] ppid=11083 vsize=197428 CPUtime=0
/proc/11091/task/11100/stat : 11100 (java) S 11083 11083 10560 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 619167319 202166272 9401 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.27
Current children cumulated vsize (KiB) 208144
Child status: 0
Real time (s): 51.5385
CPU time (s): 51.3292
CPU user time (s): 50.9023
CPU system time (s): 0.426935
CPU usage (%): 99.594
Max. virtual memory (cumulated for all children) (KiB): 863784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.9023
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51874
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13273
involuntary context switches= 13983
runsolver used 0.429934 second user time and 0.197969 second system time
The end