0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/214613-1168077726/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.65 nbVariables=10724 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.65 => wckTime=0.34 cpuTime=0.25 mem=23M464
0.65
0.65 predicates being loaded...
0.70
0.70 constraints being loaded...
2.89 nbConstraints=1549 nbMergedConstraints=496 nbConflictsStructures=16 nbSharedConflictsStructures=824
2.89 nbUnbuiltConflictsStructures=73 nbSharedBinaryRepresentations=0 nbEvaluationManagers=89
2.89 nbSharedEvaluationManagers=1460 maxDegree=4 maxArity=98
2.89 => wckTime=2.574 cpuTime=2.11 mem=100M943
3.00
3.00 solver IterativeSystematicSolver being built...
3.72 => wckTime=3.409 cpuTime=2.69 mem=126M851
3.80
3.80 preprocessing
3.80 nbConstraintChecks=588 nbValidityChecks=532 nbPropagations=10724 nbRevisions=560 nbUselessRevisions=560
3.80 nbRemovedValues=0 detectedInconsistency=no
3.80 => wckTime=0.063 cpuTime=0.05 mem=132M888
108.05
108.05 search
108.05 run=0 nbConstraintChecks=17502656 nbValidityChecks=58309 nbPropagations=13232 nbRevisions=32422
108.05 nbUselessRevisions=32300 nbAssignments=2386 nbFailedAssignments=3 nbBacktracks=12 nbVisitedNodes=2390
108.05 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
108.05 => wckTime=104.314 cpuTime=103.76 mem=110M830
210.23
210.23 search
210.23 run=1 nbConstraintChecks=35000941 nbValidityChecks=122425 nbPropagations=29002 nbRevisions=97680
210.23 nbUselessRevisions=97313 nbAssignments=4801 nbFailedAssignments=6 nbBacktracks=28 nbVisitedNodes=4808
210.23 nbRestartNogoods=2 mapSize=8 nbInferences=0 nbTooLargeKeys=0
210.23 => wckTime=206.502 cpuTime=205.82 mem=118M880
319.02
319.02 search
319.02 run=2 nbConstraintChecks=54072081 nbValidityChecks=188922 nbPropagations=47382 nbRevisions=197052
319.02 nbUselessRevisions=196294 nbAssignments=7265 nbFailedAssignments=10 nbBacktracks=84 nbVisitedNodes=7276
319.02 nbRestartNogoods=4 mapSize=15 nbInferences=0 nbTooLargeKeys=0
319.02 => wckTime=315.293 cpuTime=314.57 mem=128M941
466.49
466.49 search
466.49 run=3 nbConstraintChecks=80483412 nbValidityChecks=257650 nbPropagations=68467 nbRevisions=331553
466.49 nbUselessRevisions=330205 nbAssignments=9770 nbFailedAssignments=20 nbBacktracks=118 nbVisitedNodes=9791
466.49 nbRestartNogoods=5 mapSize=34 nbInferences=0 nbTooLargeKeys=0
466.49 => wckTime=462.758 cpuTime=462.01 mem=137M997
546.52
546.52 search
546.52 run=4 nbConstraintChecks=95229214 nbValidityChecks=278513 nbPropagations=90119 nbRevisions=477193
546.52 nbUselessRevisions=475124 nbAssignments=10226 nbFailedAssignments=25 nbBacktracks=172 nbVisitedNodes=10252
546.52 nbRestartNogoods=7 mapSize=43 nbInferences=0 nbTooLargeKeys=0
546.52 => wckTime=542.786 cpuTime=542.01 mem=137M997
649.52
649.52 search
649.52 run=5 nbConstraintChecks=114497058 nbValidityChecks=302309 nbPropagations=112422 nbRevisions=635875
649.52 nbUselessRevisions=632896 nbAssignments=10688 nbFailedAssignments=31 nbBacktracks=263 nbVisitedNodes=10720
649.52 nbRestartNogoods=8 mapSize=53 nbInferences=0 nbTooLargeKeys=0
649.52 => wckTime=645.793 cpuTime=644.99 mem=139M3
996.96
996.96 search
996.96 run=6 nbConstraintChecks=168041132 nbValidityChecks=334057 nbPropagations=135620 nbRevisions=811570
996.96 nbUselessRevisions=806984 nbAssignments=11245 nbFailedAssignments=71 nbBacktracks=381 nbVisitedNodes=11317
996.96 nbRestartNogoods=10 mapSize=88 nbInferences=0 nbTooLargeKeys=0
996.96 => wckTime=993.227 cpuTime=992.34 mem=139M3
1147.60
1147.60 search
1147.60 run=7 nbConstraintChecks=197082288 nbValidityChecks=367343 nbPropagations=159726 nbRevisions=1005783
1147.60 nbUselessRevisions=999266 nbAssignments=11829 nbFailedAssignments=82 nbBacktracks=554 nbVisitedNodes=11912
1147.60 nbRestartNogoods=12 mapSize=107 nbInferences=0 nbTooLargeKeys=0
1147.60 => wckTime=1143.868 cpuTime=1142.94 mem=140M9
1407.74
1407.74 search
1407.74 run=8 nbConstraintChecks=245317701 nbValidityChecks=448736 nbPropagations=187376 nbRevisions=1244381
1407.74 nbUselessRevisions=1235383 nbAssignments=14822 nbFailedAssignments=129 nbBacktracks=812 nbVisitedNodes=14952
1407.74 nbRestartNogoods=15 mapSize=187 nbInferences=0 nbTooLargeKeys=0
1407.74 => wckTime=1404.013 cpuTime=1403.02 mem=153M89
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-214613-1168077726 -o ROOT/results/node56/solver-214613-1168077726 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214613-1168077726/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.83 0.95 0.98 2/86 5130
/proc/meminfo: memFree=1631088/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=18540 CPUtime=0
/proc/5129/stat : 5129 (runsolver) R 5127 5129 4910 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156170953 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 253307186471 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5129/statm: 4635 279 244 17 0 2626 0
[startup+0.102078 s]
/proc/loadavg: 0.83 0.95 0.98 2/86 5130
/proc/meminfo: memFree=1631088/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=914988 CPUtime=0.08
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 2975 0 1 0 7 1 0 0 17 0 8 0 156170953 936947712 2721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160642522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5129/statm: 228747 2721 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510114 s]
/proc/loadavg: 0.83 0.95 0.98 2/86 5130
/proc/meminfo: memFree=1631088/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915328 CPUtime=0.49
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 6563 0 1 0 45 4 0 0 18 0 8 0 156170953 937295872 6302 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944242 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5129/statm: 228832 6302 2135 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3322 s]
/proc/loadavg: 0.92 0.97 0.99 4/93 5137
/proc/meminfo: memFree=1563896/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915616 CPUtime=1.3
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 19407 0 1 0 121 9 0 0 19 0 8 0 156170953 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153380222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5129/statm: 228904 19140 2157 14 0 215374 0
[pid=5129/tid=5131] ppid=5127 vsize=915616 CPUtime=0.09
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 2866 0 0 0 8 1 0 0 16 0 8 0 156170957 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915616 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156170957 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915616 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915616 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915616 CPUtime=0.16
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 409 0 0 0 16 0 0 0 20 0 8 0 156170961 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915616 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937590784 19140 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915616 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937590784 19140 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) 915616
[startup+2.97035 s]
/proc/loadavg: 0.92 0.97 0.99 2/81 5137
/proc/meminfo: memFree=1555736/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=2.94
/proc/5129/stat : 5129 (java) S 5127 5129 4910 0 -1 0 34030 0 1 0 272 22 0 0 17 0 8 0 156170953 937709568 33750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5129/statm: 228933 33759 2181 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.33
/proc/5129/task/5131/stat : 5131 (java) R 5127 5129 4910 0 -1 64 17385 0 0 0 25 8 0 0 16 0 8 0 156170957 937709568 33765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526126 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156170957 937709568 33772 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 33780 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 33787 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.22
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 443 0 0 0 21 1 0 0 16 0 8 0 156170961 937709568 33794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 33801 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 33809 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) 915732
[startup+6.26667 s]
/proc/loadavg: 0.93 0.97 0.99 2/81 5153
/proc/meminfo: memFree=1509272/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=6.22
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 41439 0 1 0 597 25 0 0 18 0 8 0 156170953 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074155894 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 41153 2526 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.43
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 24286 0 0 0 33 10 0 0 17 0 8 0 156170957 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.33
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 511 0 0 0 32 1 0 0 15 0 8 0 156170961 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 41153 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915732
[startup+12.7413 s]
/proc/loadavg: 0.93 0.97 0.99 2/81 5160
/proc/meminfo: memFree=1510808/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=12.7
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 41449 0 1 0 1244 26 0 0 25 0 8 0 156170953 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847568 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 41161 2526 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.43
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 24286 0 0 0 33 10 0 0 16 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.34
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 520 0 0 0 33 1 0 0 16 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 41161 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) 915732
[startup+25.6096 s]
/proc/loadavg: 0.94 0.97 0.99 2/81 5222
/proc/meminfo: memFree=1510360/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=25.55
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 41449 0 1 0 2527 28 0 0 25 0 8 0 156170953 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073848104 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 41161 2526 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.43
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 24286 0 0 0 33 10 0 0 16 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.34
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 520 0 0 0 33 1 0 0 16 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915732
[startup+51.2291 s]
/proc/loadavg: 1.17 1.02 1.01 4/87 5345
/proc/meminfo: memFree=1491248/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=51.15
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 41450 0 1 0 5084 31 0 0 25 0 8 0 156170953 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073830992 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 41161 2526 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.43
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 24286 0 0 0 33 10 0 0 16 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.34
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 520 0 0 0 33 1 0 0 16 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 41161 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 915732
[startup+102.524 s]
/proc/loadavg: 1.56 1.14 1.04 3/87 5401
/proc/meminfo: memFree=1395696/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=102.12
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45537 0 1 0 10177 35 0 0 25 0 8 0 156170953 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5129/statm: 228933 45247 2527 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28369 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.34
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 521 0 0 0 33 1 0 0 16 0 8 0 156170961 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45247 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.12
Current children cumulated vsize (KiB) 915732
[startup+162.546 s]
/proc/loadavg: 1.35 1.17 1.06 2/72 5415
/proc/meminfo: memFree=1497144/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=162
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45553 0 1 0 16164 36 0 0 25 0 8 0 156170953 937709568 45259 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073847629 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 915732
[startup+1482.66 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497208/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1481.77
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 148139 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844698 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 915732
[startup+1542.66 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497208/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1541.76
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 154138 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073844704 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 915732
[startup+1602.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497208/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1601.75
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 160137 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 915732
[startup+1662.67 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497144/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1661.74
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 166136 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073846759 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 915732
[startup+1722.68 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497208/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1721.73
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 172135 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831021 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 915732
[startup+1782.69 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497144/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1781.72
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 178134 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 915732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 5417
/proc/meminfo: memFree=1497144/2055920 swapFree=4184772/4192956
[pid=5129] ppid=5127 vsize=915732 CPUtime=1800.01
/proc/5129/stat : 5129 (java) R 5127 5129 4910 0 -1 0 45558 0 1 0 179963 38 0 0 25 0 8 0 156170953 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073831040 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5129/statm: 228933 45261 2530 14 0 215403 0
[pid=5129/tid=5131] ppid=5127 vsize=915732 CPUtime=0.52
/proc/5129/task/5131/stat : 5131 (java) S 5127 5129 4910 0 -1 64 28370 0 0 0 40 12 0 0 16 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5132] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5132/stat : 5132 (java) S 5127 5129 4910 0 -1 64 10 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5133] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5133/stat : 5133 (java) S 5127 5129 4910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156170957 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5134] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5134/stat : 5134 (java) S 5127 5129 4910 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5135] ppid=5127 vsize=915732 CPUtime=0.38
/proc/5129/task/5135/stat : 5135 (java) S 5127 5129 4910 0 -1 64 532 0 0 0 36 2 0 0 16 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5129/tid=5136] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5136/stat : 5136 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5129/tid=5137] ppid=5127 vsize=915732 CPUtime=0
/proc/5129/task/5137/stat : 5137 (java) S 5127 5129 4910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156170961 937709568 45261 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.05
CPU time (s): 1800.09
CPU user time (s): 1799.67
CPU system time (s): 0.418936
CPU usage (%): 99.9469
Max. virtual memory (cumulated for all children) (KiB): 915732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45575
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= 37803
involuntary context switches= 7931
runsolver used 1.54776 s user time and 4.88626 s system time
The end
Begin job on node56 on Sat Jan 6 10:02:06 UTC 2007
IDJOB= 214613
IDBENCH= 4938
FILE ID= node56/214613-1168077726
PBS_JOBID= 3476072
Free space on /tmp= 66518 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/niklas/mitre.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214613-1168077726/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-214613-1168077726 -o ROOT/results/node56/solver-214613-1168077726 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/214613-1168077726/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2f506e1893eb22cba2e36de25d074292
RANDOM SEED= 912557636
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1631632 kB
Buffers: 28676 kB
Cached: 279956 kB
SwapCached: 2060 kB
Active: 87796 kB
Inactive: 268292 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1631632 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 4908 kB
Writeback: 0 kB
Mapped: 64856 kB
Slab: 52928 kB
Committed_AS: 3475792 kB
PageTables: 2224 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66520 MiB
End job on node56 on Sat Jan 6 10:32:09 UTC 2007