0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/277377-1169266017/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=49 nbDomainTypes=49 minDomainSize=341 maxDomainSize=430
0.43 => wckTime=0.119 cpuTime=0.1 mem=7M869
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
12.36 nbConstraints=294 nbConvertedConstraints=294 nbConvertConstraintsChecks=42441653 nbExtensionStructures=294
12.36 nbSharedExtensionStructures=0 nbConflictsStructures=294 nbSharedConflictsStructures=0
12.36 nbSharedBinaryRepresentations=74759 maxDegree=12 maxArity=2
12.36 => wckTime=12.05 cpuTime=11.84 mem=37M220
12.46
12.46 solver LocalSearchSolver being built...
12.49 => wckTime=12.188 cpuTime=11.89 mem=19M44
12.51
12.51 s SATISFIABLE
12.51 o 215
12.51 c 79
12.51 o 222
12.51 c 72
12.52 o 229
12.52 c 65
12.52 o 234
12.52 c 60
12.52 o 238
12.52 c 56
12.52 o 241
12.52 c 53
12.52 o 242
12.52 c 52
12.53 o 245
12.53 c 49
12.53 o 249
12.53 c 45
12.53 o 251
12.53 c 43
12.53 o 253
12.53 c 41
12.53 o 255
12.53 c 39
12.54 o 257
12.54 c 37
12.54 o 258
12.54 c 36
12.54 o 259
12.54 c 35
12.55 o 261
12.55 c 33
12.55 o 263
12.55 c 31
12.55 o 265
12.55 c 29
12.55 o 266
12.55 c 28
12.55 o 267
12.55 c 27
12.56 o 268
12.56 c 26
12.56 o 270
12.56 c 24
12.57 o 271
12.57 c 23
12.59 o 272
12.59 c 22
12.59 o 273
12.59 c 21
12.65 o 274
12.65 c 20
12.71 o 276
12.71 c 18
12.72 o 277
12.72 c 17
12.85 o 278
12.85 c 16
12.85 o 279
12.85 c 15
12.86 o 280
12.86 c 14
12.86 o 281
12.86 c 13
12.88 o 282
12.88 c 12
13.00 o 283
13.00 c 11
13.70 o 284
13.70 c 10
13.74 o 285
13.74 c 9
14.79 o 286
14.79 c 8
15.20 o 287
15.20 c 7
31.29 o 288
31.29 c 6
38.71 o 289
38.71 c 5
61.31
61.31 search
61.31 run=0 nbConstraintChecks=458095423 nbAssignments=10000
61.31 => wckTime=48.818 cpuTime=48.34 mem=19M44
68.99
68.99 search
68.99 run=1 nbConstraintChecks=530392798 nbAssignments=11465
68.99 => wckTime=56.501 cpuTime=55.95 mem=19M44
69.00
69.00 global
69.00 nbConstraintChecks=530392798 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
69.00 solvingWckTime=56.498 solvingCpuTime=55.95 expiredTime=no totalExploration=no nbFoundSolutions=0
69.00 globalCpuTime=67.89
69.00 => wckTime=68.689 cpuTime=67.84 mem=19M44
69.00
69.00 solver IterativeSystematicSolver being built...
69.13 => wckTime=68.828 cpuTime=67.94 mem=30M187
69.15
69.15 preprocessing
69.15 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
69.15 detectedInconsistency=no
69.15 => wckTime=0.013 cpuTime=0.01 mem=30M187
73.41
73.41 search
73.41 run=0 nbConstraintChecks=84124426 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=599
73.41 nbFailedAssignments=555 nbBacktracks=10 nbVisitedNodes=1165 nbRestartNogoods=0
73.41 => wckTime=4.278 cpuTime=4.21 mem=30M187
86.28
86.28 search
86.28 run=1 nbConstraintChecks=325116635 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2088
86.28 nbFailedAssignments=1995 nbBacktracks=25 nbVisitedNodes=4109 nbRestartNogoods=90
86.28 => wckTime=17.145 cpuTime=16.93 mem=30M187
93.27
93.27 search
93.27 run=2 nbConstraintChecks=462795038 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2925
93.27 nbFailedAssignments=2779 nbBacktracks=47 nbVisitedNodes=5752 nbRestartNogoods=161
93.27 => wckTime=24.14 cpuTime=23.86 mem=30M187
105.05
105.05 search
105.05 run=3 nbConstraintChecks=679060927 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4345
105.05 nbFailedAssignments=4133 nbBacktracks=80 nbVisitedNodes=8559 nbRestartNogoods=162
105.05 => wckTime=35.918 cpuTime=35.53 mem=30M187
134.34
134.34 search
134.34 run=4 nbConstraintChecks=1335707436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9178
134.34 nbFailedAssignments=8880 nbBacktracks=130 nbVisitedNodes=18189 nbRestartNogoods=389
134.34 => wckTime=65.203 cpuTime=64.54 mem=30M187
181.96
181.96 search
181.96 run=5 nbConstraintChecks=2260787324 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14468
181.96 nbFailedAssignments=14062 nbBacktracks=205 nbVisitedNodes=28736 nbRestartNogoods=523
181.96 => wckTime=112.827 cpuTime=111.73 mem=30M187
213.79
213.79 search
213.79 run=6 nbConstraintChecks=2854320629 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=18238
213.79 nbFailedAssignments=17687 nbBacktracks=318 nbVisitedNodes=36244 nbRestartNogoods=688
213.79 => wckTime=144.654 cpuTime=143.27 mem=30M187
257.01
257.01 search
257.01 run=7 nbConstraintChecks=3724849012 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24070
257.01 nbFailedAssignments=23315 nbBacktracks=488 nbVisitedNodes=47874 nbRestartNogoods=770
257.01 => wckTime=187.878 cpuTime=186.09 mem=30M187
302.21
302.21 search
302.21 run=8 nbConstraintChecks=4630440952 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30889
302.21 nbFailedAssignments=29846 nbBacktracks=744 nbVisitedNodes=61480 nbRestartNogoods=824
302.21 => wckTime=233.078 cpuTime=230.88 mem=30M187
374.33
374.33 search
374.33 run=9 nbConstraintChecks=5713251425 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=36155
374.33 nbFailedAssignments=34698 nbBacktracks=1128 nbVisitedNodes=71982 nbRestartNogoods=929
374.33 => wckTime=305.2 cpuTime=302.35 mem=30M187
452.51
452.51 search
452.51 run=10 nbConstraintChecks=7228203608 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47660
452.51 nbFailedAssignments=45595 nbBacktracks=1704 nbVisitedNodes=94960 nbRestartNogoods=1023
452.51 => wckTime=383.374 cpuTime=379.81 mem=30M187
667.91
667.91 search
667.91 run=11 nbConstraintChecks=11328338658 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=69719
667.91 nbFailedAssignments=66761 nbBacktracks=2568 nbVisitedNodes=139049 nbRestartNogoods=1137
667.91 => wckTime=598.779 cpuTime=593.25 mem=30M187
806.68
806.68 search
806.68 run=12 nbConstraintChecks=13356269072 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=79545
806.68 nbFailedAssignments=75268 nbBacktracks=3865 nbVisitedNodes=158679 nbRestartNogoods=1247
806.68 => wckTime=737.542 cpuTime=730.75 mem=31M148
1336.68
1336.68 search
1336.68 run=13 nbConstraintChecks=23046833033 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=140373
1336.68 nbFailedAssignments=134121 nbBacktracks=5811 nbVisitedNodes=280306 nbRestartNogoods=1342
1336.68 => wckTime=1267.541 cpuTime=1256.87 mem=31M148
2416.31 v 344 162 376 22 310 90 233 309 203 265 26 68 136 388 92 281 138 383 0 235 305 204 318 93 2 385 162 343 234 383 299 26 205 104 4 1 407 238 301 69 142 90 73 373 0 192 278 280 94
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-277377-1169266017 -o ROOT/results/node47/solver-277377-1169266017 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277377-1169266017/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.22 1.63 1.85 5/80 24614
/proc/meminfo: memFree=1318248/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=906644 CPUtime=0.02
/proc/24613/stat : 24613 (java) S 24611 24613 24396 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 275000986 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 226661 1818 1036 14 0 214244 0
[pid=24613/tid=24615] ppid=24611 vsize=906644 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) R 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 275000989 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104717 s]
/proc/loadavg: 1.22 1.63 1.85 5/80 24614
/proc/meminfo: memFree=1318248/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=914988 CPUtime=0.09
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 3007 0 1 0 7 2 0 0 17 0 8 0 275000986 936947712 2753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153609876 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228747 2753 1431 14 0 215242 0
[pid=24613/tid=24615] ppid=24611 vsize=914988 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 275000989 936947712 2753 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512755 s]
/proc/loadavg: 1.22 1.63 1.85 5/80 24614
/proc/meminfo: memFree=1318248/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915332 CPUtime=0.49
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 6677 0 1 0 45 4 0 0 17 0 8 0 275000986 937299968 6416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228833 6416 2147 14 0 215303 0
[pid=24613/tid=24615] ppid=24611 vsize=915332 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 275000989 937299968 6416 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33384 s]
/proc/loadavg: 1.28 1.64 1.85 4/87 24621
/proc/meminfo: memFree=1287536/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=1.31
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 7344 0 1 0 126 5 0 0 24 0 8 0 275000986 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073639141 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 7082 2168 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275000989 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 275000990 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 275000990 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.1
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 319 0 0 0 10 0 0 0 16 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 7082 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915472
[startup+2.97101 s]
/proc/loadavg: 1.28 1.64 1.85 3/87 24621
/proc/meminfo: memFree=1251504/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2.92
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 8304 0 1 0 287 5 0 0 25 0 8 0 275000986 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073641874 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 8041 2168 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 275000989 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 275000990 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 275000990 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.1
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 8041 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915472
[startup+6.17435 s]
/proc/loadavg: 1.28 1.64 1.85 3/87 24621
/proc/meminfo: memFree=1243440/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=6.1
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 10143 0 1 0 604 6 0 0 25 0 8 0 275000986 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073470044 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 9880 2169 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 275000989 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 10 0 0 0 0 0 0 0 18 0 8 0 275000990 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 4 0 0 0 0 0 0 0 19 0 8 0 275000990 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.12
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 334 0 0 0 12 0 0 0 16 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 9880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915472
[startup+12.641 s]
/proc/loadavg: 1.39 1.65 1.85 4/87 24621
/proc/meminfo: memFree=1223280/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=12.5
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17393 0 1 0 1240 10 0 0 25 0 8 0 275000986 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073741926 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17128 2497 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.14
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 346 0 0 0 14 0 0 0 15 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17128 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915472
[startup+25.5074 s]
/proc/loadavg: 1.49 1.66 1.85 3/87 24621
/proc/meminfo: memFree=1170736/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=25.25
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17399 0 1 0 2500 25 0 0 25 0 8 0 275000986 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17133 2497 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.15
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 351 0 0 0 15 0 0 0 16 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915472
[startup+51.1331 s]
/proc/loadavg: 1.69 1.69 1.86 3/87 24621
/proc/meminfo: memFree=1170736/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=50.64
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17399 0 1 0 5012 52 0 0 25 0 8 0 275000986 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744160 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17133 2497 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3461 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.15
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 351 0 0 0 15 0 0 0 16 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915472
[startup+102.378 s]
/proc/loadavg: 1.86 1.74 1.86 3/87 24621
/proc/meminfo: memFree=1170288/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=101.42
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17557 0 1 0 10070 72 0 0 25 0 8 0 275000986 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073873048 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17281 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.27
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 412 0 0 0 26 1 0 0 16 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) R 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17281 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915472
################
# More data... #
################
Current children cumulated CPU time (s) 2010.2
Current children cumulated vsize (KiB) 915472
[startup+2084.74 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147632/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2070
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 206926 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070
Current children cumulated vsize (KiB) 915472
[startup+2144.83 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147568/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2129.8
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 212906 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073866200 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2129.8
Current children cumulated vsize (KiB) 915472
[startup+2204.91 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147632/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2189.6
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 218886 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871554 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2189.6
Current children cumulated vsize (KiB) 915472
[startup+2264.99 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147568/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2249.4
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 224866 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739942 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.4
Current children cumulated vsize (KiB) 915472
[startup+2325.07 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 24623
/proc/meminfo: memFree=1147632/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2309.2
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 230846 74 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.2
Current children cumulated vsize (KiB) 915472
[startup+2385.14 s]
/proc/loadavg: 1.78 1.94 1.90 3/87 24683
/proc/meminfo: memFree=1292584/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2369.01
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 236826 75 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878117 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.01
Current children cumulated vsize (KiB) 915472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2416.3 s]
/proc/loadavg: 1.88 1.94 1.90 3/87 24683
/proc/meminfo: memFree=1257128/2055920 swapFree=4184008/4192956
[pid=24613] ppid=24611 vsize=915472 CPUtime=2400.01
/proc/24613/stat : 24613 (java) R 24611 24613 24396 0 -1 0 17564 0 1 0 239926 75 0 0 25 0 8 0 275000986 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073878311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24613/statm: 228868 17285 2545 14 0 215338 0
[pid=24613/tid=24615] ppid=24611 vsize=915472 CPUtime=0.07
/proc/24613/task/24615/stat : 24615 (java) S 24611 24613 24396 0 -1 64 3462 0 0 0 6 1 0 0 16 0 8 0 275000989 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24616] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24616/stat : 24616 (java) S 24611 24613 24396 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24617] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24617/stat : 24617 (java) S 24611 24613 24396 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 275000990 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24618] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24618/stat : 24618 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24619] ppid=24611 vsize=915472 CPUtime=0.28
/proc/24613/task/24619/stat : 24619 (java) S 24611 24613 24396 0 -1 64 416 0 0 0 27 1 0 0 16 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24620] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24620/stat : 24620 (java) S 24611 24613 24396 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24613/tid=24621] ppid=24611 vsize=915472 CPUtime=0
/proc/24613/task/24621/stat : 24621 (java) S 24611 24613 24396 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 275000993 937443328 17285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 915472
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2416.34
CPU time (s): 2400.06
CPU user time (s): 2399.29
CPU system time (s): 0.768883
CPU usage (%): 99.326
Max. virtual memory (cumulated for all children) (KiB): 915476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.29
system time used= 0.768883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17586
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= 50008
involuntary context switches= 83589
runsolver used 2.76458 s user time and 7.43287 s system time
The end
Begin job on node47 on Sat Jan 20 04:06:57 UTC 2007
IDJOB= 277377
IDBENCH= 6650
IDSOLVER= 69
FILE ID= node47/277377-1169266017
PBS_JOBID= 3607351
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-7/os-taillard-7-95-8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277377-1169266017/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-277377-1169266017 -o ROOT/results/node47/solver-277377-1169266017 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/277377-1169266017/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= be7c75aa56bdb6eb789d736a14ca44d8
RANDOM SEED= 555441384
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.240
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.240
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: 1318728 kB
Buffers: 42444 kB
Cached: 526580 kB
SwapCached: 2924 kB
Active: 195116 kB
Inactive: 467428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1318728 kB
SwapTotal: 4192956 kB
SwapFree: 4184008 kB
Dirty: 1736 kB
Writeback: 0 kB
Mapped: 108756 kB
Slab: 59764 kB
Committed_AS: 5712632 kB
PageTables: 2036 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 node47 on Sat Jan 20 04:47:14 UTC 2007