0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=epfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/277331-1169265965/unknown.xml
0.39
0.39 domains being loaded...
0.43
0.43 variables being loaded...
0.49 nbVariables=225 nbDomainTypes=225 minDomainSize=772 maxDomainSize=870
0.49 => wckTime=0.164 cpuTime=0.13 mem=11M779
0.49
0.49 predicates being loaded...
0.50
0.50 constraints being loaded...
61.49
61.49 INFO : Stopping converting binary constraints (cpu=60.09, mem = 101M822)
62.21 nbConstraints=3150 nbConvertedConstraints=376 nbConvertConstraintsChecks=252101692 nbExtensionStructures=376
62.21 nbSharedExtensionStructures=0 nbConflictsStructures=376 nbSharedConflictsStructures=0
62.21 nbSharedBinaryRepresentations=142212 nbEvaluationManagers=2774 nbSharedEvaluationManagers=0 maxDegree=28
62.21 maxArity=2
62.21 => wckTime=61.883 cpuTime=60.36 mem=111M459
62.46
62.46 solver LocalSearchSolver being built...
62.49 => wckTime=62.165 cpuTime=60.4 mem=101M336
62.57
62.57 s SATISFIABLE
62.57 o 2821
62.57 c 329
62.59 o 2828
62.59 c 322
62.60 o 2835
62.60 c 315
62.63 o 2841
62.63 c 309
62.65 o 2846
62.65 c 304
62.68 o 2851
62.68 c 299
62.70 o 2857
62.70 c 293
62.74 o 2862
62.74 c 288
62.76 o 2867
62.76 c 283
62.79 o 2873
62.79 c 277
62.84 o 2878
62.84 c 272
62.91 o 2883
62.91 c 267
62.96 o 2888
62.96 c 262
63.02 o 2892
63.02 c 258
63.08 o 2896
63.08 c 254
63.14 o 2900
63.14 c 250
63.18 o 2904
63.18 c 246
63.22 o 2908
63.22 c 242
63.27 o 2912
63.27 c 238
63.31 o 2916
63.31 c 234
63.35 o 2920
63.35 c 230
63.40 o 2924
63.40 c 226
63.43 o 2928
63.43 c 222
63.47 o 2931
63.47 c 219
63.51 o 2934
63.51 c 216
63.58 o 2937
63.58 c 213
63.62 o 2941
63.62 c 209
63.69 o 2945
63.69 c 205
63.77 o 2949
63.77 c 201
63.81 o 2953
63.81 c 197
63.84 o 2956
63.84 c 194
63.92 o 2959
63.92 c 191
63.96 o 2962
63.96 c 188
64.01 o 2965
64.01 c 185
64.06 o 2968
64.06 c 182
64.09 o 2971
64.09 c 179
64.10 o 2974
64.10 c 176
64.15 o 2976
64.15 c 174
64.19 o 2979
64.19 c 171
64.22 o 2982
64.22 c 168
64.22 o 2985
64.22 c 165
64.28 o 2989
64.28 c 161
64.31 o 2992
64.31 c 158
64.37 o 2995
64.37 c 155
64.41 o 2998
64.41 c 152
64.46 o 3001
64.46 c 149
64.55 o 3003
64.55 c 147
64.62 o 3005
64.62 c 145
64.69 o 3007
64.69 c 143
64.74 o 3009
64.74 c 141
64.80 o 3011
64.80 c 139
64.84 o 3012
64.84 c 138
64.92 o 3013
64.92 c 137
65.02 o 3014
65.02 c 136
65.10 o 3015
65.10 c 135
65.14 o 3017
65.14 c 133
65.20 o 3018
65.20 c 132
65.23 o 3019
65.23 c 131
65.27 o 3020
65.27 c 130
65.32 o 3021
65.32 c 129
65.37 o 3024
65.37 c 126
65.41 o 3025
65.41 c 125
65.46 o 3026
65.46 c 124
65.53 o 3028
65.53 c 122
65.58 o 3029
65.58 c 121
65.67 o 3031
65.67 c 119
65.76 o 3033
65.76 c 117
65.84 o 3035
65.84 c 115
65.90 o 3037
65.90 c 113
66.01 o 3039
66.01 c 111
66.13 o 3041
66.13 c 109
66.25 o 3043
66.25 c 107
66.35 o 3045
66.35 c 105
66.45 o 3047
66.45 c 103
66.54 o 3048
66.54 c 102
66.61 o 3049
66.61 c 101
66.70 o 3050
66.70 c 100
66.77 o 3051
66.77 c 99
66.86 o 3052
66.86 c 98
66.95 o 3053
66.95 c 97
67.13 o 3054
67.13 c 96
67.18 o 3055
67.18 c 95
67.30 o 3057
67.30 c 93
67.34 o 3059
67.34 c 91
67.36 o 3060
67.36 c 90
67.37 o 3061
67.37 c 89
67.39 o 3062
67.39 c 88
67.43 o 3063
67.43 c 87
67.47 o 3065
67.48 c 85
67.51 o 3066
67.51 c 84
67.53 o 3067
67.53 c 83
67.56 o 3068
67.56 c 82
67.59 o 3069
67.59 c 81
67.61 o 3070
67.61 c 80
67.64 o 3071
67.64 c 79
67.67 o 3072
67.67 c 78
67.68 o 3074
67.68 c 76
67.89 o 3075
67.89 c 75
67.92 o 3076
67.92 c 74
67.93 o 3077
67.93 c 73
68.02 o 3078
68.02 c 72
68.09 o 3079
68.09 c 71
68.18 o 3080
68.18 c 70
68.25 o 3081
68.25 c 69
68.30 o 3082
68.30 c 68
68.35 o 3083
68.35 c 67
68.41 o 3084
68.41 c 66
68.45 o 3085
68.45 c 65
68.49 o 3086
68.49 c 64
68.53 o 3087
68.53 c 63
69.24 o 3088
69.24 c 62
69.28 o 3089
69.28 c 61
69.43 o 3090
69.43 c 60
69.72 o 3091
69.72 c 59
69.99 o 3092
69.99 c 58
70.31 o 3093
70.31 c 57
70.36 o 3094
70.36 c 56
70.39 o 3096
70.39 c 54
71.17 o 3097
71.17 c 53
71.19 o 3098
71.19 c 52
73.57 o 3099
73.57 c 51
73.58 o 3100
73.58 c 50
73.64 o 3101
73.64 c 49
73.80 o 3102
73.80 c 48
73.90 o 3103
73.90 c 47
85.12 o 3104
85.12 c 46
86.60 o 3106
86.60 c 44
86.75 o 3107
86.75 c 43
86.81 o 3109
86.81 c 41
93.49 o 3110
93.49 c 40
99.82 o 3112
99.82 c 38
103.54 o 3113
103.54 c 37
103.62 o 3114
103.62 c 36
103.72 o 3116
103.72 c 34
103.87 o 3117
103.87 c 33
123.43 o 3118
123.43 c 32
128.06 o 3119
128.06 c 31
128.37 o 3120
128.37 c 30
130.28 o 3121
130.28 c 29
130.47 o 3122
130.47 c 28
130.55 o 3123
130.55 c 27
130.64 o 3124
130.64 c 26
135.51 o 3125
135.51 c 25
136.08 o 3126
136.08 c 24
143.09 o 3127
143.09 c 23
161.73 o 3128
161.73 c 22
188.10 o 3129
188.10 c 21
188.38 o 3130
188.38 c 20
188.54 o 3131
188.54 c 19
188.83 o 3132
188.83 c 18
194.64 o 3133
194.64 c 17
197.97 o 3134
197.97 c 16
198.11 o 3135
198.11 c 15
210.68 o 3136
210.68 c 14
218.55 o 3137
218.55 c 13
223.33 o 3138
223.33 c 12
226.98 o 3139
226.98 c 11
243.58 o 3140
243.58 c 10
245.53 o 3141
245.53 c 9
255.50 o 3142
255.50 c 8
285.69
285.69 search
285.69 run=0 nbConstraintChecks=594779452 nbAssignments=3266
285.69 => wckTime=223.196 cpuTime=221.62 mem=101M336
285.69
285.69 global
285.69 nbConstraintChecks=594779452 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
285.69 solvingWckTime=223.186 solvingCpuTime=221.61 expiredTime=no totalExploration=no nbFoundSolutions=0
285.69 globalCpuTime=282.07
285.69 => wckTime=285.362 cpuTime=282.02 mem=101M336
285.69
285.69 solver IterativeSystematicSolver being built...
285.95 => wckTime=285.621 cpuTime=282.19 mem=131M947
431.07
431.07 preprocessing
431.07 nbConstraintChecks=243025241 nbValidityChecks=691798391 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
431.07 nbRemovedValues=0 detectedInconsistency=no
431.07 => wckTime=145.117 cpuTime=144.4 mem=131M947
589.11
589.11 search
589.11 run=0 nbConstraintChecks=581980379 nbValidityChecks=933930561 nbPropagations=0 nbRevisions=0
589.11 nbUselessRevisions=0 nbAssignments=983 nbFailedAssignments=782 nbBacktracks=10 nbVisitedNodes=1776
589.11 nbRestartNogoods=0
589.11 => wckTime=303.16 cpuTime=301.7 mem=131M947
808.51
808.51 search
808.51 run=1 nbConstraintChecks=1461867208 nbValidityChecks=2125336651 nbPropagations=0 nbRevisions=0
808.51 nbUselessRevisions=0 nbAssignments=2295 nbFailedAssignments=1894 nbBacktracks=25 nbVisitedNodes=4215
808.51 nbRestartNogoods=215
808.51 => wckTime=522.557 cpuTime=520.05 mem=131M947
1012.09
1012.09 search
1012.09 run=2 nbConstraintChecks=2196918100 nbValidityChecks=3244340665 nbPropagations=0 nbRevisions=0
1012.09 nbUselessRevisions=0 nbAssignments=3537 nbFailedAssignments=2930 nbBacktracks=47 nbVisitedNodes=6515
1012.09 nbRestartNogoods=217
1012.09 => wckTime=726.143 cpuTime=722.7 mem=131M947
1292.92
1292.92 search
1292.92 run=3 nbConstraintChecks=3375371948 nbValidityChecks=4663362140 nbPropagations=0 nbRevisions=0
1292.92 nbUselessRevisions=0 nbAssignments=5784 nbFailedAssignments=4953 nbBacktracks=80 nbVisitedNodes=10818
1292.92 nbRestartNogoods=264
1292.92 => wckTime=1006.962 cpuTime=1002.19 mem=131M947
1685.75
1685.75 search
1685.75 run=4 nbConstraintChecks=4746830507 nbValidityChecks=6500180073 nbPropagations=0 nbRevisions=0
1685.75 nbUselessRevisions=0 nbAssignments=8842 nbFailedAssignments=7778 nbBacktracks=130 nbVisitedNodes=16751
1685.75 nbRestartNogoods=390
1685.75 => wckTime=1399.802 cpuTime=1393.22 mem=131M947
2412.01 v 717 235 401 290 196 561 332 603 649 21 16 783 344 161 507 148 863 739 648 496 456 221 549 388 99 839 293 344 1 5 481 2 321 649 94 231 580 775 398 717 172 639 232 867 525 399 489 347 643 8 225 554 681 796 754 588 68 813 162 110 554 101 406 150 639 762 204 320 87 136 287 493 724 1 862 4 682 777 482 719 422 668 1 73 584 344 300 172 234 144 557 576 307 29 651 347 171 459 532 389 848 747 402 236 121 540 426 719 149 768 339 244 168 20 72 649 219 135 393 567 476 0 132 647 489 723 255 80 393 334 804 605 564 301 760 287 216 848 309 823 14 712 651 640 542 105 788 494 407 752 722 809 337 292 866 245 588 426 97 549 407 467 0 54 127 324 148 575 512 90 662 243 332 867 422 754 844 360 689 3 457 649 730 841 220 29 248 103 425 3 309 198 679 610 522 94 639 6 338 104 48 240 136 498 766 580 298 149 158 397 162 795 775 415 80 171 651 804 321 665 521 548 360 0 241
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-277331-1169265965 -o ROOT/results/node51/solver-277331-1169265965 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277331-1169265965/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.95 1.65 1.84 4/74 22389
/proc/meminfo: memFree=1362504/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=1784 CPUtime=0
/proc/22388/stat : 22388 (java) D 22381 22388 22236 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 274995583 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/22388/statm: 446 160 125 14 0 91 0
[startup+0.10373 s]
/proc/loadavg: 0.95 1.65 1.84 4/74 22389
/proc/meminfo: memFree=1362504/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=913456 CPUtime=0.06
/proc/22388/stat : 22388 (java) D 22381 22388 22236 0 -1 0 2746 0 1 0 5 1 0 0 23 0 8 0 274995583 935378944 2492 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 228364 2492 1379 14 0 215347 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 913456
[startup+0.511805 s]
/proc/loadavg: 0.95 1.65 1.84 4/74 22389
/proc/meminfo: memFree=1362504/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916356 CPUtime=0.46
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 7433 0 1 0 42 4 0 0 19 0 8 0 274995583 938348544 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229089 7173 2150 14 0 215559 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916356
[startup+1.33894 s]
/proc/loadavg: 0.95 1.65 1.84 3/88 22403
/proc/meminfo: memFree=1279320/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=1.27
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 12447 0 1 0 119 8 0 0 25 0 8 0 274995583 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778132 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 12185 2171 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274995586 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274995587 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274995587 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.14
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 406 0 0 0 13 1 0 0 15 0 8 0 274995591 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 12185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 916660
[startup+2.98122 s]
/proc/loadavg: 0.95 1.65 1.84 3/88 22403
/proc/meminfo: memFree=1210008/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2.91
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 13184 0 1 0 282 9 0 0 25 0 8 0 274995583 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775836 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 12921 2171 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 274995586 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274995587 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274995587 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.14
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 407 0 0 0 13 1 0 0 15 0 8 0 274995591 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 12921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 916660
[startup+6.28278 s]
/proc/loadavg: 1.04 1.65 1.84 3/88 22403
/proc/meminfo: memFree=968536/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=6.19
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 14634 0 1 0 609 10 0 0 25 0 8 0 274995583 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777024 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 14370 2171 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 274995586 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274995587 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274995587 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.14
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 407 0 0 0 13 1 0 0 15 0 8 0 274995591 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 14370 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 916660
[startup+12.7749 s]
/proc/loadavg: 1.11 1.66 1.84 3/88 22403
/proc/meminfo: memFree=614440/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=12.65
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 21709 0 1 0 1252 13 0 0 25 0 8 0 274995583 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775891 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 21444 2182 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=0.16
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 5097 0 0 0 14 2 0 0 16 0 8 0 274995586 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 274995587 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.14
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 408 0 0 0 13 1 0 0 16 0 8 0 274995591 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 21444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 916660
[startup+25.6179 s]
/proc/loadavg: 1.38 1.69 1.85 3/88 22403
/proc/meminfo: memFree=598960/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=25.39
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 21727 0 1 0 2526 13 0 0 25 0 8 0 274995583 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775786 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 21462 2182 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=0.16
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 5097 0 0 0 14 2 0 0 16 0 8 0 274995586 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 274995587 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.16
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 424 0 0 0 15 1 0 0 16 0 8 0 274995591 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 21462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 916660
[startup+51.3102 s]
/proc/loadavg: 1.59 1.71 1.85 3/88 22403
/proc/meminfo: memFree=556208/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=50.87
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 32348 0 1 0 5068 19 0 0 25 0 8 0 274995583 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073779368 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 32081 2183 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=0.51
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 15712 0 0 0 45 6 0 0 16 0 8 0 274995586 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 274995587 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.16
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 425 0 0 0 15 1 0 0 16 0 8 0 274995591 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 32081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 916660
[startup+102.527 s]
/proc/loadavg: 1.82 1.76 1.86 3/88 22403
/proc/meminfo: memFree=511856/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=101.63
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 43583 0 1 0 10131 32 0 0 25 0 8 0 274995583 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073781706 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 43313 2504 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.1
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 26571 0 0 0 100 10 0 0 16 0 8 0 274995586 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.2
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 450 0 0 0 19 1 0 0 16 0 8 0 274995591 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 43313 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.63
Current children cumulated vsize (KiB) 916660
[startup+162.597 s]
/proc/loadavg: 1.93 1.80 1.86 3/88 22403
/proc/meminfo: memFree=510768/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=161.18
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 43586 0 1 0 16080 38 0 0 25 0 8 0 274995583 938659840 43316 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788264 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2014.67
Current children cumulated vsize (KiB) 916660
[startup+2084.89 s]
/proc/loadavg: 2.01 2.01 1.93 3/87 22463
/proc/meminfo: memFree=1032440/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2074.47
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 207391 56 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073775804 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.15
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 103 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2074.47
Current children cumulated vsize (KiB) 916660
[startup+2144.97 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032376/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2134.26
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 213370 56 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074013463 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.15
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 103 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2134.26
Current children cumulated vsize (KiB) 916660
[startup+2205.03 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032440/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2194.06
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 219350 56 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782228 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.15
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 103 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2194.06
Current children cumulated vsize (KiB) 916660
[startup+2265.1 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032376/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2253.85
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 225329 56 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.15
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 103 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2253.85
Current children cumulated vsize (KiB) 916660
[startup+2325.18 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032440/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2313.64
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 231308 56 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074074536 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.15
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 103 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2313.64
Current children cumulated vsize (KiB) 916660
[startup+2385.26 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032376/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2373.46
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 237289 57 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074077548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.16
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 104 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2373.46
Current children cumulated vsize (KiB) 916660
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2412 s]
/proc/loadavg: 2.00 2.00 1.93 3/87 22463
/proc/meminfo: memFree=1032376/2055920 swapFree=4191892/4192956
[pid=22388] ppid=22381 vsize=916660 CPUtime=2400.06
/proc/22388/stat : 22388 (java) R 22381 22388 22236 0 -1 0 48979 0 1 0 239949 57 0 0 25 0 8 0 274995583 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22388/statm: 229165 48679 2556 14 0 215635 0
[pid=22388/tid=22393] ppid=22381 vsize=916660 CPUtime=1.16
/proc/22388/task/22393/stat : 22393 (java) S 22381 22388 22236 0 -1 64 31763 0 0 0 104 12 0 0 16 0 8 0 274995586 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22394] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22394/stat : 22394 (java) S 22381 22388 22236 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22395] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22395/stat : 22395 (java) S 22381 22388 22236 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274995587 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22400] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22400/stat : 22400 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22401] ppid=22381 vsize=916660 CPUtime=0.36
/proc/22388/task/22401/stat : 22401 (java) S 22381 22388 22236 0 -1 64 537 0 0 0 34 2 0 0 16 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22402] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22402/stat : 22402 (java) S 22381 22388 22236 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 274995591 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22388/tid=22403] ppid=22381 vsize=916660 CPUtime=0
/proc/22388/task/22403/stat : 22403 (java) S 22381 22388 22236 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274995592 938659840 48679 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 916660
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2412.06
CPU time (s): 2400.13
CPU user time (s): 2399.53
CPU system time (s): 0.597909
CPU usage (%): 99.505
Max. virtual memory (cumulated for all children) (KiB): 916664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.53
system time used= 0.597909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49000
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= 50479
involuntary context switches= 41225
runsolver used 2.52262 s user time and 6.18206 s system time
The end
Begin job on node51 on Sat Jan 20 04:06:10 UTC 2007
IDJOB= 277331
IDBENCH= 6607
IDSOLVER= 68
FILE ID= node51/277331-1169265965
PBS_JOBID= 3607333
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-15/os-taillard-15-95-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277331-1169265965/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-277331-1169265965 -o ROOT/results/node51/solver-277331-1169265965 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277331-1169265965/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f4327cb68fbe8580c1be6c2a8250c7f0
RANDOM SEED= 996253139
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.277
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.277
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: 1365080 kB
Buffers: 47960 kB
Cached: 547548 kB
SwapCached: 512 kB
Active: 94036 kB
Inactive: 521176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1365080 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 2724 kB
Writeback: 0 kB
Mapped: 28384 kB
Slab: 61488 kB
Committed_AS: 5122472 kB
PageTables: 1616 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= 66561 MiB
End job on node51 on Sat Jan 20 04:46:23 UTC 2007