0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=esac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/211069-1168204974/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.70 nbVariables=20605 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.70 => wckTime=0.413 cpuTime=0.31 mem=40M239
0.70
0.70 predicates being loaded...
0.71
0.71 constraints being loaded...
7.79 nbConstraints=58551 nbMergedConstraints=1299 nbSingletonDomainVariables=1 nbConvertedConstraints=38879
7.79 nbConvertConstraintsChecks=77866 nbExtensionStructures=3 nbSharedExtensionStructures=38876
7.79 nbConflictsStructures=45 nbSharedConflictsStructures=58506 nbSharedBinaryRepresentations=7
7.79 nbEvaluationManagers=42 nbSharedEvaluationManagers=19630 maxDegree=270 maxArity=11
7.79 => wckTime=7.503 cpuTime=6.39 mem=115M275
8.11
8.11 solver IterativeSystematicSolver being built...
9.26 => wckTime=8.971 cpuTime=7.31 mem=134M956
327.19
327.19 INFO : Stopping ESAC
327.20
327.20 preprocessing
327.20 nbConstraintChecks=166224 nbValidityChecks=68199 nbPropagations=53745 nbRevisions=145651
327.20 nbUselessRevisions=129123 nbSingletonTests=16625 nbEffectiveSingletonTests=0 nbESACBranches=2
327.20 nbRemovedValues=12 detectedInconsistency=no
327.20 => wckTime=317.914 cpuTime=317.74 mem=136M987
357.25
357.25 search
357.25 run=0 nbConstraintChecks=134206 nbValidityChecks=52440 nbPropagations=73371 nbRevisions=271406
357.25 nbUselessRevisions=235383 nbAssignments=562 nbFailedAssignments=4 nbBacktracks=18 nbVisitedNodes=570
357.25 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
357.25 => wckTime=347.981 cpuTime=347.77 mem=139M17
387.49
387.49 search
387.49 run=1 nbConstraintChecks=250378 nbValidityChecks=110878 nbPropagations=166373 nbRevisions=661854
387.49 nbUselessRevisions=570309 nbAssignments=1127 nbFailedAssignments=8 nbBacktracks=42 nbVisitedNodes=1143
387.49 nbRestartNogoods=1 mapSize=13 nbInferences=0 nbTooLargeKeys=0
387.49 => wckTime=378.219 cpuTime=377.99 mem=140M32
418.32
418.32 search
418.32 run=2 nbConstraintChecks=383279 nbValidityChecks=174296 nbPropagations=279023 nbRevisions=1173802
418.32 nbUselessRevisions=1007220 nbAssignments=1703 nbFailedAssignments=13 nbBacktracks=66 nbVisitedNodes=1729
418.32 nbRestartNogoods=2 mapSize=21 nbInferences=0 nbTooLargeKeys=0
418.32 => wckTime=409.045 cpuTime=408.79 mem=142M63
449.46
449.46 search
449.46 run=3 nbConstraintChecks=517177 nbValidityChecks=244857 nbPropagations=411391 nbRevisions=1811281
449.46 nbUselessRevisions=1550034 nbAssignments=2287 nbFailedAssignments=20 nbBacktracks=102 nbVisitedNodes=2326
449.46 nbRestartNogoods=4 mapSize=32 nbInferences=0 nbTooLargeKeys=0
449.46 => wckTime=440.185 cpuTime=439.91 mem=143M78
479.62
479.62 search
479.62 run=4 nbConstraintChecks=667924 nbValidityChecks=330316 nbPropagations=563484 nbRevisions=2581876
479.62 nbUselessRevisions=2206328 nbAssignments=2857 nbFailedAssignments=32 nbBacktracks=156 nbVisitedNodes=2920
479.62 nbRestartNogoods=6 mapSize=54 nbInferences=0 nbTooLargeKeys=0
479.62 => wckTime=470.343 cpuTime=470.06 mem=145M109
509.65
509.65 search
509.65 run=5 nbConstraintChecks=817573 nbValidityChecks=403660 nbPropagations=735744 nbRevisions=3482167
509.65 nbUselessRevisions=2972204 nbAssignments=3420 nbFailedAssignments=42 nbBacktracks=248 nbVisitedNodes=3501
509.65 nbRestartNogoods=8 mapSize=69 nbInferences=0 nbTooLargeKeys=0
509.65 => wckTime=500.378 cpuTime=500.08 mem=146M124
541.89
541.89 search
541.89 run=6 nbConstraintChecks=1365058 nbValidityChecks=567827 nbPropagations=1002702 nbRevisions=4877855
541.89 nbUselessRevisions=4138736 nbAssignments=4338 nbFailedAssignments=59 nbBacktracks=376 nbVisitedNodes=4129
541.89 nbRestartNogoods=11 mapSize=121 nbInferences=0 nbTooLargeKeys=0
541.89 => wckTime=532.617 cpuTime=532.32 mem=147M140
576.61
576.61 search
576.61 run=7 nbConstraintChecks=1503925 nbValidityChecks=627533 nbPropagations=1294631 nbRevisions=6421781
576.61 nbUselessRevisions=5428511 nbAssignments=4983 nbFailedAssignments=69 nbBacktracks=602 nbVisitedNodes=4794
576.61 nbRestartNogoods=13 mapSize=139 nbInferences=0 nbTooLargeKeys=0
576.61 => wckTime=567.334 cpuTime=567.02 mem=149M170
636.80
636.80 search
636.80 run=8 nbConstraintChecks=1634413 nbValidityChecks=716083 nbPropagations=1608423 nbRevisions=8112383
636.80 nbUselessRevisions=6843213 nbAssignments=6059 nbFailedAssignments=88 nbBacktracks=875 nbVisitedNodes=5910
636.80 nbRestartNogoods=15 mapSize=166 nbInferences=0 nbTooLargeKeys=0
636.80 => wckTime=627.531 cpuTime=627.19 mem=151M201
710.89
710.89 search
710.89 run=9 nbConstraintChecks=2979922 nbValidityChecks=1215873 nbPropagations=2162770 nbRevisions=11109450
710.89 nbUselessRevisions=9324912 nbAssignments=9569 nbFailedAssignments=105 nbBacktracks=1268 nbVisitedNodes=7125
710.89 nbRestartNogoods=28 mapSize=227 nbInferences=29 nbTooLargeKeys=0
710.89 => wckTime=701.619 cpuTime=701.25 mem=153M231
808.00
808.00 search
808.01 run=10 nbConstraintChecks=3577830 nbValidityChecks=1530548 nbPropagations=2815090 nbRevisions=14710610
808.01 nbUselessRevisions=12313994 nbAssignments=12605 nbFailedAssignments=121 nbBacktracks=1844 nbVisitedNodes=9062
808.01 nbRestartNogoods=37 mapSize=566 nbInferences=345 nbTooLargeKeys=0
808.01 => wckTime=798.733 cpuTime=798.32 mem=156M277
950.22
950.22 search
950.22 run=11 nbConstraintChecks=4469068 nbValidityChecks=2062943 nbPropagations=3609757 nbRevisions=19243977
950.22 nbUselessRevisions=16095225 nbAssignments=17914 nbFailedAssignments=142 nbBacktracks=2709 nbVisitedNodes=12052
950.22 nbRestartNogoods=46 mapSize=1298 nbInferences=1037 nbTooLargeKeys=0
950.22 => wckTime=940.952 cpuTime=940.49 mem=160M339
1071.85
1071.85 search
1071.85 run=12 nbConstraintChecks=5880673 nbValidityChecks=2685028 nbPropagations=4632155 nbRevisions=25194454
1071.85 nbUselessRevisions=21063521 nbAssignments=23874 nbFailedAssignments=336 nbBacktracks=4006 nbVisitedNodes=14701
1071.85 nbRestartNogoods=56 mapSize=1881 nbInferences=1211 nbTooLargeKeys=0
1071.85 => wckTime=1062.573 cpuTime=1062.06 mem=163M385
1194.77
1194.77 search
1194.77 run=13 nbConstraintChecks=6445733 nbValidityChecks=2935199 nbPropagations=5745876 nbRevisions=31733170
1194.77 nbUselessRevisions=26524942 nbAssignments=26378 nbFailedAssignments=458 nbBacktracks=5952 nbVisitedNodes=17296
1194.77 nbRestartNogoods=64 mapSize=2150 nbInferences=1211 nbTooLargeKeys=0
1194.77 => wckTime=1185.497 cpuTime=1184.95 mem=168M365
1381.09
1381.09 search
1381.09 run=14 nbConstraintChecks=8436477 nbValidityChecks=4115983 nbPropagations=7101693 nbRevisions=40273360
1381.09 nbUselessRevisions=33717315 nbAssignments=30252 nbFailedAssignments=1130 nbBacktracks=8872 nbVisitedNodes=22630
1381.09 nbRestartNogoods=67 mapSize=3601 nbInferences=1267 nbTooLargeKeys=0
1381.09 => wckTime=1371.821 cpuTime=1371.12 mem=137M382
1622.49
1622.49 search
1622.49 run=15 nbConstraintChecks=10149491 nbValidityChecks=4797073 nbPropagations=8697225 nbRevisions=50596093
1622.49 nbUselessRevisions=42410452 nbAssignments=35308 nbFailedAssignments=1517 nbBacktracks=13273
1622.49 nbVisitedNodes=28418 nbRestartNogoods=76 mapSize=4347 nbInferences=1267 nbTooLargeKeys=0
1622.49 => wckTime=1613.214 cpuTime=1612.35 mem=164M796
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-211069-1168204974 -o ROOT/results/node75/solver-211069-1168204974 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211069-1168204974/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.16 1.35 1.17 3/65 905
/proc/meminfo: memFree=1690552/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=172 CPUtime=0
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 217 0 0 0 0 0 0 0 20 0 1 0 168896801 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 6734123 0 0 4096 0 0 0 0 17 1 0 0
/proc/904/statm: 43 24 18 14 0 3 0
[startup+0.1031 s]
/proc/loadavg: 1.16 1.35 1.17 3/65 905
/proc/meminfo: memFree=1690552/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=914988 CPUtime=0.08
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 3024 0 1 0 7 1 0 0 16 0 8 0 168896801 936947712 2770 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153610137 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/904/statm: 228747 2771 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51115 s]
/proc/loadavg: 1.16 1.35 1.17 3/65 905
/proc/meminfo: memFree=1690552/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=915328 CPUtime=0.47
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 6925 0 1 0 43 4 0 0 16 0 8 0 168896801 937295872 6664 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073698091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/904/statm: 228832 6667 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33324 s]
/proc/loadavg: 1.16 1.35 1.17 2/72 912
/proc/meminfo: memFree=1624640/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=915616 CPUtime=1.3
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 21146 0 1 0 119 11 0 0 16 0 8 0 168896801 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/904/statm: 228904 20883 2158 14 0 215374 0
[pid=904/tid=906] ppid=902 vsize=915616 CPUtime=0.16
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 4600 0 0 0 15 1 0 0 16 0 8 0 168896805 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=915616 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168896806 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=915616 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168896806 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=915616 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=915616 CPUtime=0.14
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 415 0 0 0 14 0 0 0 16 0 8 0 168896809 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=915616 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=915616 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 937590784 20883 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616
[startup+2.9866 s]
/proc/loadavg: 1.16 1.35 1.17 2/72 912
/proc/meminfo: memFree=1608448/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=915744 CPUtime=2.95
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 25620 0 1 0 280 15 0 0 16 0 8 0 168896801 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/904/statm: 228936 25352 2178 14 0 215406 0
[pid=904/tid=906] ppid=902 vsize=915744 CPUtime=0.41
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 9004 0 0 0 38 3 0 0 16 0 8 0 168896805 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168896806 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168896806 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=915744 CPUtime=0.15
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 419 0 0 0 15 0 0 0 16 0 8 0 168896809 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 937721856 25352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915744
[startup+6.26397 s]
/proc/loadavg: 1.15 1.35 1.17 2/72 912
/proc/meminfo: memFree=1588224/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=915744 CPUtime=6.22
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 27931 0 1 0 428 194 0 0 19 0 8 0 168896801 937721856 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 228936 27661 2178 14 0 215406 0
[pid=904/tid=906] ppid=902 vsize=915744 CPUtime=0.55
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 11298 0 0 0 51 4 0 0 16 0 8 0 168896805 937721856 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 168896806 937721856 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=915748 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 168896806 937725952 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 937721856 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=915748 CPUtime=0.18
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 434 0 0 0 17 1 0 0 15 0 8 0 168896809 937725952 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 937721856 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=915744 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 937721856 27661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915744
[startup+12.7517 s]
/proc/loadavg: 1.13 1.34 1.17 2/72 912
/proc/meminfo: memFree=1507144/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=12.7
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 48636 0 1 0 1026 244 0 0 20 0 8 0 168896801 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074263445 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 48299 2539 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.36
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 31306 0 0 0 125 11 0 0 16 0 8 0 168896805 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.33
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 673 0 0 0 32 1 0 0 16 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 916336
[startup+25.5772 s]
/proc/loadavg: 1.10 1.32 1.17 2/72 912
/proc/meminfo: memFree=1507208/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=25.53
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 48636 0 1 0 2309 244 0 0 25 0 8 0 168896801 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074269243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 48299 2539 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.36
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 31306 0 0 0 125 11 0 0 16 0 8 0 168896805 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.33
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 673 0 0 0 32 1 0 0 16 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 48299 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 916336
[startup+51.2603 s]
/proc/loadavg: 1.07 1.30 1.16 3/72 912
/proc/meminfo: memFree=1507272/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=51.18
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 48641 0 1 0 4874 244 0 0 25 0 8 0 168896801 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073858698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 48301 2539 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.36
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 31306 0 0 0 125 11 0 0 16 0 8 0 168896805 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.35
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 676 0 0 0 33 2 0 0 15 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 916336
[startup+102.521 s]
/proc/loadavg: 1.03 1.25 1.15 2/72 912
/proc/meminfo: memFree=1507272/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=102.43
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 48641 0 1 0 9999 244 0 0 25 0 8 0 168896801 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074269243 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 48301 2539 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.36
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 31306 0 0 0 125 11 0 0 16 0 8 0 168896805 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.35
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 676 0 0 0 33 2 0 0 15 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 916336
[startup+162.615 s]
/proc/loadavg: 1.01 1.20 1.14 2/72 912
/proc/meminfo: memFree=1507272/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=162.5
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 48641 0 1 0 16006 244 0 0 25 0 8 0 168896801 938328064 48301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074300367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.95
Current children cumulated vsize (KiB) 916336
[startup+1484.64 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 912
/proc/meminfo: memFree=1500488/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1484
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 50330 0 1 0 148152 248 0 0 25 0 8 0 168896801 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074262046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 49968 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.42
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 32935 0 0 0 130 12 0 0 16 0 8 0 168896805 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 717 0 0 0 40 2 0 0 16 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1484
Current children cumulated vsize (KiB) 916336
[startup+1544.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 912
/proc/meminfo: memFree=1500488/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1544.05
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 50330 0 1 0 154157 248 0 0 25 0 8 0 168896801 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074369251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 49968 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.42
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 32935 0 0 0 130 12 0 0 16 0 8 0 168896805 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 717 0 0 0 40 2 0 0 16 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1544.05
Current children cumulated vsize (KiB) 916336
[startup+1604.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 912
/proc/meminfo: memFree=1500488/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1604.1
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 50330 0 1 0 160162 248 0 0 25 0 8 0 168896801 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074245401 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 49968 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.42
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 32935 0 0 0 130 12 0 0 16 0 8 0 168896805 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 717 0 0 0 40 2 0 0 16 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 49968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.1
Current children cumulated vsize (KiB) 916336
[startup+1664.91 s]
/proc/loadavg: 1.06 1.01 1.00 2/72 912
/proc/meminfo: memFree=1500488/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1664.15
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 50331 0 1 0 166167 248 0 0 25 0 8 0 168896801 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074369251 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 49969 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.42
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 32935 0 0 0 130 12 0 0 16 0 8 0 168896805 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 718 0 0 0 40 2 0 0 17 0 8 0 168896809 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 49969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.15
Current children cumulated vsize (KiB) 916336
[startup+1725 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 912
/proc/meminfo: memFree=1489096/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1724.21
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 53169 0 1 0 172172 249 0 0 25 0 8 0 168896801 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 52806 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.48
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 35772 0 0 0 135 13 0 0 16 0 8 0 168896805 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 718 0 0 0 40 2 0 0 17 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.21
Current children cumulated vsize (KiB) 916336
[startup+1785.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 912
/proc/meminfo: memFree=1489096/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1784.27
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 53169 0 1 0 178177 250 0 0 25 0 8 0 168896801 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074254042 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 52806 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.48
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 35772 0 0 0 135 13 0 0 16 0 8 0 168896805 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 718 0 0 0 40 2 0 0 17 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.27
Current children cumulated vsize (KiB) 916336
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 912
/proc/meminfo: memFree=1489096/2055920 swapFree=4184496/4192956
[pid=904] ppid=902 vsize=916336 CPUtime=1800.1
/proc/904/stat : 904 (java) R 902 904 32587 0 -1 0 53169 0 1 0 179760 250 0 0 25 0 8 0 168896801 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074363195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/904/statm: 229084 52806 2540 14 0 215554 0
[pid=904/tid=906] ppid=902 vsize=916336 CPUtime=1.48
/proc/904/task/906/stat : 906 (java) S 902 904 32587 0 -1 64 35772 0 0 0 135 13 0 0 16 0 8 0 168896805 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=907] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/907/stat : 907 (java) S 902 904 32587 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=908] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/908/stat : 908 (java) S 902 904 32587 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 168896806 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=909] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/909/stat : 909 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=910] ppid=902 vsize=916336 CPUtime=0.42
/proc/904/task/910/stat : 910 (java) S 902 904 32587 0 -1 64 718 0 0 0 40 2 0 0 17 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=904/tid=911] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/911/stat : 911 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=904/tid=912] ppid=902 vsize=916336 CPUtime=0
/proc/904/task/912/stat : 912 (java) S 902 904 32587 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 168896809 938328064 52806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 916336
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.02
CPU time (s): 1800.18
CPU user time (s): 1797.65
CPU system time (s): 2.53261
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 916336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.53261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53186
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= 37969
involuntary context switches= 15372
runsolver used 2.01869 s user time and 4.37733 s system time
The end
Begin job on node75 on Sun Jan 7 21:22:54 UTC 2007
IDJOB= 211069
IDBENCH= 4666
FILE ID= node75/211069-1168204974
PBS_JOBID= 3480774
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-tag12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211069-1168204974/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-211069-1168204974 -o ROOT/results/node75/solver-211069-1168204974 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/211069-1168204974/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d75ffaf5e9d380ee0d7426ec33536dcb
RANDOM SEED= 718433696
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.218
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.218
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1690904 kB
Buffers: 61940 kB
Cached: 236892 kB
SwapCached: 2680 kB
Active: 110088 kB
Inactive: 198468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1690904 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 10484 kB
Writeback: 0 kB
Mapped: 15768 kB
Slab: 42332 kB
Committed_AS: 3693720 kB
PageTables: 1432 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= 66549 MiB
End job on node75 on Sun Jan 7 21:52:55 UTC 2007