0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/201263-1168072279/unknown.xml
0.37
0.37 domains being loaded...
0.41
0.41 variables being loaded...
0.64 nbVariables=1500 nbDomainTypes=13 minDomainSize=42 maxDomainSize=310
0.64 => wckTime=0.331 cpuTime=0.24 mem=22M513
0.64
0.64 predicates being loaded...
0.65
0.65 constraints being loaded...
4.63
4.63 INFO : Stopping converting binary constraints (cpu=4.06, mem = 44M519)
7.89 nbConstraints=13439 nbMergedConstraints=11970 nbConvertedConstraints=62 nbConvertConstraintsChecks=5004020
7.89 nbExtensionStructures=55 nbSharedExtensionStructures=7 nbConflictsStructures=55 nbSharedConflictsStructures=7
7.89 nbSharedBinaryRepresentations=17672 nbEvaluationManagers=9507 nbSharedEvaluationManagers=3870 maxDegree=22
7.89 maxArity=2
7.89 => wckTime=7.572 cpuTime=6.88 mem=63M418
8.08
8.08 solver IterativeSystematicSolver being built...
8.59 => wckTime=8.274 cpuTime=7.23 mem=84M744
50.45
50.45 preprocessing
50.45 nbConstraintChecks=73715553 nbValidityChecks=2341907 nbPropagations=1928 nbRevisions=40956
50.45 nbUselessRevisions=37058 nbRemovedValues=216677 detectedInconsistency=no
50.45 => wckTime=41.846 cpuTime=41.63 mem=84M744
61.55
61.55 search
61.55 run=0 nbConstraintChecks=17280861 nbValidityChecks=13155870 nbPropagations=8898 nbRevisions=168986
61.55 nbUselessRevisions=152484 nbAssignments=77 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=99
61.55 nbRestartNogoods=0 mapSize=0 nbInferences=0 nbTooLargeKeys=64
61.55 => wckTime=52.945 cpuTime=52.65 mem=85M751
66.80
66.80 search
66.80 run=1 nbConstraintChecks=24893960 nbValidityChecks=27145372 nbPropagations=25236 nbRevisions=476024
66.80 nbUselessRevisions=429944 nbAssignments=161 nbFailedAssignments=23 nbBacktracks=29 nbVisitedNodes=201
66.80 nbRestartNogoods=6 mapSize=0 nbInferences=0 nbTooLargeKeys=138
66.80 => wckTime=58.197 cpuTime=57.87 mem=85M751
71.47
71.47 search
71.47 run=2 nbConstraintChecks=31178359 nbValidityChecks=42097499 nbPropagations=49770 nbRevisions=935081
71.47 nbUselessRevisions=843746 nbAssignments=267 nbFailedAssignments=47 nbBacktracks=51 nbVisitedNodes=343
71.47 nbRestartNogoods=8 mapSize=0 nbInferences=0 nbTooLargeKeys=220
71.47 => wckTime=62.866 cpuTime=62.51 mem=85M751
80.57
80.57 search
80.57 run=3 nbConstraintChecks=44651136 nbValidityChecks=61665738 nbPropagations=84284 nbRevisions=1584216
80.57 nbUselessRevisions=1421816 nbAssignments=423 nbFailedAssignments=122 nbBacktracks=90 nbVisitedNodes=593
80.57 nbRestartNogoods=10 mapSize=0 nbInferences=0 nbTooLargeKeys=301
80.57 => wckTime=71.969 cpuTime=71.57 mem=85M751
94.38
94.38 search
94.38 run=4 nbConstraintChecks=63358242 nbValidityChecks=91213556 nbPropagations=140498 nbRevisions=2633473
94.38 nbUselessRevisions=2334394 nbAssignments=776 nbFailedAssignments=340 nbBacktracks=144 nbVisitedNodes=1192
94.38 nbRestartNogoods=13 mapSize=0 nbInferences=0 nbTooLargeKeys=436
94.38 => wckTime=85.775 cpuTime=85.32 mem=85M751
111.79
111.79 search
111.79 run=5 nbConstraintChecks=88439021 nbValidityChecks=119855829 nbPropagations=220676 nbRevisions=4080007
111.79 nbUselessRevisions=3610727 nbAssignments=1161 nbFailedAssignments=410 nbBacktracks=223 nbVisitedNodes=1671
111.79 nbRestartNogoods=19 mapSize=42 nbInferences=0 nbTooLargeKeys=649
111.79 => wckTime=103.187 cpuTime=102.65 mem=90M688
124.90
124.90 search
124.90 run=6 nbConstraintChecks=104790963 nbValidityChecks=155189090 nbPropagations=331878 nbRevisions=6064776
124.90 nbUselessRevisions=5353720 nbAssignments=1664 nbFailedAssignments=608 nbBacktracks=337 nbVisitedNodes=2434
124.90 nbRestartNogoods=40 mapSize=42 nbInferences=0 nbTooLargeKeys=954
124.90 => wckTime=116.301 cpuTime=115.68 mem=91M694
131.82
131.82 INFO : Stopping hyperNogood (mapSize=46, nbTooLargekeys=1164, mem=91M694)
138.56
138.56 search
138.56 run=7 nbConstraintChecks=120589962 nbValidityChecks=195485099 nbPropagations=485774 nbRevisions=8798906
138.56 nbUselessRevisions=7745143 nbAssignments=2389 nbFailedAssignments=955 nbBacktracks=507 nbVisitedNodes=3579
138.56 nbRestartNogoods=76
138.56 => wckTime=129.96 cpuTime=129.27 mem=91M694
155.88
155.88 search
155.88 run=8 nbConstraintChecks=142106552 nbValidityChecks=242712430 nbPropagations=680284 nbRevisions=12250624
155.88 nbUselessRevisions=10760822 nbAssignments=3187 nbFailedAssignments=1358 nbBacktracks=763 nbVisitedNodes=4891
155.88 nbRestartNogoods=96
155.88 => wckTime=147.276 cpuTime=146.49 mem=91M694
180.59
180.59 search
180.59 run=9 nbConstraintChecks=174640911 nbValidityChecks=298893394 nbPropagations=926287 nbRevisions=16596114
180.59 nbUselessRevisions=14561608 nbAssignments=4001 nbFailedAssignments=1626 nbBacktracks=1148 nbVisitedNodes=6096
180.59 nbRestartNogoods=147
180.59 => wckTime=171.993 cpuTime=171.09 mem=91M694
209.26
209.26 search
209.26 run=10 nbConstraintChecks=209455244 nbValidityChecks=368873780 nbPropagations=1253554 nbRevisions=22435070
209.26 nbUselessRevisions=19696168 nbAssignments=5451 nbFailedAssignments=2317 nbBacktracks=1726 nbVisitedNodes=8512
209.26 nbRestartNogoods=170
209.26 => wckTime=200.66 cpuTime=199.62 mem=91M694
323.11
323.11 search
323.11 run=11 nbConstraintChecks=372504739 nbValidityChecks=652577052 nbPropagations=1734832 nbRevisions=31176916
323.11 nbUselessRevisions=27379228 nbAssignments=7927 nbFailedAssignments=3798 nbBacktracks=2591 nbVisitedNodes=12880
323.11 nbRestartNogoods=192
323.11 => wckTime=314.511 cpuTime=312.93 mem=91M694
413.77
413.77 search
413.77 run=12 nbConstraintChecks=476903589 nbValidityChecks=881195513 nbPropagations=2466139 nbRevisions=44524891
413.77 nbUselessRevisions=38938788 nbAssignments=12140 nbFailedAssignments=6527 nbBacktracks=3888 nbVisitedNodes=20274
413.77 nbRestartNogoods=216
413.77 => wckTime=405.172 cpuTime=403.16 mem=91M694
689.01
689.01 search
689.01 run=13 nbConstraintChecks=814366502 nbValidityChecks=1612724613 nbPropagations=3796472 nbRevisions=69193210
689.01 nbUselessRevisions=60072662 nbAssignments=17779 nbFailedAssignments=10102 nbBacktracks=5834
689.01 nbVisitedNodes=30341 nbRestartNogoods=246
689.01 => wckTime=680.404 cpuTime=677.11 mem=91M694
884.38
884.38 search
884.38 run=14 nbConstraintChecks=1024738556 nbValidityChecks=2104180373 nbPropagations=5728193 nbRevisions=105476290
884.38 nbUselessRevisions=91030021 nbAssignments=23465 nbFailedAssignments=12765 nbBacktracks=8753
884.38 nbVisitedNodes=40079 nbRestartNogoods=313
884.38 => wckTime=875.78 cpuTime=871.56 mem=91M694
1391.48
1391.48 search
1391.48 run=15 nbConstraintChecks=1675355621 nbValidityChecks=3422085833 nbPropagations=8880189 nbRevisions=164514935
1391.48 nbUselessRevisions=141905815 nbAssignments=35898 nbFailedAssignments=20677 nbBacktracks=13133
1391.48 nbVisitedNodes=63346 nbRestartNogoods=338
1391.48 => wckTime=1382.879 cpuTime=1376.28 mem=91M694
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-201263-1168072279 -o ROOT/results/node56/solver-201263-1168072279 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201263-1168072279/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.72 1.92 1.80 4/80 4248
/proc/meminfo: memFree=1534920/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=18540 CPUtime=0
/proc/4247/stat : 4247 (runsolver) R 4245 4247 3759 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155626046 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4247/statm: 4635 279 244 17 0 2626 0
[startup+0.108953 s]
/proc/loadavg: 1.72 1.92 1.80 4/80 4248
/proc/meminfo: memFree=1534920/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=914988 CPUtime=0.09
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 3006 0 1 0 8 1 0 0 17 0 8 0 155626046 936947712 2752 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155476988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228747 2752 1430 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516994 s]
/proc/loadavg: 1.72 1.92 1.80 4/80 4248
/proc/meminfo: memFree=1534920/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915328 CPUtime=0.49
/proc/4247/stat : 4247 (java) S 4245 4247 3759 0 -1 0 7511 0 1 0 45 4 0 0 18 0 8 0 155626046 937295872 7250 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228832 7250 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33807 s]
/proc/loadavg: 1.72 1.92 1.80 4/87 4255
/proc/meminfo: memFree=1463696/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1.31
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 22177 0 1 0 120 11 0 0 19 0 8 0 155626046 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 21914 2160 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.08
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 5634 0 0 0 7 1 0 0 16 0 8 0 155626050 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.16
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 407 0 0 0 16 0 0 0 19 0 8 0 155626054 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 21914 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 21914 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.97623 s]
/proc/loadavg: 1.72 1.92 1.80 3/87 4255
/proc/meminfo: memFree=1455248/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=2.94
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 22254 0 1 0 282 12 0 0 25 0 8 0 155626046 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 21989 2180 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.1
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 5634 0 0 0 9 1 0 0 17 0 8 0 155626050 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.18
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 421 0 0 0 18 0 0 0 16 0 8 0 155626054 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 21989 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915620
[startup+6.17754 s]
/proc/loadavg: 1.74 1.92 1.80 3/87 4255
/proc/meminfo: memFree=1442512/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=6.12
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 26165 0 1 0 598 14 0 0 25 0 8 0 155626046 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155211197 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 25897 2182 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.28
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 9514 0 0 0 25 3 0 0 16 0 8 0 155626050 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.23
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 448 0 0 0 22 1 0 0 16 0 8 0 155626054 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 25897 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915620
[startup+12.6472 s]
/proc/loadavg: 1.76 1.92 1.81 3/87 4255
/proc/meminfo: memFree=1395280/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=12.56
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37568 0 1 0 1236 20 0 0 25 0 8 0 155626046 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37292 2533 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20439 0 0 0 64 8 0 0 17 0 8 0 155626050 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.33
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 507 0 0 0 32 1 0 0 15 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915620
[startup+25.5124 s]
/proc/loadavg: 1.81 1.93 1.81 3/87 4255
/proc/meminfo: memFree=1395408/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=25.37
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37571 0 1 0 2517 20 0 0 25 0 8 0 155626046 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37292 2533 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20439 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.33
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 507 0 0 0 32 1 0 0 16 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37292 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915620
[startup+51.1199 s]
/proc/loadavg: 1.87 1.93 1.81 3/87 4255
/proc/meminfo: memFree=1395344/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=50.85
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37583 0 1 0 5065 20 0 0 25 0 8 0 155626046 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831568 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37301 2534 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20439 0 0 0 64 8 0 0 17 0 8 0 155626050 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.34
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 514 0 0 0 33 1 0 0 15 0 8 0 155626054 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915620
[startup+102.371 s]
/proc/loadavg: 1.94 1.94 1.82 3/87 4255
/proc/meminfo: memFree=1395280/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=101.86
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37609 0 1 0 10165 21 0 0 25 0 8 0 155626046 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37317 2537 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.37
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 530 0 0 0 35 2 0 0 16 0 8 0 155626054 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 915620
[startup+162.372 s]
/proc/loadavg: 1.98 1.95 1.83 3/87 4255
/proc/meminfo: memFree=1395280/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=161.59
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37635 0 1 0 16137 22 0 0 25 0 8 0 155626046 937594880 37331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139157 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.38
Current children cumulated vsize (KiB) 915620
[startup+1484.09 s]
/proc/loadavg: 2.11 2.08 1.98 3/87 4255
/proc/meminfo: memFree=1394768/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1477.1
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 147685 25 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074144253 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.1
Current children cumulated vsize (KiB) 915620
[startup+1544.1 s]
/proc/loadavg: 2.16 2.10 1.99 3/87 4255
/proc/meminfo: memFree=1394832/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1536.82
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 153657 25 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831590 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.82
Current children cumulated vsize (KiB) 915620
[startup+1604.1 s]
/proc/loadavg: 2.14 2.09 2.00 3/87 4255
/proc/meminfo: memFree=1394832/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1596.54
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 159629 25 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831586 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.54
Current children cumulated vsize (KiB) 915620
[startup+1664.1 s]
/proc/loadavg: 2.05 2.07 2.00 3/87 4255
/proc/meminfo: memFree=1394832/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1656.52
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 165627 25 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074147666 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.52
Current children cumulated vsize (KiB) 915620
[startup+1724.18 s]
/proc/loadavg: 2.02 2.06 2.00 3/87 4255
/proc/meminfo: memFree=1394832/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1716.58
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 171633 25 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.58
Current children cumulated vsize (KiB) 915620
[startup+1784.26 s]
/proc/loadavg: 2.00 2.04 2.00 3/93 4281
/proc/meminfo: memFree=1393528/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1776.62
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 177636 26 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834379 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1776.62
Current children cumulated vsize (KiB) 915620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.82 s]
/proc/loadavg: 1.86 2.01 1.98 4/93 4421
/proc/meminfo: memFree=1404472/2055920 swapFree=4184772/4192956
[pid=4247] ppid=4245 vsize=915620 CPUtime=1800.08
/proc/4247/stat : 4247 (java) R 4245 4247 3759 0 -1 0 37640 0 1 0 179976 32 0 0 25 0 8 0 155626046 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831653 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4247/statm: 228905 37334 2538 14 0 215375 0
[pid=4247/tid=4249] ppid=4245 vsize=915620 CPUtime=0.72
/proc/4247/task/4249/stat : 4249 (java) S 4245 4247 3759 0 -1 64 20440 0 0 0 64 8 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4250] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4250/stat : 4250 (java) S 4245 4247 3759 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4251] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4251/stat : 4251 (java) S 4245 4247 3759 0 -1 64 6 0 0 0 0 0 0 0 15 0 8 0 155626050 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4252] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4252/stat : 4252 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4253] ppid=4245 vsize=915620 CPUtime=0.42
/proc/4247/task/4253/stat : 4253 (java) S 4245 4247 3759 0 -1 64 550 0 0 0 40 2 0 0 16 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4254] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4254/stat : 4254 (java) S 4245 4247 3759 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155626054 937594880 37334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4247/tid=4255] ppid=4245 vsize=915620 CPUtime=0
/proc/4247/task/4255/stat : 4255 (java) S 4245 4247 3759 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155626054 937594880 37334 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) 915620
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.91
CPU time (s): 1800.16
CPU user time (s): 1799.81
CPU system time (s): 0.346947
CPU usage (%): 99.5716
Max. virtual memory (cumulated for all children) (KiB): 915624
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.346947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37656
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= 38288
involuntary context switches= 55452
runsolver used 2.05469 s user time and 5.80212 s system time
The end
Begin job on node56 on Sat Jan 6 08:31:19 UTC 2007
IDJOB= 201263
IDBENCH= 3753
FILE ID= node56/201263-1168072279
PBS_JOBID= 3475941
Free space on /tmp= 66512 MiB
BENCH NAME= HOME/pub/bench/CPAI06/fapp/fapp11-15/fapp12/fapp12-1500-6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201263-1168072279/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-201263-1168072279 -o ROOT/results/node56/solver-201263-1168072279 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/201263-1168072279/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eb2dbda2391814cf18e943c437e26072
RANDOM SEED= 188004561
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1535400 kB
Buffers: 26976 kB
Cached: 272476 kB
SwapCached: 2060 kB
Active: 193740 kB
Inactive: 259036 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1535400 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 11432 kB
Writeback: 0 kB
Mapped: 170328 kB
Slab: 52848 kB
Committed_AS: 3457876 kB
PageTables: 2180 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= 66511 MiB
End job on node56 on Sat Jan 6 09:01:27 UTC 2007