0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=epfc.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/280316-1169304857/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.39 nbVariables=28 nbDomainTypes=1 minDomainSize=44 maxDomainSize=44
0.39 => wckTime=0.093 cpuTime=0.07 mem=6M877
0.39
0.39 predicates being loaded...
0.40
0.40 constraints being loaded...
0.62 nbConstraints=314 nbConvertedConstraints=314 nbConvertConstraintsChecks=135520 nbExtensionStructures=70
0.62 nbSharedExtensionStructures=244 nbConflictsStructures=70 nbSharedConflictsStructures=244
0.62 nbSharedBinaryRepresentations=5610 maxDegree=27 maxArity=2
0.62 => wckTime=0.314 cpuTime=0.24 mem=8M828
0.66
0.66 solver LocalSearchSolver being built...
0.69 => wckTime=0.391 cpuTime=0.28 mem=5M615
0.70
0.70 s SATISFIABLE
0.70 o 200
0.70 c 114
0.70 o 209
0.70 c 105
0.70 o 216
0.70 c 98
0.71 o 222
0.71 c 92
0.71 o 228
0.71 c 86
0.71 o 232
0.71 c 82
0.71 o 238
0.71 c 76
0.71 o 242
0.71 c 72
0.71 o 246
0.71 c 68
0.71 o 251
0.71 c 63
0.71 o 252
0.71 c 62
0.73 o 256
0.73 c 58
0.73 o 261
0.73 c 53
0.73 o 263
0.73 c 51
0.73 o 264
0.73 c 50
0.73 o 265
0.73 c 49
0.73 o 267
0.73 c 47
0.74 o 269
0.74 c 45
0.74 o 273
0.74 c 41
0.74 o 275
0.74 c 39
0.74 o 277
0.74 c 37
0.74 o 279
0.74 c 35
0.80 o 280
0.80 c 34
0.80 o 283
0.80 c 31
0.80 o 287
0.80 c 27
0.80 o 288
0.80 c 26
1.20 o 289
1.20 c 25
1.56 o 290
1.56 c 24
4.84 o 291
4.84 c 23
14.56
14.56 search
14.56 run=0 nbConstraintChecks=134642795 nbAssignments=10000
14.56 => wckTime=13.865 cpuTime=13.83 mem=5M615
28.51
28.51 search
28.51 run=1 nbConstraintChecks=270217725 nbAssignments=20000
28.51 => wckTime=27.814 cpuTime=27.78 mem=5M615
31.16 o 292
31.16 c 22
42.41
42.41 search
42.41 run=2 nbConstraintChecks=405066267 nbAssignments=30000
42.41 => wckTime=41.716 cpuTime=41.67 mem=5M615
56.44
56.44 search
56.44 run=3 nbConstraintChecks=541686663 nbAssignments=40000
56.44 => wckTime=55.745 cpuTime=55.7 mem=5M615
61.10 o 293
61.10 c 21
70.19
70.19 search
70.19 run=4 nbConstraintChecks=675616260 nbAssignments=50000
70.19 => wckTime=69.499 cpuTime=69.45 mem=5M615
84.41
84.41 search
84.41 run=5 nbConstraintChecks=813701627 nbAssignments=60000
84.41 => wckTime=83.716 cpuTime=83.67 mem=5M615
91.11
91.11 search
91.11 run=6 nbConstraintChecks=878965764 nbAssignments=64914
91.11 => wckTime=90.421 cpuTime=90.37 mem=5M615
91.11
91.11 global
91.11 nbConstraintChecks=878965764 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
91.11 solvingWckTime=90.418 solvingCpuTime=90.37 expiredTime=no totalExploration=no nbFoundSolutions=0
91.11 globalCpuTime=90.71
91.11 => wckTime=90.813 cpuTime=90.65 mem=5M615
91.11
91.11 solver IterativeSystematicSolver being built...
91.24 => wckTime=90.943 cpuTime=90.75 mem=16M514
91.32
91.32 preprocessing
91.32 nbConstraintChecks=208138 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
91.32 detectedInconsistency=no
91.32 => wckTime=0.077 cpuTime=0.06 mem=16M514
91.78
91.78 search
91.78 run=0 nbConstraintChecks=2846327 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=172
91.78 nbFailedAssignments=152 nbBacktracks=10 nbVisitedNodes=335 nbRestartNogoods=0
91.78 => wckTime=0.53 cpuTime=0.5 mem=16M514
92.61
92.61 search
92.61 run=1 nbConstraintChecks=7939235 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=379
92.61 nbFailedAssignments=338 nbBacktracks=25 nbVisitedNodes=743 nbRestartNogoods=14
92.61 => wckTime=1.363 cpuTime=1.32 mem=16M514
93.84
93.84 search
93.84 run=2 nbConstraintChecks=15631732 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=826
93.84 nbFailedAssignments=756 nbBacktracks=47 nbVisitedNodes=1630 nbRestartNogoods=22
93.84 => wckTime=2.596 cpuTime=2.54 mem=16M514
95.08
95.08 search
95.08 run=3 nbConstraintChecks=23261860 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1288
95.08 nbFailedAssignments=1179 nbBacktracks=80 nbVisitedNodes=2548 nbRestartNogoods=49
95.08 => wckTime=3.835 cpuTime=3.78 mem=16M514
96.01
96.01 search
96.01 run=4 nbConstraintChecks=28603382 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1637
96.01 nbFailedAssignments=1472 nbBacktracks=130 nbVisitedNodes=3240 nbRestartNogoods=65
96.01 => wckTime=4.769 cpuTime=4.69 mem=16M514
98.36
98.36 search
98.36 run=5 nbConstraintChecks=42816368 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2505
98.36 nbFailedAssignments=2258 nbBacktracks=205 nbVisitedNodes=4969 nbRestartNogoods=84
98.36 => wckTime=7.118 cpuTime=7.03 mem=16M514
102.55
102.55 search
102.55 run=6 nbConstraintChecks=66646040 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4027
102.55 nbFailedAssignments=3661 nbBacktracks=318 nbVisitedNodes=8007 nbRestartNogoods=123
102.55 => wckTime=11.309 cpuTime=11.22 mem=16M514
106.86
106.86 search
106.86 run=7 nbConstraintChecks=91054067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5556
106.86 nbFailedAssignments=5015 nbBacktracks=488 nbVisitedNodes=11060 nbRestartNogoods=168
106.86 => wckTime=15.619 cpuTime=15.53 mem=16M514
116.30
116.30 search
116.30 run=8 nbConstraintChecks=153944756 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9249
116.30 nbFailedAssignments=8446 nbBacktracks=744 nbVisitedNodes=18440 nbRestartNogoods=210
116.30 => wckTime=25.051 cpuTime=24.96 mem=16M514
126.66
126.66 search
126.66 run=9 nbConstraintChecks=214716547 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13050
126.66 nbFailedAssignments=11854 nbBacktracks=1128 nbVisitedNodes=26033 nbRestartNogoods=256
126.66 => wckTime=35.417 cpuTime=35.32 mem=16M514
137.05
137.05 search
137.05 run=10 nbConstraintChecks=276887884 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17083
137.05 nbFailedAssignments=15302 nbBacktracks=1705 nbVisitedNodes=34091 nbRestartNogoods=279
137.05 => wckTime=45.801 cpuTime=45.7 mem=16M514
164.78
164.78 search
164.78 run=11 nbConstraintChecks=451039337 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=27931
164.78 nbFailedAssignments=25280 nbBacktracks=2569 nbVisitedNodes=55781 nbRestartNogoods=295
164.78 => wckTime=73.534 cpuTime=73.42 mem=16M514
205.52
205.52 search
205.52 run=12 nbConstraintChecks=688663357 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42545
205.52 nbFailedAssignments=38589 nbBacktracks=3866 nbVisitedNodes=85001 nbRestartNogoods=315
205.52 => wckTime=114.275 cpuTime=114.15 mem=16M514
255.59
255.59 search
255.59 run=13 nbConstraintChecks=986650645 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=61035
255.59 nbFailedAssignments=55127 nbBacktracks=5812 nbVisitedNodes=121975 nbRestartNogoods=373
255.59 => wckTime=164.342 cpuTime=164.21 mem=16M514
314.17
314.17 search
314.17 run=14 nbConstraintChecks=1332623252 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=83755
314.17 nbFailedAssignments=74922 nbBacktracks=8731 nbVisitedNodes=167391 nbRestartNogoods=417
314.17 => wckTime=222.925 cpuTime=222.78 mem=16M514
397.65
397.65 search
397.65 run=15 nbConstraintChecks=1782745943 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=115716
397.65 nbFailedAssignments=102497 nbBacktracks=13109 nbVisitedNodes=231284 nbRestartNogoods=446
397.65 => wckTime=306.404 cpuTime=306.24 mem=16M514
547.79
547.79 search
547.79 run=16 nbConstraintChecks=2581958569 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=167232
547.79 nbFailedAssignments=147441 nbBacktracks=19678 nbVisitedNodes=334239 nbRestartNogoods=485
547.79 => wckTime=456.546 cpuTime=456.27 mem=16M514
801.73
801.73 search
801.73 run=17 nbConstraintChecks=4025180277 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=265003
801.73 nbFailedAssignments=235355 nbBacktracks=29530 nbVisitedNodes=529770 nbRestartNogoods=521
801.73 => wckTime=710.484 cpuTime=710.14 mem=16M514
1111.03
1111.03 search
1111.03 run=18 nbConstraintChecks=5709459199 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=373288
1111.03 nbFailedAssignments=328854 nbBacktracks=44308 nbVisitedNodes=746324 nbRestartNogoods=618
1111.03 => wckTime=1019.787 cpuTime=1019.37 mem=16M514
1551.98
1551.98 search
1551.98 run=19 nbConstraintChecks=8198413900 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=535153
1551.98 nbFailedAssignments=468543 nbBacktracks=66476 nbVisitedNodes=1069983 nbRestartNogoods=683
1551.98 => wckTime=1460.733 cpuTime=1460.22 mem=16M514
2291.46
2291.46 search
2291.46 run=20 nbConstraintChecks=12040948151 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=794403
2291.46 nbFailedAssignments=694535 nbBacktracks=99728 nbVisitedNodes=1588374 nbRestartNogoods=728
2291.46 => wckTime=2200.219 cpuTime=2199.54 mem=16M514
2400.75 v 16 254 16 254 86 324 792 484 778 540 414 114 86 324 352 114 352 114 778 540 792 554 792 554 694 456 16 254
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-280316-1169304857 -o ROOT/results/node34/solver-280316-1169304857 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280316-1169304857/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.01 1.01 1.00 3/65 24978
/proc/meminfo: memFree=973552/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=1500 CPUtime=0
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 278879449 1536000 56 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7691233 0 0 4096 0 0 0 0 17 1 0 0
/proc/24977/statm: 375 67 54 14 0 8 0
[startup+0.107092 s]
/proc/loadavg: 1.01 1.01 1.00 3/65 24978
/proc/meminfo: memFree=973552/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=914988 CPUtime=0.08
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 3052 0 1 0 7 1 0 0 16 0 8 0 278879449 936947712 2798 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228747 2798 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515124 s]
/proc/loadavg: 1.01 1.01 1.00 3/65 24978
/proc/meminfo: memFree=973552/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=0.49
/proc/24977/stat : 24977 (java) S 24975 24977 24454 0 -1 0 6523 0 1 0 46 3 0 0 16 0 8 0 278879449 937435136 6262 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 6262 2172 14 0 215336 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915464
[startup+1.33719 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 24985
/proc/meminfo: memFree=955128/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=1.31
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 7317 0 1 0 123 8 0 0 17 0 8 0 278879449 937435136 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073699212 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 7055 2499 14 0 215336 0
[pid=24977/tid=24979] ppid=24975 vsize=915464 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278879453 937435136 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24980] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 937435136 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=915468 CPUtime=0.12
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 336 0 0 0 12 0 0 0 15 0 8 0 278879456 937439232 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24984] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 937435136 7055 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278879457 937435136 7055 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+2.98532 s]
/proc/loadavg: 1.00 1.01 1.00 3/72 24985
/proc/meminfo: memFree=955064/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=2.96
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 7322 0 1 0 282 14 0 0 17 0 8 0 278879449 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 7059 2499 14 0 215336 0
[pid=24977/tid=24979] ppid=24975 vsize=915464 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24980] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=915464 CPUtime=0.12
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24984] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278879457 937435136 7059 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+6.26158 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 24985
/proc/meminfo: memFree=955000/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=6.24
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 7322 0 1 0 599 25 0 0 21 0 8 0 278879449 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073699099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 7059 2499 14 0 215336 0
[pid=24977/tid=24979] ppid=24975 vsize=915464 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24980] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=915464 CPUtime=0.12
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24984] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278879457 937435136 7059 18446744073709551615 134512640 134570532 4294956464 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) 915464
[startup+12.7431 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 24985
/proc/meminfo: memFree=955000/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=12.72
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 7322 0 1 0 1228 44 0 0 25 0 8 0 278879449 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 7059 2499 14 0 215336 0
[pid=24977/tid=24979] ppid=24975 vsize=915464 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24980] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=915464 CPUtime=0.12
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 340 0 0 0 12 0 0 0 16 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24984] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278879457 937435136 7059 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915464
[startup+25.5681 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 24985
/proc/meminfo: memFree=955000/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=25.53
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 7324 0 1 0 2473 80 0 0 23 0 8 0 278879449 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 7061 2499 14 0 215336 0
[pid=24977/tid=24979] ppid=24975 vsize=915464 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278879453 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24980] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=915464 CPUtime=0.13
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 278879456 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24984] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=915468 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278879457 937439232 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915464
[startup+51.2452 s]
/proc/loadavg: 1.00 1.01 1.00 2/72 24985
/proc/meminfo: memFree=955064/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=915464 CPUtime=51.2
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 7324 0 1 0 4969 151 0 0 25 0 8 0 278879449 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073699163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 228866 7061 2499 14 0 215336 0
[pid=24977/tid=24979] ppid=24975 vsize=915464 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 183 0 0 0 2 0 0 0 16 0 8 0 278879453 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24980] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=915464 CPUtime=0.13
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 342 0 0 0 13 0 0 0 16 0 8 0 278879456 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24984] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=915464 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 278879457 937435136 7061 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915464
[startup+102.493 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 24985
/proc/meminfo: memFree=948344/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=102.42
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9084 0 1 0 9970 272 0 0 23 0 8 0 278879449 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8816 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.22
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 398 0 0 0 21 1 0 0 16 0 8 0 278879456 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8816 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.42
Current children cumulated vsize (KiB) 916488
[startup+162.577 s]
/proc/loadavg: 1.07 1.02 1.00 2/72 24985
/proc/meminfo: memFree=948216/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=162.49
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9105 0 1 0 15977 272 0 0 25 0 8 0 278879449 938483712 8834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.44
Current children cumulated vsize (KiB) 916488
[startup+2085.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25185
/proc/meminfo: memFree=947896/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2084.51
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9132 0 1 0 208179 272 0 0 25 0 8 0 278879449 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073889596 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8859 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.51
Current children cumulated vsize (KiB) 916488
[startup+2145.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25185
/proc/meminfo: memFree=947896/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2144.58
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9132 0 1 0 214186 272 0 0 25 0 8 0 278879449 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073846033 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8859 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.58
Current children cumulated vsize (KiB) 916488
[startup+2205.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25185
/proc/meminfo: memFree=947896/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2204.65
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9132 0 1 0 220193 272 0 0 25 0 8 0 278879449 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827672 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8859 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.65
Current children cumulated vsize (KiB) 916488
[startup+2265.37 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25185
/proc/meminfo: memFree=947896/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2264.72
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9132 0 1 0 226200 272 0 0 25 0 8 0 278879449 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8859 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8859 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.72
Current children cumulated vsize (KiB) 916488
[startup+2325.45 s]
/proc/loadavg: 1.00 1.00 1.00 3/72 25185
/proc/meminfo: memFree=947896/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2324.78
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9136 0 1 0 232206 272 0 0 25 0 8 0 278879449 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073844985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8862 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.78
Current children cumulated vsize (KiB) 916488
[startup+2385.54 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25185
/proc/meminfo: memFree=947960/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2384.85
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9136 0 1 0 238213 272 0 0 25 0 8 0 278879449 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073827576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8862 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.85
Current children cumulated vsize (KiB) 916488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 25185
/proc/meminfo: memFree=947960/2055920 swapFree=4192812/4192956
[pid=24977] ppid=24975 vsize=916488 CPUtime=2400.06
/proc/24977/stat : 24977 (java) R 24975 24977 24454 0 -1 0 9136 0 1 0 239734 272 0 0 25 0 8 0 278879449 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825545 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24977/statm: 229122 8862 2549 14 0 215592 0
[pid=24977/tid=24979] ppid=24975 vsize=916488 CPUtime=0.02
/proc/24977/task/24979/stat : 24979 (java) S 24975 24977 24454 0 -1 64 184 0 0 0 2 0 0 0 16 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24980] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24980/stat : 24980 (java) S 24975 24977 24454 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24981] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24981/stat : 24981 (java) S 24975 24977 24454 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278879453 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24982] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24982/stat : 24982 (java) S 24975 24977 24454 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24983] ppid=24975 vsize=916488 CPUtime=0.23
/proc/24977/task/24983/stat : 24983 (java) S 24975 24977 24454 0 -1 64 404 0 0 0 22 1 0 0 16 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24977/tid=24984] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24984/stat : 24984 (java) S 24975 24977 24454 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 278879456 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24977/tid=24985] ppid=24975 vsize=916488 CPUtime=0
/proc/24977/task/24985/stat : 24985 (java) S 24975 24977 24454 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 278879457 938483712 8862 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 916488
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2400.79
CPU time (s): 2400.11
CPU user time (s): 2397.38
CPU system time (s): 2.73458
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 916488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.38
system time used= 2.73458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9162
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= 49508
involuntary context switches= 2443
runsolver used 2.24966 s user time and 6.27305 s system time
The end
Begin job on node34 on Sat Jan 20 14:54:17 UTC 2007
IDJOB= 280316
IDBENCH= 11079
IDSOLVER= 68
FILE ID= node34/280316-1169304857
PBS_JOBID= 3609892
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/rlfap/rlfapSubs/scen06-sub1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280316-1169304857/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-280316-1169304857 -o ROOT/results/node34/solver-280316-1169304857 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/280316-1169304857/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f7928554a79bbaa206682b02c234772
RANDOM SEED= 502806461
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.227
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.227
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: 973968 kB
Buffers: 43220 kB
Cached: 950668 kB
SwapCached: 0 kB
Active: 346712 kB
Inactive: 662892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 973968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1684 kB
Writeback: 0 kB
Mapped: 25940 kB
Slab: 58372 kB
Committed_AS: 4737508 kB
PageTables: 1396 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 node34 on Sat Jan 20 15:34:18 UTC 2007