0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=pfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/275811-1169227529/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.41 nbVariables=200 nbDomainTypes=2 minDomainSize=18 maxDomainSize=21
0.41 => wckTime=0.12 cpuTime=0.1 mem=6M903
0.41
0.41 predicates being loaded...
0.42
0.42 constraints being loaded...
0.77 nbConstraints=1235 nbConvertedConstraints=1235 nbConvertConstraintsChecks=32211 nbExtensionStructures=83
0.77 nbSharedExtensionStructures=1152 nbConflictsStructures=83 nbSharedConflictsStructures=1152
0.77 nbSharedBinaryRepresentations=3107 maxDegree=44 maxArity=2
0.77 => wckTime=0.482 cpuTime=0.36 mem=13M730
0.82
0.82 solver LocalSearchSolver being built...
0.86 => wckTime=0.566 cpuTime=0.4 mem=6M166
0.87
0.87 s SATISFIABLE
0.87 o 913
0.87 c 322
0.87 o 919
0.87 c 316
0.87 o 923
0.87 c 312
0.87 o 930
0.87 c 305
0.87 o 936
0.87 c 299
0.88 o 942
0.88 c 293
0.88 o 945
0.88 c 290
0.88 o 948
0.88 c 287
0.88 o 953
0.88 c 282
0.88 o 958
0.88 c 277
0.88 o 963
0.88 c 272
0.88 o 967
0.88 c 268
0.88 o 971
0.88 c 264
0.88 o 975
0.88 c 260
0.89 o 977
0.89 c 258
0.89 o 982
0.89 c 253
0.89 o 984
0.89 c 251
0.89 o 985
0.89 c 250
0.89 o 988
0.89 c 247
0.89 o 990
0.89 c 245
0.89 o 994
0.89 c 241
0.89 o 995
0.89 c 240
0.89 o 1000
0.89 c 235
0.89 o 1004
0.89 c 231
0.89 o 1008
0.89 c 227
0.89 o 1009
0.89 c 226
0.89 o 1010
0.89 c 225
0.89 o 1013
0.89 c 222
0.89 o 1014
0.89 c 221
0.89 o 1017
0.89 c 218
0.90 o 1022
0.90 c 213
0.90 o 1026
0.90 c 209
0.90 o 1027
0.90 c 208
0.90 o 1028
0.90 c 207
0.90 o 1031
0.90 c 204
0.90 o 1033
0.90 c 202
0.90 o 1034
0.90 c 201
0.90 o 1038
0.90 c 197
0.90 o 1041
0.90 c 194
0.90 o 1045
0.90 c 190
0.90 o 1048
0.90 c 187
0.90 o 1051
0.90 c 184
0.90 o 1054
0.90 c 181
0.90 o 1057
0.90 c 178
0.91 o 1061
0.91 c 174
0.91 o 1064
0.91 c 171
0.91 o 1067
0.91 c 168
0.91 o 1069
0.91 c 166
0.91 o 1070
0.91 c 165
0.91 o 1071
0.91 c 164
0.91 o 1072
0.91 c 163
0.91 o 1076
0.91 c 159
0.91 o 1077
0.91 c 158
0.91 o 1080
0.91 c 155
0.91 o 1081
0.91 c 154
0.91 o 1084
0.91 c 151
0.91 o 1087
0.91 c 148
0.91 o 1088
0.91 c 147
0.92 o 1091
0.92 c 144
0.92 o 1094
0.92 c 141
0.92 o 1098
0.92 c 137
0.92 o 1100
0.92 c 135
0.92 o 1102
0.92 c 133
0.92 o 1104
0.92 c 131
0.92 o 1108
0.92 c 127
0.92 o 1110
0.92 c 125
0.92 o 1112
0.92 c 123
0.92 o 1114
0.92 c 121
0.92 o 1116
0.92 c 119
0.92 o 1118
0.92 c 117
0.92 o 1120
0.92 c 115
0.92 o 1122
0.92 c 113
0.92 o 1124
0.92 c 111
0.92 o 1126
0.92 c 109
0.92 o 1127
0.92 c 108
0.93 o 1128
0.93 c 107
0.93 o 1130
0.93 c 105
0.93 o 1131
0.93 c 104
0.93 o 1133
0.93 c 102
0.93 o 1134
0.93 c 101
0.93 o 1136
0.93 c 99
0.93 o 1138
0.93 c 97
0.93 o 1140
0.93 c 95
0.93 o 1142
0.93 c 93
0.93 o 1143
0.93 c 92
0.93 o 1145
0.93 c 90
0.93 o 1149
0.93 c 86
0.93 o 1150
0.93 c 85
0.93 o 1152
0.93 c 83
0.93 o 1153
0.93 c 82
0.93 o 1154
0.93 c 81
0.93 o 1156
0.93 c 79
0.94 o 1158
0.94 c 77
0.94 o 1159
0.94 c 76
0.94 o 1160
0.94 c 75
0.94 o 1161
0.94 c 74
0.94 o 1162
0.94 c 73
0.94 o 1163
0.94 c 72
0.94 o 1164
0.94 c 71
0.94 o 1165
0.94 c 70
0.94 o 1166
0.94 c 69
0.94 o 1167
0.94 c 68
0.94 o 1168
0.94 c 67
0.94 o 1169
0.94 c 66
0.94 o 1172
0.94 c 63
0.94 o 1173
0.94 c 62
0.94 o 1174
0.94 c 61
0.94 o 1175
0.94 c 60
0.95 o 1176
0.95 c 59
0.95 o 1177
0.95 c 58
0.95 o 1178
0.95 c 57
0.95 o 1179
0.95 c 56
0.95 o 1180
0.95 c 55
0.95 o 1181
0.95 c 54
0.95 o 1182
0.95 c 53
0.95 o 1183
0.95 c 52
0.95 o 1185
0.95 c 50
0.95 o 1186
0.95 c 49
0.95 o 1187
0.95 c 48
0.96 o 1189
0.96 c 46
0.97 o 1190
0.97 c 45
0.97 o 1191
0.97 c 44
0.97 o 1193
0.97 c 42
0.97 o 1194
0.97 c 41
0.97 o 1196
0.97 c 39
0.97 o 1198
0.97 c 37
0.97 o 1202
0.97 c 33
0.98 o 1203
0.98 c 32
0.98 o 1204
0.98 c 31
0.98 o 1207
0.98 c 28
0.99 o 1208
0.99 c 27
0.99 o 1210
0.99 c 25
0.99 o 1213
0.99 c 22
1.09 o 1215
1.09 c 20
1.09 o 1217
1.09 c 18
1.09 o 1219
1.09 c 16
1.13 o 1221
1.13 c 14
1.13 o 1222
1.13 c 13
1.13 o 1223
1.13 c 12
1.17 o 1225
1.17 c 10
1.17 o 1226
1.17 c 9
1.17 o 1229
1.17 c 6
1.22 o 1231
1.22 c 4
1.27 o 1233
1.27 c 2
12.45
12.45 search
12.45 run=0 nbConstraintChecks=115379425 nbAssignments=10000
12.45 => wckTime=11.594 cpuTime=11.57 mem=6M166
25.08
25.08 search
25.08 run=1 nbConstraintChecks=242057900 nbAssignments=20000
25.08 => wckTime=24.225 cpuTime=24.18 mem=6M166
31.33
31.33 search
31.33 run=2 nbConstraintChecks=303494437 nbAssignments=25684
31.33 => wckTime=30.468 cpuTime=30.4 mem=6M166
31.33
31.33 global
31.33 nbConstraintChecks=303494437 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.33 solvingWckTime=30.467 solvingCpuTime=30.39 expiredTime=no totalExploration=no nbFoundSolutions=0
31.33 globalCpuTime=30.83
31.33 => wckTime=31.035 cpuTime=30.79 mem=6M166
31.33
31.33 solver IterativeSystematicSolver being built...
31.47 => wckTime=31.174 cpuTime=30.89 mem=18M98
31.49
31.49 preprocessing
31.49 nbConstraintChecks=2226 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.49 detectedInconsistency=no
31.49 => wckTime=0.017 cpuTime=0.02 mem=18M98
32.06
32.06 search
32.06 run=0 nbConstraintChecks=1220614 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=143
32.06 nbFailedAssignments=59 nbBacktracks=10 nbVisitedNodes=213 nbRestartNogoods=0
32.06 => wckTime=0.594 cpuTime=0.57 mem=18M98
33.25
33.25 search
33.25 run=1 nbConstraintChecks=3995630 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=359
33.26 nbFailedAssignments=180 nbBacktracks=25 nbVisitedNodes=565 nbRestartNogoods=16
33.26 => wckTime=1.787 cpuTime=1.75 mem=18M98
34.31
34.31 search
34.31 run=2 nbConstraintChecks=5408270 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=469
34.31 nbFailedAssignments=256 nbBacktracks=47 nbVisitedNodes=773 nbRestartNogoods=45
34.31 => wckTime=2.838 cpuTime=2.8 mem=18M98
36.53
36.53 search
36.53 run=3 nbConstraintChecks=8304792 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=699
36.53 nbFailedAssignments=405 nbBacktracks=80 nbVisitedNodes=1185 nbRestartNogoods=47
36.53 => wckTime=5.065 cpuTime=5.02 mem=18M98
38.09
38.09 search
38.09 run=4 nbConstraintChecks=10535963 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=901
38.09 nbFailedAssignments=471 nbBacktracks=130 nbVisitedNodes=1497 nbRestartNogoods=69
38.09 => wckTime=6.619 cpuTime=6.57 mem=18M98
39.43
39.43 search
39.43 run=5 nbConstraintChecks=12103246 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1148
39.43 nbFailedAssignments=520 nbBacktracks=231 nbVisitedNodes=1817 nbRestartNogoods=103
39.43 => wckTime=7.959 cpuTime=7.91 mem=18M98
40.25
40.25 search
40.25 run=6 nbConstraintChecks=14397280 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1507
40.25 nbFailedAssignments=609 nbBacktracks=368 nbVisitedNodes=2273 nbRestartNogoods=112
40.25 => wckTime=8.782 cpuTime=8.72 mem=18M98
44.56
44.56 search
44.56 run=7 nbConstraintChecks=19002671 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1859
44.56 nbFailedAssignments=720 nbBacktracks=538 nbVisitedNodes=2906 nbRestartNogoods=140
44.56 => wckTime=13.096 cpuTime=13.03 mem=18M98
52.63
52.63 search
52.63 run=8 nbConstraintChecks=28813363 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2587
52.63 nbFailedAssignments=1042 nbBacktracks=808 nbVisitedNodes=4226 nbRestartNogoods=166
52.63 => wckTime=21.167 cpuTime=21.09 mem=18M98
58.07
58.07 search
58.07 run=9 nbConstraintChecks=35895024 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3524
58.07 nbFailedAssignments=1503 nbBacktracks=1192 nbVisitedNodes=5741 nbRestartNogoods=195
58.07 => wckTime=26.599 cpuTime=26.52 mem=18M98
65.54
65.54 search
65.54 run=10 nbConstraintChecks=51575141 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4802
65.54 nbFailedAssignments=2083 nbBacktracks=1768 nbVisitedNodes=8175 nbRestartNogoods=231
65.54 => wckTime=34.071 cpuTime=33.98 mem=18M98
85.33
85.33 search
85.33 run=11 nbConstraintChecks=72527131 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6942
85.33 nbFailedAssignments=3201 nbBacktracks=2643 nbVisitedNodes=11915 nbRestartNogoods=271
85.33 => wckTime=53.86 cpuTime=53.73 mem=18M98
90.86
90.86 search
90.86 run=12 nbConstraintChecks=82160518 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8862
90.86 nbFailedAssignments=3717 nbBacktracks=3943 nbVisitedNodes=14494 nbRestartNogoods=291
90.86 => wckTime=59.388 cpuTime=59.25 mem=18M98
132.82
132.82 search
132.82 run=13 nbConstraintChecks=139418059 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13595
132.82 nbFailedAssignments=6344 nbBacktracks=5942 nbVisitedNodes=23836 nbRestartNogoods=301
132.82 => wckTime=101.351 cpuTime=101.17 mem=18M98
220.37
220.37 search
220.37 run=14 nbConstraintChecks=219609121 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21993
220.37 nbFailedAssignments=11820 nbBacktracks=8861 nbVisitedNodes=40327 nbRestartNogoods=353
220.37 => wckTime=188.905 cpuTime=188.63 mem=18M98
233.32
233.32 search
233.32 run=15 nbConstraintChecks=230337292 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=23202
233.32 nbFailedAssignments=12583 nbBacktracks=9308 nbVisitedNodes=42710 nbRestartNogoods=371
233.32 => wckTime=201.848 cpuTime=201.58 mem=18M98
233.32
233.32 global
233.32 nbConstraintChecks=230339518 nbRestartNogoods=371 solvingWckTime=201.849 solvingCpuTime=201.58 expiredTime=no
233.32 totalExploration=yes nbFoundSolutions=0 globalCpuTime=232.51
233.32 => wckTime=233.024 cpuTime=232.47 mem=18M98
233.32
233.32 s OPTIMUM FOUND
233.32 v 268 30 282 44 58 296 72 310 100 338 254 16 142 380 142 380 254 16 254 16 254 16 254 16 296 58 128 366 100 338 100 338 58 296 128 366 30 268 44 282 16 254 30 268 30 268 142 380 296 58 296 58 30 268 352 114 16 254 86 324 268 30 338 100 380 142 44 282 16 254 30 268 44 282 44 282 268 30 44 282 114 352 86 324 380 142 128 366 296 58 324 86 380 142 128 366 352 114 100 338 380 142 310 72 100 338 268 30 142 380 142 380 282 44 366 128 296 58 352 114 58 296 114 352 100 338 366 128 366 128 338 100 268 30 30 268 100 338 30 268 58 296 58 296 44 282 142 380 338 100 310 72 142 380 16 254 380 142 142 380 30 268 114 352 128 366 254 16 30 268 282 44 282 44 128 366 352 114 380 142 310 72 142 380 282 44 128 366 282 44 86 324 338 100 268 30 324 86 324 86
233.32
233.32 totalWckTime=233.098 totalCpuTime=232.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node38/watcher-275811-1169227529 -o ROOT/results/node38/solver-275811-1169227529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275811-1169227529/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.85 0.97 0.99 4/70 15261
/proc/meminfo: memFree=1476960/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=1784 CPUtime=0
/proc/15260/stat : 15260 (java) D 15251 15260 15113 0 -1 0 192 0 0 0 0 0 0 0 18 0 1 0 271152584 1826816 158 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/15260/statm: 446 160 125 14 0 91 0
[startup+0.105482 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 15261
/proc/meminfo: memFree=1476960/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=914988 CPUtime=0.08
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 3029 0 1 0 7 1 0 0 23 0 8 0 271152584 936947712 2775 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513562 s]
/proc/loadavg: 0.85 0.97 0.99 4/70 15261
/proc/meminfo: memFree=1476960/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915332 CPUtime=0.49
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 6537 0 1 0 45 4 0 0 25 0 8 0 271152584 937299968 6276 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637035 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228833 6277 2149 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33491 s]
/proc/loadavg: 0.85 0.97 0.99 3/88 15280
/proc/meminfo: memFree=1442648/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=1.31
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8589 0 1 0 117 14 0 0 25 0 8 0 271152584 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8327 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.19
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 380 0 0 0 18 1 0 0 16 0 8 0 271152592 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8327 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.98904 s]
/proc/loadavg: 0.94 0.98 0.99 3/88 15280
/proc/meminfo: memFree=1441112/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=2.96
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8592 0 1 0 277 19 0 0 25 0 8 0 271152584 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8329 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915452 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937422848 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.2
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915448
[startup+6.27868 s]
/proc/loadavg: 0.94 0.98 0.99 3/88 15280
/proc/meminfo: memFree=1440992/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=6.24
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8592 0 1 0 594 30 0 0 25 0 8 0 271152584 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844763 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8329 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.2
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 382 0 0 0 19 1 0 0 16 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915448
[startup+12.7649 s]
/proc/loadavg: 1.10 1.02 1.01 3/88 15280
/proc/meminfo: memFree=1440992/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=12.73
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8594 0 1 0 1225 48 0 0 25 0 8 0 271152584 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8331 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.21
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 915448
[startup+25.6315 s]
/proc/loadavg: 1.24 1.05 1.02 3/88 15280
/proc/meminfo: memFree=1440992/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=25.59
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 8594 0 1 0 2471 88 0 0 25 0 8 0 271152584 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 8331 2496 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 321 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.21
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 8331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 915448
[startup+51.2614 s]
/proc/loadavg: 1.50 1.12 1.04 3/88 15280
/proc/meminfo: memFree=1437664/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=51.18
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9515 0 1 0 5012 106 0 0 25 0 8 0 271152584 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074041502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9242 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 17 0 8 0 271152588 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.3
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 451 0 0 0 29 1 0 0 15 0 8 0 271152592 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915448
[startup+102.51 s]
/proc/loadavg: 1.85 1.28 1.10 3/88 15280
/proc/meminfo: memFree=1437664/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=102.38
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9539 0 1 0 10131 107 0 0 25 0 8 0 271152584 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843703 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9264 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.31
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271152592 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915448
[startup+162.52 s]
/proc/loadavg: 1.99 1.43 1.16 3/88 15280
/proc/meminfo: memFree=1437664/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=162.32
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9543 0 1 0 16125 107 0 0 25 0 8 0 271152584 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9268 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.31
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271152592 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9268 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 915448
[startup+222.57 s]
/proc/loadavg: 2.04 1.54 1.21 3/88 15280
/proc/meminfo: memFree=1437600/2055920 swapFree=4192812/4192956
[pid=15260] ppid=15251 vsize=915448 CPUtime=222.3
/proc/15260/stat : 15260 (java) R 15251 15260 15113 0 -1 0 9545 0 1 0 22123 107 0 0 25 0 8 0 271152584 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973757 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15260/statm: 228862 9270 2544 14 0 215332 0
[pid=15260/tid=15267] ppid=15251 vsize=915448 CPUtime=0.03
/proc/15260/task/15267/stat : 15267 (java) S 15251 15260 15113 0 -1 64 322 0 0 0 3 0 0 0 16 0 8 0 271152588 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15268] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15268/stat : 15268 (java) S 15251 15260 15113 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271152588 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15269] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15269/stat : 15269 (java) S 15251 15260 15113 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 271152588 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15273] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15273/stat : 15273 (java) S 15251 15260 15113 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 271152591 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15274] ppid=15251 vsize=915448 CPUtime=0.31
/proc/15260/task/15274/stat : 15274 (java) S 15251 15260 15113 0 -1 64 455 0 0 0 30 1 0 0 16 0 8 0 271152592 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15275] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15275/stat : 15275 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271152592 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15260/tid=15276] ppid=15251 vsize=915448 CPUtime=0
/proc/15260/task/15276/stat : 15276 (java) S 15251 15260 15113 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 271152592 937418752 9270 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 915448
Child status: 0
Real time (s): 233.377
CPU time (s): 233.061
CPU user time (s): 231.983
CPU system time (s): 1.07784
CPU usage (%): 99.8642
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.983
system time used= 1.07784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9645
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= 6192
involuntary context switches= 7759
runsolver used 0.241963 s user time and 0.819875 s system time
The end
Begin job on node38 on Fri Jan 19 17:25:29 UTC 2007
IDJOB= 275811
IDBENCH= 5094
IDSOLVER= 69
FILE ID= node38/275811-1169227529
PBS_JOBID= 3589266
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapScensMod/scen2-f25.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275811-1169227529/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-275811-1169227529 -o ROOT/results/node38/solver-275811-1169227529 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/275811-1169227529/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 18eb3b456200d1fcc3d57ecd11adb7db
RANDOM SEED= 799090956
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.267
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.267
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: 1477776 kB
Buffers: 44668 kB
Cached: 439356 kB
SwapCached: 0 kB
Active: 143736 kB
Inactive: 360456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1477776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2316 kB
Writeback: 0 kB
Mapped: 30296 kB
Slab: 59616 kB
Committed_AS: 5062932 kB
PageTables: 1692 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= 66563 MiB
End job on node38 on Fri Jan 19 17:29:23 UTC 2007