0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/195740-1168113452/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.43 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
1.09
1.09 constraints being loaded...
1.37 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.37 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.37 => wckTime=1.045 cpuTime=0.91 mem=47M699
1.51
1.51 solver IterativeSystematicSolver being built...
1.69 => wckTime=1.364 cpuTime=1.06 mem=34M221
1.80
1.80 preprocessing
1.80 nbConstraintChecks=28135 nbValidityChecks=48489 nbPropagations=205 nbRevisions=2110 nbUselessRevisions=1809
1.80 nbSingletonTests=32 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
1.80 => wckTime=0.106 cpuTime=0.08 mem=34M221
1.87
1.87 search
1.87 run=0 nbConstraintChecks=31432 nbValidityChecks=62220 nbPropagations=571 nbRevisions=6147
1.87 nbUselessRevisions=5026 nbAssignments=31 nbFailedAssignments=14 nbBacktracks=14 nbVisitedNodes=54
1.87 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.179 cpuTime=0.14 mem=35M224
1.94
1.94 search
1.94 run=1 nbConstraintChecks=69737 nbValidityChecks=146736 nbPropagations=1639 nbRevisions=18274
1.94 nbUselessRevisions=14863 nbAssignments=74 nbFailedAssignments=36 nbBacktracks=31 nbVisitedNodes=131
1.94 nbRestartNogoods=1 mapSize=27 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.252 cpuTime=0.21 mem=35M224
2.06
2.06 search
2.06 run=2 nbConstraintChecks=129412 nbValidityChecks=261878 nbPropagations=3380 nbRevisions=38066
2.06 nbUselessRevisions=30821 nbAssignments=130 nbFailedAssignments=65 nbBacktracks=53 nbVisitedNodes=231
2.06 nbRestartNogoods=2 mapSize=45 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.367 cpuTime=0.31 mem=35M224
2.26
2.26 search
2.26 run=3 nbConstraintChecks=259006 nbValidityChecks=503484 nbPropagations=6260 nbRevisions=72534
2.26 nbUselessRevisions=58396 nbAssignments=237 nbFailedAssignments=132 nbBacktracks=87 nbVisitedNodes=433
2.26 nbRestartNogoods=6 mapSize=77 nbInferences=0 nbTooLargeKeys=0
2.26 => wckTime=0.564 cpuTime=0.5 mem=35M224
2.44
2.44 search
2.44 run=4 nbConstraintChecks=370422 nbValidityChecks=717332 nbPropagations=10465 nbRevisions=122508
2.44 nbUselessRevisions=98219 nbAssignments=346 nbFailedAssignments=189 nbBacktracks=137 nbVisitedNodes=630
2.44 nbRestartNogoods=15 mapSize=118 nbInferences=0 nbTooLargeKeys=0
2.44 => wckTime=0.75 cpuTime=0.68 mem=35M224
2.74
2.74 search
2.74 run=5 nbConstraintChecks=557131 nbValidityChecks=1077804 nbPropagations=16945 nbRevisions=198400
2.74 nbUselessRevisions=158362 nbAssignments=521 nbFailedAssignments=285 nbBacktracks=213 nbVisitedNodes=951
2.74 nbRestartNogoods=16 mapSize=182 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.052 cpuTime=0.97 mem=35M224
3.51
3.51 search
3.51 run=6 nbConstraintChecks=1047739 nbValidityChecks=2055303 nbPropagations=27401 nbRevisions=328623
3.51 nbUselessRevisions=261877 nbAssignments=890 nbFailedAssignments=536 nbBacktracks=326 nbVisitedNodes=1664
3.51 nbRestartNogoods=19 mapSize=293 nbInferences=0 nbTooLargeKeys=0
3.51 => wckTime=1.819 cpuTime=1.74 mem=35M224
4.22
4.22 search
4.22 run=7 nbConstraintChecks=1499616 nbValidityChecks=2937297 nbPropagations=43229 nbRevisions=521163
4.22 nbUselessRevisions=414744 nbAssignments=1312 nbFailedAssignments=763 nbBacktracks=496 nbVisitedNodes=2404
4.22 nbRestartNogoods=34 mapSize=434 nbInferences=0 nbTooLargeKeys=0
4.22 => wckTime=2.528 cpuTime=2.45 mem=35M224
5.82
5.82 search
5.82 run=8 nbConstraintChecks=2528120 nbValidityChecks=4880717 nbPropagations=67717 nbRevisions=825509
5.82 nbUselessRevisions=656710 nbAssignments=2032 nbFailedAssignments=1221 nbBacktracks=753 nbVisitedNodes=3773
5.82 nbRestartNogoods=40 mapSize=670 nbInferences=0 nbTooLargeKeys=0
5.82 => wckTime=4.131 cpuTime=4.02 mem=35M224
7.11
7.11 search
7.11 run=9 nbConstraintChecks=3351521 nbValidityChecks=6521758 nbPropagations=102611 nbRevisions=1250209
7.11 nbUselessRevisions=992994 nbAssignments=2862 nbFailedAssignments=1644 nbBacktracks=1137 nbVisitedNodes=5246
7.11 nbRestartNogoods=51 mapSize=989 nbInferences=0 nbTooLargeKeys=0
7.11 => wckTime=5.423 cpuTime=5.29 mem=35M224
7.29
7.29 INFO : Stopping hyperNogood (mapSize=1041, nbTooLargekeys=0, mem=35M224)
9.22
9.22 search
9.22 run=10 nbConstraintChecks=4730133 nbValidityChecks=9232674 nbPropagations=154120 nbRevisions=1859060
9.22 nbUselessRevisions=1472610 nbAssignments=4183 nbFailedAssignments=2382 nbBacktracks=1716 nbVisitedNodes=7667
9.22 nbRestartNogoods=62
9.22 => wckTime=7.53 cpuTime=7.38 mem=35M224
14.60
14.60 search
14.60 run=11 nbConstraintChecks=8311529 nbValidityChecks=16313472 nbPropagations=234568 nbRevisions=2868347
14.60 nbUselessRevisions=2273828 nbAssignments=6801 nbFailedAssignments=4131 nbBacktracks=2580 nbVisitedNodes=12712
14.60 nbRestartNogoods=74
14.60 => wckTime=12.909 cpuTime=12.74 mem=35M224
20.56
20.56 search
20.56 run=12 nbConstraintChecks=12174662 nbValidityChecks=23810488 nbPropagations=355370 nbRevisions=4356105
20.56 nbUselessRevisions=3451609 nbAssignments=9973 nbFailedAssignments=5988 nbBacktracks=3878 nbVisitedNodes=18589
20.56 nbRestartNogoods=87
20.56 => wckTime=18.865 cpuTime=18.66 mem=35M224
27.80
27.80 search
27.80 run=13 nbConstraintChecks=16917809 nbValidityChecks=33108334 nbPropagations=531166 nbRevisions=6455204
27.80 nbUselessRevisions=5105264 nbAssignments=14139 nbFailedAssignments=8204 nbBacktracks=5824 nbVisitedNodes=26235
27.80 nbRestartNogoods=94
27.80 => wckTime=26.114 cpuTime=25.87 mem=35M224
42.26
42.26 search
42.26 run=14 nbConstraintChecks=27068668 nbValidityChecks=52827744 nbPropagations=794176 nbRevisions=9723471
42.26 nbUselessRevisions=7693212 nbAssignments=21574 nbFailedAssignments=12715 nbBacktracks=8744 nbVisitedNodes=40251
42.26 nbRestartNogoods=101
42.26 => wckTime=40.569 cpuTime=40.26 mem=35M224
56.46
56.46 search
56.46 run=15 nbConstraintChecks=37084091 nbValidityChecks=72620771 nbPropagations=1181264 nbRevisions=14376436
56.46 nbUselessRevisions=11364523 nbAssignments=30891 nbFailedAssignments=17648 nbBacktracks=13123
56.46 nbVisitedNodes=57182 nbRestartNogoods=110
56.46 => wckTime=54.769 cpuTime=54.39 mem=35M224
87.83
87.84 search
87.84 run=16 nbConstraintChecks=60287479 nbValidityChecks=117570618 nbPropagations=1796102 nbRevisions=21922068
87.84 nbUselessRevisions=17327525 nbAssignments=50062 nbFailedAssignments=30229 nbBacktracks=19691
87.84 nbVisitedNodes=93584 nbRestartNogoods=135
87.84 => wckTime=86.145 cpuTime=85.59 mem=35M224
119.71
119.71 search
119.71 run=17 nbConstraintChecks=83707264 nbValidityChecks=163613805 nbPropagations=2687201 nbRevisions=32625206
119.71 nbUselessRevisions=25768134 nbAssignments=70193 nbFailedAssignments=40502 nbBacktracks=29544
119.71 nbVisitedNodes=130011 nbRestartNogoods=146
119.71 => wckTime=118.021 cpuTime=117.44 mem=35M224
184.75
184.75 search
184.75 run=18 nbConstraintChecks=134406600 nbValidityChecks=261213443 nbPropagations=4038239 nbRevisions=49478759
184.75 nbUselessRevisions=39169149 nbAssignments=110081 nbFailedAssignments=65582 nbBacktracks=44323
184.75 nbVisitedNodes=205324 nbRestartNogoods=168
184.75 => wckTime=183.059 cpuTime=182.38 mem=35M224
252.73
252.73 search
252.73 run=19 nbConstraintChecks=184934623 nbValidityChecks=360692886 nbPropagations=6010594 nbRevisions=73279564
252.73 nbUselessRevisions=58004277 nbAssignments=156696 nbFailedAssignments=90023 nbBacktracks=66491
252.73 nbVisitedNodes=290220 nbRestartNogoods=192
252.73 => wckTime=251.043 cpuTime=250.27 mem=35M224
346.24
346.24 search
346.24 run=20 nbConstraintChecks=254071177 nbValidityChecks=496944597 nbPropagations=8796971 nbRevisions=106375383
346.24 nbUselessRevisions=84127448 nbAssignments=217040 nbFailedAssignments=121938 nbBacktracks=94896
346.24 nbVisitedNodes=400339 nbRestartNogoods=215
346.24 => wckTime=344.547 cpuTime=343.66 mem=35M224
346.24
346.24 global
346.24 nbConstraintChecks=254099312 nbValidityChecks=496993086 nbPropagations=8797176 nbRevisions=106377493
346.24 nbUselessRevisions=84129257 nbRestartNogoods=215 solvingWckTime=344.548 solvingCpuTime=343.66 expiredTime=no
346.24 totalExploration=no nbFoundSolutions=1 globalCpuTime=344.77
346.24 => wckTime=345.916 cpuTime=344.72 mem=35M224
346.24
346.24 s SATISFIABLE
346.24 v 1 3 12 21 2 21 23 11 19 16 20 3 12 7 17 12 11 11 12 15 4 7 11 18
346.24 d NODES 217040
346.24 d CHECKS 254099312
346.24
346.24 totalWckTime=346.0 totalCpuTime=344.77
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-195740-1168113452 -o ROOT/results/node61/solver-195740-1168113452 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195740-1168113452/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.43 1.29 1.54 2/81 19349
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=9948 CPUtime=0
/proc/19348/stat : 19348 (java) S 19346 19348 18663 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 159743109 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/19348/statm: 2487 472 386 14 0 1142 0
[startup+0.103239 s]
/proc/loadavg: 1.43 1.29 1.54 2/81 19349
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=914988 CPUtime=0.08
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 2967 0 1 0 6 2 0 0 17 0 8 0 159743109 936947712 2713 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155770473 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228747 2713 1419 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512313 s]
/proc/loadavg: 1.43 1.29 1.54 2/81 19349
/proc/meminfo: memFree=1173720/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915328 CPUtime=0.49
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 7267 0 1 0 44 5 0 0 19 0 8 0 159743109 937295872 7006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228832 7006 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34146 s]
/proc/loadavg: 1.43 1.29 1.54 3/88 19356
/proc/meminfo: memFree=1106336/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915328 CPUtime=1.32
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 19118 0 1 0 120 12 0 0 25 0 8 0 159743109 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625332 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228832 18856 2160 14 0 215302 0
[pid=19348/tid=19350] ppid=19346 vsize=915328 CPUtime=0.06
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 2657 0 0 0 5 1 0 0 17 0 8 0 159743113 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 159743114 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915328 CPUtime=0.09
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 319 0 0 0 9 0 0 0 16 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915328 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937295872 18856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915328
[startup+2.98074 s]
/proc/loadavg: 1.43 1.29 1.54 3/88 19356
/proc/meminfo: memFree=1090336/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=2.95
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23407 0 1 0 280 15 0 0 25 0 8 0 159743109 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941836 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23143 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 17 0 8 0 159743113 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.21
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 370 0 0 0 20 1 0 0 15 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23143 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416
[startup+6.28232 s]
/proc/loadavg: 1.47 1.31 1.55 3/88 19356
/proc/meminfo: memFree=1089120/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=6.23
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23422 0 1 0 607 16 0 0 25 0 8 0 159743109 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23155 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 17 0 8 0 159743113 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.23
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 384 0 0 0 22 1 0 0 15 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23155 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915416
[startup+12.7675 s]
/proc/loadavg: 1.52 1.32 1.55 3/88 19356
/proc/meminfo: memFree=1087456/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=12.68
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23427 0 1 0 1252 16 0 0 25 0 8 0 159743109 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23159 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23159 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416
[startup+25.6387 s]
/proc/loadavg: 1.69 1.37 1.56 3/88 19356
/proc/meminfo: memFree=1084448/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=25.5
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 2533 17 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073867647 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 915416
[startup+51.2722 s]
/proc/loadavg: 1.86 1.43 1.58 3/88 19356
/proc/meminfo: memFree=1028128/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=51
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 5083 17 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073774912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915416
[startup+102.532 s]
/proc/loadavg: 1.87 1.50 1.59 3/79 19421
/proc/meminfo: memFree=1012072/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=102.05
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 10184 21 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749975 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 915416
[startup+162.549 s]
/proc/loadavg: 1.95 1.59 1.61 3/80 19428
/proc/meminfo: memFree=909088/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=162
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 16179 21 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 915416
[startup+222.563 s]
/proc/loadavg: 2.01 1.67 1.64 3/87 19503
/proc/meminfo: memFree=897992/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=221.91
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 22165 26 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630176 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 915416
[startup+282.601 s]
/proc/loadavg: 2.04 1.75 1.66 3/87 19595
/proc/meminfo: memFree=897896/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=281.87
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 28149 38 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783609 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.87
Current children cumulated vsize (KiB) 915416
[startup+342.637 s]
/proc/loadavg: 2.01 1.79 1.68 3/81 19627
/proc/meminfo: memFree=898968/2055920 swapFree=4192812/4192956
[pid=19348] ppid=19346 vsize=915416 CPUtime=341.84
/proc/19348/stat : 19348 (java) R 19346 19348 18663 0 -1 0 23429 0 1 0 34143 41 0 0 25 0 8 0 159743109 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630183 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19348/statm: 228854 23160 2531 14 0 215324 0
[pid=19348/tid=19350] ppid=19346 vsize=915416 CPUtime=0.18
/proc/19348/task/19350/stat : 19350 (java) S 19346 19348 18663 0 -1 64 6426 0 0 0 16 2 0 0 16 0 8 0 159743113 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19351] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19351/stat : 19351 (java) S 19346 19348 18663 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19352] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19352/stat : 19352 (java) S 19346 19348 18663 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 159743114 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19353] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19353/stat : 19353 (java) S 19346 19348 18663 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19354] ppid=19346 vsize=915416 CPUtime=0.25
/proc/19348/task/19354/stat : 19354 (java) S 19346 19348 18663 0 -1 64 390 0 0 0 24 1 0 0 16 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19355] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19355/stat : 19355 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19348/tid=19356] ppid=19346 vsize=915416 CPUtime=0
/proc/19348/task/19356/stat : 19356 (java) S 19346 19348 18663 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 159743117 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 341.84
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 346.297
CPU time (s): 345.468
CPU user time (s): 345.04
CPU system time (s): 0.428934
CPU usage (%): 99.7607
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 345.04
system time used= 0.428934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23436
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= 8105
involuntary context switches= 5222
runsolver used 0.45693 s user time and 1.08983 s system time
The end
Begin job on node61 on Sat Jan 6 19:57:33 UTC 2007
IDJOB= 195740
IDBENCH= 3298
FILE ID= node61/195740-1168113452
PBS_JOBID= 3477406
Free space on /tmp= 66504 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195740-1168113452/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-195740-1168113452 -o ROOT/results/node61/solver-195740-1168113452 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/195740-1168113452/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3f9f0987ecc8bd6debbfdcbc6b845084
RANDOM SEED= 205727079
TIME LIMIT= 1800 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.259
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.259
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: 1174072 kB
Buffers: 55872 kB
Cached: 653980 kB
SwapCached: 0 kB
Active: 232356 kB
Inactive: 563976 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1174072 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4640 kB
Writeback: 0 kB
Mapped: 105424 kB
Slab: 70608 kB
Committed_AS: 3950964 kB
PageTables: 1976 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= 66500 MiB
End job on node61 on Sat Jan 6 20:03:19 UTC 2007