68.15/70.11 c CPU-LOAD 56.2
68.15/70.11 c LOADED 96 V (96 E), 4560 ExtensionConstraint2D, arity 2, 56.2 cpu
70.34/72.36 s SATISFIABLE
70.34/72.36 o 2176
70.34/72.36 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 80 49 63 82 1 0 61 55 37 36 16 47 54 27 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 66 5 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.37 o 2209
70.34/72.37 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 80 49 63 82 1 0 61 55 37 36 16 47 54 27 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 5 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.37 o 2240
70.34/72.37 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 80 49 63 82 1 0 61 55 37 36 16 47 41 27 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 5 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.38 o 2269
70.34/72.38 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 80 49 63 82 1 0 61 55 37 36 16 47 41 66 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 5 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.38 o 2296
70.34/72.38 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 80 49 63 82 1 0 61 55 37 36 16 47 41 66 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.38 o 2321
70.34/72.38 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 35 49 63 82 1 0 61 55 37 36 16 47 41 66 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.39 o 2344
70.34/72.39 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 16 47 41 66 2 48 70 47 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.39 o 2369
70.34/72.39 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 40 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 16 47 41 66 2 48 70 4 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.34/72.39 o 2396
70.34/72.39 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 16 47 41 66 2 48 70 4 66 40 3 75 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.40 o 2421
70.44/72.40 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 16 47 41 66 2 48 70 4 66 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.40 o 2448
70.44/72.40 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 47 41 66 2 48 70 4 66 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.40 o 2477
70.44/72.40 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 2 48 70 4 66 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.41 o 2504
70.44/72.41 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 2 48 70 4 63 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.41 o 2533
70.44/72.41 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 70 4 63 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.41 o 2560
70.44/72.41 v 32 12 63 58 76 44 87 85 32 76 85 95 13 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.41 o 2589
70.44/72.41 v 32 12 63 58 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 29 53 48 72 51 57 24 1 49 56 15 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.42 o 2616
70.44/72.42 v 32 12 63 58 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 29 53 48 72 51 57 24 1 49 56 22 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.42 o 2645
70.44/72.42 v 32 12 63 58 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 72 51 57 24 1 49 56 22 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.43 o 2672
70.44/72.43 v 32 12 63 58 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 72 51 57 24 1 49 41 22 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.43 o 2701
70.44/72.43 v 32 12 63 58 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 51 57 24 1 49 41 22 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.43 o 2732
70.44/72.43 v 32 12 63 58 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 49 41 22 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.43 o 2765
70.44/72.43 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 49 41 22 59 66 17 48 80 35 63 47 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.43 o 2796
70.44/72.43 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 49 41 22 59 66 17 48 80 35 63 52 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.43 o 2829
70.44/72.43 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 80 35 63 52 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.44 o 2856
70.44/72.44 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 35 63 52 64 30 91 56 2 55 30 55 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.44 o 2885
70.44/72.44 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 35 63 52 64 30 91 56 2 55 30 84 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.44 o 2916
70.44/72.44 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 64 30 91 56 2 55 30 84 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.44 o 2945
70.44/72.44 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 64 30 91 56 2 55 85 84 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.44 o 2976
70.44/72.44 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 2 55 85 84 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.45 o 3005
70.44/72.45 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 2 74 85 84 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.45 o 3036
70.44/72.45 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 14 19 9 25 12 23 3 58 83 29 44 66 26
70.44/72.45 o 3065
70.44/72.45 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 14 19 9 44 12 23 3 58 83 29 44 66 26
70.44/72.45 o 3096
70.44/72.45 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 19 9 44 12 23 3 58 83 29 44 66 26
70.44/72.45 o 3129
70.44/72.45 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 32 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 12 23 3 58 83 29 44 66 26
70.44/72.46 o 3164
70.44/72.46 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 12 23 3 58 83 29 44 66 26
70.44/72.46 o 3197
70.44/72.46 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 23 3 58 83 29 44 66 26
70.44/72.46 o 3232
70.44/72.46 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 29 44 66 26
70.44/72.46 o 3265
70.44/72.46 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 44 66 26
70.44/72.46 o 3300
70.44/72.46 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 26
70.44/72.47 o 3333
70.44/72.47 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 35 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.47 o 3360
70.44/72.47 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 1 0 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.47 o 3381
70.44/72.47 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 1 29 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.47 o 3400
70.44/72.47 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 82 29 61 50 37 36 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.47 o 3413
70.44/72.47 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 82 29 61 50 37 93 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.48 o 3424
70.44/72.48 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 82 29 61 50 74 93 49 68 41 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.48 o 3429
70.44/72.48 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 82 29 61 50 74 93 49 68 16 66 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
70.44/72.48 o 3432
70.44/72.48 v 32 12 63 75 76 44 87 85 32 76 85 95 12 84 79 63 54 30 95 71 58 38 35 93 94 84 65 89 46 84 41 11 64 70 49 63 82 82 29 61 50 74 93 49 68 16 73 73 48 27 4 63 40 3 58 25 14 53 48 85 14 57 24 1 74 41 22 59 66 17 48 33 74 63 52 59 30 91 56 57 74 85 84 37 10 9 44 7 52 3 58 83 34 47 66 95
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1108464-1215782194/watcher-1108464-1215782194 -o /tmp/evaluation-result-1108464-1215782194/solver-1108464-1215782194 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1108464-1215782194.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.17 3.02 2.81 5/87 14145
/proc/meminfo: memFree=1756448/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) R 14143 14145 13735 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 34918621 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14145/statm: 1339 230 191 169 0 50 0
[pid=14146] ppid=14145 vsize=5356 CPUtime=0
/proc/14146/stat : 14146 (concrete.sh) R 14145 14145 13735 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 34918622 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14146/statm: 1339 230 191 169 0 50 0
[startup+0.075556 s]
/proc/loadavg: 3.17 3.02 2.81 5/87 14145
/proc/meminfo: memFree=1756448/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) R 14143 14145 13735 0 -1 4194304 289 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 236 996147200 4194304 4889804 548682068752 18446744073709551615 228774308339 0 0 4100 65536 0 0 0 17 0 0 0
/proc/14145/statm: 1339 238 198 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102562 s]
/proc/loadavg: 3.17 3.02 2.81 5/87 14145
/proc/meminfo: memFree=1756448/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) R 14143 14145 13735 0 -1 4194304 295 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774701727 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301597 s]
/proc/loadavg: 3.17 3.02 2.81 5/87 14145
/proc/meminfo: memFree=1756448/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701676 s]
/proc/loadavg: 3.17 3.02 2.81 5/87 14145
/proc/meminfo: memFree=1756448/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50264 s]
/proc/loadavg: 3.17 3.02 2.81 4/93 14152
/proc/meminfo: memFree=1753000/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=843640 CPUtime=0.39
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 4723 0 11 0 32 7 0 0 19 0 9 0 34918631 863887360 4127 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 210910 4127 1817 9 0 205478 0
[pid=14148/tid=14149] ppid=14145 vsize=843640 CPUtime=0.26
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 3007 0 11 0 22 4 0 0 19 0 9 0 34918672 863887360 4127 996147200 134512640 134550740 4294956000 18446744073709551615 4125750178 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14150] ppid=14145 vsize=843640 CPUtime=0.01
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 647 0 0 0 1 0 0 0 16 0 9 0 34918694 863887360 4127 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 863887360 4127 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 34918694 863887360 4127 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 848996
[startup+3.10316 s]
/proc/loadavg: 3.17 3.02 2.81 4/97 14156
/proc/meminfo: memFree=1737416/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=843640 CPUtime=1.97
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 9085 0 11 0 185 12 0 0 19 0 9 0 34918631 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 210910 7946 2563 9 0 205478 0
[pid=14148/tid=14149] ppid=14145 vsize=843640 CPUtime=1.29
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 3334 0 11 0 124 5 0 0 25 0 9 0 34918672 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14150] ppid=14145 vsize=843640 CPUtime=0.56
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 4679 0 0 0 52 4 0 0 15 0 9 0 34918694 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 34918694 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=843640 CPUtime=0.07
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 341 0 0 0 7 0 0 0 16 0 9 0 34918722 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14155] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=843640 CPUtime=0
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 34918722 863887360 7946 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 848996
[startup+6.30258 s]
/proc/loadavg: 3.15 3.02 2.81 4/97 14156
/proc/meminfo: memFree=1710664/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=843940 CPUtime=5.13
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 15886 0 11 0 493 20 0 0 19 0 9 0 34918631 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 210985 14428 2563 9 0 205553 0
[pid=14148/tid=14149] ppid=14145 vsize=843940 CPUtime=3.52
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 3749 0 11 0 345 7 0 0 25 0 9 0 34918672 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14150] ppid=14145 vsize=843940 CPUtime=1.47
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 10994 0 0 0 138 9 0 0 16 0 9 0 34918694 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 34918694 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=843940 CPUtime=0.1
/proc/14148/task/14154/stat : 14154 (java) R 14145 14145 13735 0 -1 64 412 0 0 0 10 0 0 0 16 0 9 0 34918722 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 102208193 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14155] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 34918722 864194560 14428 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 849296
[startup+12.7018 s]
/proc/loadavg: 3.14 3.02 2.81 4/97 14156
/proc/meminfo: memFree=1662664/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=843940 CPUtime=11.44
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 28034 0 11 0 1114 30 0 0 19 0 9 0 34918631 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 210985 26261 2563 9 0 205553 0
[pid=14148/tid=14149] ppid=14145 vsize=843940 CPUtime=8.56
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 4691 0 11 0 845 11 0 0 25 0 9 0 34918672 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4125374914 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14150] ppid=14145 vsize=843940 CPUtime=2.73
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 22181 0 0 0 256 17 0 0 16 0 9 0 34918694 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 34918694 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=843940 CPUtime=0.12
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 431 0 0 0 12 0 0 0 17 0 9 0 34918722 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14155] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 34918722 864194560 26261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (KiB) 849296
[startup+25.5023 s]
/proc/loadavg: 3.11 3.02 2.81 3/97 14156
/proc/meminfo: memFree=1560264/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=843940 CPUtime=24.08
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 53114 0 11 0 2361 47 0 0 19 0 9 0 34918631 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 210985 51034 2563 9 0 205553 0
[pid=14148/tid=14149] ppid=14145 vsize=843940 CPUtime=19.15
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 5865 0 11 0 1901 14 0 0 25 0 9 0 34918672 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4125771609 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14150] ppid=14145 vsize=843940 CPUtime=4.77
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 46087 0 0 0 447 30 0 0 16 0 9 0 34918694 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 34918694 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=843940 CPUtime=0.12
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 431 0 0 0 12 0 0 0 17 0 9 0 34918722 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14155] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=843940 CPUtime=0
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 34918722 864194560 51034 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 849296
[startup+51.1105 s]
/proc/loadavg: 3.13 3.03 2.82 4/97 14156
/proc/meminfo: memFree=1352520/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=843684 CPUtime=49.38
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 106011 0 11 0 4861 77 0 0 19 0 9 0 34918631 863932416 103612 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 210921 103612 2563 9 0 205489 0
################
# More data... #
################
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 905 0 0 0 26 1 0 0 16 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14155] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=844716 CPUtime=0.03
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 1 2 0 0 15 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3382.94
Current children cumulated vsize (KiB) 850072
[startup+3462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/98 14576
/proc/meminfo: memFree=1239536/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=844716 CPUtime=3442.63
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 146515 0 11 0 344139 124 0 0 19 0 9 0 34918631 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 211179 143630 2571 9 0 205746 0
[pid=14148/tid=14149] ppid=14145 vsize=844716 CPUtime=3428.8
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 10443 0 11 0 342828 52 0 0 25 0 9 0 34918672 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4126279709 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14150] ppid=14145 vsize=844716 CPUtime=13.47
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 134430 0 0 0 1282 65 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=844716 CPUtime=0.27
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 905 0 0 0 26 1 0 0 16 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14155] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=844716 CPUtime=0.03
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 1 2 0 0 15 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3442.63
Current children cumulated vsize (KiB) 850072
[startup+3522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/98 14576
/proc/meminfo: memFree=1239472/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=844716 CPUtime=3502.32
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 146515 0 11 0 350107 125 0 0 19 0 9 0 34918631 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 211179 143630 2571 9 0 205746 0
[pid=14148/tid=14149] ppid=14145 vsize=844716 CPUtime=3488.49
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 10443 0 11 0 348796 53 0 0 25 0 9 0 34918672 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4126308688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14150] ppid=14145 vsize=844716 CPUtime=13.47
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 134430 0 0 0 1282 65 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=844716 CPUtime=0.27
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 905 0 0 0 26 1 0 0 16 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14155] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=844716 CPUtime=0.03
/proc/14148/task/14156/stat : 14156 (java) R 14145 14145 13735 0 -1 64 1 0 0 0 1 2 0 0 15 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3502.32
Current children cumulated vsize (KiB) 850072
[startup+3582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/98 14576
/proc/meminfo: memFree=1239344/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=844716 CPUtime=3562.02
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 146515 0 11 0 356077 125 0 0 19 0 9 0 34918631 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 211179 143630 2571 9 0 205746 0
[pid=14148/tid=14149] ppid=14145 vsize=844716 CPUtime=3548.19
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 10443 0 11 0 354766 53 0 0 25 0 9 0 34918672 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4126265645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14150] ppid=14145 vsize=844716 CPUtime=13.47
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 134430 0 0 0 1282 65 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=844716 CPUtime=0.27
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 905 0 0 0 26 1 0 0 16 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14155] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=844716 CPUtime=0.03
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 1 2 0 0 15 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3562.02
Current children cumulated vsize (KiB) 850072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3620.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/98 14576
/proc/meminfo: memFree=1239344/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=844716 CPUtime=3600.02
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 146515 0 11 0 359877 125 0 0 19 0 9 0 34918631 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 211179 143630 2571 9 0 205746 0
[pid=14148/tid=14149] ppid=14145 vsize=844716 CPUtime=3586.19
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 10443 0 11 0 358566 53 0 0 25 0 9 0 34918672 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4126287522 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14150] ppid=14145 vsize=844716 CPUtime=13.47
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 134430 0 0 0 1282 65 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=844716 CPUtime=0.27
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 905 0 0 0 26 1 0 0 16 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14155] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=844716 CPUtime=0.03
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 1 2 0 0 15 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 850072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+3620.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/98 14576
/proc/meminfo: memFree=1239344/2055920 swapFree=4190156/4192956
[pid=14145] ppid=14143 vsize=5356 CPUtime=0
/proc/14145/stat : 14145 (concrete.sh) S 14143 14145 13735 0 -1 4194304 315 128 0 0 0 0 0 0 19 0 1 0 34918621 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 228774699844 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14145/statm: 1339 242 201 169 0 50 0
[pid=14148] ppid=14145 vsize=844716 CPUtime=3600.02
/proc/14148/stat : 14148 (java) S 14145 14145 13735 0 -1 0 146515 0 11 0 359877 125 0 0 19 0 9 0 34918631 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/14148/statm: 211179 143630 2571 9 0 205746 0
[pid=14148/tid=14149] ppid=14145 vsize=844716 CPUtime=3586.19
/proc/14148/task/14149/stat : 14149 (java) R 14145 14145 13735 0 -1 64 10443 0 11 0 358566 53 0 0 25 0 9 0 34918672 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4126287522 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14150] ppid=14145 vsize=844716 CPUtime=13.47
/proc/14148/task/14150/stat : 14150 (java) S 14145 14145 13735 0 -1 64 134430 0 0 0 1282 65 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14151] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14151/stat : 14151 (java) S 14145 14145 13735 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14152] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14152/stat : 14152 (java) S 14145 14145 13735 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 34918694 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14153] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14153/stat : 14153 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14154] ppid=14145 vsize=844716 CPUtime=0.27
/proc/14148/task/14154/stat : 14154 (java) S 14145 14145 13735 0 -1 64 905 0 0 0 26 1 0 0 16 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14148/tid=14155] ppid=14145 vsize=844716 CPUtime=0
/proc/14148/task/14155/stat : 14155 (java) S 14145 14145 13735 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14148/tid=14156] ppid=14145 vsize=844716 CPUtime=0.03
/proc/14148/task/14156/stat : 14156 (java) S 14145 14145 13735 0 -1 64 1 0 0 0 1 2 0 0 15 0 9 0 34918722 864989184 143630 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 850072
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14145 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 3620.52
CPU time (s): 3600.02
CPU user time (s): 3598.77
CPU system time (s): 1.25
CPU usage (%): 99.4338
Max. virtual memory (cumulated for all children) (KiB): 851664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 443
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18
involuntary context switches= 89
runsolver used 5.2602 second user time and 11.3033 second system time
The end
Begin job on node74 at 2008-07-11 15:16:47
IDJOB=1108464
IDBENCH=60723
IDSOLVER=336
FILE ID=node74/1108464-1215782194
PBS_JOBID= 7903065
Free space on /tmp= 103144 MiB
SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30
BENCH NAME= CPAI08/csp/marc/normalized-large-96-unsat_ext.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -max -s Tabu BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1108464-1215782194/watcher-1108464-1215782194 -o /tmp/evaluation-result-1108464-1215782194/solver-1108464-1215782194 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1108464-1215782194.xml
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= b27e6efb6e10edd4280a0b0099140167
RANDOM SEED=805405182
node74.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1757120 kB
Buffers: 3128 kB
Cached: 137632 kB
SwapCached: 0 kB
Active: 230908 kB
Inactive: 7664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1757120 kB
SwapTotal: 4192956 kB
SwapFree: 4190156 kB
Dirty: 95316 kB
Writeback: 0 kB
Mapped: 119392 kB
Slab: 44412 kB
Committed_AS: 964772 kB
PageTables: 2520 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 103144 MiB
End job on node74 at 2008-07-11 16:17:10