0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/199920-1168138318/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
1.04
1.04 constraints being loaded...
1.31 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.31 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.31 => wckTime=0.991 cpuTime=0.86 mem=47M660
1.42
1.42 solver IterativeSystematicSolver being built...
1.59 => wckTime=1.276 cpuTime=1.0 mem=34M356
1.71
1.71 preprocessing
1.71 nbConstraintChecks=38339 nbValidityChecks=59162 nbPropagations=213 nbRevisions=2181 nbUselessRevisions=1912
1.71 nbSingletonTests=35 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.71 => wckTime=0.111 cpuTime=0.08 mem=34M356
1.78
1.78 search
1.78 run=0 nbConstraintChecks=36072 nbValidityChecks=70359 nbPropagations=665 nbRevisions=7376
1.78 nbUselessRevisions=5957 nbAssignments=37 nbFailedAssignments=20 nbBacktracks=10 nbVisitedNodes=67
1.78 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.186 cpuTime=0.15 mem=35M343
1.88
1.88 search
1.88 run=1 nbConstraintChecks=94198 nbValidityChecks=182103 nbPropagations=1903 nbRevisions=21461
1.88 nbUselessRevisions=17138 nbAssignments=82 nbFailedAssignments=44 nbBacktracks=26 nbVisitedNodes=151
1.88 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.88 => wckTime=0.281 cpuTime=0.24 mem=35M343
1.98
1.98 search
1.98 run=2 nbConstraintChecks=153188 nbValidityChecks=297987 nbPropagations=3855 nbRevisions=43328
1.98 nbUselessRevisions=34357 nbAssignments=144 nbFailedAssignments=79 nbBacktracks=48 nbVisitedNodes=263
1.98 nbRestartNogoods=8 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.388 cpuTime=0.33 mem=35M343
2.11
2.11 search
2.11 run=3 nbConstraintChecks=240357 nbValidityChecks=473828 nbPropagations=6930 nbRevisions=78331
2.11 nbUselessRevisions=61953 nbAssignments=246 nbFailedAssignments=141 nbBacktracks=83 nbVisitedNodes=452
2.11 nbRestartNogoods=10 mapSize=75 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.516 cpuTime=0.46 mem=35M343
2.29
2.29 search
2.29 run=4 nbConstraintChecks=356806 nbValidityChecks=683217 nbPropagations=11136 nbRevisions=125928
2.29 nbUselessRevisions=99696 nbAssignments=352 nbFailedAssignments=191 nbBacktracks=133 nbVisitedNodes=633
2.29 nbRestartNogoods=12 mapSize=115 nbInferences=0 nbTooLargeKeys=0
2.29 => wckTime=0.688 cpuTime=0.63 mem=35M343
2.62
2.62 search
2.62 run=5 nbConstraintChecks=589294 nbValidityChecks=1136279 nbPropagations=17745 nbRevisions=203567
2.62 nbUselessRevisions=161163 nbAssignments=556 nbFailedAssignments=313 nbBacktracks=209 nbVisitedNodes=1011
2.62 nbRestartNogoods=20 mapSize=184 nbInferences=0 nbTooLargeKeys=0
2.62 => wckTime=1.024 cpuTime=0.96 mem=35M343
3.06
3.06 search
3.06 run=6 nbConstraintChecks=900372 nbValidityChecks=1728749 nbPropagations=27747 nbRevisions=319757
3.06 nbUselessRevisions=252906 nbAssignments=854 nbFailedAssignments=493 nbBacktracks=322 nbVisitedNodes=1561
3.06 nbRestartNogoods=29 mapSize=280 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=1.462 cpuTime=1.4 mem=35M343
3.63
3.63 search
3.63 run=7 nbConstraintChecks=1291440 nbValidityChecks=2528391 nbPropagations=43053 nbRevisions=493844
3.63 nbUselessRevisions=389944 nbAssignments=1306 nbFailedAssignments=769 nbBacktracks=493 nbVisitedNodes=2406
3.63 nbRestartNogoods=36 mapSize=438 nbInferences=0 nbTooLargeKeys=0
3.63 => wckTime=2.039 cpuTime=1.96 mem=35M343
4.66
4.66 search
4.66 run=8 nbConstraintChecks=2017853 nbValidityChecks=3927757 nbPropagations=65469 nbRevisions=755165
4.66 nbUselessRevisions=596261 nbAssignments=1972 nbFailedAssignments=1172 nbBacktracks=751 nbVisitedNodes=3632
4.66 nbRestartNogoods=44 mapSize=662 nbInferences=0 nbTooLargeKeys=0
4.66 => wckTime=3.069 cpuTime=2.96 mem=35M343
5.92
5.92 search
5.92 run=9 nbConstraintChecks=2931426 nbValidityChecks=5676303 nbPropagations=97364 nbRevisions=1125410
5.92 nbUselessRevisions=888241 nbAssignments=2815 nbFailedAssignments=1603 nbBacktracks=1135 nbVisitedNodes=5110
5.92 nbRestartNogoods=53 mapSize=977 nbInferences=0 nbTooLargeKeys=0
5.92 => wckTime=4.322 cpuTime=4.2 mem=35M343
6.14
6.14 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=35M343)
7.93
7.93 search
7.93 run=10 nbConstraintChecks=4374822 nbValidityChecks=8507778 nbPropagations=145744 nbRevisions=1672768
7.93 nbUselessRevisions=1319135 nbAssignments=4260 nbFailedAssignments=2467 nbBacktracks=1712 nbVisitedNodes=7769
7.93 nbRestartNogoods=68
7.93 => wckTime=6.339 cpuTime=6.2 mem=35M343
11.71
11.71 search
11.71 run=11 nbConstraintChecks=7193343 nbValidityChecks=13829469 nbPropagations=220834 nbRevisions=2542475
11.71 nbUselessRevisions=2004974 nbAssignments=6607 nbFailedAssignments=3941 nbBacktracks=2581 nbVisitedNodes=12166
11.71 nbRestartNogoods=77
11.71 => wckTime=10.111 cpuTime=9.96 mem=35M343
17.22
17.22 search
17.22 run=12 nbConstraintChecks=11293428 nbValidityChecks=21668199 nbPropagations=333582 nbRevisions=3891219
17.22 nbUselessRevisions=3067073 nbAssignments=10090 nbFailedAssignments=6121 nbBacktracks=3878 nbVisitedNodes=18695
17.22 nbRestartNogoods=86
17.22 => wckTime=15.627 cpuTime=15.45 mem=35M343
23.91
23.91 search
23.91 run=13 nbConstraintChecks=16158472 nbValidityChecks=30848242 nbPropagations=499307 nbRevisions=5811959
23.91 nbUselessRevisions=4574198 nbAssignments=14844 nbFailedAssignments=8913 nbBacktracks=5825 nbVisitedNodes=27350
23.91 nbRestartNogoods=99
23.91 => wckTime=22.312 cpuTime=22.1 mem=35M343
34.16
34.16 search
34.16 run=14 nbConstraintChecks=23770886 nbValidityChecks=45110789 nbPropagations=740104 nbRevisions=8625598
34.16 nbUselessRevisions=6788388 nbAssignments=21540 nbFailedAssignments=12683 nbBacktracks=8744 nbVisitedNodes=39597
34.16 nbRestartNogoods=109
34.16 => wckTime=32.569 cpuTime=32.32 mem=35M343
52.46
52.47 search
52.47 run=15 nbConstraintChecks=37395133 nbValidityChecks=71177627 nbPropagations=1110140 nbRevisions=13034031
52.47 nbUselessRevisions=10255152 nbAssignments=33433 nbFailedAssignments=20188 nbBacktracks=13122
52.47 nbVisitedNodes=61892 nbRestartNogoods=122
52.47 => wckTime=50.869 cpuTime=50.53 mem=35M343
74.71
74.71 search
74.71 run=16 nbConstraintChecks=54400619 nbValidityChecks=102998943 nbPropagations=1655113 nbRevisions=19446618
74.71 nbUselessRevisions=15291988 nbAssignments=50006 nbFailedAssignments=30189 nbBacktracks=19690
74.71 nbVisitedNodes=92479 nbRestartNogoods=139
74.71 => wckTime=73.116 cpuTime=72.67 mem=35M343
110.71
110.71 search
110.71 run=17 nbConstraintChecks=81415498 nbValidityChecks=153845369 nbPropagations=2463894 nbRevisions=29021748
110.71 nbUselessRevisions=22818285 nbAssignments=73308 nbFailedAssignments=43632 nbBacktracks=29542
110.71 nbVisitedNodes=135237 nbRestartNogoods=142
110.71 => wckTime=109.119 cpuTime=108.5 mem=35M343
161.41
161.41 search
161.41 run=18 nbConstraintChecks=119667238 nbValidityChecks=226928979 nbPropagations=3674177 nbRevisions=43306005
161.41 nbUselessRevisions=34060993 nbAssignments=110481 nbFailedAssignments=66004 nbBacktracks=44320
161.41 nbVisitedNodes=204034 nbRestartNogoods=153
161.41 => wckTime=159.815 cpuTime=158.96 mem=35M343
241.18
241.18 search
241.18 run=19 nbConstraintChecks=177912419 nbValidityChecks=339563956 nbPropagations=5503497 nbRevisions=64861651
241.18 nbUselessRevisions=51028296 nbAssignments=164771 nbFailedAssignments=98119 nbBacktracks=66488
241.18 nbVisitedNodes=304314 nbRestartNogoods=167
241.18 => wckTime=239.586 cpuTime=238.35 mem=35M343
357.66
357.66 search
357.66 run=20 nbConstraintChecks=265125092 nbValidityChecks=501240678 nbPropagations=8182454 nbRevisions=96407082
357.66 nbUselessRevisions=75885220 nbAssignments=238819 nbFailedAssignments=138910 nbBacktracks=99740
357.66 nbVisitedNodes=439114 nbRestartNogoods=182
357.66 => wckTime=356.066 cpuTime=354.3 mem=35M343
534.95
534.95 search
534.95 run=21 nbConstraintChecks=394645851 nbValidityChecks=750696527 nbPropagations=12232845 nbRevisions=143797489
534.95 nbUselessRevisions=113218538 nbAssignments=361067 nbFailedAssignments=211274 nbBacktracks=149619
534.95 nbVisitedNodes=664224 nbRestartNogoods=215
534.95 => wckTime=533.353 cpuTime=530.76 mem=35M343
808.70
808.70 search
808.70 run=22 nbConstraintChecks=596384648 nbValidityChecks=1132959358 nbPropagations=18328678 nbRevisions=214993288
808.70 nbUselessRevisions=169294510 nbAssignments=541233 nbFailedAssignments=316607 nbBacktracks=224437
808.70 nbVisitedNodes=995237 nbRestartNogoods=241
808.70 => wckTime=807.103 cpuTime=800.41 mem=35M343
1269.22
1269.22 search
1269.22 run=23 nbConstraintChecks=939300435 nbValidityChecks=1796250649 nbPropagations=27772095 nbRevisions=327623015
1269.22 nbUselessRevisions=257990677 nbAssignments=849277 nbFailedAssignments=512406 nbBacktracks=336666
1269.22 nbVisitedNodes=1572664 nbRestartNogoods=254
1269.22 => wckTime=1267.629 cpuTime=1258.79 mem=35M343
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node72/watcher-199920-1168138318 -o ROOT/results/node72/solver-199920-1168138318 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199920-1168138318/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.00 2.00 1.93 2/86 17968
/proc/meminfo: memFree=1415176/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=18540 CPUtime=0
/proc/17967/stat : 17967 (runsolver) R 17965 17967 16648 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 162240678 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 234517753127 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/17967/statm: 4635 279 244 17 0 2626 0
[startup+0.102296 s]
/proc/loadavg: 2.00 2.00 1.93 2/86 17968
/proc/meminfo: memFree=1415176/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=914852 CPUtime=0.08
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 2937 0 1 0 7 1 0 0 19 0 8 0 162240678 936808448 2683 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228713 2683 1408 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914852
[startup+0.510338 s]
/proc/loadavg: 2.00 2.00 1.93 2/86 17968
/proc/meminfo: memFree=1415176/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915328 CPUtime=0.49
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 7458 0 1 0 44 5 0 0 18 0 8 0 162240678 937295872 7197 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228832 7197 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33542 s]
/proc/loadavg: 2.08 2.02 1.93 3/93 17975
/proc/meminfo: memFree=1347984/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1.31
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 19145 0 1 0 120 11 0 0 25 0 8 0 162240678 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 18882 2168 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.07
/proc/17967/task/17969/stat : 17969 (java) R 17965 17967 16648 0 -1 64 2659 0 0 0 6 1 0 0 16 0 8 0 162240682 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134188 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.09
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 162240686 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 18882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 18882 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) 915416
[startup+2.98956 s]
/proc/loadavg: 2.08 2.02 1.93 3/93 17975
/proc/meminfo: memFree=1332304/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=2.95
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23408 0 1 0 281 14 0 0 25 0 8 0 162240678 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23144 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 17 0 8 0 162240682 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.19
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 372 0 0 0 18 1 0 0 15 0 8 0 162240686 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915416
[startup+6.26886 s]
/proc/loadavg: 2.07 2.02 1.93 3/93 17975
/proc/meminfo: memFree=1332048/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=6.22
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23424 0 1 0 607 15 0 0 25 0 8 0 162240678 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23157 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 17 0 8 0 162240682 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.22
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 385 0 0 0 21 1 0 0 15 0 8 0 162240686 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915416
[startup+12.7655 s]
/proc/loadavg: 2.07 2.02 1.93 3/93 17975
/proc/meminfo: memFree=1332184/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=12.68
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23428 0 1 0 1253 15 0 0 25 0 8 0 162240678 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23160 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915416
[startup+25.6226 s]
/proc/loadavg: 2.06 2.02 1.93 4/93 17975
/proc/meminfo: memFree=1332312/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=25.48
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23428 0 1 0 2533 15 0 0 25 0 8 0 162240678 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625376 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23160 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915416
[startup+51.256 s]
/proc/loadavg: 2.03 2.02 1.93 3/93 17975
/proc/meminfo: memFree=1332376/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=50.99
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 5084 15 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915416
[startup+102.511 s]
/proc/loadavg: 2.01 2.01 1.93 3/93 17975
/proc/meminfo: memFree=1332440/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=102.01
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 10185 16 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915416
[startup+162.518 s]
/proc/loadavg: 2.00 2.00 1.93 3/93 17975
/proc/meminfo: memFree=1332440/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=161.73
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 16157 16 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.25
Current children cumulated vsize (KiB) 915416
[startup+1482.74 s]
/proc/loadavg: 2.05 2.01 1.97 3/93 18886
/proc/meminfo: memFree=1327368/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1472.97
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 147265 32 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073755010 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.97
Current children cumulated vsize (KiB) 915416
[startup+1542.74 s]
/proc/loadavg: 2.10 2.02 1.97 3/93 18886
/proc/meminfo: memFree=1327368/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1532.71
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 153238 33 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763186 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1532.71
Current children cumulated vsize (KiB) 915416
[startup+1602.75 s]
/proc/loadavg: 2.03 2.02 1.97 3/93 18886
/proc/meminfo: memFree=1327368/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1592.43
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 159210 33 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073759110 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.43
Current children cumulated vsize (KiB) 915416
[startup+1662.76 s]
/proc/loadavg: 2.01 2.01 1.97 3/93 18886
/proc/meminfo: memFree=1327368/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1652.16
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 165182 34 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753558 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.16
Current children cumulated vsize (KiB) 915416
[startup+1722.77 s]
/proc/loadavg: 2.00 2.01 1.97 3/93 18886
/proc/meminfo: memFree=1327368/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1711.88
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 171154 34 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073625379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.88
Current children cumulated vsize (KiB) 915416
[startup+1782.77 s]
/proc/loadavg: 2.06 2.02 1.98 3/93 18886
/proc/meminfo: memFree=1327368/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1771.61
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 177126 35 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754704 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.61
Current children cumulated vsize (KiB) 915416
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.61 s]
/proc/loadavg: 2.19 2.05 1.99 5/99 19455
/proc/meminfo: memFree=1325352/2055920 swapFree=4191880/4192956
[pid=17967] ppid=17965 vsize=915416 CPUtime=1800.09
/proc/17967/stat : 17967 (java) R 17965 17967 16648 0 -1 0 23430 0 1 0 179973 36 0 0 25 0 8 0 162240678 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17967/statm: 228854 23161 2531 14 0 215324 0
[pid=17967/tid=17969] ppid=17965 vsize=915416 CPUtime=0.15
/proc/17967/task/17969/stat : 17969 (java) S 17965 17967 16648 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162240682 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17970] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17970/stat : 17970 (java) S 17965 17967 16648 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17971] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17971/stat : 17971 (java) S 17965 17967 16648 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162240683 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17972] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17972/stat : 17972 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17973] ppid=17965 vsize=915416 CPUtime=0.23
/proc/17967/task/17973/stat : 17973 (java) S 17965 17967 16648 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17974] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17974/stat : 17974 (java) S 17965 17967 16648 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 162240686 937385984 23161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17967/tid=17975] ppid=17965 vsize=915416 CPUtime=0
/proc/17967/task/17975/stat : 17975 (java) S 17965 17967 16648 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162240686 937385984 23161 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) 915416
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.69
CPU time (s): 1800.13
CPU user time (s): 1799.75
CPU system time (s): 0.379942
CPU usage (%): 99.3072
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23447
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= 37756
involuntary context switches= 74361
runsolver used 2.38964 s user time and 5.65014 s system time
The end
Begin job on node72 on Sun Jan 7 02:51:59 UTC 2007
IDJOB= 199920
IDBENCH= 3659
FILE ID= node72/199920-1168138318
PBS_JOBID= 3478006
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199920-1168138318/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-199920-1168138318 -o ROOT/results/node72/solver-199920-1168138318 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199920-1168138318/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9218fc67fa27071b7eb56be3ad2fdb47
RANDOM SEED= 430786507
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.223
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.223
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: 1415656 kB
Buffers: 38768 kB
Cached: 472932 kB
SwapCached: 408 kB
Active: 144340 kB
Inactive: 424692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1415656 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 4564 kB
Writeback: 0 kB
Mapped: 77968 kB
Slab: 56184 kB
Committed_AS: 2891540 kB
PageTables: 2252 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= 66547 MiB
End job on node72 on Sun Jan 7 03:22:11 UTC 2007