21.39 s SATISFIABLE
21.39 o 3074
21.39 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 51 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 29 56 5 46 60 18 9 8 44 34 14 31 40 17 63 12 7 17 12 59 10 51 15 34 47 27 39 24 57 30
21.47 o 3075
21.47 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 51 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 29 56 5 46 60 18 9 8 44 2 14 31 40 17 63 12 7 17 12 59 10 51 15 34 47 27 39 24 57 30
21.56 o 3076
21.56 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 51 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 29 56 5 46 60 18 9 8 44 2 14 31 40 17 63 12 7 17 12 59 10 51 15 34 10 27 39 24 57 30
21.64 o 3077
21.64 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 51 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 29 56 5 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 12 59 10 51 15 34 10 27 39 24 57 30
21.72 o 3078
21.72 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 25 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 29 56 5 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 12 59 10 51 15 34 10 27 39 24 57 30
21.80 o 3079
21.80 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 25 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 29 56 5 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 27 39 24 57 30
21.89 o 3080
21.89 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 1 43 54 45 16 52 18 55 25 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 34 56 5 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 27 39 24 57 30
21.97 o 3081
21.97 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 67 43 54 45 16 52 18 55 25 23 61 48 25 35 4 38 13 26 41 53 47 4 5 3 58 62 20 34 56 5 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 27 39 24 57 30
22.21 o 3082
22.21 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 27 39 24 57 30
22.29 o 3083
22.29 v 20 21 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.31 o 3084
22.31 v 20 4 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.33 o 3087
22.33 v 3 4 6 23 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.34 o 3089
22.34 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 38 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.43 o 3090
22.43 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 2 36 21 33 11 42 32 50 19 22 17 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.51 o 3091
22.51 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 19 36 21 33 11 42 32 50 19 22 17 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 20 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.59 o 3092
22.59 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 19 36 21 33 11 42 32 50 19 22 17 30 3 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.68 o 3093
22.68 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 19 36 21 33 11 42 32 50 19 22 17 30 20 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.76 o 3094
22.76 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 19 36 21 33 11 42 32 50 6 22 17 30 20 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 30
22.84 o 3095
22.84 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 6 49 19 36 21 33 11 42 32 50 6 22 17 30 20 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 19
22.92 o 3096
22.92 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 14 49 19 36 21 33 11 42 32 50 6 22 17 30 20 28 64 65 67 43 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 19
23.00 o 3097
23.00 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 14 49 19 36 21 33 11 42 32 50 6 22 17 30 20 28 64 65 67 66 4 45 16 52 18 55 25 23 61 48 25 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 19
23.08 o 3098
23.08 v 3 4 6 10 17 21 22 24 36 31 41 51 70 1 37 7 14 49 19 36 21 33 11 42 32 50 6 22 17 30 20 28 64 65 67 66 4 45 16 52 18 55 25 23 61 48 43 35 54 38 13 26 41 53 47 4 5 3 58 62 24 34 56 1 46 60 18 9 8 44 2 14 31 40 29 63 12 7 17 27 59 10 51 15 34 10 20 39 24 57 19
26.45 o 3099
26.45 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 36 33 28 11 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 52 18 30 25 35 61 64 7 11 12 38 26 21 31 41 60 4 5 54 58 62 24 64 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 17 27 46 40 51 15 34 8 56 39 10 57 19
26.53 o 3101
26.53 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 36 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 52 18 30 25 35 61 64 7 11 12 38 26 21 31 41 60 4 5 54 58 62 24 64 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 17 27 46 40 51 15 34 8 56 39 10 57 19
26.62 o 3102
26.62 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 36 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 52 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 64 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 17 27 46 40 51 15 34 8 56 39 10 57 19
26.70 o 3103
26.70 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 36 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 52 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 17 27 46 40 51 15 34 8 56 39 10 57 19
26.78 o 3104
26.78 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 36 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 17 27 46 40 51 15 34 8 56 39 10 57 19
26.86 o 3105
26.86 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 36 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 57 19
26.94 o 3106
26.94 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 21 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 57 19
27.02 o 3107
27.02 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 21 33 28 38 42 67 50 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 29 19
27.10 o 3108
27.10 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 14 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 29 19
27.18 o 3109
27.18 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 4 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 29 19
27.27 o 3110
27.27 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 23 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 29 19
27.35 o 3111
27.35 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 51 15 34 8 56 39 10 29 19
27.43 o 3112
27.43 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 44 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
27.52 o 3113
27.52 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 61 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 49 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
27.60 o 3114
27.60 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 45 16 16 18 30 25 35 45 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 49 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
27.68 o 3116
27.68 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 49 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 11 16 16 18 30 25 35 45 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 49 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
27.76 o 3117
27.76 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 23 22 21 33 28 38 42 67 2 6 13 17 18 20 32 27 37 47 66 4 11 16 16 18 30 25 35 45 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 49 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
27.85 o 3118
27.85 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 23 22 21 33 28 38 48 67 2 6 13 17 18 20 32 27 37 47 66 4 11 16 16 18 30 25 35 45 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 49 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
27.93 o 3119
27.93 v 3 4 6 10 17 21 22 24 36 31 41 51 70 59 3 7 36 23 22 21 33 28 38 48 67 2 6 13 17 18 20 32 27 37 47 66 4 11 42 16 18 30 25 35 45 64 7 11 12 14 26 21 31 41 60 50 5 54 58 62 24 43 53 1 3 15 10 20 30 49 2 14 9 19 29 48 12 55 52 27 46 40 5 15 34 8 56 39 10 29 19
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-275926-1169229454 -o ROOT/results/node9/solver-275926-1169229454 -C 2400 -M 900 /tmp/evaluation/275926-1169229454/cspfj.sh -solver MinConflicts -max -competition /tmp/evaluation/275926-1169229454/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.96 1.98 1.99 3/88 26010
/proc/meminfo: memFree=1295712/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 269 0 0 0 0 0 0 0 19 0 1 0 271340583 5480448 228 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/26008/statm: 1338 228 191 169 0 49 0
[pid=26010] ppid=26008 vsize=5352 CPUtime=0
/proc/26010/stat : 26010 (cspfj.sh) R 26008 26008 25437 0 -1 4194368 25 0 0 0 0 0 0 0 22 0 1 0 271340584 5480448 233 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418989863 0 0 4096 0 0 0 0 17 1 0 0
/proc/26010/statm: 1338 233 195 169 0 49 0
[startup+0.103923 s]
/proc/loadavg: 1.96 1.98 1.99 3/88 26010
/proc/meminfo: memFree=1295712/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+0.511966 s]
/proc/loadavg: 1.96 1.98 1.99 3/88 26010
/proc/meminfo: memFree=1295712/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5352
[startup+1.33506 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 26018
/proc/meminfo: memFree=1252264/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=865192 CPUtime=1.29
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 13922 0 1 0 121 8 0 0 22 0 8 0 271340584 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154184996 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26011/statm: 216298 13628 1828 14 0 203560 0
[pid=26011/tid=26012] ppid=26008 vsize=865192 CPUtime=0.41
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 9651 0 0 0 37 4 0 0 16 0 8 0 271340588 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26013] ppid=26008 vsize=865192 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271340588 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=865192 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 271340588 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=865192 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=865192 CPUtime=0.13
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 326 0 0 0 13 0 0 0 16 0 8 0 271340592 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26017] ppid=26008 vsize=865192 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=865192 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 885956608 13628 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 870544
[startup+2.98825 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 26018
/proc/meminfo: memFree=1241128/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=865920 CPUtime=2.93
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 16917 0 1 0 281 12 0 0 25 0 8 0 271340584 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26011/statm: 216480 16612 1828 14 0 203742 0
[pid=26011/tid=26012] ppid=26008 vsize=865920 CPUtime=0.57
/proc/26011/task/26012/stat : 26012 (java) R 26008 26008 25437 0 -1 64 11933 0 0 0 52 5 0 0 16 0 8 0 271340588 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155525058 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26013] ppid=26008 vsize=865920 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271340588 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=865920 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 271340588 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=865920 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=865920 CPUtime=0.35
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 540 0 0 0 34 1 0 0 16 0 8 0 271340592 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26017] ppid=26008 vsize=865920 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=865920 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 886702080 16612 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 871272
[startup+6.1906 s]
/proc/loadavg: 1.96 1.98 1.99 3/95 26018
/proc/meminfo: memFree=1220328/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=866144 CPUtime=6.11
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 20893 0 1 0 591 20 0 0 25 0 8 0 271340584 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210015 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26011/statm: 216536 20579 1833 14 0 203798 0
[pid=26011/tid=26012] ppid=26008 vsize=866144 CPUtime=0.76
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 14948 0 0 0 71 5 0 0 17 0 8 0 271340588 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26013] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271340588 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 271340588 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=866144 CPUtime=0.43
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 596 0 0 0 41 2 0 0 15 0 8 0 271340592 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26017] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 886931456 20579 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 871496
[startup+12.6763 s]
/proc/loadavg: 1.97 1.98 1.99 3/95 26018
/proc/meminfo: memFree=1218664/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=866144 CPUtime=12.54
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 21285 0 1 0 1228 26 0 0 25 0 8 0 271340584 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074219367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26011/statm: 216536 20971 1833 14 0 203798 0
[pid=26011/tid=26012] ppid=26008 vsize=866144 CPUtime=0.76
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 14948 0 0 0 71 5 0 0 16 0 8 0 271340588 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26013] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271340588 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 15 0 8 0 271340588 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=866144 CPUtime=0.98
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 988 0 0 0 91 7 0 0 15 0 8 0 271340592 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26017] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=866144 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 886931456 20971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 871496
[startup+25.5458 s]
/proc/loadavg: 2.05 2.00 2.00 3/95 26018
/proc/meminfo: memFree=1205288/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867744 CPUtime=25.28
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 24701 0 1 0 2494 34 0 0 25 0 8 0 271340584 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077922381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26011/statm: 216936 24309 1835 14 0 204198 0
[pid=26011/tid=26012] ppid=26008 vsize=867744 CPUtime=1.1
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 17397 0 0 0 104 6 0 0 17 0 8 0 271340588 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867744 CPUtime=1.67
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1823 0 0 0 154 13 0 0 15 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 873096
[startup+51.1977 s]
/proc/loadavg: 2.03 2.00 2.00 3/95 26018
/proc/meminfo: memFree=1205352/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867744 CPUtime=50.69
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 24702 0 1 0 5035 34 0 0 25 0 8 0 271340584 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077921641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26011/statm: 216936 24309 1835 14 0 204198 0
[pid=26011/tid=26012] ppid=26008 vsize=867744 CPUtime=1.1
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 17397 0 0 0 104 6 0 0 16 0 8 0 271340588 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867744 CPUtime=1.67
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1823 0 0 0 154 13 0 0 15 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867744 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888569856 24309 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 873096
[startup+102.493 s]
/proc/loadavg: 2.01 2.00 2.00 3/95 26018
/proc/meminfo: memFree=1205416/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867744 CPUtime=101.52
################
# More data... #
################
/proc/loadavg: 1.99 2.00 1.99 3/94 26331
/proc/meminfo: memFree=1200496/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867552 CPUtime=2128.72
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 26004 0 1 0 212821 51 0 0 25 0 8 0 271340584 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077921578 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26011/statm: 216888 25575 1835 14 0 204150 0
[pid=26011/tid=26012] ppid=26008 vsize=867552 CPUtime=1.18
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 18659 0 0 0 111 7 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867552 CPUtime=1.69
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1852 0 0 0 156 13 0 0 16 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2128.72
Current children cumulated vsize (KiB) 872904
[startup+2204.62 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 26331
/proc/meminfo: memFree=1200496/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867552 CPUtime=2188.77
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 26004 0 1 0 218826 51 0 0 25 0 8 0 271340584 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077920668 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26011/statm: 216888 25575 1835 14 0 204150 0
[pid=26011/tid=26012] ppid=26008 vsize=867552 CPUtime=1.18
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 18659 0 0 0 111 7 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867552 CPUtime=1.69
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1852 0 0 0 156 13 0 0 16 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2188.77
Current children cumulated vsize (KiB) 872904
[startup+2264.72 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 26331
/proc/meminfo: memFree=1200496/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867552 CPUtime=2248.78
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 26004 0 1 0 224827 51 0 0 25 0 8 0 271340584 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077921740 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26011/statm: 216888 25575 1835 14 0 204150 0
[pid=26011/tid=26012] ppid=26008 vsize=867552 CPUtime=1.18
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 18659 0 0 0 111 7 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867552 CPUtime=1.69
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1852 0 0 0 156 13 0 0 16 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2248.78
Current children cumulated vsize (KiB) 872904
[startup+2324.81 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 26331
/proc/meminfo: memFree=1200496/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867552 CPUtime=2308.82
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 26005 0 1 0 230831 51 0 0 25 0 8 0 271340584 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077919790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26011/statm: 216888 25575 1835 14 0 204150 0
[pid=26011/tid=26012] ppid=26008 vsize=867552 CPUtime=1.18
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 18659 0 0 0 111 7 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867552 CPUtime=1.69
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1852 0 0 0 156 13 0 0 16 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2308.82
Current children cumulated vsize (KiB) 872904
[startup+2384.91 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 26331
/proc/meminfo: memFree=1200432/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867552 CPUtime=2368.87
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 26005 0 1 0 236836 51 0 0 25 0 8 0 271340584 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077921598 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26011/statm: 216888 25575 1835 14 0 204150 0
[pid=26011/tid=26012] ppid=26008 vsize=867552 CPUtime=1.18
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 18659 0 0 0 111 7 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867552 CPUtime=1.69
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1852 0 0 0 156 13 0 0 16 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2368.87
Current children cumulated vsize (KiB) 872904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.08 s]
/proc/loadavg: 1.99 2.00 1.99 3/94 26331
/proc/meminfo: memFree=1200496/2055920 swapFree=4191880/4192956
[pid=26008] ppid=26006 vsize=5352 CPUtime=0
/proc/26008/stat : 26008 (cspfj.sh) S 26006 26008 25437 0 -1 4194304 315 128 0 0 0 0 0 0 18 0 1 0 271340583 5480448 240 18446744073709551615 4194304 4889804 548682069264 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26008/statm: 1338 240 201 169 0 49 0
[pid=26011] ppid=26008 vsize=867552 CPUtime=2400
/proc/26011/stat : 26011 (java) R 26008 26008 25437 0 -1 0 26006 0 1 0 239949 51 0 0 25 0 8 0 271340584 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4077921703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26011/statm: 216888 25575 1835 14 0 204150 0
[pid=26011/tid=26012] ppid=26008 vsize=867552 CPUtime=1.18
/proc/26011/task/26012/stat : 26012 (java) S 26008 26008 25437 0 -1 64 18659 0 0 0 111 7 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26013] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26013/stat : 26013 (java) S 26008 26008 25437 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26014] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26014/stat : 26014 (java) S 26008 26008 25437 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 271340588 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26015] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26015/stat : 26015 (java) S 26008 26008 25437 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26016] ppid=26008 vsize=867552 CPUtime=1.69
/proc/26011/task/26016/stat : 26016 (java) S 26008 26008 25437 0 -1 64 1852 0 0 0 156 13 0 0 16 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26011/tid=26017] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26017/stat : 26017 (java) S 26008 26008 25437 0 -1 64 2 0 0 0 0 0 0 0 19 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26011/tid=26018] ppid=26008 vsize=867552 CPUtime=0
/proc/26011/task/26018/stat : 26018 (java) S 26008 26008 25437 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271340592 888373248 25575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 872904
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child ended because it received signal 15 (SIGTERM)
!!! problem with CPU time !!!
wait4(...,&childrusage) returns 26008 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=3999
CPU time returned by wait4() is 0.004998
while last known CPU time is 2400
Solver probably didn't/couldn't wait for its children
Using last known CPU time as value...
Real time (s): 2416.1
CPU time (s): 2400
CPU user time (s): 2399.49
CPU system time (s): 0.51
CPU usage (%): 99.3336
Max. virtual memory (cumulated for all children) (KiB): 873096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.003999
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= 17
involuntary context switches= 5
runsolver used 2.50262 s user time and 8.23675 s system time
The end
Begin job on node9 on Fri Jan 19 17:57:34 UTC 2007
IDJOB= 275926
IDBENCH= 5172
IDSOLVER= 65
FILE ID= node9/275926-1169229454
PBS_JOBID= 3588971
Free space on /tmp= 66561 MiB
SOLVER NAME= CSP4J - MaxCSP 2006-12-19
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-70-13-a3.xml
COMMAND LINE= /tmp/evaluation/275926-1169229454/cspfj.sh -solver MinConflicts -max -competition /tmp/evaluation/275926-1169229454/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-275926-1169229454 -o ROOT/results/node9/solver-275926-1169229454 -C 2400 -M 900 /tmp/evaluation/275926-1169229454/cspfj.sh -solver MinConflicts -max -competition /tmp/evaluation/275926-1169229454/unknown.xml
META MD5SUM SOLVER= ae5901f6cce23734dab709fa25e92adb
MD5SUM BENCH= 867e5ac3974f1355ea650434b3018815
RANDOM SEED= 151801657
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.231
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.231
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: 1296392 kB
Buffers: 57444 kB
Cached: 568976 kB
SwapCached: 268 kB
Active: 260548 kB
Inactive: 415200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1296392 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 584 kB
Writeback: 0 kB
Mapped: 62176 kB
Slab: 68608 kB
Committed_AS: 7824152 kB
PageTables: 2304 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66562 MiB
End job on node9 on Fri Jan 19 18:37:51 UTC 2007