0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/210991-1168204213/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.64 nbVariables=6832 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.64 => wckTime=0.318 cpuTime=0.22 mem=17M615
0.64
0.64 predicates being loaded...
0.65
0.65 constraints being loaded...
3.29 nbConstraints=18885 nbMergedConstraints=591 nbSingletonDomainVariables=1 nbConvertedConstraints=12525
3.29 nbConvertConstraintsChecks=22570 nbExtensionStructures=3 nbSharedExtensionStructures=12522
3.29 nbConflictsStructures=33 nbSharedConflictsStructures=18852 nbSharedBinaryRepresentations=7
3.29 nbEvaluationManagers=30 nbSharedEvaluationManagers=6330 maxDegree=144 maxArity=11
3.29 => wckTime=2.971 cpuTime=2.51 mem=52M823
3.46
3.46 solver IterativeSystematicSolver being built...
4.02 => wckTime=3.701 cpuTime=2.96 mem=59M123
37.92
37.92 preprocessing
37.92 nbConstraintChecks=218928 nbValidityChecks=65109 nbPropagations=37916 nbRevisions=151664
37.92 nbUselessRevisions=127392 nbSingletonTests=7059 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=22
37.92 detectedInconsistency=no
37.92 => wckTime=33.882 cpuTime=33.52 mem=60M127
39.28
39.28 search
39.28 run=0 nbConstraintChecks=70669 nbValidityChecks=20467 nbPropagations=50404 nbRevisions=218959
39.28 nbUselessRevisions=182131 nbAssignments=95 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=103
39.28 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
39.28 => wckTime=35.25 cpuTime=34.86 mem=61M130
40.70
40.70 search
40.70 run=1 nbConstraintChecks=156668 nbValidityChecks=45855 nbPropagations=116173 nbRevisions=519071
40.70 nbUselessRevisions=429971 nbAssignments=199 nbFailedAssignments=8 nbBacktracks=25 nbVisitedNodes=211
40.70 nbRestartNogoods=3 mapSize=9 nbInferences=0 nbTooLargeKeys=0
40.70 => wckTime=36.668 cpuTime=36.26 mem=61M130
42.20
42.20 search
42.20 run=2 nbConstraintChecks=221151 nbValidityChecks=69296 nbPropagations=192372 nbRevisions=880362
42.20 nbUselessRevisions=728491 nbAssignments=310 nbFailedAssignments=14 nbBacktracks=49 nbVisitedNodes=334
42.20 nbRestartNogoods=6 mapSize=18 nbInferences=0 nbTooLargeKeys=0
42.20 => wckTime=38.168 cpuTime=37.75 mem=61M130
43.86
43.86 search
43.86 run=3 nbConstraintChecks=295251 nbValidityChecks=97614 nbPropagations=280803 nbRevisions=1314677
43.86 nbUselessRevisions=1087706 nbAssignments=432 nbFailedAssignments=22 nbBacktracks=82 nbVisitedNodes=472
43.86 nbRestartNogoods=9 mapSize=31 nbInferences=0 nbTooLargeKeys=0
43.86 => wckTime=39.829 cpuTime=39.4 mem=61M130
45.88
45.88 search
45.88 run=4 nbConstraintChecks=393982 nbValidityChecks=136677 nbPropagations=384824 nbRevisions=1844805
45.88 nbUselessRevisions=1526882 nbAssignments=582 nbFailedAssignments=37 nbBacktracks=134 nbVisitedNodes=649
45.88 nbRestartNogoods=12 mapSize=55 nbInferences=0 nbTooLargeKeys=0
45.88 => wckTime=41.851 cpuTime=41.4 mem=61M130
48.29
48.29 search
48.29 run=5 nbConstraintChecks=559018 nbValidityChecks=196844 nbPropagations=516100 nbRevisions=2537939
48.29 nbUselessRevisions=2100432 nbAssignments=804 nbFailedAssignments=63 nbBacktracks=209 nbVisitedNodes=879
48.29 nbRestartNogoods=15 mapSize=102 nbInferences=0 nbTooLargeKeys=0
48.29 => wckTime=44.263 cpuTime=43.79 mem=62M133
52.25
52.25 search
52.25 run=6 nbConstraintChecks=668589 nbValidityChecks=225756 nbPropagations=666159 nbRevisions=3329313
52.25 nbUselessRevisions=2752169 nbAssignments=1128 nbFailedAssignments=82 nbBacktracks=330 nbVisitedNodes=1232
52.25 nbRestartNogoods=19 mapSize=128 nbInferences=0 nbTooLargeKeys=0
52.25 => wckTime=48.222 cpuTime=47.71 mem=62M133
57.65
57.65 search
57.65 run=7 nbConstraintChecks=918724 nbValidityChecks=288540 nbPropagations=861827 nbRevisions=4340215
57.65 nbUselessRevisions=3577011 nbAssignments=1919 nbFailedAssignments=92 nbBacktracks=519 nbVisitedNodes=1630
57.65 nbRestartNogoods=26 mapSize=144 nbInferences=0 nbTooLargeKeys=0
57.65 => wckTime=53.626 cpuTime=53.05 mem=63M137
62.86
62.86 search
62.86 run=8 nbConstraintChecks=1024901 nbValidityChecks=318335 nbPropagations=1077077 nbRevisions=5449813
62.86 nbUselessRevisions=4480093 nbAssignments=2377 nbFailedAssignments=104 nbBacktracks=779 nbVisitedNodes=2060
62.86 nbRestartNogoods=30 mapSize=176 nbInferences=0 nbTooLargeKeys=0
62.86 => wckTime=58.835 cpuTime=58.2 mem=64M140
68.22
68.22 search
68.22 run=9 nbConstraintChecks=1250603 nbValidityChecks=391081 nbPropagations=1332057 nbRevisions=6783808
68.22 nbUselessRevisions=5564171 nbAssignments=2831 nbFailedAssignments=145 nbBacktracks=1183 nbVisitedNodes=2614
68.22 nbRestartNogoods=31 mapSize=275 nbInferences=0 nbTooLargeKeys=0
68.22 => wckTime=64.191 cpuTime=63.51 mem=65M143
79.85
79.85 search
79.85 run=10 nbConstraintChecks=1465805 nbValidityChecks=474753 nbPropagations=1623135 nbRevisions=8344901
79.85 nbUselessRevisions=6835918 nbAssignments=3702 nbFailedAssignments=225 nbBacktracks=1761 nbVisitedNodes=3632
79.85 nbRestartNogoods=32 mapSize=419 nbInferences=0 nbTooLargeKeys=0
79.85 => wckTime=75.821 cpuTime=75.02 mem=66M147
95.50
95.50 search
95.50 run=11 nbConstraintChecks=1621958 nbValidityChecks=529934 nbPropagations=1944253 nbRevisions=10065706
95.50 nbUselessRevisions=8236582 nbAssignments=5011 nbFailedAssignments=254 nbBacktracks=2630 nbVisitedNodes=4809
95.50 nbRestartNogoods=35 mapSize=484 nbInferences=0 nbTooLargeKeys=0
95.50 => wckTime=91.469 cpuTime=90.53 mem=68M154
117.09
117.09 search
117.09 run=12 nbConstraintChecks=1846934 nbValidityChecks=617428 nbPropagations=2310266 nbRevisions=12034162
117.09 nbUselessRevisions=9836978 nbAssignments=6555 nbFailedAssignments=319 nbBacktracks=3973 nbVisitedNodes=6520
117.09 nbRestartNogoods=37 mapSize=649 nbInferences=0 nbTooLargeKeys=0
117.09 => wckTime=113.064 cpuTime=111.92 mem=70M160
148.99
148.99 search
148.99 run=13 nbConstraintChecks=2251753 nbValidityChecks=773865 nbPropagations=2757314 nbRevisions=14452380
148.99 nbUselessRevisions=11803649 nbAssignments=8794 nbFailedAssignments=437 nbBacktracks=5938 nbVisitedNodes=8985
148.99 nbRestartNogoods=39 mapSize=869 nbInferences=0 nbTooLargeKeys=0
148.99 => wckTime=144.967 cpuTime=143.53 mem=72M167
157.70
157.70 INFO : Stopping hyperNogood (mapSize=1021, nbTooLargekeys=0, mem=73M170)
165.29
165.29 search
165.29 run=14 nbConstraintChecks=3898254 nbValidityChecks=1551683 nbPropagations=3463519 nbRevisions=18574032
165.29 nbUselessRevisions=15198218 nbAssignments=12253 nbFailedAssignments=857 nbBacktracks=8906 nbVisitedNodes=13320
165.29 nbRestartNogoods=45
165.29 => wckTime=161.261 cpuTime=159.67 mem=73M170
175.81
175.81 search
175.81 run=15 nbConstraintChecks=5222535 nbValidityChecks=2006781 nbPropagations=4408133 nbRevisions=24080074
175.81 nbUselessRevisions=19728264 nbAssignments=17300 nbFailedAssignments=1309 nbBacktracks=13308
175.81 nbVisitedNodes=19176 nbRestartNogoods=50
175.81 => wckTime=171.786 cpuTime=170.1 mem=73M170
189.52
189.52 search
189.52 run=16 nbConstraintChecks=6295242 nbValidityChecks=2451302 nbPropagations=5549081 nbRevisions=30768137
189.52 nbUselessRevisions=25233109 nbAssignments=24475 nbFailedAssignments=1664 nbBacktracks=19923
189.52 nbVisitedNodes=26975 nbRestartNogoods=55
189.52 => wckTime=185.488 cpuTime=183.67 mem=73M170
212.50
212.51 search
212.51 run=17 nbConstraintChecks=9618066 nbValidityChecks=3605872 nbPropagations=7273421 nbRevisions=40837581
212.51 nbUselessRevisions=33495864 nbAssignments=35042 nbFailedAssignments=2207 nbBacktracks=29797
212.51 nbVisitedNodes=38655 nbRestartNogoods=59
212.51 => wckTime=208.478 cpuTime=206.45 mem=73M170
256.82
256.82 search
256.82 run=18 nbConstraintChecks=20543983 nbValidityChecks=7283246 nbPropagations=10858752 nbRevisions=61597718
256.82 nbUselessRevisions=50439229 nbAssignments=51392 nbFailedAssignments=3343 nbBacktracks=44618
256.82 nbVisitedNodes=56966 nbRestartNogoods=71
256.82 => wckTime=252.795 cpuTime=250.35 mem=73M170
311.32
311.32 search
311.32 run=19 nbConstraintChecks=30422162 nbValidityChecks=10480421 nbPropagations=16192343 nbRevisions=91996647
311.32 nbUselessRevisions=75161565 nbAssignments=74988 nbFailedAssignments=4536 nbBacktracks=66804
311.32 nbVisitedNodes=82895 nbRestartNogoods=76
311.32 => wckTime=307.289 cpuTime=304.35 mem=73M170
384.74
384.74 search
384.74 run=20 nbConstraintChecks=40944019 nbValidityChecks=13705714 nbPropagations=23436050 nbRevisions=132789445
384.74 nbUselessRevisions=108273847 nbAssignments=109787 nbFailedAssignments=5740 nbBacktracks=100068
384.74 nbVisitedNodes=119963 nbRestartNogoods=86
384.74 => wckTime=380.709 cpuTime=377.1 mem=73M170
495.19
495.19 search
495.19 run=21 nbConstraintChecks=53715128 nbValidityChecks=19374775 nbPropagations=33046841 nbRevisions=187438888
495.19 nbUselessRevisions=152756049 nbAssignments=162993 nbFailedAssignments=8957 nbBacktracks=149958
495.19 nbVisitedNodes=180050 nbRestartNogoods=89
495.19 => wckTime=491.159 cpuTime=486.53 mem=73M170
657.82
657.82 search
657.82 run=22 nbConstraintChecks=73878313 nbValidityChecks=26342812 nbPropagations=46348625 nbRevisions=262953366
657.82 nbUselessRevisions=214145239 nbAssignments=242167 nbFailedAssignments=13123 nbBacktracks=224849
657.82 nbVisitedNodes=267535 nbRestartNogoods=99
657.82 => wckTime=653.788 cpuTime=647.67 mem=73M170
927.81
927.81 search
927.81 run=23 nbConstraintChecks=119573531 nbValidityChecks=41639408 nbPropagations=67687198 nbRevisions=383628116
927.81 nbUselessRevisions=312029839 nbAssignments=361727 nbFailedAssignments=20300 nbBacktracks=337089
927.81 nbVisitedNodes=400934 nbRestartNogoods=110
927.82 => wckTime=923.787 cpuTime=915.19 mem=73M170
1277.34
1277.34 search
1277.34 run=24 nbConstraintChecks=152600676 nbValidityChecks=54035626 nbPropagations=94966189 nbRevisions=538101817
1277.34 nbUselessRevisions=437402449 nbAssignments=539693 nbFailedAssignments=29619 nbBacktracks=505439
1277.34 nbVisitedNodes=597672 nbRestartNogoods=122
1277.34 => wckTime=1273.316 cpuTime=1262.14 mem=73M170
1790.82
1790.82 search
1790.82 run=25 nbConstraintChecks=213345547 nbValidityChecks=75489345 nbPropagations=133047011 nbRevisions=753080858
1790.82 nbUselessRevisions=611639440 nbAssignments=804907 nbFailedAssignments=41497 nbBacktracks=757978
1790.82 nbVisitedNodes=886090 nbRestartNogoods=139
1790.82 => wckTime=1786.788 cpuTime=1775.05 mem=73M170
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-210991-1168204213 -o ROOT/results/node43/solver-210991-1168204213 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210991-1168204213/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: 2.21 2.08 1.90 5/80 17813
/proc/meminfo: memFree=937040/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=11820 CPUtime=0
/proc/17812/stat : 17812 (java) D 17810 17812 16944 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 168820425 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4731684 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/17812/statm: 2955 510 421 14 0 1602 0
[startup+0.103446 s]
/proc/loadavg: 2.21 2.08 1.90 5/80 17813
/proc/meminfo: memFree=937040/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=914988 CPUtime=0.08
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 2979 0 1 0 7 1 0 0 17 0 8 0 168820425 936947712 2725 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925089 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516517 s]
/proc/loadavg: 2.21 2.08 1.90 5/80 17813
/proc/meminfo: memFree=937040/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915328 CPUtime=0.49
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 6501 0 1 0 45 4 0 0 18 0 8 0 168820425 937295872 6240 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228832 6240 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34066 s]
/proc/loadavg: 2.21 2.08 1.90 3/87 17820
/proc/meminfo: memFree=874968/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915620 CPUtime=1.31
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 17850 0 1 0 120 11 0 0 25 0 8 0 168820425 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073576307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228905 17588 2158 14 0 215375 0
[pid=17812/tid=17814] ppid=17810 vsize=915620 CPUtime=0.05
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 1309 0 0 0 5 0 0 0 17 0 8 0 168820429 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915620 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915620 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915620 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915620 CPUtime=0.16
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 411 0 0 0 16 0 0 0 16 0 8 0 168820433 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915620 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915620 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937594880 17588 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915620
[startup+2.97793 s]
/proc/loadavg: 2.21 2.08 1.90 3/87 17820
/proc/meminfo: memFree=866264/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915624 CPUtime=2.93
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 21518 0 1 0 210 83 0 0 25 0 8 0 168820425 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228906 21253 2179 14 0 215376 0
[pid=17812/tid=17814] ppid=17810 vsize=915624 CPUtime=0.22
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 4892 0 0 0 21 1 0 0 16 0 8 0 168820429 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915624 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915624 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915624 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915624 CPUtime=0.2
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 432 0 0 0 20 0 0 0 16 0 8 0 168820433 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915624 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915624 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937598976 21253 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915624
[startup+6.18046 s]
/proc/loadavg: 2.27 2.09 1.91 3/87 17820
/proc/meminfo: memFree=844248/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=6.11
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25889 0 1 0 516 95 0 0 25 0 8 0 168820425 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228970 25604 2539 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.35
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 524 0 0 0 34 1 0 0 15 0 8 0 168820433 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915880
[startup+12.6595 s]
/proc/loadavg: 2.25 2.09 1.91 3/87 17820
/proc/meminfo: memFree=844312/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=12.53
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25890 0 1 0 1158 95 0 0 25 0 8 0 168820425 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228970 25605 2539 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.35
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 525 0 0 0 34 1 0 0 17 0 8 0 168820433 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25605 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915880
[startup+25.5267 s]
/proc/loadavg: 2.19 2.08 1.91 3/87 17820
/proc/meminfo: memFree=844440/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=25.28
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25895 0 1 0 2433 95 0 0 25 0 8 0 168820425 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074225968 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228970 25608 2539 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.36
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 529 0 0 0 35 1 0 0 15 0 8 0 168820433 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25608 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915880
[startup+51.1609 s]
/proc/loadavg: 2.13 2.08 1.91 3/87 17820
/proc/meminfo: memFree=844376/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=50.67
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25917 0 1 0 4972 95 0 0 25 0 8 0 168820425 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074281315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228970 25624 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.39
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 543 0 0 0 38 1 0 0 16 0 8 0 168820433 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915880
[startup+102.427 s]
/proc/loadavg: 2.05 2.06 1.91 3/87 17820
/proc/meminfo: memFree=844376/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=101.46
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25940 0 1 0 10051 95 0 0 25 0 8 0 168820425 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074185370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17812/statm: 228970 25637 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.42
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 559 0 0 0 41 1 0 0 16 0 8 0 168820433 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25637 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915880
[startup+162.428 s]
/proc/loadavg: 2.02 2.05 1.91 3/87 17820
/proc/meminfo: memFree=844376/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=160.92
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25942 0 1 0 15996 96 0 0 25 0 8 0 168820425 937861120 25638 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.57
Current children cumulated vsize (KiB) 915880
[startup+1482.88 s]
/proc/loadavg: 2.00 2.00 1.92 4/89 17896
/proc/meminfo: memFree=1010440/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1471.54
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 147054 100 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.54
Current children cumulated vsize (KiB) 915880
[startup+1542.92 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 17896
/proc/meminfo: memFree=1010504/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1531.52
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 153051 101 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074169627 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.52
Current children cumulated vsize (KiB) 915880
[startup+1602.98 s]
/proc/loadavg: 2.00 2.00 1.92 5/89 17896
/proc/meminfo: memFree=1010504/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1591.52
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 159051 101 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074183023 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.52
Current children cumulated vsize (KiB) 915880
[startup+1663.02 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 17896
/proc/meminfo: memFree=1010440/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1651.49
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 165048 101 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074074726 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.49
Current children cumulated vsize (KiB) 915880
[startup+1723.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 17896
/proc/meminfo: memFree=1010440/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1711.5
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 171049 101 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074192880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.5
Current children cumulated vsize (KiB) 915880
[startup+1783.15 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 17896
/proc/meminfo: memFree=1010440/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1771.5
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 177049 101 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074274898 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.5
Current children cumulated vsize (KiB) 915880
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.76 s]
/proc/loadavg: 2.00 2.00 1.92 3/89 17896
/proc/meminfo: memFree=1010440/2055920 swapFree=4192812/4192956
[pid=17812] ppid=17810 vsize=915880 CPUtime=1800.08
/proc/17812/stat : 17812 (java) R 17810 17812 16944 0 -1 0 25946 0 1 0 179907 101 0 0 25 0 8 0 168820425 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074276475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/17812/statm: 228970 25641 2540 14 0 215440 0
[pid=17812/tid=17814] ppid=17810 vsize=915880 CPUtime=0.4
/proc/17812/task/17814/stat : 17814 (java) S 17810 17812 16944 0 -1 64 8721 0 0 0 37 3 0 0 16 0 8 0 168820429 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17815] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17815/stat : 17815 (java) S 17810 17812 16944 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17816] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17816/stat : 17816 (java) S 17810 17812 16944 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168820430 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17817] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17817/stat : 17817 (java) S 17810 17812 16944 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17818] ppid=17810 vsize=915880 CPUtime=0.43
/proc/17812/task/17818/stat : 17818 (java) S 17810 17812 16944 0 -1 64 564 0 0 0 42 1 0 0 16 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17819] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17819/stat : 17819 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17812/tid=17820] ppid=17810 vsize=915880 CPUtime=0
/proc/17812/task/17820/stat : 17820 (java) S 17810 17812 16944 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 168820433 937861120 25641 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.84
CPU time (s): 1800.16
CPU user time (s): 1799.13
CPU system time (s): 1.02984
CPU usage (%): 99.355
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.13
system time used= 1.02984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25963
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= 38452
involuntary context switches= 62619
runsolver used 2.20267 s user time and 6.13807 s system time
The end
Begin job on node43 on Sun Jan 7 21:10:13 UTC 2007
IDJOB= 210991
IDBENCH= 4660
FILE ID= node43/210991-1168204213
PBS_JOBID= 3480748
Free space on /tmp= 66479 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf8.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210991-1168204213/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-210991-1168204213 -o ROOT/results/node43/solver-210991-1168204213 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/210991-1168204213/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f4056108bd4332be422359611791b5ec
RANDOM SEED= 661020946
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.278
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.278
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: 937456 kB
Buffers: 50004 kB
Cached: 564240 kB
SwapCached: 0 kB
Active: 547004 kB
Inactive: 509008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 937456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4484 kB
Writeback: 0 kB
Mapped: 461948 kB
Slab: 46992 kB
Committed_AS: 4277104 kB
PageTables: 2612 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= 66485 MiB
End job on node43 on Sun Jan 7 21:40:25 UTC 2007