2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: AbsCon-basic 2017-06-11	SAT (TO)	7640304	2400.08	2379.43

0.28/0.27	
0.28/0.27	AbsCon 2 
0.28/0.27	
3.59/2.09	  Solving XCSP3-instance-4245657-1500701578 as a COP in -infty..+infty
3.59/2.09	  Loading variables...
4.06/2.24	  Loading constraints...
24.68/7.42	  Solver SolverBacktrack being built...
24.68/7.42	
25.07/7.64	  Preprocessing : gac=true, ccks=0, filters=0, revisions=0 (useless=0), AC=0, removals=0, inconsistent=false
25.07/7.64	
27.44/9.29	o 7798860
30.90/11.97	o 7706128
72.34/52.79	o 7699440
295.19/275.39	o 7699178
333.55/313.62	o 7655876
804.48/784.39	o 7640304
2400.05/2379.41	
2400.05/2379.41	v <instantiation id='sol6' type='solution' cost='7640304'>  <list> x[] d[][] </list>  <values> 9 45 53 10 52 2 31 56 51 28 38 66 22 50 20 42 70 0 59 24 5 40 58 69 60 43 33 23 61 36 39 32 3 74 41 27 11 15 64 4 16 54 65 29 55 21 6 17 1 8 46 71 77 13 44 78 30 47 76 79 57 68 26 48 37 62 18 14 67 63 49 73 25 35 72 75 34 12 7 19 * 41 46 23 5 68 76 8 13 8 39 96 33 61 98 19 28 4 73 31 46 55 33 83 0 32 80 77 16 20 68 56 6 89 71 78 3 69 44 74 29 97 55 78 61 94 53 61 51 95 94 22 84 12 87 * 50 21 99 30 92 94 71 21 57 73 34 98 67 74 20 55 54 26 78 11 72 30 81 53 * * 77 63 76 27 3 59 * 22 91 68 89 12 81 47 0 21 72 79 43 69 13 89 71 53 26 99 28 45 45 84 62 87 39 27 19 81 75 37 56 5 41 92 55 22 22 44 10 78 62 78 50 15 51 28 90 59 21 19 92 1 38 29 88 72 23 47 96 4 65 21 84 62 21 38 65 98 13 30 * * * 78 13 3 42 35 55 35 54 26 97 59 1 21 17 8 42 25 42 32 37 67 49 31 48 * 15 78 71 24 43 84 85 83 53 34 35 1 74 37 74 51 50 91 85 84 2 35 58 17 58 84 73 4 27 73 91 47 31 5 17 86 26 20 * 47 89 41 82 8 63 6 67 80 49 16 55 75 * * * * 10 78 99 0 63 63 30 49 99 55 28 41 13 63 30 69 62 66 62 88 76 3 29 54 0 28 88 40 0 98 9 49 90 66 73 49 59 17 38 23 90 68 48 93 3 55 61 71 10 80 4 84 33 87 52 70 66 86 1 34 44 91 79 20 85 62 28 75 99 95 46 53 60 87 17 80 * * * * * 35 40 54 57 33 62 92 11 15 69 31 67 71 84 38 58 20 77 81 78 21 44 17 78 9 55 36 2 37 76 57 19 93 77 80 93 32 72 77 51 12 6 5 56 93 90 94 98 10 16 80 37 29 72 3 44 93 66 92 91 56 43 85 99 49 10 32 45 43 44 31 46 43 76 54 * * * * * * 34 51 44 19 7 68 53 82 56 58 90 95 39 50 40 46 91 21 87 17 40 77 72 85 49 53 75 30 87 55 91 85 7 76 84 62 87 * 8 39 66 8 21 30 21 45 33 59 68 35 52 6 97 61 1 3 58 67 72 45 38 49 33 96 26 25 30 12 47 43 69 13 58 41 * * * * * * * 79 10 88 42 89 79 12 9 67 89 69 72 13 1 70 23 30 37 2 79 32 81 76 66 95 76 78 91 78 95 56 25 93 60 93 5 99 69 47 45 0 26 46 71 29 9 51 98 16 10 61 99 22 12 70 87 74 25 82 36 3 67 87 87 20 64 91 68 45 8 66 83 72 * * * * * * * * 79 88 70 42 61 50 28 87 15 30 14 28 27 46 75 64 16 13 3 62 31 87 89 11 49 54 48 94 * 69 80 21 10 23 74 18 88 45 90 64 74 54 96 16 38 0 2 0 24 19 27 28 35 54 31 62 99 8 61 98 92 16 65 45 76 66 42 25 13 52 74 19 * * * * * * * * * 6 13 81 63 67 21 21 88 6 57 27 71 75 64 70 * 44 58 22 90 97 89 25 2 71 85 27 63 59 84 84 45 39 70 64 16 91 99 74 4 60 5 52 46 14 0 11 3 88 49 92 77 86 2 18 42 78 33 31 23 66 71 19 89 6 27 69 10 83 22 82 * * * * * * * * * * 12 48 1 85 71 98 90 35 76 35 69 31 58 77 98 45 49 56 28 52 7 14 62 55 31 56 11 1 25 37 25 48 18 41 59 37 20 96 36 9 87 23 11 62 59 57 79 * 66 69 25 78 48 36 55 46 63 52 95 79 26 85 69 89 9 54 72 89 40 21 * * * * * * * * * * * 96 72 90 6 * 44 76 11 33 45 84 95 57 98 79 3 20 56 4 75 45 77 27 58 5 44 6 17 1 95 87 47 58 28 10 83 94 77 6 85 25 22 27 73 74 24 21 68 21 81 18 87 26 57 46 51 92 14 69 17 97 31 21 29 86 3 71 42 66 * * * * * * * * * * * * 40 2 66 72 96 36 73 34 67 39 39 85 83 97 10 88 94 9 56 32 75 77 62 28 27 31 45 82 18 61 60 7 65 37 34 60 14 54 48 26 13 39 97 54 57 77 22 99 87 31 56 18 32 97 33 61 47 54 36 77 56 77 57 46 20 26 42 21 * * * * * * * * * * * * * 14 90 24 81 84 39 84 94 95 9 55 56 17 22 22 76 94 38 70 67 33 93 6 85 71 93 35 93 6 47 19 94 28 76 7 40 59 99 58 3 56 85 80 72 17 48 43 32 3 73 85 2 48 10 53 55 9 78 44 57 5 29 30 19 78 20 46 * * * * * * * * * * * * * * 76 5 25 82 41 10 22 80 84 50 24 97 11 3 32 57 7 29 36 22 84 21 23 18 43 66 15 62 46 53 96 77 75 32 60 19 9 36 66 24 98 51 75 97 92 51 53 46 48 73 8 64 80 6 10 8 40 12 59 12 22 92 91 60 30 33 * * * * * * * * * * * * * * * 29 64 1 22 2 62 18 80 89 18 45 53 9 89 33 9 29 3 46 80 54 79 7 13 98 56 24 99 49 22 0 51 29 45 53 2 80 31 63 9 52 19 97 52 22 47 67 37 39 12 97 27 93 27 52 92 34 79 79 50 18 17 63 3 42 * * * * * * * * * * * * * * * * 91 36 15 27 79 5 25 2 35 80 31 60 56 27 48 19 86 98 22 46 55 86 69 94 90 21 54 39 3 85 8 25 94 81 25 43 54 92 59 67 84 60 96 79 72 21 41 37 1 91 5 8 69 15 17 35 29 89 24 4 90 31 16 42 * * * * * * * * * * * * * * * * * 1 3 17 71 26 3 60 80 25 92 22 72 17 46 62 92 26 80 34 * 56 26 93 20 88 29 21 76 50 24 55 22 8 3 55 90 89 3 85 74 51 67 76 92 52 7 84 70 16 45 45 64 10 89 21 92 28 63 17 75 26 60 97 * * * * * * * * * * * * * * * * * * 76 0 41 18 76 2 40 61 86 12 93 59 39 56 82 11 57 11 6 79 50 56 0 77 4 82 74 85 6 89 21 10 71 15 61 40 36 80 26 11 21 58 89 85 91 29 18 56 35 75 27 1 82 35 26 91 11 20 45 44 25 9 * * * * * * * * * * * * * * * * * * * 32 64 22 13 51 73 16 71 61 42 9 60 45 34 99 40 94 86 94 82 7 80 31 27 40 47 25 70 35 20 39 12 84 18 2 91 73 48 44 69 61 23 85 73 94 * 9 4 0 9 54 54 5 44 32 48 29 45 17 2 63 * * * * * * * * * * * * * * * * * * * * 63 21 91 7 30 9 61 88 55 65 92 71 15 40 34 42 54 18 57 96 37 59 9 90 44 91 47 64 83 50 33 85 81 10 26 85 0 1 91 74 72 18 24 22 78 30 55 39 94 3 2 38 44 68 28 29 67 32 35 12 * * * * * * * * * * * * * * * * * * * * * 96 28 1 98 75 32 92 69 99 18 44 36 67 82 22 12 1 35 71 22 91 41 70 56 49 72 49 44 97 26 72 10 63 83 46 18 81 24 56 56 33 45 39 34 69 24 70 12 93 66 86 13 72 26 67 3 91 59 58 * * * * * * * * * * * * * * * * * * * * * * 89 51 98 26 29 75 78 28 * 13 26 54 20 3 58 30 81 93 94 30 17 4 21 1 25 4 87 95 22 96 21 61 19 79 95 90 93 44 25 49 57 1 58 50 28 94 58 90 67 22 56 27 28 83 38 53 33 50 * * * * * * * * * * * * * * * * * * * * * * * 52 30 80 92 28 90 17 46 17 5 66 30 97 60 24 25 65 54 90 76 86 4 45 79 38 13 12 71 0 36 67 18 13 91 0 61 54 48 52 61 26 83 70 15 86 89 4 68 51 40 97 28 1 80 12 96 42 * * * * * * * * * * * * * * * * * * * * * * * * 0 76 81 1 78 41 70 1 7 33 2 60 84 23 8 40 82 52 91 27 64 6 67 5 59 84 57 22 57 9 86 20 64 73 27 81 6 89 71 78 32 4 91 17 54 2 61 3 4 56 45 26 17 53 30 63 * * * * * * * * * * * * * * * * * * * * * * * * * 74 44 33 84 50 17 19 53 55 91 66 14 53 65 17 88 71 23 55 15 58 28 29 86 33 52 38 53 5 92 48 55 48 9 68 47 19 6 68 84 14 33 93 37 92 24 96 32 97 87 99 25 13 13 79 * * * * * * * * * * * * * * * * * * * * * * * * * * 50 10 72 38 73 88 60 32 62 91 84 73 85 19 49 50 11 58 91 13 46 64 79 91 36 23 75 25 51 23 18 27 81 24 69 85 21 75 35 84 73 64 74 18 81 18 2 54 77 32 93 36 69 40 * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 4 41 70 83 82 28 13 81 67 1 16 2 57 15 78 16 48 80 15 94 76 53 98 45 22 80 30 0 91 38 86 55 92 88 94 84 65 98 74 9 15 93 65 38 32 7 61 94 35 97 27 9 * * * * * * * * * * * * * * * * * * * * * * * * * * * * 21 32 61 76 39 88 46 27 31 36 73 9 60 2 89 4 29 21 71 30 54 43 62 41 30 * 38 9 86 70 68 60 69 26 17 30 41 55 78 34 42 27 49 1 43 55 66 78 41 3 68 71 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 15 52 96 25 44 5 52 66 31 51 13 80 90 78 35 7 19 11 4 54 30 58 17 98 63 49 9 8 3 9 84 94 19 79 83 11 66 53 58 92 15 70 10 63 * 94 67 35 4 10 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 91 17 15 89 21 85 93 67 20 90 41 93 14 10 1 98 57 97 29 30 17 35 0 3 30 42 * 93 2 81 16 46 40 57 38 * 65 26 85 13 85 44 70 31 1 5 67 42 34 64 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 3 44 80 66 62 68 46 12 68 15 60 67 30 33 49 61 42 32 13 13 65 10 * 17 58 27 * 29 92 31 24 97 81 75 84 27 8 23 98 66 63 89 81 28 81 60 71 26 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 66 28 3 62 37 81 75 39 51 95 95 83 48 61 56 60 87 68 57 62 41 53 * 80 36 93 19 94 58 44 79 76 66 44 5 80 9 92 49 28 29 86 82 94 46 * 82 84 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 97 76 23 0 29 28 42 94 65 31 62 37 51 43 82 76 84 83 69 50 62 62 82 28 91 * 93 61 95 42 57 17 82 29 59 1 48 62 32 66 35 62 5 98 48 7 3 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 53 85 67 62 34 99 62 97 81 64 35 52 61 0 62 37 39 55 37 1 99 96 57 1 83 90 62 47 95 99 36 45 59 42 36 26 75 79 65 15 50 27 49 3 16 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 26 98 0 17 7 12 31 48 4 44 47 41 30 67 76 50 40 4 27 95 91 51 99 64 55 1 69 26 19 10 40 85 75 95 14 82 64 49 70 20 47 24 87 23 37 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 81 28 99 37 76 30 83 80 60 75 71 7 77 43 73 76 40 75 49 70 28 21 76 43 44 26 12 58 26 36 31 18 2 21 3 87 19 13 64 98 80 18 48 81 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 59 5 50 48 20 37 56 47 4 74 85 48 53 46 1 64 8 76 81 38 89 24 12 66 88 75 89 53 27 29 52 53 * 5 18 95 88 26 59 54 44 58 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 98 51 79 92 30 24 82 26 64 24 41 86 68 15 5 55 15 20 68 36 63 27 3 74 16 12 44 98 41 99 41 6 65 91 57 22 63 10 54 64 17 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 65 54 93 2 8 24 4 85 89 4 90 30 11 81 23 * 76 46 * 19 54 43 21 15 45 19 84 94 17 7 29 23 25 3 63 14 93 17 48 87 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 70 55 27 67 9 60 35 * * 20 0 27 26 79 54 1 93 20 31 87 12 71 21 12 26 84 26 19 71 87 11 92 70 26 93 39 52 37 14 79 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 72 6 39 89 97 20 15 43 75 33 31 12 82 33 62 39 70 52 81 55 41 48 82 62 15 7 81 11 84 77 44 34 20 5 79 18 57 75 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 75 36 82 56 65 4 60 47 90 49 36 56 18 42 3 81 10 89 87 73 49 77 2 22 80 96 72 33 88 37 45 73 37 74 77 91 56 75 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 8 60 6 21 79 48 88 69 34 22 88 79 13 99 51 23 13 17 7 32 84 19 87 82 23 91 27 23 40 75 86 40 25 54 59 29 13 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 52 35 81 98 53 22 11 50 43 33 31 12 81 53 96 60 53 72 71 97 67 74 37 4 88 23 56 48 69 23 1 93 40 50 10 54 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 35 47 44 72 69 24 85 49 83 1 74 80 72 23 73 48 96 90 23 74 5 98 5 63 37 87 23 75 14 30 96 4 96 91 54 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 74 65 34 65 87 91 11 41 86 47 61 72 11 31 57 49 42 11 86 80 47 69 58 33 85 9 75 63 20 34 2 43 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 38 85 69 33 94 68 94 52 65 99 68 49 66 24 20 9 52 84 87 12 29 12 80 28 64 47 64 10 92 99 43 56 99 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 83 43 74 9 54 28 12 81 47 96 23 58 68 12 13 54 20 39 47 62 83 69 44 88 45 6 49 * 53 79 37 55 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 90 99 57 62 90 2 46 37 56 41 25 46 44 71 70 11 77 96 66 89 15 99 6 14 13 63 62 91 29 94 74 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 90 29 48 22 37 22 64 64 74 85 87 82 62 49 92 12 40 44 46 10 46 92 58 30 10 62 8 62 28 36 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 20 57 9 63 76 69 14 96 64 62 94 82 31 9 29 44 68 10 69 80 17 34 46 87 69 25 38 35 12 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 85 96 86 22 13 24 17 20 1 28 70 93 32 18 83 51 51 89 63 19 98 * 20 36 24 37 81 32 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 1 75 66 84 58 20 43 59 18 23 47 8 73 88 99 50 3 48 5 40 38 32 41 77 55 37 89 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 2 8 68 30 0 84 16 13 1 0 32 73 79 * 46 47 97 66 34 40 30 2 84 72 90 62 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 5 12 69 67 69 66 51 39 29 53 48 73 5 52 61 13 26 96 99 30 12 99 97 6 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 7 66 85 82 88 10 35 27 73 35 31 87 10 33 17 41 18 76 20 30 36 48 26 9 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 61 14 30 14 84 15 57 17 62 68 95 83 70 4 * 43 66 17 86 83 69 42 1 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 87 71 22 44 68 60 87 63 0 78 53 38 99 56 64 60 56 63 33 97 80 34 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 79 21 32 70 53 57 78 25 81 54 26 3 86 25 32 8 15 87 25 30 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 50 50 39 17 29 56 3 34 96 45 28 71 53 24 23 16 15 63 88 89 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 53 39 41 63 58 46 44 2 11 96 79 52 69 32 0 46 48 82 67 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 79 45 41 63 24 35 22 49 47 32 92 8 85 74 5 43 3 40 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 68 31 45 49 86 26 13 12 96 18 97 35 30 1 2 23 15 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 21 52 39 8 81 96 10 31 67 18 25 71 46 26 40 27 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 12 82 36 74 84 30 41 76 46 48 6 91 28 50 8 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 16 16 64 26 57 6 72 78 82 3 7 4 79 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 58 12 77 53 44 72 57 85 51 74 23 2 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 80 87 40 54 8 5 26 57 3 32 70 49 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 86 * 45 78 94 44 87 19 30 56 48 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 42 91 35 27 11 74 14 * 35 93 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 6 33 97 2 32 98 31 55 29 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 9 73 80 8 77 35 42 94 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 25 29 98 33 3 60 80 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 54 85 91 81 15 21 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 55 15 93 37 73 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 23 33 17 2 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 52 49 35 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 99 56 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 37 * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * </values>  </instantiation>
2400.05/2379.41	s SATISFIABLE

Verifier Data

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245657-1500701578/watcher-4245657-1500701578 -o /tmp/evaluation-result-4245657-1500701578/solver-4245657-1500701578 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500696776-19900 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245657-1500701578.xml 

pid=21239
running on 8 cores: 0-3,8-11

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.25 2.09 2.11 3/266 21242
/proc/meminfo: memFree=31599956/32770624 swapFree=5932/278600
[pid=21242] ppid=21239 vsize=361196 CPUtime=0 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 1722 0 0 0 0 0 0 0 20 0 2 0 5424977 369864704 1423 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 90299 1488 1135 1 0 79210 0
[pid=21242/tid=21243] ppid=21239 vsize=8339376 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) R 21239 21242 18810 0 -1 4202560 516 0 0 0 0 0 0 0 20 0 2 0 5424977 8539521024 1537 33554432000 4194304 4196468 140721002366736 140160589855136 140160577902496 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0

[startup+0.100061 s]
/proc/loadavg: 2.25 2.09 2.11 3/266 21242
/proc/meminfo: memFree=31599956/32770624 swapFree=5932/278600
[pid=21242] ppid=21239 vsize=10900580 CPUtime=0.1 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 5172 0 0 0 9 1 0 0 20 0 20 0 5424977 11162193920 6267 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2725145 6267 2624 1 0 2713552 0
[pid=21242/tid=21243] ppid=21239 vsize=10900580 CPUtime=0.08 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) R 21239 21242 18810 0 -1 4202560 3263 0 0 0 7 1 0 0 20 0 20 0 5424977 11162193920 6267 33554432000 4194304 4196468 140721002366736 140160589855328 140160473259894 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580

[startup+0.200392 s]
/proc/loadavg: 2.25 2.09 2.11 3/266 21242
/proc/meminfo: memFree=31599956/32770624 swapFree=5932/278600
[pid=21242] ppid=21239 vsize=10900580 CPUtime=0.28 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 7934 0 0 0 26 2 0 0 20 0 20 0 5424977 11162193920 8766 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2725145 8766 2913 1 0 2713552 0
[pid=21242/tid=21243] ppid=21239 vsize=10900580 CPUtime=0.18 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) R 21239 21242 18810 0 -1 4202560 5005 0 0 0 17 1 0 0 20 0 20 0 5424977 11162193920 8766 33554432000 4194304 4196468 140721002366736 140160589845024 140160221643591 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580

[startup+0.300376 s]
/proc/loadavg: 2.25 2.09 2.11 3/266 21242
/proc/meminfo: memFree=31599956/32770624 swapFree=5932/278600
[pid=21242] ppid=21239 vsize=10969228 CPUtime=0.49 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 8774 0 0 0 46 3 0 0 20 0 21 0 5424977 11232489472 13183 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2742315 13183 3023 1 0 2730201 0
[pid=21242/tid=21243] ppid=21239 vsize=10969228 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11232489472 13183 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10969228

[startup+0.700205 s]
/proc/loadavg: 2.25 2.09 2.11 3/266 21242
/proc/meminfo: memFree=31599956/32770624 swapFree=5932/278600
[pid=21242] ppid=21239 vsize=10971352 CPUtime=1.77 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 13416 0 0 0 172 5 0 0 20 0 21 0 5424977 11234664448 26326 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2742838 26326 3109 1 0 2730705 0
[pid=21242/tid=21243] ppid=21239 vsize=10971352 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11234664448 26326 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 10971352

[startup+1.50077 s]
/proc/loadavg: 2.23 2.09 2.11 3/287 21263
/proc/meminfo: memFree=31494812/32770624 swapFree=5932/278428
[pid=21242] ppid=21239 vsize=10971352 CPUtime=3.06 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 14358 0 0 0 301 5 0 0 20 0 21 0 5424977 11234664448 30142 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2742838 30142 3113 1 0 2730705 0
[pid=21242/tid=21243] ppid=21239 vsize=10971352 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21245] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21245/stat : 21245 (java) S 21239 21242 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160555326352 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21246] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21246/stat : 21246 (java) S 21239 21242 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160191040272 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21247] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21247/stat : 21247 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160189987984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21248] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21248/stat : 21248 (java) S 21239 21242 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160188935184 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21249] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21249/stat : 21249 (java) S 21239 21242 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160187881872 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21250] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21250/stat : 21250 (java) S 21239 21242 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160186829072 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21251] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21251/stat : 21251 (java) S 21239 21242 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160185776784 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21252] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21252/stat : 21252 (java) S 21239 21242 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5424978 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160184723984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21253] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21253/stat : 21253 (java) S 21239 21242 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5424980 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160060525168 140160585624194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21254] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21254/stat : 21254 (java) S 21239 21242 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5424981 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160059471136 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21255] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21255/stat : 21255 (java) S 21239 21242 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 5424981 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160058418800 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21256] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21256/stat : 21256 (java) S 21239 21242 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5424985 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160057367120 140160585631643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21257] ppid=21239 vsize=10971352 CPUtime=0.34 cores=0-3,8-11
/proc/21242/task/21257/stat : 21257 (java) S 21239 21242 18810 0 -1 1077944384 1351 0 0 0 34 0 0 0 20 0 21 0 5424985 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160056313968 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21258] ppid=21239 vsize=10971352 CPUtime=0.46 cores=0-3,8-11
/proc/21242/task/21258/stat : 21258 (java) S 21239 21242 18810 0 -1 1077944384 1854 0 0 0 46 0 0 0 20 0 21 0 5424985 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160055261168 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21259] ppid=21239 vsize=10971352 CPUtime=0.35 cores=0-3,8-11
/proc/21242/task/21259/stat : 21259 (java) S 21239 21242 18810 0 -1 1077944384 910 0 0 0 35 0 0 0 20 0 21 0 5424985 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160054208880 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21260] ppid=21239 vsize=10971352 CPUtime=0.39 cores=0-3,8-11
/proc/21242/task/21260/stat : 21260 (java) S 21239 21242 18810 0 -1 1077944384 1929 0 0 0 39 0 0 0 20 0 21 0 5424985 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160053156080 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21261] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21261/stat : 21261 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424986 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160052104032 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21262] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21262/stat : 21262 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424986 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160051051312 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21263] ppid=21239 vsize=10971352 CPUtime=1.22 cores=0-3,8-11
/proc/21242/task/21263/stat : 21263 (java) R 21239 21242 18810 0 -1 4202560 1646 0 0 0 121 1 0 0 20 0 21 0 5425004 11234664448 30142 33554432000 4194304 4196468 140721002366736 140160047858264 140160568021137 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10971352

[startup+3.10086 s]
/proc/loadavg: 2.23 2.09 2.11 7/287 21263
/proc/meminfo: memFree=31474768/32770624 swapFree=5932/278428
[pid=21242] ppid=21239 vsize=10971352 CPUtime=6.87 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 22776 0 0 0 562 125 0 0 20 0 21 0 5424977 11234664448 98645 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2742838 98645 3158 1 0 2730705 0
[pid=21242/tid=21243] ppid=21239 vsize=10971352 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21245] ppid=21239 vsize=10971352 CPUtime=0.19 cores=0-3,8-11
/proc/21242/task/21245/stat : 21245 (java) S 21239 21242 18810 0 -1 1077944384 166 0 0 0 6 13 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160555326352 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21246] ppid=21239 vsize=10971352 CPUtime=0.2 cores=0-3,8-11
/proc/21242/task/21246/stat : 21246 (java) S 21239 21242 18810 0 -1 1077944384 170 0 0 0 6 14 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160191040272 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21247] ppid=21239 vsize=10971352 CPUtime=0.2 cores=0-3,8-11
/proc/21242/task/21247/stat : 21247 (java) S 21239 21242 18810 0 -1 1077944384 186 0 0 0 6 14 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160189987984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21248] ppid=21239 vsize=10971352 CPUtime=0.21 cores=0-3,8-11
/proc/21242/task/21248/stat : 21248 (java) S 21239 21242 18810 0 -1 1077944384 189 0 0 0 6 15 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160188935184 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21249] ppid=21239 vsize=10971352 CPUtime=0.2 cores=0-3,8-11
/proc/21242/task/21249/stat : 21249 (java) S 21239 21242 18810 0 -1 1077944384 167 0 0 0 6 14 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160187881872 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21250] ppid=21239 vsize=10971352 CPUtime=0.2 cores=0-3,8-11
/proc/21242/task/21250/stat : 21250 (java) S 21239 21242 18810 0 -1 1077944384 216 0 0 0 6 14 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160186829072 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21251] ppid=21239 vsize=10971352 CPUtime=0.2 cores=0-3,8-11
/proc/21242/task/21251/stat : 21251 (java) S 21239 21242 18810 0 -1 1077944384 303 0 0 0 6 14 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160185776784 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21252] ppid=21239 vsize=10971352 CPUtime=0.21 cores=0-3,8-11
/proc/21242/task/21252/stat : 21252 (java) S 21239 21242 18810 0 -1 1077944384 638 0 0 0 6 15 0 0 20 0 21 0 5424978 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160184723984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21253] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21253/stat : 21253 (java) S 21239 21242 18810 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 21 0 5424980 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160060525168 140160585624194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21254] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21254/stat : 21254 (java) S 21239 21242 18810 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 21 0 5424981 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160059471136 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21255] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21255/stat : 21255 (java) S 21239 21242 18810 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 5424981 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160058418800 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21256] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21256/stat : 21256 (java) S 21239 21242 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5424985 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160057367120 140160585631643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21257] ppid=21239 vsize=10971352 CPUtime=0.48 cores=0-3,8-11
/proc/21242/task/21257/stat : 21257 (java) S 21239 21242 18810 0 -1 1077944384 2016 0 0 0 48 0 0 0 20 0 21 0 5424985 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160056313968 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21258] ppid=21239 vsize=10971352 CPUtime=0.66 cores=0-3,8-11
/proc/21242/task/21258/stat : 21258 (java) S 21239 21242 18810 0 -1 1077944384 2910 0 0 0 66 0 0 0 20 0 21 0 5424985 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160055261168 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21259] ppid=21239 vsize=10971352 CPUtime=0.51 cores=0-3,8-11
/proc/21242/task/21259/stat : 21259 (java) S 21239 21242 18810 0 -1 1077944384 1566 0 0 0 51 0 0 0 20 0 21 0 5424985 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160054208880 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21260] ppid=21239 vsize=10971352 CPUtime=0.62 cores=0-3,8-11
/proc/21242/task/21260/stat : 21260 (java) S 21239 21242 18810 0 -1 1077944384 3419 0 0 0 62 0 0 0 20 0 21 0 5424985 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160053156080 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21261] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21261/stat : 21261 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424986 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160052104032 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21262] ppid=21239 vsize=10971352 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21262/stat : 21262 (java) S 21239 21242 18810 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 21 0 5424986 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160051051312 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21263] ppid=21239 vsize=10971352 CPUtime=2.59 cores=0-3,8-11
/proc/21242/task/21263/stat : 21263 (java) R 21239 21242 18810 0 -1 4202560 3940 0 0 0 256 3 0 0 20 0 21 0 5425004 11234664448 98645 33554432000 4194304 4196468 140721002366736 140160047855720 140160222733887 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 6.87
Current children cumulated vsize (KiB) 10971352

[startup+6.30084 s]
/proc/loadavg: 2.23 2.09 2.11 5/287 21263
/proc/meminfo: memFree=30511124/32770624 swapFree=5932/278440
[pid=21242] ppid=21239 vsize=10973400 CPUtime=17.11 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 41690 0 0 0 1228 483 0 0 20 0 21 0 5424977 11236761600 340194 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2743350 340194 3178 1 0 2731217 0
[pid=21242/tid=21243] ppid=21239 vsize=10973400 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21245] ppid=21239 vsize=10973400 CPUtime=1.09 cores=0-3,8-11
/proc/21242/task/21245/stat : 21245 (java) R 21239 21242 18810 0 -1 4202560 2128 0 0 0 52 57 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160555326552 140160570640921 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21246] ppid=21239 vsize=10973400 CPUtime=1.08 cores=0-3,8-11
/proc/21242/task/21246/stat : 21246 (java) R 21239 21242 18810 0 -1 4202560 2175 0 0 0 52 56 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160191040472 140160570640921 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21247] ppid=21239 vsize=10973400 CPUtime=1.1 cores=0-3,8-11
/proc/21242/task/21247/stat : 21247 (java) R 21239 21242 18810 0 -1 4202560 2033 0 0 0 51 59 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160189987872 140160570640921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21248] ppid=21239 vsize=10973400 CPUtime=1.11 cores=0-3,8-11
/proc/21242/task/21248/stat : 21248 (java) R 21239 21242 18810 0 -1 4202560 2075 0 0 0 52 59 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160188935384 140160570640921 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21249] ppid=21239 vsize=10973400 CPUtime=1.09 cores=0-3,8-11
/proc/21242/task/21249/stat : 21249 (java) R 21239 21242 18810 0 -1 4202560 1927 0 0 0 51 58 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160187882072 140160570640466 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21250] ppid=21239 vsize=10973400 CPUtime=1.1 cores=0-3,8-11
/proc/21242/task/21250/stat : 21250 (java) R 21239 21242 18810 0 -1 4202560 2001 0 0 0 51 59 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160186829272 140160570635168 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21251] ppid=21239 vsize=10973400 CPUtime=1.1 cores=0-3,8-11
/proc/21242/task/21251/stat : 21251 (java) R 21239 21242 18810 0 -1 4202560 2027 0 0 0 51 59 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160185776984 140160578712820 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21252] ppid=21239 vsize=10973400 CPUtime=1.1 cores=0-3,8-11
/proc/21242/task/21252/stat : 21252 (java) R 21239 21242 18810 0 -1 4202560 2392 0 0 0 52 58 0 0 20 0 21 0 5424978 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160184724184 140160578712715 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21253] ppid=21239 vsize=10973400 CPUtime=0.02 cores=0-3,8-11
/proc/21242/task/21253/stat : 21253 (java) S 21239 21242 18810 0 -1 1077944384 1710 0 0 0 2 0 0 0 20 0 21 0 5424980 11236761600 340194 33554432000 4194304 4196468 140721002366736 140160060523680 140160585623253 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21254] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11

################
# More data... #
################

[pid=21242/tid=21262] ppid=21239 vsize=10973400 CPUtime=1.37 cores=0-3,8-11
/proc/21242/task/21262/stat : 21262 (java) S 21239 21242 18810 0 -1 1077944384 1575 0 0 0 72 65 0 0 20 0 21 0 5424986 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160051051312 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21263] ppid=21239 vsize=10973400 CPUtime=2198.99 cores=0-3,8-11
/proc/21242/task/21263/stat : 21263 (java) R 21239 21242 18810 0 -1 4202560 121763 0 0 0 219884 15 0 0 20 0 21 0 5425004 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160047862024 140160230335511 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 2222.89
Current children cumulated vsize (KiB) 10973400

[startup+2262.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/288 21541
/proc/meminfo: memFree=29904808/32770624 swapFree=5932/280616
[pid=21242] ppid=21239 vsize=10973400 CPUtime=2282.9 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 188381 0 0 0 227527 763 0 0 20 0 21 0 5424977 11236761600 445199 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2743350 445199 3192 1 0 2731217 0
[pid=21242/tid=21243] ppid=21239 vsize=10973400 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21245] ppid=21239 vsize=10973400 CPUtime=2.02 cores=0-3,8-11
/proc/21242/task/21245/stat : 21245 (java) S 21239 21242 18810 0 -1 1077944384 2317 0 0 0 117 85 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160555326352 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21246] ppid=21239 vsize=10973400 CPUtime=1.97 cores=0-3,8-11
/proc/21242/task/21246/stat : 21246 (java) S 21239 21242 18810 0 -1 1077944384 2366 0 0 0 116 81 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160191040272 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21247] ppid=21239 vsize=10973400 CPUtime=2.02 cores=0-3,8-11
/proc/21242/task/21247/stat : 21247 (java) S 21239 21242 18810 0 -1 1077944384 2221 0 0 0 116 86 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160189987984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21248] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21248/stat : 21248 (java) S 21239 21242 18810 0 -1 1077944384 2281 0 0 0 116 87 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160188935184 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21249] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21249/stat : 21249 (java) S 21239 21242 18810 0 -1 1077944384 2183 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160187881872 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21250] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21250/stat : 21250 (java) S 21239 21242 18810 0 -1 1077944384 2256 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160186829072 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21251] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21251/stat : 21251 (java) S 21239 21242 18810 0 -1 1077944384 2283 0 0 0 116 87 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160185776784 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21252] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21252/stat : 21252 (java) S 21239 21242 18810 0 -1 1077944384 2582 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160184723984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21253] ppid=21239 vsize=10973400 CPUtime=0.13 cores=0-3,8-11
/proc/21242/task/21253/stat : 21253 (java) S 21239 21242 18810 0 -1 1077944384 3218 0 0 0 10 3 0 0 20 0 21 0 5424980 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160060525168 140160585624194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21254] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21254/stat : 21254 (java) S 21239 21242 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 5424981 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160059471200 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21255] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21255/stat : 21255 (java) S 21239 21242 18810 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 5424981 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160058418816 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21256] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21256/stat : 21256 (java) S 21239 21242 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5424985 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160057367120 140160585631643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21257] ppid=21239 vsize=10973400 CPUtime=1.43 cores=0-3,8-11
/proc/21242/task/21257/stat : 21257 (java) S 21239 21242 18810 0 -1 1077944384 5784 0 0 0 141 2 0 0 20 0 21 0 5424985 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160056313968 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21258] ppid=21239 vsize=10973400 CPUtime=1.87 cores=0-3,8-11
/proc/21242/task/21258/stat : 21258 (java) S 21239 21242 18810 0 -1 1077944384 9079 0 0 0 186 1 0 0 20 0 21 0 5424985 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160055261168 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21259] ppid=21239 vsize=10973400 CPUtime=1.51 cores=0-3,8-11
/proc/21242/task/21259/stat : 21259 (java) S 21239 21242 18810 0 -1 1077944384 6831 0 0 0 150 1 0 0 20 0 21 0 5424985 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160054208880 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21260] ppid=21239 vsize=10973400 CPUtime=1.02 cores=0-3,8-11
/proc/21242/task/21260/stat : 21260 (java) S 21239 21242 18810 0 -1 1077944384 13866 0 0 0 100 2 0 0 20 0 21 0 5424985 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160053156080 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21261] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21261/stat : 21261 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424986 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160052104032 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21262] ppid=21239 vsize=10973400 CPUtime=1.41 cores=0-3,8-11
/proc/21242/task/21262/stat : 21262 (java) S 21239 21242 18810 0 -1 1077944384 1613 0 0 0 74 67 0 0 20 0 21 0 5424986 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160051051312 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21263] ppid=21239 vsize=10973400 CPUtime=2258.96 cores=0-3,8-11
/proc/21242/task/21263/stat : 21263 (java) R 21239 21242 18810 0 -1 4202560 122803 0 0 0 225881 15 0 0 20 0 21 0 5425004 11236761600 445199 33554432000 4194304 4196468 140721002366736 140160047862024 140160230803150 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 2282.9
Current children cumulated vsize (KiB) 10973400

[startup+2322.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/287 21542
/proc/meminfo: memFree=29905208/32770624 swapFree=5932/280656
[pid=21242] ppid=21239 vsize=10973400 CPUtime=2342.92 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 190013 0 0 0 233528 764 0 0 20 0 21 0 5424977 11236761600 445202 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2743350 445202 3192 1 0 2731217 0
[pid=21242/tid=21243] ppid=21239 vsize=10973400 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21245] ppid=21239 vsize=10973400 CPUtime=2.02 cores=0-3,8-11
/proc/21242/task/21245/stat : 21245 (java) S 21239 21242 18810 0 -1 1077944384 2317 0 0 0 117 85 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160555326352 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21246] ppid=21239 vsize=10973400 CPUtime=1.97 cores=0-3,8-11
/proc/21242/task/21246/stat : 21246 (java) S 21239 21242 18810 0 -1 1077944384 2366 0 0 0 116 81 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160191040272 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21247] ppid=21239 vsize=10973400 CPUtime=2.02 cores=0-3,8-11
/proc/21242/task/21247/stat : 21247 (java) S 21239 21242 18810 0 -1 1077944384 2221 0 0 0 116 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160189987984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21248] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21248/stat : 21248 (java) S 21239 21242 18810 0 -1 1077944384 2281 0 0 0 116 87 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160188935184 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21249] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21249/stat : 21249 (java) S 21239 21242 18810 0 -1 1077944384 2183 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160187881872 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21250] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21250/stat : 21250 (java) S 21239 21242 18810 0 -1 1077944384 2256 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160186829072 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21251] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21251/stat : 21251 (java) S 21239 21242 18810 0 -1 1077944384 2283 0 0 0 116 87 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160185776784 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21252] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21252/stat : 21252 (java) S 21239 21242 18810 0 -1 1077944384 2582 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160184723984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21253] ppid=21239 vsize=10973400 CPUtime=0.13 cores=0-3,8-11
/proc/21242/task/21253/stat : 21253 (java) S 21239 21242 18810 0 -1 1077944384 3227 0 0 0 10 3 0 0 20 0 21 0 5424980 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160060525168 140160585624194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21254] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21254/stat : 21254 (java) S 21239 21242 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 5424981 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160059471200 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21255] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21255/stat : 21255 (java) S 21239 21242 18810 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 5424981 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160058418816 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21256] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21256/stat : 21256 (java) S 21239 21242 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160057367120 140160585631643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21257] ppid=21239 vsize=10973400 CPUtime=1.43 cores=0-3,8-11
/proc/21242/task/21257/stat : 21257 (java) S 21239 21242 18810 0 -1 1077944384 5788 0 0 0 141 2 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160056313968 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21258] ppid=21239 vsize=10973400 CPUtime=1.87 cores=0-3,8-11
/proc/21242/task/21258/stat : 21258 (java) S 21239 21242 18810 0 -1 1077944384 9094 0 0 0 186 1 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160055261168 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21259] ppid=21239 vsize=10973400 CPUtime=1.51 cores=0-3,8-11
/proc/21242/task/21259/stat : 21259 (java) S 21239 21242 18810 0 -1 1077944384 6834 0 0 0 150 1 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160054208880 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21260] ppid=21239 vsize=10973400 CPUtime=1.02 cores=0-3,8-11
/proc/21242/task/21260/stat : 21260 (java) S 21239 21242 18810 0 -1 1077944384 13871 0 0 0 100 2 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160053156080 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21261] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21261/stat : 21261 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424986 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160052104032 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21262] ppid=21239 vsize=10973400 CPUtime=1.45 cores=0-3,8-11
/proc/21242/task/21262/stat : 21262 (java) S 21239 21242 18810 0 -1 1077944384 1651 0 0 0 77 68 0 0 20 0 21 0 5424986 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160051051312 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21263] ppid=21239 vsize=10973400 CPUtime=2318.94 cores=0-3,8-11
/proc/21242/task/21263/stat : 21263 (java) R 21239 21242 18810 0 -1 4202560 124361 0 0 0 231879 15 0 0 20 0 21 0 5425004 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160047862024 140160230478430 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 2342.92
Current children cumulated vsize (KiB) 10973400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2379.41 s]
/proc/loadavg: 2.00 2.04 2.05 3/287 21543
/proc/meminfo: memFree=29904560/32770624 swapFree=5932/280712
[pid=21242] ppid=21239 vsize=10973400 CPUtime=2400.05 cores=0-3,8-11
/proc/21242/stat : 21242 (java) S 21239 21242 18810 0 -1 1077944320 191119 0 0 0 239239 766 0 0 20 0 21 0 5424977 11236761600 445202 33554432000 4194304 4196468 140721002366736 140721002349280 140160585613047 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
/proc/21242/statm: 2743350 445202 3192 1 0 2731217 0
[pid=21242/tid=21243] ppid=21239 vsize=10973400 CPUtime=0.24 cores=0-3,8-11
/proc/21242/task/21243/stat : 21243 (java) S 21239 21242 18810 0 -1 1077944384 5279 0 0 0 23 1 0 0 20 0 21 0 5424977 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160589855920 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21245] ppid=21239 vsize=10973400 CPUtime=2.02 cores=0-3,8-11
/proc/21242/task/21245/stat : 21245 (java) S 21239 21242 18810 0 -1 1077944384 2317 0 0 0 117 85 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160555326352 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21246] ppid=21239 vsize=10973400 CPUtime=1.97 cores=0-3,8-11
/proc/21242/task/21246/stat : 21246 (java) S 21239 21242 18810 0 -1 1077944384 2366 0 0 0 116 81 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160191040272 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21247] ppid=21239 vsize=10973400 CPUtime=2.02 cores=0-3,8-11
/proc/21242/task/21247/stat : 21247 (java) S 21239 21242 18810 0 -1 1077944384 2221 0 0 0 116 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160189987984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21248] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21248/stat : 21248 (java) S 21239 21242 18810 0 -1 1077944384 2281 0 0 0 116 87 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160188935184 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21249] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21249/stat : 21249 (java) S 21239 21242 18810 0 -1 1077944384 2183 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160187881872 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21250] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21250/stat : 21250 (java) S 21239 21242 18810 0 -1 1077944384 2256 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160186829072 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21251] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21251/stat : 21251 (java) S 21239 21242 18810 0 -1 1077944384 2283 0 0 0 116 87 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160185776784 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21252] ppid=21239 vsize=10973400 CPUtime=2.03 cores=0-3,8-11
/proc/21242/task/21252/stat : 21252 (java) S 21239 21242 18810 0 -1 1077944384 2582 0 0 0 117 86 0 0 20 0 21 0 5424978 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160184723984 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21253] ppid=21239 vsize=10973400 CPUtime=0.13 cores=0-3,8-11
/proc/21242/task/21253/stat : 21253 (java) S 21239 21242 18810 0 -1 1077944384 3237 0 0 0 10 3 0 0 20 0 21 0 5424980 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160060525168 140160585624194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21254] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21254/stat : 21254 (java) S 21239 21242 18810 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 5424981 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160059471200 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21255] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21255/stat : 21255 (java) S 21239 21242 18810 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 5424981 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160058418816 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21256] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21256/stat : 21256 (java) S 21239 21242 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160057367120 140160585631643 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21257] ppid=21239 vsize=10973400 CPUtime=1.43 cores=0-3,8-11
/proc/21242/task/21257/stat : 21257 (java) S 21239 21242 18810 0 -1 1077944384 5792 0 0 0 141 2 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160056313968 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21258] ppid=21239 vsize=10973400 CPUtime=1.88 cores=0-3,8-11
/proc/21242/task/21258/stat : 21258 (java) S 21239 21242 18810 0 -1 1077944384 9108 0 0 0 186 2 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160055261168 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21259] ppid=21239 vsize=10973400 CPUtime=1.51 cores=0-3,8-11
/proc/21242/task/21259/stat : 21259 (java) S 21239 21242 18810 0 -1 1077944384 6837 0 0 0 150 1 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160054208880 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21260] ppid=21239 vsize=10973400 CPUtime=1.02 cores=0-3,8-11
/proc/21242/task/21260/stat : 21260 (java) S 21239 21242 18810 0 -1 1077944384 13876 0 0 0 100 2 0 0 20 0 21 0 5424985 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160053156080 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21261] ppid=21239 vsize=10973400 CPUtime=0 cores=0-3,8-11
/proc/21242/task/21261/stat : 21261 (java) S 21239 21242 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5424986 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160052104032 140160585623253 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21262] ppid=21239 vsize=10973400 CPUtime=1.49 cores=0-3,8-11
/proc/21242/task/21262/stat : 21262 (java) S 21239 21242 18810 0 -1 1077944384 1689 0 0 0 79 70 0 0 20 0 21 0 5424986 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160051051312 140160585624194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
[pid=21242/tid=21263] ppid=21239 vsize=10973400 CPUtime=2376.02 cores=0-3,8-11
/proc/21242/task/21263/stat : 21263 (java) R 21239 21242 18810 0 -1 4202560 125393 0 0 0 237587 15 0 0 20 0 21 0 5425004 11236761600 445202 33554432000 4194304 4196468 140721002366736 140160047862024 140160230347318 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33148928 140721002370243 140721002370372 140721002370372 140721002373071 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 10973400

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21242 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2379.43
CPU time (s): 2400.08
CPU user time (s): 2392.4
CPU system time (s): 7.67979
CPU usage (%): 100.868
Max. virtual memory (cumulated for all children) (KiB): 10973400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.4
system time used= 7.67979
maximum resident set size= 1781752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 191876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58227
involuntary context switches= 121770

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7629 second user time and 19.5459 second system time

The end

Launcher Data

Begin job on node132 at 2017-07-22 07:32:58
IDJOB=4245657
IDBENCH=123023
IDSOLVER=2624
FILE ID=node132/4245657-1500701578
RUNJOBID= node132-1500696776-19900
PBS_JOBID= 20623322
Free space on /tmp= 61760 MiB

SOLVER NAME= AbsCon-basic 2017-06-11
BENCH NAME= XCSP17/QuadraticAssignment/QuadraticAssignment-m1-s1/QuadraticAssignment-tai80a.xml
COMMAND LINE= java -jar HOME/AbsCon-basic.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245657-1500701578/watcher-4245657-1500701578 -o /tmp/evaluation-result-4245657-1500701578/solver-4245657-1500701578 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500696776-19900 --watchdog 2560  java -jar HOME/AbsCon-basic.jar HOME/instance-4245657-1500701578.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= c9a66f606132a3c8760ec6756f0c4250
RANDOM SEED=249775521

node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31600352 kB
MemAvailable:   31801064 kB
Buffers:          124544 kB
Cached:           356116 kB
SwapCached:            0 kB
Active:           445748 kB
Inactive:         287228 kB
Active(anon):     255504 kB
Inactive(anon):     8628 kB
Active(file):     190244 kB
Inactive(file):   278600 kB
Unevictable:        5932 kB
Mlocked:            5932 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8472 kB
Writeback:             0 kB
AnonPages:        258624 kB
Mapped:            42740 kB
Shmem:              8872 kB
Slab:             130096 kB
SReclaimable:      95408 kB
SUnreclaim:        34688 kB
KernelStack:        4576 kB
PageTables:         5636 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1176468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    157696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      140672 kB
DirectMap2M:    33404928 kB

Free space on /tmp at the end= 61752 MiB
End job on node132 at 2017-07-22 08:12:38

Name	QuadraticAssignment/QuadraticAssignment-m1-s1/ QuadraticAssignment-tai80a.xml
MD5SUM	c9a66f606132a3c8760ec6756f0c4250
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	7129639
Best CPU time to get the best result obtained on this benchmark	2519.7
Satisfiable
(Un)Satisfiability was proved
Number of variables	6480
Number of constraints	3128
Number of domains	2
Minimum domain size	80
Maximum domain size	100
Distribution of domain sizes	[{"size":80,"count":80},{"size":100,"count":3127}]
Minimum variable degree	0
Maximum variable degree	80
Distribution of variable degrees	[{"degree":0,"count":3273},{"degree":2,"count":3127},{"degree":77,"count":3},{"degree":78,"count":14},{"degree":79,"count":29},{"degree":80,"count":34}]
Minimum constraint arity	3
Maximum constraint arity	80
Distribution of constraint arities	[{"arity":3,"count":3127},{"arity":80,"count":1}]
Number of extensional constraints	3127
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":3127},{"type":"allDifferent","count":1}]
Optimization problem	YES
Type of objective	min SUM

Trace number 4245657

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data