0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/210626-1168075099/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.47 nbVariables=1260 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.176 cpuTime=0.14 mem=8M869
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
1.04 nbConstraints=926 nbConflictsStructures=2 nbSharedConflictsStructures=866 nbUnbuiltConflictsStructures=2
1.04 nbSharedBinaryRepresentations=0 nbEvaluationManagers=4 nbSharedEvaluationManagers=922 maxDegree=29 maxArity=30
1.04 => wckTime=0.746 cpuTime=0.61 mem=15M521
1.10
1.10 solver IterativeSystematicSolver being built...
1.39 => wckTime=1.098 cpuTime=0.85 mem=52M202
1.42
1.42 preprocessing
1.42 nbConstraintChecks=0 nbPropagations=1260 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.42 detectedInconsistency=no
1.42 => wckTime=0.029 cpuTime=0.02 mem=53M197
27.62
27.62 search
27.62 run=0 nbConstraintChecks=8848379 nbValidityChecks=15535 nbPropagations=3698 nbRevisions=16186
27.62 nbUselessRevisions=14950 nbAssignments=1205 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=1214
27.62 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
27.62 => wckTime=26.229 cpuTime=26.13 mem=16M734
31.79
31.79 search
31.79 run=1 nbConstraintChecks=10356497 nbValidityChecks=20631 nbPropagations=9235 nbRevisions=38837
31.79 nbUselessRevisions=35179 nbAssignments=1858 nbFailedAssignments=9 nbBacktracks=216 nbVisitedNodes=1868
31.79 nbRestartNogoods=2 mapSize=17 nbInferences=0 nbTooLargeKeys=0
31.79 => wckTime=30.4 cpuTime=30.27 mem=18M737
35.93
35.93 search
35.93 run=2 nbConstraintChecks=11864594 nbValidityChecks=25748 nbPropagations=16614 nbRevisions=67954
35.93 nbUselessRevisions=60686 nbAssignments=2511 nbFailedAssignments=10 nbBacktracks=423 nbVisitedNodes=2522
35.93 nbRestartNogoods=3 mapSize=26 nbInferences=0 nbTooLargeKeys=0
35.93 => wckTime=34.536 cpuTime=34.4 mem=19M739
36.89
36.89 search
36.89 run=3 nbConstraintChecks=12324110 nbValidityChecks=30005 nbPropagations=25781 nbRevisions=102690
36.90 nbUselessRevisions=90629 nbAssignments=3115 nbFailedAssignments=15 nbBacktracks=463 nbVisitedNodes=3131
36.90 nbRestartNogoods=4 mapSize=31 nbInferences=0 nbTooLargeKeys=0
36.90 => wckTime=35.502 cpuTime=35.37 mem=21M742
44.23
44.23 search
44.23 run=4 nbConstraintChecks=14880783 nbValidityChecks=34899 nbPropagations=36802 nbRevisions=143677
44.23 nbUselessRevisions=125638 nbAssignments=3778 nbFailedAssignments=19 nbBacktracks=678 nbVisitedNodes=3798
44.23 nbRestartNogoods=9 mapSize=36 nbInferences=0 nbTooLargeKeys=0
44.23 => wckTime=42.832 cpuTime=42.67 mem=22M744
45.19
45.19 search
45.19 run=5 nbConstraintChecks=15340307 nbValidityChecks=38527 nbPropagations=49576 nbRevisions=189657
45.19 nbUselessRevisions=164452 nbAssignments=4342 nbFailedAssignments=28 nbBacktracks=754 nbVisitedNodes=4371
45.19 nbRestartNogoods=10 mapSize=52 nbInferences=0 nbTooLargeKeys=0
45.19 => wckTime=43.799 cpuTime=43.63 mem=23M746
46.20
46.20 search
46.20 run=6 nbConstraintChecks=15799838 nbValidityChecks=43040 nbPropagations=64269 nbRevisions=241475
46.20 nbUselessRevisions=207909 nbAssignments=5065 nbFailedAssignments=42 nbBacktracks=875 nbVisitedNodes=5108
46.20 nbRestartNogoods=12 mapSize=76 nbInferences=0 nbTooLargeKeys=0
46.20 => wckTime=44.807 cpuTime=44.64 mem=25M749
72.44
72.44 search
72.44 run=7 nbConstraintChecks=24648212 nbValidityChecks=48742 nbPropagations=80986 nbRevisions=300276
72.44 nbUselessRevisions=257129 nbAssignments=5868 nbFailedAssignments=55 nbBacktracks=1049 nbVisitedNodes=5924
72.44 nbRestartNogoods=16 mapSize=92 nbInferences=0 nbTooLargeKeys=0
72.44 => wckTime=71.045 cpuTime=70.86 mem=27M752
76.58
76.58 search
76.58 run=8 nbConstraintChecks=26156366 nbValidityChecks=54105 nbPropagations=99981 nbRevisions=365385
76.58 nbUselessRevisions=311249 nbAssignments=6737 nbFailedAssignments=84 nbBacktracks=1305 nbVisitedNodes=6822
76.58 nbRestartNogoods=18 mapSize=147 nbInferences=0 nbTooLargeKeys=0
76.58 => wckTime=75.19 cpuTime=75.0 mem=29M755
77.71
77.71 search
77.71 run=9 nbConstraintChecks=26616366 nbValidityChecks=70098 nbPropagations=121338 nbRevisions=447956
77.71 nbUselessRevisions=381680 nbAssignments=7948 nbFailedAssignments=85 nbBacktracks=1853 nbVisitedNodes=8034
77.71 nbRestartNogoods=21 mapSize=168 nbInferences=0 nbTooLargeKeys=0
77.71 => wckTime=76.316 cpuTime=76.13 mem=32M760
82.03
82.03 search
82.03 run=10 nbConstraintChecks=28124563 nbValidityChecks=86919 nbPropagations=145097 nbRevisions=548382
82.03 nbUselessRevisions=468811 nbAssignments=9195 nbFailedAssignments=87 nbBacktracks=2437 nbVisitedNodes=9283
82.03 nbRestartNogoods=22 mapSize=192 nbInferences=0 nbTooLargeKeys=0
82.03 => wckTime=80.64 cpuTime=80.43 mem=36M767
164.16
164.16 search
164.16 run=11 nbConstraintChecks=55912687 nbValidityChecks=105653 nbPropagations=171696 nbRevisions=668423
164.16 nbUselessRevisions=574259 nbAssignments=10737 nbFailedAssignments=114 nbBacktracks=3304 nbVisitedNodes=10852
164.16 nbRestartNogoods=23 mapSize=243 nbInferences=0 nbTooLargeKeys=0
164.16 => wckTime=162.765 cpuTime=162.48 mem=40M773
880.10
880.10 search
880.10 run=12 nbConstraintChecks=295447634 nbValidityChecks=125435 nbPropagations=202090 nbRevisions=808586
880.10 nbUselessRevisions=698097 nbAssignments=12800 nbFailedAssignments=341 nbBacktracks=4602 nbVisitedNodes=13142
880.10 nbRestartNogoods=24 mapSize=494 nbInferences=0 nbTooLargeKeys=0
880.10 => wckTime=878.712 cpuTime=877.67 mem=45M782
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-210626-1168075099 -o ROOT/results/node76/solver-210626-1168075099 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210626-1168075099/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: 0.55 0.82 0.92 2/73 31257
/proc/meminfo: memFree=1771040/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=1788 CPUtime=0
/proc/31256/stat : 31256 (java) D 31254 31256 31125 0 -1 0 192 0 0 0 0 0 0 0 20 0 1 0 155907120 1830912 156 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/31256/statm: 447 156 121 14 0 91 0
[startup+0.105874 s]
/proc/loadavg: 0.55 0.82 0.92 2/73 31257
/proc/meminfo: memFree=1771040/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=914992 CPUtime=0.08
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 3058 0 1 0 7 1 0 0 22 0 8 0 155907120 936951808 2806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228748 2807 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.513952 s]
/proc/loadavg: 0.55 0.82 0.92 2/73 31257
/proc/meminfo: memFree=1771040/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915332 CPUtime=0.5
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 7021 0 1 0 46 4 0 0 25 0 8 0 155907120 937299968 6762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073642432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228833 6764 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915332
[startup+1.33612 s]
/proc/loadavg: 0.67 0.84 0.92 3/92 31276
/proc/meminfo: memFree=1646088/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1.31
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 19179 0 1 0 119 12 0 0 25 0 8 0 155907120 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072922323 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 18918 2521 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.06
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 2186 0 0 0 6 0 0 0 16 0 8 0 155907124 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155907124 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.21
/proc/31256/task/31270/stat : 31270 (java) R 31254 31256 31125 0 -1 64 400 0 0 0 20 1 0 0 15 0 8 0 155907127 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 18918 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915584
[startup+2.98643 s]
/proc/loadavg: 0.67 0.84 0.92 3/92 31276
/proc/meminfo: memFree=1637576/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=2.96
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21077 0 1 0 283 13 0 0 25 0 8 0 155907120 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749847 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20814 2534 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4022 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.26
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 426 0 0 0 25 1 0 0 15 0 8 0 155907127 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20814 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915584
[startup+6.26607 s]
/proc/loadavg: 0.67 0.84 0.92 3/92 31276
/proc/meminfo: memFree=1624392/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=6.23
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21079 0 1 0 610 13 0 0 25 0 8 0 155907120 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20816 2535 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4022 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.26
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 426 0 0 0 25 1 0 0 15 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 915584
[startup+12.7473 s]
/proc/loadavg: 0.87 0.87 0.94 3/92 31276
/proc/meminfo: memFree=1624424/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=12.71
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21079 0 1 0 1258 13 0 0 25 0 8 0 155907120 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20816 2535 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4022 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.26
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 426 0 0 0 25 1 0 0 15 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915584
[startup+25.5788 s]
/proc/loadavg: 1.04 0.91 0.95 3/92 31278
/proc/meminfo: memFree=1624352/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=25.54
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21081 0 1 0 2540 14 0 0 25 0 8 0 155907120 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20817 2535 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4022 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.26
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 428 0 0 0 25 1 0 0 16 0 8 0 155907127 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915584
[startup+51.2648 s]
/proc/loadavg: 1.42 1.01 0.98 3/92 31278
/proc/meminfo: memFree=1624424/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=51.18
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21103 0 1 0 5104 14 0 0 25 0 8 0 155907120 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746970 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20836 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.29
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 444 0 0 0 28 1 0 0 16 0 8 0 155907127 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.18
Current children cumulated vsize (KiB) 915584
[startup+102.528 s]
/proc/loadavg: 1.75 1.16 1.03 3/92 31278
/proc/meminfo: memFree=1624424/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=102.38
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 10224 14 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073466899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 915584
[startup+162.621 s]
/proc/loadavg: 1.90 1.31 1.09 3/92 31278
/proc/meminfo: memFree=1624424/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=162.42
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 16228 14 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744751 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.03
Current children cumulated vsize (KiB) 915584
[startup+1484.6 s]
/proc/loadavg: 2.00 1.97 1.75 3/92 31278
/proc/meminfo: memFree=1624104/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1483.03
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 148287 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754988 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.03
Current children cumulated vsize (KiB) 915584
[startup+1544.69 s]
/proc/loadavg: 2.07 1.99 1.76 3/92 31278
/proc/meminfo: memFree=1624104/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1543.07
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 154291 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744748 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.07
Current children cumulated vsize (KiB) 915584
[startup+1604.79 s]
/proc/loadavg: 2.06 2.00 1.78 3/92 31278
/proc/meminfo: memFree=1624104/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1603.11
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 160295 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744735 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.11
Current children cumulated vsize (KiB) 915584
[startup+1664.88 s]
/proc/loadavg: 2.02 2.00 1.79 3/92 31278
/proc/meminfo: memFree=1624104/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1663.12
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 166296 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.12
Current children cumulated vsize (KiB) 915584
[startup+1724.97 s]
/proc/loadavg: 2.01 2.00 1.81 3/92 31278
/proc/meminfo: memFree=1624040/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1723.16
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 172300 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073748682 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.16
Current children cumulated vsize (KiB) 915584
[startup+1785.06 s]
/proc/loadavg: 2.00 2.00 1.82 3/92 31278
/proc/meminfo: memFree=1624040/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1783.19
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 178303 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746084 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.19
Current children cumulated vsize (KiB) 915584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.91 s]
/proc/loadavg: 2.00 2.00 1.82 3/92 31278
/proc/meminfo: memFree=1624040/2055888 swapFree=4096420/4096564
[pid=31256] ppid=31254 vsize=915584 CPUtime=1800.01
/proc/31256/stat : 31256 (java) R 31254 31256 31125 0 -1 0 21110 0 1 0 179985 16 0 0 25 0 8 0 155907120 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31256/statm: 228896 20842 2538 14 0 215365 0
[pid=31256/tid=31263] ppid=31254 vsize=915584 CPUtime=0.1
/proc/31256/task/31263/stat : 31263 (java) S 31254 31256 31125 0 -1 64 4023 0 0 0 9 1 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31264] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31264/stat : 31264 (java) S 31254 31256 31125 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31265] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31265/stat : 31265 (java) S 31254 31256 31125 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155907124 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31269] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31269/stat : 31269 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31270] ppid=31254 vsize=915584 CPUtime=0.3
/proc/31256/task/31270/stat : 31270 (java) S 31254 31256 31125 0 -1 64 450 0 0 0 29 1 0 0 16 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31271] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31271/stat : 31271 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31256/tid=31272] ppid=31254 vsize=915584 CPUtime=0
/proc/31256/task/31272/stat : 31272 (java) S 31254 31256 31125 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155907127 937558016 20842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915584
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.95
CPU time (s): 1800.05
CPU user time (s): 1799.87
CPU system time (s): 0.177972
CPU usage (%): 99.8949
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.177972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21125
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= 37919
involuntary context switches= 43068
runsolver used 2.12468 s user time and 4.53931 s system time
The end
Begin job on node76 on Sat Jan 6 09:18:19 UTC 2007
IDJOB= 210626
IDBENCH= 4634
FILE ID= node76/210626-1168075099
PBS_JOBID= 3476042
Free space on /tmp= 66639 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-30-28.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210626-1168075099/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-210626-1168075099 -o ROOT/results/node76/solver-210626-1168075099 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210626-1168075099/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ade77c7cca28b37312b930505046f764
RANDOM SEED= 919234833
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1771520 kB
Buffers: 20904 kB
Cached: 186836 kB
SwapCached: 0 kB
Active: 63084 kB
Inactive: 165076 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1771520 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 4140 kB
Writeback: 0 kB
Mapped: 30896 kB
Slab: 42320 kB
Committed_AS: 5765592 kB
PageTables: 1624 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66639 MiB
End job on node76 on Sat Jan 6 09:48:22 UTC 2007