0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/211303-1168206929/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.53 nbVariables=2700 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.233 cpuTime=0.16 mem=10M819
0.53
0.53 predicates being loaded...
0.56
0.56 constraints being loaded...
10.23 nbConstraints=42620 nbMergedConstraints=450 nbConvertedConstraints=3330 nbConvertConstraintsChecks=133656
10.23 nbExtensionStructures=2 nbSharedExtensionStructures=3328 nbConflictsStructures=22
10.23 nbSharedConflictsStructures=39478 nbUnbuiltConflictsStructures=4 nbSharedBinaryRepresentations=5
10.23 nbEvaluationManagers=24 nbSharedEvaluationManagers=39266 maxDegree=272 maxArity=36
10.23 => wckTime=9.935 cpuTime=8.13 mem=323M230
10.64
10.64 solver IterativeSystematicSolver being built...
12.84 => wckTime=12.546 cpuTime=9.58 mem=384M751
88.58
88.58 INFO : Stopping ESAC
88.58
88.58 preprocessing
88.58 nbConstraintChecks=2042566 nbValidityChecks=6581150 nbPropagations=9135 nbRevisions=4509862
88.58 nbUselessRevisions=4506637 nbSingletonTests=3327 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0
88.58 detectedInconsistency=no
88.58 => wckTime=75.732 cpuTime=75.01 mem=402M15
91.84
91.84 search
91.84 run=0 nbConstraintChecks=180758 nbValidityChecks=1366973 nbPropagations=9839 nbRevisions=5349184
91.84 nbUselessRevisions=5345520 nbAssignments=360 nbFailedAssignments=3 nbBacktracks=10 nbVisitedNodes=366
91.84 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
91.84 => wckTime=78.998 cpuTime=78.23 mem=403M63
94.75
94.75 search
94.75 run=1 nbConstraintChecks=325086 nbValidityChecks=2712844 nbPropagations=20402 nbRevisions=11530605
94.75 nbUselessRevisions=11522869 nbAssignments=728 nbFailedAssignments=5 nbBacktracks=31 nbVisitedNodes=738
94.75 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
94.75 => wckTime=81.907 cpuTime=81.11 mem=403M63
97.67
97.67 search
97.67 run=2 nbConstraintChecks=469571 nbValidityChecks=4081246 nbPropagations=31697 nbRevisions=18557554
97.67 nbUselessRevisions=18545332 nbAssignments=1098 nbFailedAssignments=7 nbBacktracks=56 nbVisitedNodes=1112
97.67 nbRestartNogoods=3 mapSize=9 nbInferences=0 nbTooLargeKeys=0
97.67 => wckTime=84.828 cpuTime=84.01 mem=403M63
100.48
100.48 search
100.48 run=3 nbConstraintChecks=613962 nbValidityChecks=5462954 nbPropagations=43728 nbRevisions=26437841
100.48 nbUselessRevisions=26420717 nbAssignments=1470 nbFailedAssignments=9 nbBacktracks=95 nbVisitedNodes=1488
100.48 nbRestartNogoods=4 mapSize=12 nbInferences=0 nbTooLargeKeys=0
100.48 => wckTime=87.634 cpuTime=86.79 mem=404M79
104.46
104.46 search
104.46 run=4 nbConstraintChecks=938455 nbValidityChecks=7148719 nbPropagations=56800 nbRevisions=35364981
104.46 nbUselessRevisions=35342161 nbAssignments=1874 nbFailedAssignments=15 nbBacktracks=150 nbVisitedNodes=1903
104.46 nbRestartNogoods=5 mapSize=22 nbInferences=0 nbTooLargeKeys=0
104.46 => wckTime=91.612 cpuTime=90.7 mem=404M79
109.25
109.25 search
109.25 run=5 nbConstraintChecks=1390339 nbValidityChecks=9057258 nbPropagations=71125 nbRevisions=45480712
109.25 nbUselessRevisions=45451163 nbAssignments=2305 nbFailedAssignments=24 nbBacktracks=233 nbVisitedNodes=2350
109.25 nbRestartNogoods=6 mapSize=36 nbInferences=0 nbTooLargeKeys=0
109.25 => wckTime=96.408 cpuTime=95.46 mem=404M79
117.76
117.76 search
117.76 run=6 nbConstraintChecks=2009368 nbValidityChecks=12928435 nbPropagations=87734 nbRevisions=58019671
117.76 nbUselessRevisions=57981899 nbAssignments=3392 nbFailedAssignments=34 nbBacktracks=380 nbVisitedNodes=2840
117.76 nbRestartNogoods=8 mapSize=55 nbInferences=0 nbTooLargeKeys=0
117.76 => wckTime=104.913 cpuTime=103.89 mem=405M94
125.71
125.71 search
125.71 run=7 nbConstraintChecks=2944332 nbValidityChecks=15720345 nbPropagations=106495 nbRevisions=72313145
125.71 nbUselessRevisions=72265152 nbAssignments=3924 nbFailedAssignments=52 nbBacktracks=569 nbVisitedNodes=3406
125.71 nbRestartNogoods=9 mapSize=87 nbInferences=0 nbTooLargeKeys=0
125.71 => wckTime=112.863 cpuTime=111.77 mem=405M94
138.71
138.71 search
138.71 run=8 nbConstraintChecks=4239884 nbValidityChecks=20809680 nbPropagations=128759 nbRevisions=89806858
138.71 nbUselessRevisions=89745825 nbAssignments=5139 nbFailedAssignments=76 nbBacktracks=839 nbVisitedNodes=4082
138.71 nbRestartNogoods=11 mapSize=130 nbInferences=0 nbTooLargeKeys=0
138.71 => wckTime=125.867 cpuTime=124.66 mem=406M110
156.39
156.39 search
156.39 run=9 nbConstraintChecks=5754456 nbValidityChecks=28385737 nbPropagations=155873 nbRevisions=112043208
156.39 nbUselessRevisions=111965558 nbAssignments=7069 nbFailedAssignments=102 nbBacktracks=1236 nbVisitedNodes=4891
156.39 nbRestartNogoods=14 mapSize=178 nbInferences=0 nbTooLargeKeys=0
156.39 => wckTime=143.545 cpuTime=142.18 mem=406M110
202.84
202.84 search
202.84 run=10 nbConstraintChecks=10510312 nbValidityChecks=47929058 nbPropagations=197064 nbRevisions=146015380
202.84 nbUselessRevisions=145905871 nbAssignments=8569 nbFailedAssignments=121 nbBacktracks=1824 nbVisitedNodes=5906
202.84 nbRestartNogoods=17 mapSize=296 nbInferences=0 nbTooLargeKeys=0
202.84 => wckTime=189.993 cpuTime=188.21 mem=407M125
211.56
211.56 search
211.56 run=11 nbConstraintChecks=10967182 nbValidityChecks=51293597 nbPropagations=247166 nbRevisions=182181531
211.56 nbUselessRevisions=182030903 nbAssignments=10865 nbFailedAssignments=142 nbBacktracks=2742 nbVisitedNodes=8339
211.56 nbRestartNogoods=19 mapSize=431 nbInferences=0 nbTooLargeKeys=0
211.56 => wckTime=198.714 cpuTime=196.68 mem=394M402
284.34
284.34 search
284.34 run=12 nbConstraintChecks=21433407 nbValidityChecks=73309463 nbPropagations=315602 nbRevisions=231819898
284.34 nbUselessRevisions=231607884 nbAssignments=12550 nbFailedAssignments=199 nbBacktracks=4067 nbVisitedNodes=10248
284.34 nbRestartNogoods=21 mapSize=653 nbInferences=0 nbTooLargeKeys=0
284.34 => wckTime=271.492 cpuTime=268.82 mem=395M417
294.67
294.67 search
294.67 run=13 nbConstraintChecks=21843252 nbValidityChecks=77324094 nbPropagations=398639 nbRevisions=284145398
294.67 nbUselessRevisions=283856776 nbAssignments=15948 nbFailedAssignments=285 nbBacktracks=6013 nbVisitedNodes=13887
294.67 nbRestartNogoods=23 mapSize=892 nbInferences=0 nbTooLargeKeys=0
294.67 => wckTime=281.826 cpuTime=279.07 mem=412M681
303.27
303.27 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=420M805)
311.46
311.47 search
311.47 run=14 nbConstraintChecks=22508275 nbValidityChecks=84581006 nbPropagations=509960 nbRevisions=341340874
311.47 nbUselessRevisions=340944797 nbAssignments=20160 nbFailedAssignments=412 nbBacktracks=8958 nbVisitedNodes=18489
311.47 nbRestartNogoods=25
311.47 => wckTime=298.621 cpuTime=295.73 mem=420M805
338.35
338.35 search
338.35 run=15 nbConstraintChecks=23353694 nbValidityChecks=97668814 nbPropagations=657078 nbRevisions=406908802
338.36 nbUselessRevisions=406367064 nbAssignments=25790 nbFailedAssignments=623 nbBacktracks=13356
338.36 nbVisitedNodes=24615 nbRestartNogoods=26
338.36 => wckTime=325.51 cpuTime=322.31 mem=420M805
387.56
387.56 search
387.56 run=16 nbConstraintChecks=24581740 nbValidityChecks=123958408 nbPropagations=852900 nbRevisions=488877201
387.56 nbUselessRevisions=488138934 nbAssignments=33500 nbFailedAssignments=879 nbBacktracks=19944
387.56 nbVisitedNodes=32917 nbRestartNogoods=29
387.56 => wckTime=374.718 cpuTime=370.99 mem=420M805
491.66
491.66 search
491.66 run=17 nbConstraintChecks=27952833 nbValidityChecks=183555152 nbPropagations=1152601 nbRevisions=605360216
491.66 nbUselessRevisions=604307280 nbAssignments=44587 nbFailedAssignments=1471 nbBacktracks=29796
491.66 nbVisitedNodes=45346 nbRestartNogoods=33
491.66 => wckTime=478.813 cpuTime=474.09 mem=420M805
620.28
620.28 search
620.28 run=18 nbConstraintChecks=30912321 nbValidityChecks=259051485 nbPropagations=1516893 nbRevisions=767782624
620.28 nbUselessRevisions=766354634 nbAssignments=60609 nbFailedAssignments=2008 nbBacktracks=44598
620.28 nbVisitedNodes=62469 nbRestartNogoods=36
620.28 => wckTime=607.438 cpuTime=601.59 mem=420M805
787.29
787.29 search
787.29 run=19 nbConstraintChecks=36470218 nbValidityChecks=332234351 nbPropagations=2203526 nbRevisions=984531038
787.29 nbUselessRevisions=982328924 nbAssignments=86003 nbFailedAssignments=4095 nbBacktracks=66768
787.29 nbVisitedNodes=93332 nbRestartNogoods=41
787.29 => wckTime=774.443 cpuTime=767.11 mem=420M805
1035.76
1035.76 search
1035.76 run=20 nbConstraintChecks=44122777 nbValidityChecks=452703005 nbPropagations=3237860 nbRevisions=1285521850
1035.76 nbUselessRevisions=1282140395 nbAssignments=122670 nbFailedAssignments=6265 nbBacktracks=100038
1035.76 nbVisitedNodes=135595 nbRestartNogoods=46
1035.76 => wckTime=1022.918 cpuTime=1013.42 mem=420M805
1494.13
1494.13 search
1494.13 run=21 nbConstraintChecks=58144102 nbValidityChecks=664478127 nbPropagations=4931737 nbRevisions=1750321255
1494.13 nbUselessRevisions=1745000140 nbAssignments=177971 nbFailedAssignments=9384 nbBacktracks=149932
1494.13 nbVisitedNodes=198398 nbRestartNogoods=54
1494.13 => wckTime=1481.283 cpuTime=1467.71 mem=420M805
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-211303-1168206929 -o ROOT/results/node76/solver-211303-1168206929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211303-1168206929/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.87 1.85 1.48 4/78 5204
/proc/meminfo: memFree=1328544/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=906648 CPUtime=0.02
/proc/5203/stat : 5203 (java) S 5201 5203 4179 0 -1 0 2066 0 1 0 1 1 0 0 19 0 2 0 169089999 928407552 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 226662 1817 1035 14 0 214244 0
[pid=5203/tid=5205] ppid=5201 vsize=906648 CPUtime=0
/proc/5203/task/5205/stat : 5205 (java) R 5201 5203 4179 0 -1 64 4 0 0 0 0 0 0 0 20 0 2 0 169090002 928407552 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 0 0 0
[startup+0.102694 s]
/proc/loadavg: 1.87 1.85 1.48 4/78 5204
/proc/meminfo: memFree=1328544/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=914992 CPUtime=0.09
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 3057 0 1 0 7 2 0 0 23 0 8 0 169089999 936951808 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154105182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228748 2805 1450 14 0 215242 0
[pid=5203/tid=5205] ppid=5201 vsize=914992 CPUtime=0
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 169090002 936951808 2805 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914992
[startup+0.510774 s]
/proc/loadavg: 1.87 1.85 1.48 4/78 5204
/proc/meminfo: memFree=1328544/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915332 CPUtime=0.49
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 6632 0 1 0 43 6 0 0 25 0 8 0 169089999 937299968 6373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228833 6373 2137 14 0 215302 0
[pid=5203/tid=5205] ppid=5201 vsize=915332 CPUtime=0
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 169090002 937299968 6373 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33194 s]
/proc/loadavg: 1.87 1.85 1.48 3/85 5211
/proc/meminfo: memFree=1266600/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915644 CPUtime=1.31
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 18494 0 1 0 118 13 0 0 25 0 8 0 169089999 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154522528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228911 18232 2158 14 0 215380 0
[pid=5203/tid=5205] ppid=5201 vsize=915644 CPUtime=0.08
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 1959 0 0 0 7 1 0 0 16 0 8 0 169090002 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169090003 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915644 CPUtime=0.14
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937619456 18232 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915644
[startup+2.97527 s]
/proc/loadavg: 1.88 1.86 1.49 4/85 5211
/proc/meminfo: memFree=1251944/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915644 CPUtime=2.93
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 22529 0 1 0 277 16 0 0 25 0 8 0 169089999 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073735163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228911 22254 2158 14 0 215380 0
[pid=5203/tid=5205] ppid=5201 vsize=915644 CPUtime=0.34
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 5980 0 0 0 30 4 0 0 16 0 8 0 169090002 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169090003 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915644 CPUtime=0.15
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 408 0 0 0 15 0 0 0 16 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937619456 22254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915644
[startup+6.2709 s]
/proc/loadavg: 1.88 1.86 1.49 3/85 5211
/proc/meminfo: memFree=1233456/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915644 CPUtime=6.21
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 30381 0 1 0 531 90 0 0 25 0 8 0 169089999 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228911 30092 2179 14 0 215380 0
[pid=5203/tid=5205] ppid=5201 vsize=915644 CPUtime=0.7
/proc/5203/task/5205/stat : 5205 (java) R 5201 5203 4179 0 -1 64 13726 0 0 0 63 7 0 0 17 0 8 0 169090002 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153823240 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 169090003 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915644 CPUtime=0.2
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 436 0 0 0 19 1 0 0 16 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915644 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937619456 30092 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915644
[startup+12.7502 s]
/proc/loadavg: 1.90 1.86 1.49 3/85 5211
/proc/meminfo: memFree=911680/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915800 CPUtime=12.6
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108322 0 1 0 1061 199 0 0 25 0 8 0 169089999 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155885681 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228950 107967 2534 14 0 215419 0
[pid=5203/tid=5205] ppid=5201 vsize=915800 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915800 CPUtime=0.27
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 516 0 0 0 26 1 0 0 15 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915800 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937779200 107967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915800
[startup+25.6157 s]
/proc/loadavg: 1.92 1.86 1.50 3/85 5211
/proc/meminfo: memFree=905792/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=25.37
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108411 0 1 0 2337 200 0 0 25 0 8 0 169089999 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 108051 2547 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.36
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 557 0 0 0 34 2 0 0 16 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937897984 108051 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915916
[startup+51.2287 s]
/proc/loadavg: 1.94 1.87 1.51 3/85 5211
/proc/meminfo: memFree=905792/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=50.75
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108414 0 1 0 4875 200 0 0 25 0 8 0 169089999 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074227952 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 108052 2547 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.36
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 558 0 0 0 34 2 0 0 16 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937897984 108052 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915916
[startup+102.446 s]
/proc/loadavg: 1.98 1.89 1.53 3/85 5211
/proc/meminfo: memFree=905920/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=101.5
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 108439 0 1 0 9949 201 0 0 25 0 8 0 169089999 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073876455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 108074 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.56
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 91151 0 0 0 214 42 0 0 16 0 8 0 169090002 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.4
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 578 0 0 0 38 2 0 0 15 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 169090006 937897984 108074 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 915916
################
# More data... #
################
Current children cumulated CPU time (s) 1411.3
Current children cumulated vsize (KiB) 915916
[startup+1484.18 s]
/proc/loadavg: 2.00 2.00 1.86 3/85 5411
/proc/meminfo: memFree=881792/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1470.87
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114349 0 1 0 146864 223 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150602 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.01
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.87
Current children cumulated vsize (KiB) 915916
[startup+1544.25 s]
/proc/loadavg: 2.04 2.01 1.87 3/85 5411
/proc/meminfo: memFree=881856/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1530.42
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 152818 224 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074149656 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.01
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.42
Current children cumulated vsize (KiB) 915916
[startup+1604.33 s]
/proc/loadavg: 2.01 2.01 1.88 3/85 5411
/proc/meminfo: memFree=881856/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1589.98
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 158774 224 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150635 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.01
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 0 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.98
Current children cumulated vsize (KiB) 915916
[startup+1664.4 s]
/proc/loadavg: 2.00 2.00 1.88 3/85 5411
/proc/meminfo: memFree=881856/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1649.55
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 164730 225 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179718 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) R 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.55
Current children cumulated vsize (KiB) 915916
[startup+1724.47 s]
/proc/loadavg: 2.00 2.00 1.89 3/85 5411
/proc/meminfo: memFree=881920/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1709.08
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 170683 225 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074179712 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.08
Current children cumulated vsize (KiB) 915916
[startup+1784.57 s]
/proc/loadavg: 2.05 2.01 1.90 3/85 5411
/proc/meminfo: memFree=881920/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1768.64
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 176639 225 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073973885 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.64
Current children cumulated vsize (KiB) 915916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.99 s]
/proc/loadavg: 1.69 1.93 1.87 2/77 5430
/proc/meminfo: memFree=911184/2055888 swapFree=4095388/4096564
[pid=5203] ppid=5201 vsize=915916 CPUtime=1800.03
/proc/5203/stat : 5203 (java) R 5201 5203 4179 0 -1 0 114350 0 1 0 179777 226 0 0 25 0 8 0 169089999 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150635 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5203/statm: 228979 113971 2548 14 0 215448 0
[pid=5203/tid=5205] ppid=5201 vsize=915916 CPUtime=2.75
/proc/5203/task/5205/stat : 5205 (java) S 5201 5203 4179 0 -1 64 97038 0 0 0 229 46 0 0 16 0 8 0 169090002 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5206] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5206/stat : 5206 (java) S 5201 5203 4179 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5207] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5207/stat : 5207 (java) S 5201 5203 4179 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 169090003 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5208] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5208/stat : 5208 (java) S 5201 5203 4179 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5209] ppid=5201 vsize=915916 CPUtime=0.42
/proc/5203/task/5209/stat : 5209 (java) S 5201 5203 4179 0 -1 64 589 0 0 0 40 2 0 0 16 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5210] ppid=5201 vsize=915916 CPUtime=0
/proc/5203/task/5210/stat : 5210 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5203/tid=5211] ppid=5201 vsize=915916 CPUtime=0.02
/proc/5203/task/5211/stat : 5211 (java) S 5201 5203 4179 0 -1 64 1 0 0 0 1 1 0 0 15 0 8 0 169090006 937897984 113971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.12
CPU time (s): 1800.15
CPU user time (s): 1797.83
CPU system time (s): 2.32665
CPU usage (%): 99.1208
Max. virtual memory (cumulated for all children) (KiB): 915916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.32665
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 114366
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= 38883
involuntary context switches= 75005
runsolver used 2.46862 s user time and 4.84626 s system time
The end
Begin job on node76 on Sun Jan 7 21:55:29 UTC 2007
IDJOB= 211303
IDBENCH= 4684
FILE ID= node76/211303-1168206929
PBS_JOBID= 3480792
Free space on /tmp= 66634 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ttp/circ-10-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211303-1168206929/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-211303-1168206929 -o ROOT/results/node76/solver-211303-1168206929 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211303-1168206929/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0e55a6b21f60962d919e77257912f16e
RANDOM SEED= 210210282
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1328768 kB
Buffers: 46460 kB
Cached: 586192 kB
SwapCached: 428 kB
Active: 159584 kB
Inactive: 513456 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1328768 kB
SwapTotal: 4096564 kB
SwapFree: 4095388 kB
Dirty: 14632 kB
Writeback: 0 kB
Mapped: 52680 kB
Slab: 39700 kB
Committed_AS: 6341348 kB
PageTables: 1780 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66638 MiB
End job on node76 on Sun Jan 7 22:25:45 UTC 2007