0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/247895-1168085901/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=100 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.106 cpuTime=0.1 mem=6M951
0.40
0.40 predicates being loaded...
0.43
0.43 constraints being loaded...
0.58 nbConstraints=40 nbSingletonDomainVariables=16 nbDisconnectedVariables=16 nbConflictsStructures=6
0.58 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=34 nbSharedBinaryRepresentations=0
0.58 nbEvaluationManagers=40 nbSharedEvaluationManagers=0 maxDegree=5 maxArity=6
0.58 => wckTime=0.281 cpuTime=0.23 mem=8M935
0.61
0.61 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.48 cpuTime=0.37 mem=14M369
2.52
2.52 preprocessing
2.52 nbConstraintChecks=3363792 nbValidityChecks=1102 nbPropagations=107 nbRevisions=98 nbUselessRevisions=46
2.52 nbRemovedValues=407 detectedInconsistency=no
2.52 => wckTime=1.74 cpuTime=1.73 mem=14M369
6.71
6.71 search
6.71 run=0 nbConstraintChecks=6683594 nbValidityChecks=15054 nbPropagations=653 nbRevisions=1301
6.71 nbUselessRevisions=602 nbAssignments=39 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=48
6.71 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
6.71 => wckTime=5.927 cpuTime=5.89 mem=15M360
8.98
8.98 search
8.98 run=1 nbConstraintChecks=10176824 nbValidityChecks=40608 nbPropagations=2335 nbRevisions=5065
8.98 nbUselessRevisions=2253 nbAssignments=84 nbFailedAssignments=19 nbBacktracks=25 nbVisitedNodes=110
8.98 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
8.98 => wckTime=8.199 cpuTime=8.15 mem=15M360
12.60
12.60 search
12.60 run=2 nbConstraintChecks=15866810 nbValidityChecks=69047 nbPropagations=5480 nbRevisions=11818
12.60 nbUselessRevisions=5096 nbAssignments=149 nbFailedAssignments=40 nbBacktracks=48 nbVisitedNodes=200
12.60 nbRestartNogoods=5 mapSize=37 nbInferences=0 nbTooLargeKeys=0
12.60 => wckTime=11.823 cpuTime=11.77 mem=15M360
17.78
17.83 search
17.83 run=3 nbConstraintChecks=24251876 nbValidityChecks=125046 nbPropagations=10688 nbRevisions=23383
17.83 nbUselessRevisions=9787 nbAssignments=241 nbFailedAssignments=82 nbBacktracks=83 nbVisitedNodes=343
17.83 nbRestartNogoods=14 mapSize=60 nbInferences=0 nbTooLargeKeys=0
17.83 => wckTime=17.002 cpuTime=16.95 mem=15M360
22.86
22.86 search
22.86 run=4 nbConstraintChecks=32347218 nbValidityChecks=149829 nbPropagations=17005 nbRevisions=37059
22.86 nbUselessRevisions=15380 nbAssignments=326 nbFailedAssignments=105 nbBacktracks=133 nbVisitedNodes=451
22.86 nbRestartNogoods=26 mapSize=95 nbInferences=0 nbTooLargeKeys=0
22.86 => wckTime=22.081 cpuTime=22.0 mem=15M360
30.43
30.43 search
30.43 run=5 nbConstraintChecks=44069262 nbValidityChecks=210416 nbPropagations=26606 nbRevisions=57241
30.43 nbUselessRevisions=23529 nbAssignments=477 nbFailedAssignments=163 nbBacktracks=210 nbVisitedNodes=663
30.43 nbRestartNogoods=30 mapSize=154 nbInferences=0 nbTooLargeKeys=0
30.43 => wckTime=29.646 cpuTime=29.55 mem=15M360
36.98
36.98 search
36.98 run=6 nbConstraintChecks=54045020 nbValidityChecks=257065 nbPropagations=38653 nbRevisions=82466
36.98 nbUselessRevisions=33800 nbAssignments=659 nbFailedAssignments=217 nbBacktracks=323 nbVisitedNodes=908
36.98 nbRestartNogoods=38 mapSize=208 nbInferences=0 nbTooLargeKeys=0
36.98 => wckTime=36.204 cpuTime=36.11 mem=15M360
56.52
56.52 search
56.52 run=7 nbConstraintChecks=84737522 nbValidityChecks=484173 nbPropagations=59746 nbRevisions=129024
56.52 nbUselessRevisions=52584 nbAssignments=1026 nbFailedAssignments=402 nbBacktracks=493 nbVisitedNodes=1489
56.52 nbRestartNogoods=42 mapSize=311 nbInferences=0 nbTooLargeKeys=0
56.52 => wckTime=55.741 cpuTime=55.63 mem=15M360
68.32
68.32 search
68.32 run=8 nbConstraintChecks=102794005 nbValidityChecks=565000 nbPropagations=85353 nbRevisions=183992
68.32 nbUselessRevisions=74936 nbAssignments=1407 nbFailedAssignments=512 nbBacktracks=751 nbVisitedNodes=1982
68.32 nbRestartNogoods=55 mapSize=476 nbInferences=0 nbTooLargeKeys=0
68.32 => wckTime=67.537 cpuTime=67.39 mem=15M360
91.29
91.29 search
91.29 run=9 nbConstraintChecks=137818199 nbValidityChecks=758540 nbPropagations=122391 nbRevisions=261429
91.29 nbUselessRevisions=105645 nbAssignments=2039 nbFailedAssignments=748 nbBacktracks=1135 nbVisitedNodes=2877
91.29 nbRestartNogoods=63 mapSize=692 nbInferences=0 nbTooLargeKeys=0
91.29 => wckTime=90.51 cpuTime=90.33 mem=15M360
144.16
144.16 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=16M336)
154.13
154.13 search
154.13 run=10 nbConstraintChecks=236219403 nbValidityChecks=1365571 nbPropagations=185632 nbRevisions=399583
154.13 nbUselessRevisions=160830 nbAssignments=3194 nbFailedAssignments=1315 nbBacktracks=1712 nbVisitedNodes=4654
154.13 nbRestartNogoods=69
154.13 => wckTime=153.354 cpuTime=153.11 mem=16M336
220.79
220.79 search
220.79 run=11 nbConstraintChecks=339120216 nbValidityChecks=1957529 nbPropagations=279195 nbRevisions=601078
220.79 nbUselessRevisions=239208 nbAssignments=4744 nbFailedAssignments=1984 nbBacktracks=2577 nbVisitedNodes=6927
220.79 nbRestartNogoods=78
220.79 => wckTime=220.01 cpuTime=219.69 mem=16M336
290.37
290.37 search
290.37 run=12 nbConstraintChecks=448563902 nbValidityChecks=2689395 nbPropagations=407314 nbRevisions=878996
290.37 nbUselessRevisions=350845 nbAssignments=6811 nbFailedAssignments=2742 nbBacktracks=3875 nbVisitedNodes=9855
290.37 nbRestartNogoods=90
290.37 => wckTime=289.588 cpuTime=289.2 mem=16M336
448.44
448.44 search
448.44 run=13 nbConstraintChecks=689497491 nbValidityChecks=4048871 nbPropagations=602745 nbRevisions=1298293
448.44 nbUselessRevisions=517460 nbAssignments=10168 nbFailedAssignments=4137 nbBacktracks=5822 nbVisitedNodes=14741
448.44 nbRestartNogoods=93
448.44 => wckTime=447.659 cpuTime=447.09 mem=16M336
636.45
636.45 search
636.45 run=14 nbConstraintChecks=981318745 nbValidityChecks=5952341 nbPropagations=887155 nbRevisions=1912588
636.45 nbUselessRevisions=765127 nbAssignments=14980 nbFailedAssignments=6015 nbBacktracks=8744 nbVisitedNodes=21700
636.45 nbRestartNogoods=115
636.45 => wckTime=635.675 cpuTime=634.93 mem=16M336
883.05
883.05 search
883.05 run=15 nbConstraintChecks=1352571902 nbValidityChecks=8065339 nbPropagations=1279166 nbRevisions=2760351
883.05 nbUselessRevisions=1109458 nbAssignments=21391 nbFailedAssignments=8019 nbBacktracks=13140 nbVisitedNodes=30422
883.05 nbRestartNogoods=127
883.05 => wckTime=882.273 cpuTime=880.5 mem=16M336
1004.68
1004.68 search
1004.68 run=16 nbConstraintChecks=1530620868 nbValidityChecks=9139894 nbPropagations=1732963 nbRevisions=3730075
1004.68 nbUselessRevisions=1503916 nbAssignments=25687 nbFailedAssignments=9031 nbBacktracks=16324 nbVisitedNodes=35832
1004.68 nbRestartNogoods=138
1004.68 => wckTime=1003.899 cpuTime=1001.58 mem=16M336
1004.68
1004.68 global
1004.68 nbConstraintChecks=1533984660 nbValidityChecks=9140996 nbPropagations=1733070 nbRevisions=3730173
1004.68 nbUselessRevisions=1503962 nbRestartNogoods=138 solvingWckTime=1003.901 solvingCpuTime=1001.58 expiredTime=no
1004.68 totalExploration=no nbFoundSolutions=1 globalCpuTime=1001.99
1004.68 => wckTime=1004.382 cpuTime=1001.95 mem=16M336
1004.68
1004.68 s SATISFIABLE
1004.68 v 2 17 26 6 12 2 9 4 2 3 2 19 9 28 5 2 12 22 5 5 3 2 2 8 2 4 6 12 19 13 28 7 2 23 21 8 24 7 10 3 29 2 2 23 7 21 5 2 14 4 7 8 27 23 19 24 18 2 4 7 14 14 2 21 16 17 2 26 9 18 4 13 3 2 29 24 7 22 2 10 25 12 19 23 17 6 12 2 9 14 5 2 24 17 27 9 2 2 18 18
1004.68 d NODES 25687
1004.68 d CHECKS 1533984660
1004.68
1004.68 totalWckTime=1004.459 totalCpuTime=1001.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-247895-1168085901 -o ROOT/results/node14/solver-247895-1168085901 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247895-1168085901/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.00 1.08 1.38 4/93 28121
/proc/meminfo: memFree=1405104/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=172 CPUtime=0
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156986221 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/28120/statm: 43 24 18 14 0 3 0
[startup+0.108279 s]
/proc/loadavg: 1.00 1.08 1.38 4/93 28121
/proc/meminfo: memFree=1405104/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=914988 CPUtime=0.09
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 3059 0 1 0 7 2 0 0 22 0 8 0 156986221 936947712 2805 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228747 2806 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516318 s]
/proc/loadavg: 1.00 1.08 1.38 4/93 28121
/proc/meminfo: memFree=1405104/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=0.49
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 6643 0 1 0 45 4 0 0 25 0 8 0 156986221 937431040 6382 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600157 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 6382 2166 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33939 s]
/proc/loadavg: 1.00 1.08 1.38 3/100 28128
/proc/meminfo: memFree=1382008/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=1.31
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8528 0 1 0 126 5 0 0 25 0 8 0 156986221 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8266 2528 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.13
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 343 0 0 0 13 0 0 0 16 0 8 0 156986228 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8266 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8266 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) 915460
[startup+2.99255 s]
/proc/loadavg: 1.08 1.10 1.38 3/100 28128
/proc/meminfo: memFree=1382008/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=2.96
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8621 0 1 0 291 5 0 0 25 0 8 0 156986221 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8358 2529 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 155 0 0 0 2 0 0 0 17 0 8 0 156986225 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.15
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 348 0 0 0 14 1 0 0 15 0 8 0 156986228 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8358 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) 915460
[startup+6.27186 s]
/proc/loadavg: 1.08 1.10 1.38 3/100 28128
/proc/meminfo: memFree=1381560/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=6.24
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8639 0 1 0 619 5 0 0 25 0 8 0 156986221 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8373 2530 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 155 0 0 0 2 0 0 0 17 0 8 0 156986225 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.16
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 357 0 0 0 15 1 0 0 16 0 8 0 156986228 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8373 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8373 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) 915460
[startup+12.7685 s]
/proc/loadavg: 1.22 1.13 1.39 3/100 28128
/proc/meminfo: memFree=1381560/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=12.74
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8677 0 1 0 1269 5 0 0 25 0 8 0 156986221 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073603632 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8406 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.18
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 368 0 0 0 17 1 0 0 15 0 8 0 156986228 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8406 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.74
Current children cumulated vsize (KiB) 915460
[startup+25.6247 s]
/proc/loadavg: 1.34 1.15 1.40 3/100 28128
/proc/meminfo: memFree=1381496/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=25.57
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8702 0 1 0 2552 5 0 0 25 0 8 0 156986221 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8430 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.19
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 372 0 0 0 18 1 0 0 16 0 8 0 156986228 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8430 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915460
[startup+51.2541 s]
/proc/loadavg: 1.57 1.22 1.41 3/100 28128
/proc/meminfo: memFree=1381368/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=51.18
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8747 0 1 0 5113 5 0 0 25 0 8 0 156986221 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073764730 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8471 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.19
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 375 0 0 0 18 1 0 0 16 0 8 0 156986228 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8471 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915460
[startup+102.512 s]
/proc/loadavg: 1.92 1.37 1.45 3/100 28128
/proc/meminfo: memFree=1380920/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=102.39
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8865 0 1 0 10233 6 0 0 25 0 8 0 156986221 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600103 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8583 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.22
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 384 0 0 0 21 1 0 0 16 0 8 0 156986228 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8583 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.39
Current children cumulated vsize (KiB) 915460
[startup+162.519 s]
/proc/loadavg: 1.97 1.48 1.48 3/100 28128
/proc/meminfo: memFree=1380728/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=162.32
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8911 0 1 0 16226 6 0 0 25 0 8 0 156986221 937431040 8627 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073599075 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 156986228 937431040 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8637 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 915460
[startup+642.557 s]
/proc/loadavg: 2.00 1.89 1.68 3/100 28128
/proc/meminfo: memFree=1380472/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=641.87
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8927 0 1 0 64180 7 0 0 25 0 8 0 156986221 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073607018 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8641 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 915460
[startup+702.563 s]
/proc/loadavg: 2.00 1.91 1.70 3/100 28128
/proc/meminfo: memFree=1380472/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=701.7
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8927 0 1 0 70163 7 0 0 25 0 8 0 156986221 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606403 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8641 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 701.7
Current children cumulated vsize (KiB) 915460
[startup+762.565 s]
/proc/loadavg: 2.00 1.92 1.71 3/100 28128
/proc/meminfo: memFree=1380472/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=761.44
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8927 0 1 0 76137 7 0 0 25 0 8 0 156986221 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073606376 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8641 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 761.44
Current children cumulated vsize (KiB) 915460
[startup+822.569 s]
/proc/loadavg: 2.00 1.94 1.73 3/100 28128
/proc/meminfo: memFree=1380408/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=821.16
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8927 0 1 0 82109 7 0 0 25 0 8 0 156986221 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8641 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 821.16
Current children cumulated vsize (KiB) 915460
[startup+882.576 s]
/proc/loadavg: 2.00 1.94 1.74 3/100 28128
/proc/meminfo: memFree=1380472/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=880.87
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8927 0 1 0 88080 7 0 0 25 0 8 0 156986221 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073600638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8641 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8641 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 880.87
Current children cumulated vsize (KiB) 915460
[startup+942.58 s]
/proc/loadavg: 2.05 1.97 1.76 3/100 28128
/proc/meminfo: memFree=1380408/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=940.61
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8931 0 1 0 94053 8 0 0 25 0 8 0 156986221 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8644 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 940.61
Current children cumulated vsize (KiB) 915460
[startup+1002.59 s]
/proc/loadavg: 2.02 1.97 1.77 3/100 28128
/proc/meminfo: memFree=1380472/2055920 swapFree=4182236/4192956
[pid=28120] ppid=28118 vsize=915460 CPUtime=1000.35
/proc/28120/stat : 28120 (java) R 28118 28120 27883 0 -1 0 8931 0 1 0 100027 8 0 0 25 0 8 0 156986221 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073598801 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28120/statm: 228865 8644 2534 14 0 215335 0
[pid=28120/tid=28122] ppid=28118 vsize=915460 CPUtime=0.02
/proc/28120/task/28122/stat : 28122 (java) S 28118 28120 27883 0 -1 64 156 0 0 0 2 0 0 0 16 0 8 0 156986225 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28123] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28123/stat : 28123 (java) S 28118 28120 27883 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156986225 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28124] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28124/stat : 28124 (java) S 28118 28120 27883 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156986225 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28125] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28125/stat : 28125 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28126] ppid=28118 vsize=915460 CPUtime=0.23
/proc/28120/task/28126/stat : 28126 (java) S 28118 28120 27883 0 -1 64 391 0 0 0 22 1 0 0 17 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28127] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28127/stat : 28127 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28120/tid=28128] ppid=28118 vsize=915460 CPUtime=0
/proc/28120/task/28128/stat : 28128 (java) S 28118 28120 27883 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156986228 937431040 8644 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1000.35
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 1004.72
CPU time (s): 1002.45
CPU user time (s): 1002.36
CPU system time (s): 0.088986
CPU usage (%): 99.7742
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1002.36
system time used= 0.088986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9023
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= 21516
involuntary context switches= 44245
runsolver used 1.14982 s user time and 3.3025 s system time
The end
Begin job on node14 on Sat Jan 6 12:18:28 UTC 2007
IDJOB= 247895
IDBENCH= 11665
FILE ID= node14/247895-1168085901
PBS_JOBID= 3476330
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-10/primes-10-40-3-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247895-1168085901/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-247895-1168085901 -o ROOT/results/node14/solver-247895-1168085901 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/247895-1168085901/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e035bc1a7e7fbe391e9ce31618101ba
RANDOM SEED= 252102914
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.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: 1405648 kB
Buffers: 58616 kB
Cached: 401040 kB
SwapCached: 3696 kB
Active: 183040 kB
Inactive: 367256 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1405648 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1752 kB
Writeback: 0 kB
Mapped: 110004 kB
Slab: 84628 kB
Committed_AS: 5557068 kB
PageTables: 2304 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= 66328 MiB
End job on node14 on Sat Jan 6 12:35:18 UTC 2007