0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/277335-1169265968/unknown.xml
0.35
0.35 domains being loaded...
0.40
0.40 variables being loaded...
0.46 nbVariables=225 nbDomainTypes=225 minDomainSize=813 maxDomainSize=911
0.46 => wckTime=0.163 cpuTime=0.13 mem=12M762
0.46
0.46 predicates being loaded...
0.46
0.46 constraints being loaded...
61.37
61.37 INFO : Stopping converting binary constraints (cpu=60.04, mem = 96M970)
62.11 nbConstraints=3150 nbConvertedConstraints=348 nbConvertConstraintsChecks=258339795 nbExtensionStructures=348
62.11 nbSharedExtensionStructures=0 nbConflictsStructures=348 nbSharedConflictsStructures=0
62.11 nbSharedBinaryRepresentations=173168 nbEvaluationManagers=2802 nbSharedEvaluationManagers=0 maxDegree=28
62.11 maxArity=2
62.11 => wckTime=61.813 cpuTime=60.31 mem=105M55
62.35
62.35 solver LocalSearchSolver being built...
62.39 => wckTime=62.092 cpuTime=60.35 mem=95M906
62.44
62.44 s SATISFIABLE
62.44 o 2820
62.44 c 330
62.48 o 2827
62.48 c 323
62.54 o 2833
62.54 c 317
62.57 o 2839
62.57 c 311
62.62 o 2845
62.62 c 305
62.68 o 2851
62.68 c 299
62.74 o 2857
62.74 c 293
62.78 o 2863
62.78 c 287
62.81 o 2868
62.81 c 282
62.84 o 2871
62.84 c 279
62.92 o 2876
62.92 c 274
62.98 o 2881
62.98 c 269
63.05 o 2886
63.05 c 264
63.10 o 2890
63.11 c 260
63.14 o 2894
63.14 c 256
63.17 o 2898
63.17 c 252
63.21 o 2902
63.21 c 248
63.26 o 2906
63.26 c 244
63.37 o 2910
63.37 c 240
63.47 o 2914
63.47 c 236
63.56 o 2918
63.56 c 232
63.65 o 2922
63.65 c 228
63.72 o 2926
63.72 c 224
63.78 o 2930
63.78 c 220
63.83 o 2934
63.83 c 216
63.92 o 2938
63.92 c 212
64.02 o 2941
64.02 c 209
64.09 o 2944
64.09 c 206
64.15 o 2947
64.15 c 203
64.20 o 2950
64.20 c 200
64.27 o 2953
64.27 c 197
64.33 o 2956
64.33 c 194
64.37 o 2959
64.37 c 191
64.40 o 2962
64.40 c 188
64.48 o 2965
64.48 c 185
64.51 o 2967
64.51 c 183
64.54 o 2968
64.54 c 182
64.64 o 2970
64.64 c 180
64.75 o 2973
64.75 c 177
64.83 o 2974
64.83 c 176
64.93 o 2977
64.93 c 173
65.01 o 2980
65.01 c 170
65.12 o 2983
65.12 c 167
65.22 o 2986
65.22 c 164
65.30 o 2989
65.30 c 161
65.40 o 2991
65.40 c 159
65.49 o 2993
65.49 c 157
65.57 o 2994
65.57 c 156
65.65 o 2996
65.65 c 154
65.75 o 2998
65.75 c 152
65.83 o 3000
65.83 c 150
65.91 o 3002
65.91 c 148
65.97 o 3004
65.97 c 146
66.05 o 3006
66.05 c 144
66.12 o 3007
66.12 c 143
66.18 o 3008
66.18 c 142
66.24 o 3009
66.24 c 141
66.30 o 3010
66.30 c 140
66.34 o 3011
66.34 c 139
66.40 o 3012
66.40 c 138
66.44 o 3013
66.44 c 137
66.48 o 3014
66.48 c 136
66.53 o 3017
66.53 c 133
66.55 o 3019
66.55 c 131
66.61 o 3021
66.61 c 129
66.63 o 3022
66.63 c 128
66.68 o 3024
66.68 c 126
66.82 o 3027
66.82 c 123
66.84 o 3029
66.84 c 121
66.93 o 3030
66.93 c 120
67.03 o 3032
67.03 c 118
67.10 o 3034
67.10 c 116
67.19 o 3036
67.19 c 114
67.27 o 3038
67.27 c 112
67.35 o 3040
67.35 c 110
67.41 o 3042
67.41 c 108
67.49 o 3043
67.49 c 107
67.57 o 3044
67.57 c 106
67.66 o 3045
67.66 c 105
67.76 o 3046
67.76 c 104
67.81 o 3047
67.81 c 103
67.91 o 3048
67.91 c 102
68.05 o 3049
68.05 c 101
68.23 o 3051
68.23 c 99
68.28 o 3052
68.28 c 98
68.31 o 3053
68.31 c 97
68.36 o 3054
68.36 c 96
68.41 o 3055
68.41 c 95
68.44 o 3056
68.44 c 94
68.57 o 3058
68.57 c 92
68.62 o 3059
68.62 c 91
68.66 o 3061
68.66 c 89
68.73 o 3062
68.73 c 88
68.82 o 3063
68.82 c 87
68.87 o 3064
68.87 c 86
69.01 o 3066
69.01 c 84
69.10 o 3067
69.10 c 83
69.14 o 3068
69.14 c 82
69.33 o 3069
69.33 c 81
69.40 o 3070
69.40 c 80
69.47 o 3071
69.47 c 79
69.49 o 3072
69.49 c 78
69.57 o 3073
69.57 c 77
69.61 o 3074
69.61 c 76
69.66 o 3075
69.66 c 75
69.74 o 3076
69.74 c 74
69.80 o 3077
69.80 c 73
69.95 o 3078
69.95 c 72
69.99 o 3079
69.99 c 71
70.02 o 3080
70.02 c 70
70.06 o 3081
70.06 c 69
70.08 o 3082
70.08 c 68
70.40 o 3083
70.40 c 67
70.43 o 3084
70.43 c 66
70.72 o 3085
70.72 c 65
70.84 o 3086
70.84 c 64
71.21 o 3087
71.21 c 63
72.16 o 3088
72.16 c 62
72.29 o 3089
72.29 c 61
76.72 o 3090
76.72 c 60
76.82 o 3091
76.82 c 59
76.90 o 3092
76.90 c 58
76.99 o 3094
76.99 c 56
77.67 o 3095
77.67 c 55
80.26 o 3098
80.26 c 52
80.55 o 3099
80.55 c 51
87.55 o 3100
87.55 c 50
87.64 o 3101
87.64 c 49
87.69 o 3102
87.69 c 48
99.21 o 3103
99.21 c 47
102.49 o 3104
102.49 c 46
102.68 o 3106
102.68 c 44
102.87 o 3107
102.87 c 43
103.91 o 3108
103.91 c 42
103.99 o 3109
103.99 c 41
104.13 o 3110
104.13 c 40
124.38 o 3111
124.38 c 39
128.70 o 3112
128.70 c 38
129.42 o 3113
129.42 c 37
130.90 o 3114
130.90 c 36
131.03 o 3115
131.03 c 35
131.28 o 3116
131.28 c 34
131.37 o 3117
131.37 c 33
132.59 o 3119
132.59 c 31
133.80 o 3120
133.80 c 30
135.12 o 3121
135.12 c 29
136.51 o 3122
136.51 c 28
144.55 o 3123
144.55 c 27
144.66 o 3124
144.66 c 26
145.30 o 3125
145.30 c 25
145.46 o 3126
145.46 c 24
146.87 o 3127
146.87 c 23
176.96 o 3128
176.96 c 22
177.06 o 3129
177.06 c 21
180.92 o 3130
180.92 c 20
210.91 o 3131
210.91 c 19
211.93 o 3132
211.93 c 18
216.68 o 3133
216.68 c 17
246.97
246.97 search
246.97 run=0 nbConstraintChecks=467404314 nbAssignments=2258
246.97 => wckTime=184.589 cpuTime=183.0 mem=95M906
246.98
246.98 global
246.98 nbConstraintChecks=467404314 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
246.98 solvingWckTime=184.579 solvingCpuTime=182.99 expiredTime=no totalExploration=no nbFoundSolutions=0
246.98 globalCpuTime=243.41
246.98 => wckTime=246.682 cpuTime=243.35 mem=95M906
246.98
246.98 solver IterativeSystematicSolver being built...
247.24 => wckTime=246.948 cpuTime=243.51 mem=129M624
257.50
257.50 preprocessing
257.50 nbConstraintChecks=27314359 nbValidityChecks=139599 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
257.50 nbRemovedValues=0 detectedInconsistency=no
257.50 => wckTime=10.26 cpuTime=10.17 mem=129M624
376.90
376.90 search
376.90 run=0 nbConstraintChecks=289326925 nbValidityChecks=728401104 nbPropagations=0 nbRevisions=0
376.90 nbUselessRevisions=0 nbAssignments=904 nbFailedAssignments=692 nbBacktracks=10 nbVisitedNodes=1607
376.90 nbRestartNogoods=0
376.90 => wckTime=129.654 cpuTime=128.52 mem=129M624
460.83
460.83 search
460.83 run=1 nbConstraintChecks=481104894 nbValidityChecks=1330423719 nbPropagations=0 nbRevisions=0
460.83 nbUselessRevisions=0 nbAssignments=1299 nbFailedAssignments=874 nbBacktracks=25 nbVisitedNodes=2199
460.83 nbRestartNogoods=75
460.83 => wckTime=213.586 cpuTime=211.72 mem=129M624
593.77
593.77 search
593.77 run=2 nbConstraintChecks=832418141 nbValidityChecks=2251438745 nbPropagations=0 nbRevisions=0
593.77 nbUselessRevisions=0 nbAssignments=2332 nbFailedAssignments=1689 nbBacktracks=47 nbVisitedNodes=4069
593.77 nbRestartNogoods=131
593.77 => wckTime=346.531 cpuTime=343.5 mem=129M624
803.64
803.64 search
803.64 run=3 nbConstraintChecks=1529363189 nbValidityChecks=3357527498 nbPropagations=0 nbRevisions=0
803.64 nbUselessRevisions=0 nbAssignments=4057 nbFailedAssignments=3184 nbBacktracks=80 nbVisitedNodes=7322
803.64 nbRestartNogoods=223
803.64 => wckTime=556.391 cpuTime=551.59 mem=129M624
928.34
928.35 search
928.35 run=4 nbConstraintChecks=1865959335 nbValidityChecks=4159101699 nbPropagations=0 nbRevisions=0
928.35 nbUselessRevisions=0 nbAssignments=5040 nbFailedAssignments=3915 nbBacktracks=130 nbVisitedNodes=9086
928.35 nbRestartNogoods=640
928.35 => wckTime=681.102 cpuTime=675.22 mem=129M624
1077.79
1077.79 search
1077.79 run=5 nbConstraintChecks=2380209709 nbValidityChecks=5020714014 nbPropagations=0 nbRevisions=0
1077.79 nbUselessRevisions=0 nbAssignments=6272 nbFailedAssignments=4869 nbBacktracks=205 nbVisitedNodes=11347
1077.79 nbRestartNogoods=789
1077.79 => wckTime=830.545 cpuTime=823.41 mem=130M586
1258.23
1258.23 search
1258.23 run=6 nbConstraintChecks=2862185412 nbValidityChecks=5852011753 nbPropagations=0 nbRevisions=0
1258.23 nbUselessRevisions=0 nbAssignments=8822 nbFailedAssignments=7107 nbBacktracks=318 nbVisitedNodes=16248
1258.23 nbRestartNogoods=902
1258.23 => wckTime=1010.986 cpuTime=1002.31 mem=130M586
1993.10
1993.10 search
1993.10 run=7 nbConstraintChecks=5481374268 nbValidityChecks=9423698999 nbPropagations=0 nbRevisions=0
1993.10 nbUselessRevisions=0 nbAssignments=14276 nbFailedAssignments=12205 nbBacktracks=488 nbVisitedNodes=26970
1993.10 nbRestartNogoods=1041
1993.10 => wckTime=1745.86 cpuTime=1730.9 mem=130M586
2400.31
2400.31 search
2400.31 run=8 nbConstraintChecks=6841039643 nbValidityChecks=11487784361 nbPropagations=0 nbRevisions=0
2400.31 nbUselessRevisions=0 nbAssignments=18498 nbFailedAssignments=15978 nbBacktracks=744 nbVisitedNodes=35221
2400.31 nbRestartNogoods=1042
2400.31 => wckTime=2153.071 cpuTime=2134.63 mem=130M586
2420.56 v 75 228 633 271 0 659 823 708 319 7 736 345 792 440 603 564 647 300 623 263 250 3 531 826 338 385 453 163 122 743 703 182 327 518 777 237 426 275 80 604 837 190 1 121 764 274 147 207 167 333 10 725 796 496 72 630 365 530 882 143 73 602 807 684 3 877 682 551 291 433 192 340 759 465 112 418 288 647 590 96 893 248 10 78 193 512 527 736 377 836 606 736 264 165 765 907 1 606 371 772 74 685 434 854 508 265 775 532 511 627 432 83 380 686 717 1 827 102 333 195 194 684 849 723 628 298 529 752 606 100 9 323 426 454 407 464 624 3 894 101 192 726 760 615 853 515 80 374 285 143 817 378 630 903 4 771 541 408 140 691 449 244 109 905 345 197 73 835 170 775 324 822 14 405 490 623 836 593 262 698 820 340 678 564 32 456 98 414 2 824 261 235 741 532 187 150 709 584 341 2 623 438 811 504 105 259 386 108 363 426 397 433 676 194 238 495 849 740 906 804 611 552 96 7 308
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-277335-1169265968 -o ROOT/results/node41/solver-277335-1169265968 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277335-1169265968/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: 0.92 1.62 1.84 4/73 8087
/proc/meminfo: memFree=1440848/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=18540 CPUtime=0
/proc/8086/stat : 8086 (runsolver) R 8081 8086 7975 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274996295 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/8086/statm: 4635 279 244 17 0 2626 0
[startup+0.107488 s]
/proc/loadavg: 0.92 1.62 1.84 4/73 8087
/proc/meminfo: memFree=1440848/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=914988 CPUtime=0.08
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 3052 0 1 0 7 1 0 0 24 0 8 0 274996295 936947712 2798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228747 2798 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515524 s]
/proc/loadavg: 0.92 1.62 1.84 4/73 8087
/proc/meminfo: memFree=1440848/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915332 CPUtime=0.49
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 7679 0 1 0 44 5 0 0 25 0 8 0 274996295 937299968 7418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228833 7418 2147 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33659 s]
/proc/loadavg: 0.92 1.62 1.84 3/87 8101
/proc/meminfo: memFree=1361120/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915636 CPUtime=1.3
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 12514 0 1 0 122 8 0 0 25 0 8 0 274996295 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794713 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228909 12252 2168 14 0 215379 0
[pid=8086/tid=8091] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274996299 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274996299 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274996299 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915636 CPUtime=0.14
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 409 0 0 0 13 1 0 0 16 0 8 0 274996302 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274996302 937611264 12252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915636
[startup+2.97373 s]
/proc/loadavg: 0.92 1.62 1.84 3/87 8101
/proc/meminfo: memFree=1357536/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915636 CPUtime=2.93
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 13239 0 1 0 285 8 0 0 25 0 8 0 274996295 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228909 12976 2168 14 0 215379 0
[pid=8086/tid=8091] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274996299 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274996299 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274996299 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915636 CPUtime=0.14
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 409 0 0 0 13 1 0 0 17 0 8 0 274996302 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 937611264 12976 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274996302 937611264 12976 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) 915636
[startup+6.27502 s]
/proc/loadavg: 1.01 1.63 1.84 3/87 8101
/proc/meminfo: memFree=1345768/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915636 CPUtime=6.18
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 14597 0 1 0 609 9 0 0 25 0 8 0 274996295 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775909 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228909 14334 2168 14 0 215379 0
[pid=8086/tid=8091] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274996299 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274996299 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915636 CPUtime=0.14
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 409 0 0 0 13 1 0 0 16 0 8 0 274996302 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274996302 937611264 14334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915636
[startup+12.7376 s]
/proc/loadavg: 1.08 1.63 1.84 3/87 8101
/proc/meminfo: memFree=1292776/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915636 CPUtime=12.6
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 20953 0 1 0 1248 12 0 0 25 0 8 0 274996295 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228909 20689 2179 14 0 215379 0
[pid=8086/tid=8091] ppid=8081 vsize=915636 CPUtime=0.1
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 4345 0 0 0 9 1 0 0 16 0 8 0 274996299 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915636 CPUtime=0.14
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 410 0 0 0 13 1 0 0 17 0 8 0 274996302 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274996302 937611264 20689 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915636
[startup+25.5917 s]
/proc/loadavg: 1.29 1.65 1.84 3/87 8101
/proc/meminfo: memFree=1292712/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915636 CPUtime=25.36
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 20970 0 1 0 2524 12 0 0 25 0 8 0 274996295 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228909 20706 2180 14 0 215379 0
[pid=8086/tid=8091] ppid=8081 vsize=915636 CPUtime=0.1
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 4345 0 0 0 9 1 0 0 16 0 8 0 274996299 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915636 CPUtime=0.16
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 425 0 0 0 15 1 0 0 17 0 8 0 274996302 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274996302 937611264 20706 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915636
[startup+51.2829 s]
/proc/loadavg: 1.53 1.68 1.85 3/87 8101
/proc/meminfo: memFree=1209128/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=915636 CPUtime=50.83
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 31414 0 1 0 5067 16 0 0 25 0 8 0 274996295 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775862 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 228909 31148 2180 14 0 215379 0
[pid=8086/tid=8091] ppid=8081 vsize=915636 CPUtime=0.45
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 14783 0 0 0 41 4 0 0 16 0 8 0 274996299 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=915636 CPUtime=0.17
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 427 0 0 0 16 1 0 0 16 0 8 0 274996302 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=915636 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 274996302 937611264 31148 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 915636
[startup+102.577 s]
/proc/loadavg: 1.79 1.72 1.85 3/87 8101
/proc/meminfo: memFree=1137576/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=101.69
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 42219 0 1 0 10144 25 0 0 25 0 8 0 274996295 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073781734 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 41950 2501 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.04
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 25211 0 0 0 96 8 0 0 16 0 8 0 274996299 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.21
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 452 0 0 0 20 1 0 0 16 0 8 0 274996302 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 41950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 916660
[startup+162.642 s]
/proc/loadavg: 1.92 1.77 1.86 3/87 8101
/proc/meminfo: memFree=1137448/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=161.25
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 42221 0 1 0 16096 29 0 0 25 0 8 0 274996295 938659840 41952 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073922893 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2007.93
Current children cumulated vsize (KiB) 916660
[startup+2085.26 s]
/proc/loadavg: 2.05 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092392/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2067.48
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47934 0 1 0 206704 44 0 0 25 0 8 0 274996295 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074076629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 47637 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.34
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2067.48
Current children cumulated vsize (KiB) 916660
[startup+2145.34 s]
/proc/loadavg: 2.02 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2127.05
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47934 0 1 0 212661 44 0 0 25 0 8 0 274996295 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074076563 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 47637 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.34
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2127.05
Current children cumulated vsize (KiB) 916660
[startup+2205.43 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2186.64
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47934 0 1 0 218620 44 0 0 25 0 8 0 274996295 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073777000 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 47637 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.34
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2186.64
Current children cumulated vsize (KiB) 916660
[startup+2265.52 s]
/proc/loadavg: 2.04 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2246.19
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47934 0 1 0 224575 44 0 0 25 0 8 0 274996295 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 47637 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.34
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2246.19
Current children cumulated vsize (KiB) 916660
[startup+2325.6 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2305.78
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47934 0 1 0 230533 45 0 0 25 0 8 0 274996295 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074012905 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 47637 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.34
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2305.78
Current children cumulated vsize (KiB) 916660
[startup+2385.67 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2365.33
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47934 0 1 0 236488 45 0 0 25 0 8 0 274996295 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179830 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8086/statm: 229165 47637 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.34
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 542 0 0 0 33 1 0 0 16 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2365.33
Current children cumulated vsize (KiB) 916660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2420.55 s]
/proc/loadavg: 2.28 2.07 1.97 3/88 8177
/proc/meminfo: memFree=575816/2055920 swapFree=4191892/4192956
[pid=8086] ppid=8081 vsize=916660 CPUtime=2400.05
/proc/8086/stat : 8086 (java) R 8081 8086 7975 0 -1 0 47936 0 1 0 239959 46 0 0 25 0 8 0 274996295 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074097754 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8086/statm: 229165 47638 2551 14 0 215635 0
[pid=8086/tid=8091] ppid=8081 vsize=916660 CPUtime=1.09
/proc/8086/task/8091/stat : 8091 (java) S 8081 8086 7975 0 -1 64 30729 0 0 0 99 10 0 0 16 0 8 0 274996299 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8092] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8092/stat : 8092 (java) S 8081 8086 7975 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8093] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8093/stat : 8093 (java) S 8081 8086 7975 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996299 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8098] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8098/stat : 8098 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 274996302 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8099] ppid=8081 vsize=916660 CPUtime=0.35
/proc/8086/task/8099/stat : 8099 (java) S 8081 8086 7975 0 -1 64 544 0 0 0 34 1 0 0 16 0 8 0 274996302 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8100] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8100/stat : 8100 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 274996302 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8086/tid=8101] ppid=8081 vsize=916660 CPUtime=0
/proc/8086/task/8101/stat : 8101 (java) S 8081 8086 7975 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996302 938659840 47638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 916660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2420.63
CPU time (s): 2400.13
CPU user time (s): 2399.64
CPU system time (s): 0.491925
CPU usage (%): 99.1529
Max. virtual memory (cumulated for all children) (KiB): 916660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.64
system time used= 0.491925
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47959
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50614
involuntary context switches= 58286
runsolver used 2.81057 s user time and 6.47202 s system time
The end
Begin job on node41 on Sat Jan 20 04:06:10 UTC 2007
IDJOB= 277335
IDBENCH= 6608
IDSOLVER= 69
FILE ID= node41/277335-1169265968
PBS_JOBID= 3607338
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277335-1169265968/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-277335-1169265968 -o ROOT/results/node41/solver-277335-1169265968 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277335-1169265968/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a34c97e86aa6f21f2941b431d9a10048
RANDOM SEED= 528146702
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.234
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.234
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: 1442776 kB
Buffers: 49856 kB
Cached: 463268 kB
SwapCached: 276 kB
Active: 200844 kB
Inactive: 331752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1442776 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4176 kB
Writeback: 0 kB
Mapped: 28396 kB
Slab: 66144 kB
Committed_AS: 4908372 kB
PageTables: 1700 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 node41 on Sat Jan 20 04:46:33 UTC 2007