0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/277334-1169265964/unknown.xml
0.39
0.39 domains being loaded...
0.43
0.43 variables being loaded...
0.50 nbVariables=225 nbDomainTypes=225 minDomainSize=813 maxDomainSize=911
0.50 => wckTime=0.172 cpuTime=0.13 mem=12M756
0.50
0.50 predicates being loaded...
0.50
0.50 constraints being loaded...
61.09
61.09 INFO : Stopping converting binary constraints (cpu=60.18, mem = 86M19)
61.78 nbConstraints=3150 nbConvertedConstraints=323 nbConvertConstraintsChecks=239506536 nbExtensionStructures=323
61.78 nbSharedExtensionStructures=0 nbConflictsStructures=323 nbSharedConflictsStructures=0
61.78 nbSharedBinaryRepresentations=166293 nbEvaluationManagers=2827 nbSharedEvaluationManagers=0 maxDegree=28
61.78 maxArity=2
61.78 => wckTime=61.453 cpuTime=60.48 mem=84M631
62.00
62.00 solver LocalSearchSolver being built...
62.04 => wckTime=61.715 cpuTime=60.52 mem=82M982
62.10
62.10 s SATISFIABLE
62.10 o 2820
62.10 c 330
62.14 o 2827
62.14 c 323
62.22 o 2833
62.22 c 317
62.25 o 2839
62.25 c 311
62.31 o 2845
62.31 c 305
62.37 o 2851
62.37 c 299
62.44 o 2857
62.44 c 293
62.48 o 2863
62.48 c 287
62.52 o 2868
62.52 c 282
62.55 o 2871
62.55 c 279
62.65 o 2876
62.65 c 274
62.71 o 2881
62.71 c 269
62.79 o 2886
62.79 c 264
62.85 o 2890
62.85 c 260
62.89 o 2894
62.89 c 256
62.93 o 2898
62.93 c 252
62.97 o 2902
62.97 c 248
63.03 o 2906
63.03 c 244
63.14 o 2910
63.14 c 240
63.25 o 2914
63.25 c 236
63.36 o 2918
63.36 c 232
63.44 o 2922
63.44 c 228
63.53 o 2926
63.53 c 224
63.59 o 2930
63.59 c 220
63.65 o 2934
63.65 c 216
63.75 o 2938
63.75 c 212
63.86 o 2941
63.86 c 209
63.94 o 2944
63.94 c 206
64.01 o 2947
64.01 c 203
64.07 o 2950
64.07 c 200
64.15 o 2953
64.15 c 197
64.21 o 2956
64.21 c 194
64.26 o 2959
64.26 c 191
64.29 o 2962
64.29 c 188
64.37 o 2965
64.38 c 185
64.41 o 2967
64.41 c 183
64.44 o 2968
64.44 c 182
64.56 o 2970
64.56 c 180
64.69 o 2973
64.69 c 177
64.77 o 2974
64.77 c 176
64.88 o 2977
64.88 c 173
64.97 o 2980
64.97 c 170
65.09 o 2983
65.09 c 167
65.21 o 2986
65.21 c 164
65.30 o 2989
65.30 c 161
65.41 o 2991
65.41 c 159
65.51 o 2993
65.52 c 157
65.60 o 2994
65.60 c 156
65.70 o 2996
65.70 c 154
65.80 o 2998
65.80 c 152
65.90 o 3000
65.90 c 150
65.98 o 3002
65.98 c 148
66.06 o 3004
66.06 c 146
66.14 o 3006
66.14 c 144
66.22 o 3007
66.22 c 143
66.29 o 3008
66.29 c 142
66.35 o 3009
66.35 c 141
66.42 o 3010
66.42 c 140
66.46 o 3011
66.46 c 139
66.53 o 3012
66.53 c 138
66.58 o 3013
66.58 c 137
66.62 o 3014
66.62 c 136
66.69 o 3017
66.69 c 133
66.71 o 3019
66.71 c 131
66.76 o 3021
66.76 c 129
66.79 o 3022
66.79 c 128
66.86 o 3024
66.86 c 126
67.00 o 3027
67.00 c 123
67.02 o 3029
67.02 c 121
67.12 o 3030
67.12 c 120
67.23 o 3032
67.23 c 118
67.31 o 3034
67.31 c 116
67.41 o 3036
67.41 c 114
67.51 o 3038
67.51 c 112
67.59 o 3040
67.59 c 110
67.66 o 3042
67.66 c 108
67.76 o 3043
67.76 c 107
67.84 o 3044
67.84 c 106
67.95 o 3045
67.95 c 105
68.06 o 3046
68.06 c 104
68.12 o 3047
68.12 c 103
68.22 o 3048
68.22 c 102
68.38 o 3049
68.38 c 101
68.58 o 3051
68.58 c 99
68.64 o 3052
68.64 c 98
68.67 o 3053
68.67 c 97
68.73 o 3054
68.73 c 96
68.78 o 3055
68.78 c 95
68.82 o 3056
68.82 c 94
68.97 o 3058
68.97 c 92
69.03 o 3059
69.03 c 91
69.07 o 3061
69.07 c 89
69.15 o 3062
69.15 c 88
69.25 o 3063
69.25 c 87
69.31 o 3064
69.31 c 86
69.45 o 3066
69.45 c 84
69.56 o 3067
69.56 c 83
69.60 o 3068
69.60 c 82
69.82 o 3069
69.82 c 81
69.89 o 3070
69.89 c 80
69.97 o 3071
69.97 c 79
69.99 o 3072
69.99 c 78
70.08 o 3073
70.08 c 77
70.12 o 3074
70.12 c 76
70.19 o 3075
70.19 c 75
70.28 o 3076
70.28 c 74
70.34 o 3077
70.34 c 73
70.51 o 3078
70.51 c 72
70.55 o 3079
70.55 c 71
70.59 o 3080
70.59 c 70
70.63 o 3081
70.63 c 69
70.65 o 3082
70.65 c 68
71.00 o 3083
71.00 c 67
71.04 o 3084
71.04 c 66
71.36 o 3085
71.36 c 65
71.50 o 3086
71.50 c 64
71.92 o 3087
71.92 c 63
73.01 o 3088
73.01 c 62
73.17 o 3089
73.17 c 61
78.21 o 3090
78.21 c 60
78.32 o 3091
78.32 c 59
78.40 o 3092
78.40 c 58
78.50 o 3094
78.50 c 56
79.28 o 3095
79.28 c 55
82.16 o 3098
82.16 c 52
82.48 o 3099
82.48 c 51
90.25 o 3100
90.25 c 50
90.34 o 3101
90.34 c 49
90.40 o 3102
90.40 c 48
103.33 o 3103
103.33 c 47
106.95 o 3104
106.95 c 46
107.16 o 3106
107.16 c 44
107.37 o 3107
107.37 c 43
108.50 o 3108
108.50 c 42
108.59 o 3109
108.59 c 41
108.74 o 3110
108.74 c 40
131.69 o 3111
131.69 c 39
136.56 o 3112
136.56 c 38
137.35 o 3113
137.35 c 37
139.00 o 3114
139.00 c 36
139.16 o 3115
139.16 c 35
139.43 o 3116
139.43 c 34
139.52 o 3117
139.52 c 33
140.92 o 3119
140.92 c 31
142.28 o 3120
142.28 c 30
143.78 o 3121
143.78 c 29
145.34 o 3122
145.34 c 28
154.34 o 3123
154.34 c 27
154.46 o 3124
154.46 c 26
155.18 o 3125
155.18 c 25
155.36 o 3126
155.36 c 24
156.93 o 3127
156.93 c 23
187.03
187.03 search
187.03 run=0 nbConstraintChecks=283386295 nbAssignments=1562
187.03 => wckTime=124.99 cpuTime=124.93 mem=82M982
187.03
187.03 global
187.03 nbConstraintChecks=283386295 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
187.03 solvingWckTime=124.979 solvingCpuTime=124.92 expiredTime=no totalExploration=no nbFoundSolutions=0
187.03 globalCpuTime=185.5
187.03 => wckTime=186.705 cpuTime=185.45 mem=82M982
187.03
187.03 solver IterativeSystematicSolver being built...
187.30 => wckTime=186.978 cpuTime=185.62 mem=116M970
345.46
345.46 preprocessing
345.46 nbConstraintChecks=233688005 nbValidityChecks=777173758 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
345.46 nbRemovedValues=0 detectedInconsistency=no
345.46 => wckTime=158.158 cpuTime=158.07 mem=116M970
493.63
493.63 search
493.63 run=0 nbConstraintChecks=359365326 nbValidityChecks=852108080 nbPropagations=0 nbRevisions=0
493.63 nbUselessRevisions=0 nbAssignments=1215 nbFailedAssignments=1004 nbBacktracks=10 nbVisitedNodes=2230
493.63 nbRestartNogoods=0
493.63 => wckTime=306.329 cpuTime=306.18 mem=116M970
599.05
599.05 search
599.05 run=1 nbConstraintChecks=596526772 nbValidityChecks=1539794161 nbPropagations=0 nbRevisions=0
599.05 nbUselessRevisions=0 nbAssignments=1755 nbFailedAssignments=1326 nbBacktracks=25 nbVisitedNodes=3107
599.05 nbRestartNogoods=18
599.05 => wckTime=411.746 cpuTime=411.56 mem=116M970
704.04
704.04 search
704.04 run=2 nbConstraintChecks=855076642 nbValidityChecks=2236229601 nbPropagations=0 nbRevisions=0
704.04 nbUselessRevisions=0 nbAssignments=2329 nbFailedAssignments=1677 nbBacktracks=47 nbVisitedNodes=4054
704.04 nbRestartNogoods=28
704.04 => wckTime=516.735 cpuTime=516.51 mem=116M970
1066.77
1066.77 search
1066.77 run=3 nbConstraintChecks=1939608084 nbValidityChecks=4020125402 nbPropagations=0 nbRevisions=0
1066.77 nbUselessRevisions=0 nbAssignments=5278 nbFailedAssignments=4394 nbBacktracks=80 nbVisitedNodes=9753
1066.77 nbRestartNogoods=105
1066.77 => wckTime=879.463 cpuTime=879.13 mem=116M970
1453.79
1453.79 search
1453.79 run=4 nbConstraintChecks=3256334180 nbValidityChecks=5898638596 nbPropagations=0 nbRevisions=0
1453.79 nbUselessRevisions=0 nbAssignments=8263 nbFailedAssignments=7126 nbBacktracks=130 nbVisitedNodes=15520
1453.79 nbRestartNogoods=191
1453.79 => wckTime=1266.487 cpuTime=1266.05 mem=116M970
1666.47
1666.47 search
1666.47 run=5 nbConstraintChecks=4027096956 nbValidityChecks=6982772020 nbPropagations=0 nbRevisions=0
1666.47 nbUselessRevisions=0 nbAssignments=10028 nbFailedAssignments=8614 nbBacktracks=205 nbVisitedNodes=18848
1666.47 nbRestartNogoods=341
1666.47 => wckTime=1479.168 cpuTime=1478.67 mem=116M970
1989.69
1989.69 search
1989.69 run=6 nbConstraintChecks=5043262455 nbValidityChecks=8488215927 nbPropagations=0 nbRevisions=0
1989.69 nbUselessRevisions=0 nbAssignments=13271 nbFailedAssignments=11539 nbBacktracks=319 nbVisitedNodes=25130
1989.69 nbRestartNogoods=445
1989.69 => wckTime=1802.383 cpuTime=1801.81 mem=116M970
2400.72 v 73 228 598 292 585 258 701 652 436 385 827 349 680 438 604 9 714 80 623 366 112 791 265 280 744 129 468 406 211 56 281 129 682 518 335 377 196 867 839 410 0 604 1 84 764 559 660 520 22 248 440 419 698 47 346 263 122 767 878 601 746 430 683 606 7 877 682 555 291 537 192 341 519 789 112 418 288 647 41 96 893 747 187 380 601 512 532 789 410 253 464 436 281 799 762 275 1 606 684 88 0 395 537 363 165 213 763 445 681 227 318 188 814 399 542 836 594 3 284 90 194 683 463 723 408 904 609 744 882 100 9 323 290 533 836 477 624 767 162 45 528 726 92 615 445 397 595 276 873 183 416 113 336 504 4 767 240 871 140 628 832 554 707 905 730 197 0 624 170 775 828 822 270 495 336 190 13 593 99 698 678 533 271 740 32 456 176 413 2 824 335 645 340 619 110 147 531 513 878 2 278 367 777 627 623 708 204 108 263 426 78 386 144 862 507 6 416 792 260 270 611 328 681 191 99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-277334-1169265964 -o ROOT/results/node41/solver-277334-1169265964 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277334-1169265964/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 5/70 8084
/proc/meminfo: memFree=1441896/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=0 CPUtime=0
/proc/8083/stat : 8083 (runsolver) R 8080 8083 7948 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 274996292 0 0 18446744073709551615 0 0 0 18446744073709551615 238390144295 0 0 4096 24578 0 0 0 17 1 0 0
/proc/8083/statm: 0 0 0 0 0 0 0
[startup+0.10387 s]
/proc/loadavg: 0.92 1.62 1.84 5/70 8084
/proc/meminfo: memFree=1441896/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=913068 CPUtime=0.07
/proc/8083/stat : 8083 (java) S 8080 8083 7948 0 -1 0 2860 0 1 0 6 1 0 0 17 0 8 0 274996292 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.511905 s]
/proc/loadavg: 0.92 1.62 1.84 5/70 8084
/proc/meminfo: memFree=1441896/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915332 CPUtime=0.48
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 7469 0 1 0 44 4 0 0 19 0 8 0 274996292 937299968 7208 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228833 7209 2150 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33297 s]
/proc/loadavg: 0.92 1.62 1.84 3/87 8101
/proc/meminfo: memFree=1361504/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=1.3
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 12465 0 1 0 122 8 0 0 25 0 8 0 274996292 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073782360 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 12203 2171 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 274996297 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274996297 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274996297 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.17
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 406 0 0 0 16 1 0 0 16 0 8 0 274996301 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 12203 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 12203 18446744073709551615 134512640 134570532 4294956464 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.97012 s]
/proc/loadavg: 0.92 1.62 1.84 3/87 8101
/proc/meminfo: memFree=1357536/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2.93
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 13169 0 1 0 285 8 0 0 25 0 8 0 274996292 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794746 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 12906 2171 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 8 0 0 0 0 0 0 0 17 0 8 0 274996297 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274996297 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274996297 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.17
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 406 0 0 0 16 1 0 0 15 0 8 0 274996301 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 12906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 12906 18446744073709551615 134512640 134570532 4294956464 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.2724 s]
/proc/loadavg: 1.01 1.63 1.84 3/87 8101
/proc/meminfo: memFree=1345768/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=6.23
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 14454 0 1 0 614 9 0 0 25 0 8 0 274996292 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777024 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 14191 2171 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 274996297 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 274996297 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.17
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 406 0 0 0 16 1 0 0 15 0 8 0 274996301 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 14191 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915636
[startup+12.738 s]
/proc/loadavg: 1.08 1.63 1.84 3/87 8101
/proc/meminfo: memFree=1292776/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=12.7
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 20953 0 1 0 1258 12 0 0 25 0 8 0 274996292 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 20689 2182 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0.1
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 4342 0 0 0 9 1 0 0 18 0 8 0 274996297 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.17
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 407 0 0 0 16 1 0 0 16 0 8 0 274996301 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 20689 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915636
[startup+25.5931 s]
/proc/loadavg: 1.29 1.65 1.84 3/87 8101
/proc/meminfo: memFree=1292712/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=25.55
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 20970 0 1 0 2543 12 0 0 25 0 8 0 274996292 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073777044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 20706 2182 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0.1
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 4342 0 0 0 9 1 0 0 16 0 8 0 274996297 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.18
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 420 0 0 0 17 1 0 0 16 0 8 0 274996301 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 20706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915636
[startup+51.2943 s]
/proc/loadavg: 1.53 1.68 1.85 3/87 8101
/proc/meminfo: memFree=1209128/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=51.24
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 31415 0 1 0 5107 17 0 0 25 0 8 0 274996292 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073778112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 31149 2183 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0.44
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 14780 0 0 0 39 5 0 0 16 0 8 0 274996297 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.19
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 424 0 0 0 18 1 0 0 15 0 8 0 274996301 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 31149 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.24
Current children cumulated vsize (KiB) 915636
[startup+102.498 s]
/proc/loadavg: 1.79 1.72 1.85 3/87 8101
/proc/meminfo: memFree=1137576/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=102.42
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 39097 0 1 0 10215 27 0 0 25 0 8 0 274996292 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 38828 2504 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=0.97
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 22086 0 0 0 89 8 0 0 16 0 8 0 274996297 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.23
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 449 0 0 0 22 1 0 0 16 0 8 0 274996301 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 38828 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 915636
[startup+162.563 s]
/proc/loadavg: 1.92 1.77 1.86 3/87 8101
/proc/meminfo: memFree=1137448/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=162.47
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 39100 0 1 0 16216 31 0 0 25 0 8 0 274996292 937611264 38831 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.41
Current children cumulated vsize (KiB) 915636
[startup+2085.08 s]
/proc/loadavg: 2.05 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092392/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2084.47
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 208407 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074201176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2084.47
Current children cumulated vsize (KiB) 915636
[startup+2145.16 s]
/proc/loadavg: 2.02 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2144.54
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 214414 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200943 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2144.54
Current children cumulated vsize (KiB) 915636
[startup+2205.26 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2204.62
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 220422 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074200877 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2204.62
Current children cumulated vsize (KiB) 915636
[startup+2265.34 s]
/proc/loadavg: 2.04 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2264.68
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 226428 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2264.68
Current children cumulated vsize (KiB) 915636
[startup+2325.41 s]
/proc/loadavg: 2.01 2.02 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2324.74
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 232434 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073922379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2324.74
Current children cumulated vsize (KiB) 915636
[startup+2385.49 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2384.8
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 238440 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2384.8
Current children cumulated vsize (KiB) 915636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.71 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 8103
/proc/meminfo: memFree=1092328/2055920 swapFree=4191892/4192956
[pid=8083] ppid=8080 vsize=915636 CPUtime=2400.02
/proc/8083/stat : 8083 (java) R 8080 8083 7948 0 -1 0 44817 0 1 0 239962 40 0 0 25 0 8 0 274996292 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074073170 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8083/statm: 228909 44513 2556 14 0 215379 0
[pid=8083/tid=8088] ppid=8080 vsize=915636 CPUtime=1.02
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7948 0 -1 64 27598 0 0 0 91 11 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8089] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8089/stat : 8089 (java) S 8080 8083 7948 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7948 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 274996297 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7948 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915636 CPUtime=0.39
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7948 0 -1 64 539 0 0 0 37 2 0 0 16 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915636 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7948 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 274996301 937611264 44513 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 915636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.78
CPU time (s): 2400.09
CPU user time (s): 2399.66
CPU system time (s): 0.432934
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 915640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.66
system time used= 0.432934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44841
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= 50296
involuntary context switches= 59109
runsolver used 2.6226 s user time and 6.41602 s system time
The end
Begin job on node41 on Sat Jan 20 04:06:10 UTC 2007
IDJOB= 277334
IDBENCH= 6608
IDSOLVER= 68
FILE ID= node41/277334-1169265964
PBS_JOBID= 3607337
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
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 epfc.xml 1 XSax /tmp/evaluation/277334-1169265964/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-277334-1169265964 -o ROOT/results/node41/solver-277334-1169265964 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/277334-1169265964/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a34c97e86aa6f21f2941b431d9a10048
RANDOM SEED= 666611833
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: 1442904 kB
Buffers: 49856 kB
Cached: 463268 kB
SwapCached: 276 kB
Active: 200840 kB
Inactive: 331752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1442904 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 4176 kB
Writeback: 0 kB
Mapped: 28396 kB
Slab: 66136 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= 66561 MiB
End job on node41 on Sat Jan 20 04:46:11 UTC 2007