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/237293-1168083300/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.40 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1078
0.40 => wckTime=0.11 cpuTime=0.1 mem=9M894
0.40
0.40 predicates being loaded...
0.40
0.40 constraints being loaded...
4.52
4.52 INFO : Stopping converting binary constraints (cpu=4.17, mem = 22M605)
4.65 nbConstraints=1000 nbSingletonDomainVariables=1 nbConvertedConstraints=126 nbConvertConstraintsChecks=15162070
4.65 nbExtensionStructures=64 nbSharedExtensionStructures=62 nbConflictsStructures=64 nbSharedConflictsStructures=62
4.65 nbSharedBinaryRepresentations=73259 nbEvaluationManagers=415 nbSharedEvaluationManagers=459 maxDegree=100
4.65 maxArity=2
4.65 => wckTime=4.356 cpuTime=4.22 mem=27M481
4.71
4.71 solver IterativeSystematicSolver being built...
4.88 => wckTime=4.592 cpuTime=4.35 mem=32M291
18.19
18.19 preprocessing
18.19 nbConstraintChecks=36250569 nbValidityChecks=135720 nbPropagations=104 nbRevisions=1885 nbUselessRevisions=1737
18.19 nbRemovedValues=18053 detectedInconsistency=no
18.19 => wckTime=13.299 cpuTime=13.26 mem=32M291
120.66
120.66 search
120.66 run=0 nbConstraintChecks=267725820 nbValidityChecks=45173596 nbPropagations=7714 nbRevisions=163942
120.66 nbUselessRevisions=125117 nbAssignments=343 nbFailedAssignments=330 nbBacktracks=10 nbVisitedNodes=679
120.66 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
120.66 => wckTime=115.766 cpuTime=115.64 mem=33M280
161.15
161.15 search
161.15 run=1 nbConstraintChecks=374266815 nbValidityChecks=68679876 nbPropagations=21269 nbRevisions=449366
161.15 nbUselessRevisions=352790 nbAssignments=464 nbFailedAssignments=430 nbBacktracks=25 nbVisitedNodes=915
161.15 nbRestartNogoods=71 mapSize=22 nbInferences=0 nbTooLargeKeys=0
161.15 => wckTime=156.265 cpuTime=156.12 mem=33M280
203.80
203.80 search
203.80 run=2 nbConstraintChecks=485905339 nbValidityChecks=96431194 nbPropagations=42232 nbRevisions=889999
203.80 nbUselessRevisions=711568 nbAssignments=624 nbFailedAssignments=562 nbBacktracks=47 nbVisitedNodes=1229
203.80 nbRestartNogoods=96 mapSize=44 nbInferences=0 nbTooLargeKeys=0
203.80 => wckTime=198.915 cpuTime=198.76 mem=34M252
668.76
668.76 search
668.76 run=3 nbConstraintChecks=1713628739 nbValidityChecks=369191303 nbPropagations=108789 nbRevisions=2305497
668.76 nbUselessRevisions=1883618 nbAssignments=1050 nbFailedAssignments=952 nbBacktracks=80 nbVisitedNodes=2076
668.76 nbRestartNogoods=118 mapSize=76 nbInferences=0 nbTooLargeKeys=0
668.76 => wckTime=663.873 cpuTime=663.55 mem=34M252
993.93
993.93 search
993.93 run=4 nbConstraintChecks=2581040668 nbValidityChecks=478277329 nbPropagations=187096 nbRevisions=3969024
993.93 nbUselessRevisions=3249998 nbAssignments=1507 nbFailedAssignments=1352 nbBacktracks=130 nbVisitedNodes=2983
993.93 nbRestartNogoods=167 mapSize=126 nbInferences=0 nbTooLargeKeys=0
993.93 => wckTime=989.044 cpuTime=988.6 mem=35M224
1739.48
1739.48 search
1739.48 run=5 nbConstraintChecks=4528815200 nbValidityChecks=956521857 nbPropagations=321063 nbRevisions=6685211
1739.48 nbUselessRevisions=5451783 nbAssignments=4783 nbFailedAssignments=4538 nbBacktracks=205 nbVisitedNodes=9514
1739.49 nbRestartNogoods=341 mapSize=200 nbInferences=0 nbTooLargeKeys=0
1739.49 => wckTime=1734.596 cpuTime=1733.72 mem=36M196
1771.94
1771.94 search
1771.94 run=6 nbConstraintChecks=4612511681 nbValidityChecks=987589099 nbPropagations=465092 nbRevisions=9584286
1771.94 nbUselessRevisions=7802953 nbAssignments=5466 nbFailedAssignments=5091 nbBacktracks=318 nbVisitedNodes=10818
1771.94 nbRestartNogoods=551 mapSize=307 nbInferences=0 nbTooLargeKeys=0
1771.94 => wckTime=1767.048 cpuTime=1766.16 mem=38M140
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-237293-1168083300 -o ROOT/results/node76/solver-237293-1168083300 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237293-1168083300/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.49 1.38 1.57 4/73 723
/proc/meminfo: memFree=1743416/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=1788 CPUtime=0
/proc/722/stat : 722 (java) D 720 722 419 0 -1 0 192 0 0 0 0 0 0 0 20 0 1 0 156729264 1830912 156 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072100015398 0 0 17 0 0 0
/proc/722/statm: 447 159 124 14 0 91 0
[startup+0.103283 s]
/proc/loadavg: 0.49 1.38 1.57 4/73 723
/proc/meminfo: memFree=1743416/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=914992 CPUtime=0.07
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 3020 0 1 0 6 1 0 0 24 0 8 0 156729264 936951808 2768 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155842976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/722/statm: 228748 2768 1437 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914992
[startup+0.512361 s]
/proc/loadavg: 0.49 1.38 1.57 4/73 723
/proc/meminfo: memFree=1743416/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915332 CPUtime=0.48
/proc/722/stat : 722 (java) S 720 722 419 0 -1 0 7353 0 1 0 43 5 0 0 16 0 8 0 156729264 937299968 7094 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228833 7094 2146 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33752 s]
/proc/loadavg: 0.49 1.38 1.57 2/80 730
/proc/meminfo: memFree=1716416/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915452 CPUtime=1.3
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 9187 0 1 0 123 7 0 0 17 0 8 0 156729264 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073745579 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228863 8927 2168 14 0 215332 0
[pid=722/tid=724] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156729268 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=725] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156729268 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 156729268 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915452 CPUtime=0.13
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 359 0 0 0 12 1 0 0 16 0 8 0 156729272 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=729] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937422848 8927 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.97384 s]
/proc/loadavg: 0.49 1.38 1.57 2/80 730
/proc/meminfo: memFree=1714816/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915452 CPUtime=2.94
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 9786 0 1 0 287 7 0 0 17 0 8 0 156729264 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073466908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228863 9526 2168 14 0 215332 0
[pid=722/tid=724] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 156729268 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=725] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 10 0 0 0 0 0 0 0 22 0 8 0 156729268 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 3 0 0 0 0 0 0 0 23 0 8 0 156729268 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915452 CPUtime=0.13
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 360 0 0 0 12 1 0 0 16 0 8 0 156729272 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=729] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915452 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937422848 9526 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26849 s]
/proc/loadavg: 0.53 1.37 1.56 2/80 731
/proc/meminfo: memFree=1701632/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=6.24
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13127 0 1 0 614 10 0 0 17 0 8 0 156729264 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739481 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 12866 2530 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1484 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.23
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 420 0 0 0 22 1 0 0 15 0 8 0 156729272 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 12866 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915536
[startup+12.7347 s]
/proc/loadavg: 0.57 1.37 1.56 2/80 731
/proc/meminfo: memFree=1701632/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=12.7
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13129 0 1 0 1260 10 0 0 16 0 8 0 156729264 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739426 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 12867 2530 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1484 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.23
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 421 0 0 0 22 1 0 0 15 0 8 0 156729272 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 12867 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 12867 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) 915536
[startup+25.5693 s]
/proc/loadavg: 0.66 1.35 1.55 2/81 738
/proc/meminfo: memFree=1701240/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=25.52
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13151 0 1 0 2542 10 0 0 17 0 8 0 156729264 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073990482 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 12880 2531 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1484 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.24
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 436 0 0 0 23 1 0 0 15 0 8 0 156729272 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 12880 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915536
[startup+51.2593 s]
/proc/loadavg: 0.93 1.35 1.55 3/92 776
/proc/meminfo: memFree=1560288/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=51.19
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13160 0 1 0 5108 11 0 0 25 0 8 0 156729264 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073763880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 12884 2532 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1484 0 0 0 4 0 0 0 17 0 8 0 156729268 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.26
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 440 0 0 0 24 2 0 0 16 0 8 0 156729272 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.19
Current children cumulated vsize (KiB) 915536
[startup+102.461 s]
/proc/loadavg: 1.53 1.45 1.57 3/92 776
/proc/meminfo: memFree=1346400/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=102.37
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13161 0 1 0 10226 11 0 0 25 0 8 0 156729264 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746318 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 12884 2532 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1484 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.26
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 441 0 0 0 24 2 0 0 15 0 8 0 156729272 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 12884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915536
[startup+162.503 s]
/proc/loadavg: 1.83 1.55 1.59 3/92 776
/proc/meminfo: memFree=1088992/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=162.38
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13268 0 1 0 16227 11 0 0 25 0 8 0 156729264 937508864 12987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739541 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.53
Current children cumulated vsize (KiB) 915536
[startup+1483.1 s]
/proc/loadavg: 2.00 2.00 1.87 3/92 776
/proc/meminfo: memFree=1066144/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1482.53
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13803 0 1 0 148241 12 0 0 25 0 8 0 156729264 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996101 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 13510 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 463 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 13510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.53
Current children cumulated vsize (KiB) 915536
[startup+1543.13 s]
/proc/loadavg: 2.00 2.00 1.88 3/98 802
/proc/meminfo: memFree=1064648/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1542.49
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13806 0 1 0 154237 12 0 0 25 0 8 0 156729264 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074003057 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 13513 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 463 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 13513 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.49
Current children cumulated vsize (KiB) 915536
[startup+1603.19 s]
/proc/loadavg: 2.07 2.02 1.89 3/98 928
/proc/meminfo: memFree=1064680/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1602.46
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13809 0 1 0 160234 12 0 0 25 0 8 0 156729264 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073993408 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 13516 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 463 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 13516 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.46
Current children cumulated vsize (KiB) 915536
[startup+1663.23 s]
/proc/loadavg: 2.02 2.01 1.90 3/92 974
/proc/meminfo: memFree=1065632/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1662.45
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13812 0 1 0 166233 12 0 0 25 0 8 0 156729264 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073984055 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 13519 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 463 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 13519 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.45
Current children cumulated vsize (KiB) 915536
[startup+1723.27 s]
/proc/loadavg: 2.04 2.02 1.91 3/92 974
/proc/meminfo: memFree=1065440/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1722.46
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 13884 0 1 0 172234 12 0 0 25 0 8 0 156729264 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073996165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 13591 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 463 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 13591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.46
Current children cumulated vsize (KiB) 915536
[startup+1783.29 s]
/proc/loadavg: 2.01 2.01 1.91 3/92 974
/proc/meminfo: memFree=1063392/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1782.46
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 14402 0 1 0 178234 12 0 0 25 0 8 0 156729264 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739446 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 14107 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 465 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 14107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (KiB) 915536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.86 s]
/proc/loadavg: 2.01 2.01 1.91 3/92 974
/proc/meminfo: memFree=1063136/2055888 swapFree=4096420/4096564
[pid=722] ppid=720 vsize=915536 CPUtime=1800.03
/proc/722/stat : 722 (java) R 720 722 419 0 -1 0 14468 0 1 0 179991 12 0 0 25 0 8 0 156729264 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073739442 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/722/statm: 228884 14173 2535 14 0 215353 0
[pid=722/tid=724] ppid=720 vsize=915536 CPUtime=0.04
/proc/722/task/724/stat : 724 (java) S 720 722 419 0 -1 64 1485 0 0 0 4 0 0 0 16 0 8 0 156729268 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=725] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/725/stat : 725 (java) S 720 722 419 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=726] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/726/stat : 726 (java) S 720 722 419 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729268 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=727] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/727/stat : 727 (java) S 720 722 419 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 156729271 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=728] ppid=720 vsize=915536 CPUtime=0.3
/proc/722/task/728/stat : 728 (java) S 720 722 419 0 -1 64 465 0 0 0 28 2 0 0 16 0 8 0 156729272 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=722/tid=729] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/729/stat : 729 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156729272 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=722/tid=730] ppid=720 vsize=915536 CPUtime=0
/proc/722/task/730/stat : 730 (java) S 720 722 419 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156729272 937508864 14173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915536
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.94
CPU time (s): 1800.11
CPU user time (s): 1799.97
CPU system time (s): 0.139978
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (KiB): 915536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.139978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14485
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= 37657
involuntary context switches= 41469
runsolver used 1.75773 s user time and 4.73528 s system time
The end
Begin job on node76 on Sat Jan 6 11:35:11 UTC 2007
IDJOB= 237293
IDBENCH= 6912
FILE ID= node76/237293-1168083300
PBS_JOBID= 3476250
Free space on /tmp= 66641 MiB
BENCH NAME= HOME/pub/bench/CPAI06/os-gp/gp10-04-1077.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237293-1168083300/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-237293-1168083300 -o ROOT/results/node76/solver-237293-1168083300 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237293-1168083300/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9e1073cf0543b531d5d4e0d0fba8e4b2
RANDOM SEED= 709413999
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: 1743768 kB
Buffers: 23904 kB
Cached: 211104 kB
SwapCached: 0 kB
Active: 65260 kB
Inactive: 190812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1743768 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 31480 kB
Slab: 42120 kB
Committed_AS: 5822336 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= 66633 MiB
End job on node76 on Sat Jan 6 12:05:23 UTC 2007