0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/210925-1168203957/unknown.xml
0.40
0.40 domains being loaded...
0.41
0.41 variables being loaded...
0.65 nbVariables=6392 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.65 => wckTime=0.329 cpuTime=0.21 mem=17M615
0.65
0.65 predicates being loaded...
0.66
0.66 constraints being loaded...
3.15 nbConstraints=17382 nbMergedConstraints=675 nbSingletonDomainVariables=4 nbConvertedConstraints=11423
3.16 nbConvertConstraintsChecks=22577 nbExtensionStructures=5 nbSharedExtensionStructures=11418
3.16 nbConflictsStructures=37 nbSharedConflictsStructures=17345 nbSharedBinaryRepresentations=12
3.16 nbEvaluationManagers=32 nbSharedEvaluationManagers=5927 maxDegree=92 maxArity=11
3.16 => wckTime=2.838 cpuTime=2.39 mem=60M637
3.32
3.32 solver IterativeSystematicSolver being built...
3.86 => wckTime=3.546 cpuTime=2.82 mem=59M555
30.29
30.29 preprocessing
30.29 nbConstraintChecks=187352 nbValidityChecks=123356 nbPropagations=30125 nbRevisions=166390
30.29 nbUselessRevisions=149018 nbSingletonTests=6562 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0
30.29 detectedInconsistency=no
30.29 => wckTime=26.414 cpuTime=26.24 mem=59M555
34.09
34.09 search
34.09 run=0 nbConstraintChecks=40800 nbValidityChecks=43966 nbPropagations=36548 nbRevisions=216522
34.09 nbUselessRevisions=192659 nbAssignments=307 nbFailedAssignments=3 nbBacktracks=38 nbVisitedNodes=317
34.09 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
34.09 => wckTime=30.218 cpuTime=30.0 mem=61M572
38.28
38.28 search
38.28 run=1 nbConstraintChecks=182321 nbValidityChecks=157307 nbPropagations=96674 nbRevisions=592465
38.28 nbUselessRevisions=521292 nbAssignments=871 nbFailedAssignments=4 nbBacktracks=82 nbVisitedNodes=634
38.28 nbRestartNogoods=3 mapSize=12 nbInferences=0 nbTooLargeKeys=0
38.28 => wckTime=34.414 cpuTime=34.17 mem=62M580
42.00
42.00 search
42.00 run=2 nbConstraintChecks=219065 nbValidityChecks=199637 nbPropagations=163226 nbRevisions=1017512
42.00 nbUselessRevisions=892538 nbAssignments=1176 nbFailedAssignments=5 nbBacktracks=120 nbVisitedNodes=946
42.00 nbRestartNogoods=4 mapSize=18 nbInferences=0 nbTooLargeKeys=0
42.00 => wckTime=38.13 cpuTime=37.87 mem=62M580
45.83
45.83 search
45.83 run=3 nbConstraintChecks=255739 nbValidityChecks=242111 nbPropagations=236195 nbRevisions=1491724
45.83 nbUselessRevisions=1306477 nbAssignments=1486 nbFailedAssignments=6 nbBacktracks=195 nbVisitedNodes=1263
45.83 nbRestartNogoods=5 mapSize=24 nbInferences=0 nbTooLargeKeys=0
45.83 => wckTime=41.961 cpuTime=41.68 mem=63M589
48.93
48.93 search
48.93 run=4 nbConstraintChecks=285149 nbValidityChecks=281720 nbPropagations=314194 nbRevisions=2007392
48.93 nbUselessRevisions=1756901 nbAssignments=1747 nbFailedAssignments=8 nbBacktracks=246 nbVisitedNodes=1528
48.93 nbRestartNogoods=6 mapSize=27 nbInferences=0 nbTooLargeKeys=0
48.93 => wckTime=45.059 cpuTime=44.76 mem=64M597
52.68
52.68 search
52.68 run=5 nbConstraintChecks=314938 nbValidityChecks=322085 nbPropagations=397256 nbRevisions=2565097
52.68 nbUselessRevisions=2244333 nbAssignments=2058 nbFailedAssignments=12 nbBacktracks=345 nbVisitedNodes=1847
52.68 nbRestartNogoods=7 mapSize=33 nbInferences=0 nbTooLargeKeys=0
52.68 => wckTime=48.808 cpuTime=48.48 mem=64M597
56.77
56.77 search
56.77 run=6 nbConstraintChecks=345217 nbValidityChecks=363237 nbPropagations=485422 nbRevisions=3165470
56.77 nbUselessRevisions=2769352 nbAssignments=2396 nbFailedAssignments=17 nbBacktracks=469 nbVisitedNodes=2195
56.77 nbRestartNogoods=9 mapSize=40 nbInferences=0 nbTooLargeKeys=0
56.77 => wckTime=52.903 cpuTime=52.55 mem=65M605
61.53
61.53 search
61.53 run=7 nbConstraintChecks=379331 nbValidityChecks=405801 nbPropagations=578878 nbRevisions=3810113
61.53 nbUselessRevisions=3333334 nbAssignments=2788 nbFailedAssignments=25 nbBacktracks=645 nbVisitedNodes=2602
61.53 nbRestartNogoods=12 mapSize=52 nbInferences=0 nbTooLargeKeys=0
61.53 => wckTime=57.659 cpuTime=57.29 mem=66M613
74.96
74.96 search
74.96 run=8 nbConstraintChecks=488566 nbValidityChecks=489559 nbPropagations=686815 nbRevisions=4561072
74.96 nbUselessRevisions=3988474 nbAssignments=3745 nbFailedAssignments=35 nbBacktracks=942 nbVisitedNodes=3597
74.96 nbRestartNogoods=15 mapSize=88 nbInferences=0 nbTooLargeKeys=0
74.96 => wckTime=71.09 cpuTime=70.66 mem=67M622
88.30
88.31 search
88.31 run=9 nbConstraintChecks=647602 nbValidityChecks=613668 nbPropagations=821492 nbRevisions=5488427
88.31 nbUselessRevisions=4793459 nbAssignments=5046 nbFailedAssignments=38 nbBacktracks=1518 nbVisitedNodes=4521
88.31 nbRestartNogoods=19 mapSize=95 nbInferences=1 nbTooLargeKeys=0
88.31 => wckTime=84.435 cpuTime=83.93 mem=68M630
108.49
108.49 search
108.49 run=10 nbConstraintChecks=769805 nbValidityChecks=717936 nbPropagations=975783 nbRevisions=6553936
108.49 nbUselessRevisions=5717085 nbAssignments=6628 nbFailedAssignments=42 nbBacktracks=2492 nbVisitedNodes=6024
108.49 nbRestartNogoods=21 mapSize=196 nbInferences=88 nbTooLargeKeys=0
108.49 => wckTime=104.62 cpuTime=104.01 mem=69M638
128.27
128.27 search
128.27 run=11 nbConstraintChecks=851779 nbValidityChecks=811299 nbPropagations=1142093 nbRevisions=7722715
128.27 nbUselessRevisions=6732321 nbAssignments=8013 nbFailedAssignments=44 nbBacktracks=3356 nbVisitedNodes=7609
128.27 nbRestartNogoods=23 mapSize=391 nbInferences=280 nbTooLargeKeys=0
128.27 => wckTime=124.402 cpuTime=123.7 mem=71M655
155.36
155.36 search
155.36 run=12 nbConstraintChecks=931070 nbValidityChecks=897443 nbPropagations=1320415 nbRevisions=8991556
155.36 nbUselessRevisions=7835802 nbAssignments=9892 nbFailedAssignments=48 nbBacktracks=4747 nbVisitedNodes=9650
155.36 nbRestartNogoods=28 mapSize=551 nbInferences=427 nbTooLargeKeys=0
155.36 => wckTime=151.487 cpuTime=150.66 mem=73M672
197.74
197.74 search
197.74 run=13 nbConstraintChecks=1076477 nbValidityChecks=1046254 nbPropagations=1520385 nbRevisions=10438258
197.74 nbUselessRevisions=9095936 nbAssignments=12798 nbFailedAssignments=61 nbBacktracks=6957 nbVisitedNodes=12931
197.74 nbRestartNogoods=30 mapSize=922 nbInferences=775 nbTooLargeKeys=0
197.74 => wckTime=193.874 cpuTime=192.85 mem=75M688
252.23
252.23 search
252.23 run=14 nbConstraintChecks=1260656 nbValidityChecks=1200551 nbPropagations=1748125 nbRevisions=12084395
252.23 nbUselessRevisions=10527832 nbAssignments=16730 nbFailedAssignments=77 nbBacktracks=9984 nbVisitedNodes=16960
252.23 nbRestartNogoods=34 mapSize=1242 nbInferences=1057 nbTooLargeKeys=0
252.23 => wckTime=248.356 cpuTime=247.09 mem=78M713
331.58
331.58 search
331.58 run=15 nbConstraintChecks=1465116 nbValidityChecks=1407179 nbPropagations=2005087 nbRevisions=13970278
331.58 nbUselessRevisions=12170751 nbAssignments=22410 nbFailedAssignments=97 nbBacktracks=14473 nbVisitedNodes=22856
331.58 nbRestartNogoods=38 mapSize=1795 nbInferences=1554 nbTooLargeKeys=0
331.58 => wckTime=327.709 cpuTime=326.02 mem=38M402
457.40
457.40 search
457.40 run=16 nbConstraintChecks=1927434 nbValidityChecks=1843251 nbPropagations=2330782 nbRevisions=16413309
457.40 nbUselessRevisions=14303274 nbAssignments=30734 nbFailedAssignments=153 nbBacktracks=21111 nbVisitedNodes=32579
457.40 nbRestartNogoods=41 mapSize=3191 nbInferences=2822 nbTooLargeKeys=0
457.40 => wckTime=453.527 cpuTime=451.25 mem=44M452
605.43
605.43 search
605.43 run=17 nbConstraintChecks=3687766 nbValidityChecks=2859315 nbPropagations=2930347 nbRevisions=20739842
605.43 nbUselessRevisions=18027954 nbAssignments=42012 nbFailedAssignments=836 nbBacktracks=30976 nbVisitedNodes=45563
605.43 nbRestartNogoods=44 mapSize=5057 nbInferences=3128 nbTooLargeKeys=0
605.43 => wckTime=601.564 cpuTime=598.59 mem=57M560
818.33
818.33 search
818.33 run=18 nbConstraintChecks=8427785 nbValidityChecks=6599059 nbPropagations=3983870 nbRevisions=29210511
818.33 nbUselessRevisions=25411308 nbAssignments=58745 nbFailedAssignments=2150 nbBacktracks=45755
818.33 nbVisitedNodes=65240 nbRestartNogoods=54 mapSize=8558 nbInferences=3129 nbTooLargeKeys=0
818.33 => wckTime=814.462 cpuTime=810.49 mem=79M742
1136.27
1136.27 search
1136.27 run=19 nbConstraintChecks=17967931 nbValidityChecks=12706773 nbPropagations=6271191 nbRevisions=47217203
1136.27 nbUselessRevisions=41009715 nbAssignments=83107 nbFailedAssignments=4044 nbBacktracks=67968
1136.27 nbVisitedNodes=94748 nbRestartNogoods=60 mapSize=13695 nbInferences=3194 nbTooLargeKeys=0
1136.27 => wckTime=1132.396 cpuTime=1126.89 mem=83M266
1586.90
1586.90 search
1586.90 run=20 nbConstraintChecks=28834962 nbValidityChecks=20748039 nbPropagations=9856954 nbRevisions=76102519
1586.90 nbUselessRevisions=66069503 nbAssignments=120129 nbFailedAssignments=7442 nbBacktracks=101237
1586.90 nbVisitedNodes=139866 nbRestartNogoods=69 mapSize=22035 nbInferences=3194 nbTooLargeKeys=0
1586.90 => wckTime=1583.034 cpuTime=1575.35 mem=81M628
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-210925-1168203957 -o ROOT/results/node56/solver-210925-1168203957 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210925-1168203957/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.52 1.90 1.89 4/70 14528
/proc/meminfo: memFree=1487728/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=1784 CPUtime=0
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 135 0 0 0 0 0 0 0 20 0 1 0 168793892 1826816 107 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14527/statm: 446 115 86 14 0 91 0
[startup+0.105442 s]
/proc/loadavg: 1.52 1.90 1.89 4/70 14528
/proc/meminfo: memFree=1487728/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=914988 CPUtime=0.09
/proc/14527/stat : 14527 (java) D 14518 14527 14382 0 -1 0 2989 0 1 0 7 2 0 0 17 0 8 0 168793892 936947712 2735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/14527/statm: 228747 2735 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513483 s]
/proc/loadavg: 1.52 1.90 1.89 4/70 14528
/proc/meminfo: memFree=1487728/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915328 CPUtime=0.46
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 6327 0 1 0 42 4 0 0 18 0 8 0 168793892 937295872 6066 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155081411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228832 6066 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33657 s]
/proc/loadavg: 1.52 1.90 1.89 3/88 14547
/proc/meminfo: memFree=1413216/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915624 CPUtime=1.28
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 17821 0 1 0 117 11 0 0 24 0 8 0 168793892 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073540676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228906 17559 2158 14 0 215376 0
[pid=14527/tid=14534] ppid=14518 vsize=915624 CPUtime=0.05
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 1278 0 0 0 5 0 0 0 17 0 8 0 168793896 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915624 CPUtime=0.15
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 412 0 0 0 15 0 0 0 15 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937598976 17559 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915624
[startup+2.98973 s]
/proc/loadavg: 1.52 1.90 1.89 3/88 14547
/proc/meminfo: memFree=1400672/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915624 CPUtime=2.92
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 21374 0 1 0 213 79 0 0 25 0 8 0 168793892 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3228535777 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228906 21109 2178 14 0 215376 0
[pid=14527/tid=14534] ppid=14518 vsize=915624 CPUtime=0.21
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 4740 0 0 0 19 2 0 0 16 0 8 0 168793896 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915624 CPUtime=0.2
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 439 0 0 0 19 1 0 0 15 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915624 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937598976 21109 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915624
[startup+6.29105 s]
/proc/loadavg: 1.64 1.91 1.90 3/88 14547
/proc/meminfo: memFree=1367336/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=6.2
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26361 0 1 0 535 85 0 0 25 0 8 0 168793892 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26077 2539 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 17 0 8 0 168793896 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.34
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 524 0 0 0 32 2 0 0 16 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915868
[startup+12.7787 s]
/proc/loadavg: 1.67 1.92 1.90 3/88 14547
/proc/meminfo: memFree=1356712/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=12.66
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26367 0 1 0 1181 85 0 0 25 0 8 0 168793892 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26080 2540 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 17 0 8 0 168793896 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.34
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 527 0 0 0 32 2 0 0 16 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26080 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915868
[startup+25.6329 s]
/proc/loadavg: 1.74 1.92 1.90 3/88 14547
/proc/meminfo: memFree=1343912/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=25.46
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26373 0 1 0 2461 85 0 0 25 0 8 0 168793892 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26084 2540 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 16 0 8 0 168793896 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.35
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 531 0 0 0 33 2 0 0 16 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26084 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915868
[startup+51.2664 s]
/proc/loadavg: 1.83 1.92 1.90 3/88 14547
/proc/meminfo: memFree=1324328/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=50.97
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26401 0 1 0 5011 86 0 0 25 0 8 0 168793892 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074176483 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26105 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 16 0 8 0 168793896 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.39
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 551 0 0 0 37 2 0 0 16 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26105 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 915868
[startup+102.528 s]
/proc/loadavg: 1.92 1.93 1.91 3/88 14547
/proc/meminfo: memFree=1294632/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=101.99
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26409 0 1 0 10113 86 0 0 25 0 8 0 168793892 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074280417 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 26110 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 9191 0 0 0 36 4 0 0 16 0 8 0 168793896 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.4
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 557 0 0 0 38 2 0 0 16 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 915868
[startup+162.537 s]
/proc/loadavg: 2.05 1.96 1.91 3/88 14547
/proc/meminfo: memFree=1293032/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=161.71
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 26409 0 1 0 16085 86 0 0 25 0 8 0 168793892 937848832 26110 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.03
Current children cumulated vsize (KiB) 915868
[startup+1482.75 s]
/proc/loadavg: 2.03 2.01 1.95 3/88 14549
/proc/meminfo: memFree=1257832/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1475.76
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 33547 0 1 0 147485 91 0 0 25 0 8 0 168793892 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074258887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 33244 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.53
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 16321 0 0 0 46 7 0 0 16 0 8 0 168793896 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 33244 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.76
Current children cumulated vsize (KiB) 915868
[startup+1542.75 s]
/proc/loadavg: 2.01 2.01 1.95 3/88 14549
/proc/meminfo: memFree=1247016/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1535.49
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 153457 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.49
Current children cumulated vsize (KiB) 915868
[startup+1602.76 s]
/proc/loadavg: 2.05 2.02 1.95 3/88 14549
/proc/meminfo: memFree=1246952/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1595.21
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 159429 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074191076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.21
Current children cumulated vsize (KiB) 915868
[startup+1662.77 s]
/proc/loadavg: 2.02 2.01 1.95 3/88 14549
/proc/meminfo: memFree=1246952/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1654.93
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 165401 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074185150 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.93
Current children cumulated vsize (KiB) 915868
[startup+1722.77 s]
/proc/loadavg: 2.04 2.02 1.96 3/88 14549
/proc/meminfo: memFree=1246888/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1714.66
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 171374 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073854288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1714.66
Current children cumulated vsize (KiB) 915868
[startup+1782.78 s]
/proc/loadavg: 2.01 2.02 1.96 3/88 14549
/proc/meminfo: memFree=1246888/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1774.39
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 177347 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074185114 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1774.39
Current children cumulated vsize (KiB) 915868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.48 s]
/proc/loadavg: 2.01 2.02 1.96 3/88 14549
/proc/meminfo: memFree=1246888/2055920 swapFree=4184772/4192956
[pid=14527] ppid=14518 vsize=915868 CPUtime=1800.09
/proc/14527/stat : 14527 (java) R 14518 14527 14382 0 -1 0 36244 0 1 0 179917 92 0 0 25 0 8 0 168793892 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074275626 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/14527/statm: 228967 35940 2541 14 0 215437 0
[pid=14527/tid=14534] ppid=14518 vsize=915868 CPUtime=0.57
/proc/14527/task/14534/stat : 14534 (java) S 14518 14527 14382 0 -1 64 19017 0 0 0 49 8 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14535] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14535/stat : 14535 (java) S 14518 14527 14382 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14536] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14536/stat : 14536 (java) S 14518 14527 14382 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168793896 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14540] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14540/stat : 14540 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14541] ppid=14518 vsize=915868 CPUtime=0.41
/proc/14527/task/14541/stat : 14541 (java) S 14518 14527 14382 0 -1 64 561 0 0 0 39 2 0 0 17 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=14527/tid=14542] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14542/stat : 14542 (java) S 14518 14527 14382 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=14527/tid=14543] ppid=14518 vsize=915868 CPUtime=0
/proc/14527/task/14543/stat : 14543 (java) S 14518 14527 14382 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168793900 937848832 35940 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.53
CPU time (s): 1800.14
CPU user time (s): 1799.19
CPU system time (s): 0.948855
CPU usage (%): 99.5361
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.948855
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36261
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= 38460
involuntary context switches= 56344
runsolver used 2.25566 s user time and 5.75312 s system time
The end
Begin job on node56 on Sun Jan 7 21:05:57 UTC 2007
IDJOB= 210925
IDBENCH= 4656
FILE ID= node56/210925-1168203957
PBS_JOBID= 3480766
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/dlx1c-ucl.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210925-1168203957/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-210925-1168203957 -o ROOT/results/node56/solver-210925-1168203957 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210925-1168203957/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2223c05bcff693a714e1d3bc9eac2823
RANDOM SEED= 749847231
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.232
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.232
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: 1488536 kB
Buffers: 46908 kB
Cached: 436236 kB
SwapCached: 2104 kB
Active: 133032 kB
Inactive: 364208 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1488536 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 7456 kB
Writeback: 0 kB
Mapped: 20944 kB
Slab: 55744 kB
Committed_AS: 3267168 kB
PageTables: 1692 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= 66550 MiB
End job on node56 on Sun Jan 7 21:36:06 UTC 2007