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/196313-1168070533/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.05
1.05 constraints being loaded...
1.33 nbConstraints=76 nbRelationTypes=76 nbExtensionStructures=76 nbSharedExtensionStructures=0
1.33 nbConflictsStructures=76 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.33 => wckTime=1.015 cpuTime=0.89 mem=50M860
1.46
1.46 solver IterativeSystematicSolver being built...
1.62 => wckTime=1.31 cpuTime=1.03 mem=34M587
1.63
1.63 preprocessing
1.63 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.63 detectedInconsistency=no
1.63 => wckTime=0.0040 cpuTime=0.0 mem=34M587
1.74
1.74 search
1.74 run=0 nbConstraintChecks=31794 nbValidityChecks=57918 nbPropagations=344 nbRevisions=3841
1.74 nbUselessRevisions=3112 nbAssignments=28 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=48
1.74 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.12 cpuTime=0.08 mem=35M578
1.84
1.84 search
1.84 run=1 nbConstraintChecks=86560 nbValidityChecks=164152 nbPropagations=1196 nbRevisions=14105
1.84 nbUselessRevisions=11323 nbAssignments=71 nbFailedAssignments=33 nbBacktracks=27 nbVisitedNodes=123
1.84 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.216 cpuTime=0.17 mem=35M578
1.98
1.98 search
1.98 run=2 nbConstraintChecks=163851 nbValidityChecks=321373 nbPropagations=2873 nbRevisions=34097
1.98 nbUselessRevisions=27163 nbAssignments=144 nbFailedAssignments=77 nbBacktracks=49 nbVisitedNodes=258
1.98 nbRestartNogoods=4 mapSize=45 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.355 cpuTime=0.3 mem=35M578
2.08
2.08 search
2.08 run=3 nbConstraintChecks=228178 nbValidityChecks=453273 nbPropagations=5335 nbRevisions=63530
2.08 nbUselessRevisions=50571 nbAssignments=219 nbFailedAssignments=113 nbBacktracks=84 nbVisitedNodes=387
2.08 nbRestartNogoods=14 mapSize=73 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.453 cpuTime=0.4 mem=35M578
2.27
2.27 search
2.27 run=4 nbConstraintChecks=351651 nbValidityChecks=705117 nbPropagations=9188 nbRevisions=110014
2.27 nbUselessRevisions=87442 nbAssignments=345 nbFailedAssignments=183 nbBacktracks=134 nbVisitedNodes=614
2.27 nbRestartNogoods=15 mapSize=116 nbInferences=0 nbTooLargeKeys=0
2.27 => wckTime=0.642 cpuTime=0.59 mem=35M578
2.60
2.60 search
2.60 run=5 nbConstraintChecks=560841 nbValidityChecks=1124599 nbPropagations=15503 nbRevisions=185260
2.60 nbUselessRevisions=146795 nbAssignments=521 nbFailedAssignments=278 nbBacktracks=210 nbVisitedNodes=940
2.60 nbRestartNogoods=17 mapSize=186 nbInferences=0 nbTooLargeKeys=0
2.60 => wckTime=0.976 cpuTime=0.92 mem=35M578
3.04
3.04 search
3.04 run=6 nbConstraintChecks=867803 nbValidityChecks=1724736 nbPropagations=24789 nbRevisions=298877
3.04 nbUselessRevisions=237136 nbAssignments=808 nbFailedAssignments=445 nbBacktracks=326 nbVisitedNodes=1473
3.04 nbRestartNogoods=27 mapSize=295 nbInferences=0 nbTooLargeKeys=0
3.04 => wckTime=1.417 cpuTime=1.36 mem=35M578
3.70
3.70 search
3.70 run=7 nbConstraintChecks=1330926 nbValidityChecks=2639107 nbPropagations=38573 nbRevisions=467044
3.70 nbUselessRevisions=370807 nbAssignments=1203 nbFailedAssignments=665 nbBacktracks=497 nbVisitedNodes=2196
3.70 nbRestartNogoods=29 mapSize=453 nbInferences=0 nbTooLargeKeys=0
3.70 => wckTime=2.079 cpuTime=2.01 mem=35M578
4.64
4.64 search
4.64 run=8 nbConstraintChecks=1964135 nbValidityChecks=3919186 nbPropagations=59510 nbRevisions=723936
4.64 nbUselessRevisions=575675 nbAssignments=1824 nbFailedAssignments=1024 nbBacktracks=755 nbVisitedNodes=3337
4.64 nbRestartNogoods=36 mapSize=687 nbInferences=0 nbTooLargeKeys=0
4.64 => wckTime=3.018 cpuTime=2.93 mem=35M578
6.05
6.05 search
6.05 run=9 nbConstraintChecks=2945975 nbValidityChecks=5857935 nbPropagations=90238 nbRevisions=1101497
6.05 nbUselessRevisions=875766 nbAssignments=2664 nbFailedAssignments=1474 nbBacktracks=1139 nbVisitedNodes=4878
6.05 nbRestartNogoods=46 mapSize=1026 nbInferences=0 nbTooLargeKeys=0
6.05 => wckTime=4.423 cpuTime=4.33 mem=35M578
6.11
6.11 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=35M578)
8.11
8.11 search
8.11 run=10 nbConstraintChecks=4404809 nbValidityChecks=8854237 nbPropagations=138735 nbRevisions=1700980
8.11 nbUselessRevisions=1353104 nbAssignments=4078 nbFailedAssignments=2305 nbBacktracks=1715 nbVisitedNodes=7508
8.11 nbRestartNogoods=53
8.11 => wckTime=6.49 cpuTime=6.38 mem=35M578
12.13
12.13 search
12.13 run=11 nbConstraintChecks=7333102 nbValidityChecks=14659145 nbPropagations=214753 nbRevisions=2643576
12.13 nbUselessRevisions=2102894 nbAssignments=6354 nbFailedAssignments=3709 nbBacktracks=2580 nbVisitedNodes=11846
12.13 nbRestartNogoods=62
12.13 => wckTime=10.503 cpuTime=10.39 mem=35M578
17.84
17.84 search
17.84 run=12 nbConstraintChecks=11342576 nbValidityChecks=22976029 nbPropagations=335097 nbRevisions=4115145
17.84 nbUselessRevisions=3270991 nbAssignments=9849 nbFailedAssignments=5899 nbBacktracks=3878 nbVisitedNodes=18509
17.84 nbRestartNogoods=68
17.84 => wckTime=16.215 cpuTime=16.09 mem=35M578
24.06
24.06 search
24.06 run=13 nbConstraintChecks=15874518 nbValidityChecks=31829265 nbPropagations=503245 nbRevisions=6178638
24.06 nbUselessRevisions=4913867 nbAssignments=14146 nbFailedAssignments=8247 nbBacktracks=5824 nbVisitedNodes=26329
24.06 nbRestartNogoods=77
24.06 => wckTime=22.434 cpuTime=22.28 mem=35M578
35.13
35.13 search
35.13 run=14 nbConstraintChecks=23910024 nbValidityChecks=47426989 nbPropagations=751295 nbRevisions=9214158
35.13 nbUselessRevisions=7331363 nbAssignments=20899 nbFailedAssignments=12074 nbBacktracks=8744 nbVisitedNodes=38791
35.13 nbRestartNogoods=90
35.13 => wckTime=33.509 cpuTime=33.35 mem=35M578
50.43
50.43 search
50.43 run=15 nbConstraintChecks=34886852 nbValidityChecks=69559815 nbPropagations=1128330 nbRevisions=13806476
50.43 nbUselessRevisions=10983941 nbAssignments=31611 nbFailedAssignments=18401 nbBacktracks=13122
50.43 nbVisitedNodes=58809 nbRestartNogoods=107
50.43 => wckTime=48.809 cpuTime=48.64 mem=35M578
79.17
79.17 search
79.17 run=16 nbConstraintChecks=56199182 nbValidityChecks=111056861 nbPropagations=1709434 nbRevisions=20964081
79.17 nbUselessRevisions=16674799 nbAssignments=49656 nbFailedAssignments=29874 nbBacktracks=19691
79.17 nbVisitedNodes=93314 nbRestartNogoods=128
79.17 => wckTime=77.544 cpuTime=77.36 mem=35M578
116.58
116.58 search
116.58 run=17 nbConstraintChecks=83207057 nbValidityChecks=166022115 nbPropagations=2604257 nbRevisions=31935632
116.58 nbUselessRevisions=25405491 nbAssignments=75705 nbFailedAssignments=46063 nbBacktracks=29544
116.58 nbVisitedNodes=142647 nbRestartNogoods=133
116.58 => wckTime=114.957 cpuTime=114.76 mem=35M578
163.11
163.11 search
163.11 run=18 nbConstraintChecks=117064365 nbValidityChecks=233862452 nbPropagations=3870543 nbRevisions=47497811
163.11 nbUselessRevisions=37817692 nbAssignments=109742 nbFailedAssignments=65317 nbBacktracks=44322
163.11 nbVisitedNodes=204810 nbRestartNogoods=148
163.11 => wckTime=161.484 cpuTime=161.27 mem=35M578
256.17
256.17 search
256.17 run=19 nbConstraintChecks=184711275 nbValidityChecks=367430391 nbPropagations=5828411 nbRevisions=71578830
256.17 nbUselessRevisions=56947878 nbAssignments=166880 nbFailedAssignments=100282 nbBacktracks=66490
256.17 nbVisitedNodes=313337 nbRestartNogoods=162
256.17 => wckTime=254.546 cpuTime=254.31 mem=35M578
388.64
388.64 search
388.64 run=20 nbConstraintChecks=280335454 nbValidityChecks=560969886 nbPropagations=8856635 nbRevisions=108667122
388.64 nbUselessRevisions=86416867 nbAssignments=256073 nbFailedAssignments=156216 nbBacktracks=99742
388.64 nbVisitedNodes=482258 nbRestartNogoods=179
388.64 => wckTime=387.02 cpuTime=386.74 mem=35M578
546.38
546.38 search
546.38 run=21 nbConstraintChecks=395417053 nbValidityChecks=790778933 nbPropagations=13141163 nbRevisions=161373523
546.38 nbUselessRevisions=128410650 nbAssignments=373140 nbFailedAssignments=223400 nbBacktracks=149621
546.38 nbVisitedNodes=696167 nbRestartNogoods=204
546.38 => wckTime=544.756 cpuTime=544.41 mem=35M578
881.89
881.89 search
881.89 run=22 nbConstraintChecks=637216265 nbValidityChecks=1277544112 nbPropagations=20001699 nbRevisions=245254388
881.89 nbUselessRevisions=194963165 nbAssignments=583749 nbFailedAssignments=359184 nbBacktracks=224442
881.89 nbVisitedNodes=1100198 nbRestartNogoods=215
881.89 => wckTime=880.271 cpuTime=879.82 mem=35M578
1303.79
1303.79 search
1303.79 run=23 nbConstraintChecks=940559486 nbValidityChecks=1888862446 nbPropagations=30294508 nbRevisions=371043300
1303.79 nbUselessRevisions=294923819 nbAssignments=866781 nbFailedAssignments=529982 nbBacktracks=336669
1303.79 nbVisitedNodes=1630645 nbRestartNogoods=231
1303.79 => wckTime=1302.169 cpuTime=1301.56 mem=35M578
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-196313-1168070533 -o ROOT/results/node43/solver-196313-1168070533 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196313-1168070533/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.91 0.97 0.99 4/79 5119
/proc/meminfo: memFree=1713560/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=1784 CPUtime=0
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 194 0 0 0 0 0 0 0 19 0 1 0 155452497 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/5118/statm: 446 160 125 14 0 91 0
[startup+0.105747 s]
/proc/loadavg: 0.91 0.97 0.99 4/79 5119
/proc/meminfo: memFree=1713560/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=914988 CPUtime=0.08
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 3002 0 1 0 7 1 0 0 25 0 8 0 155452497 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517816 s]
/proc/loadavg: 0.91 0.97 0.99 4/79 5119
/proc/meminfo: memFree=1713560/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915328 CPUtime=0.49
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 7836 0 1 0 45 4 0 0 25 0 8 0 155452497 937295872 7575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228832 7576 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34196 s]
/proc/loadavg: 0.91 0.97 0.99 3/93 5133
/proc/meminfo: memFree=1579368/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1.32
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 19142 0 1 0 122 10 0 0 25 0 8 0 155452497 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 18879 2169 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.06
/proc/5118/task/5121/stat : 5121 (java) R 5116 5118 5001 0 -1 64 2653 0 0 0 6 0 0 0 16 0 8 0 155452501 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155134184 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.1
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 323 0 0 0 10 0 0 0 15 0 8 0 155452505 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 18879 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915420
[startup+2.98123 s]
/proc/loadavg: 1.16 1.02 1.01 3/93 5133
/proc/meminfo: memFree=1546728/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=2.95
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23550 0 1 0 283 12 0 0 25 0 8 0 155452497 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765646 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23285 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 17 0 8 0 155452501 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.2
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 373 0 0 0 19 1 0 0 15 0 8 0 155452505 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23285 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915420
[startup+6.18176 s]
/proc/loadavg: 1.16 1.02 1.01 3/93 5137
/proc/meminfo: memFree=1546536/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=6.14
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23568 0 1 0 602 12 0 0 25 0 8 0 155452497 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23300 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 17 0 8 0 155452501 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.22
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 388 0 0 0 21 1 0 0 16 0 8 0 155452505 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23300 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 915420
[startup+12.6598 s]
/proc/loadavg: 1.29 1.05 1.02 3/93 5141
/proc/meminfo: memFree=1546536/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=12.61
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23572 0 1 0 1249 12 0 0 25 0 8 0 155452497 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23303 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915420
[startup+25.522 s]
/proc/loadavg: 1.40 1.08 1.03 3/87 5165
/proc/meminfo: memFree=1547672/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=25.44
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23572 0 1 0 2532 12 0 0 25 0 8 0 155452497 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23303 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 392 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23303 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 915420
[startup+51.1362 s]
/proc/loadavg: 1.60 1.15 1.05 3/87 5165
/proc/meminfo: memFree=1547928/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=51.04
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 5091 13 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915420
[startup+102.365 s]
/proc/loadavg: 1.84 1.29 1.11 3/87 5165
/proc/meminfo: memFree=1548120/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=102.25
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 10212 13 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915420
[startup+162.438 s]
/proc/loadavg: 1.94 1.42 1.16 4/87 5165
/proc/meminfo: memFree=1548184/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=162.3
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 16217 13 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628067 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.45
Current children cumulated vsize (KiB) 915420
[startup+1484.1 s]
/proc/loadavg: 2.06 2.02 1.79 3/87 5167
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1483.51
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 148336 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.51
Current children cumulated vsize (KiB) 915420
[startup+1544.15 s]
/proc/loadavg: 2.02 2.02 1.80 3/87 5167
/proc/meminfo: memFree=1547872/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1543.54
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 154339 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.54
Current children cumulated vsize (KiB) 915420
[startup+1604.22 s]
/proc/loadavg: 2.00 2.01 1.81 3/87 5167
/proc/meminfo: memFree=1547872/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1603.59
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 160344 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632892 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.59
Current children cumulated vsize (KiB) 915420
[startup+1664.29 s]
/proc/loadavg: 2.00 2.01 1.82 3/87 5167
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1663.64
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 166349 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757577 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.64
Current children cumulated vsize (KiB) 915420
[startup+1724.37 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 5167
/proc/meminfo: memFree=1547744/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1723.69
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 172354 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.69
Current children cumulated vsize (KiB) 915420
[startup+1784.44 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 5167
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1783.74
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 178359 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632889 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.74
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.79 s]
/proc/loadavg: 2.07 2.02 1.84 3/87 5167
/proc/meminfo: memFree=1547808/2055920 swapFree=4192812/4192956
[pid=5118] ppid=5116 vsize=915420 CPUtime=1800.1
/proc/5118/stat : 5118 (java) R 5116 5118 5001 0 -1 0 23575 0 1 0 179995 15 0 0 25 0 8 0 155452497 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805782 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5118/statm: 228855 23305 2521 14 0 215325 0
[pid=5118/tid=5121] ppid=5116 vsize=915420 CPUtime=0.17
/proc/5118/task/5121/stat : 5121 (java) S 5116 5118 5001 0 -1 64 6585 0 0 0 16 1 0 0 16 0 8 0 155452501 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5124] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5124/stat : 5124 (java) S 5116 5118 5001 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5125] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5125/stat : 5125 (java) S 5116 5118 5001 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155452502 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5126] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5126/stat : 5126 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5128] ppid=5116 vsize=915420 CPUtime=0.23
/proc/5118/task/5128/stat : 5128 (java) S 5116 5118 5001 0 -1 64 394 0 0 0 22 1 0 0 16 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5118/tid=5130] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5130/stat : 5130 (java) S 5116 5118 5001 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5118/tid=5132] ppid=5116 vsize=915420 CPUtime=0
/proc/5118/task/5132/stat : 5132 (java) S 5116 5118 5001 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155452505 937390080 23305 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.86
CPU time (s): 1800.17
CPU user time (s): 1800
CPU system time (s): 0.174973
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23590
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= 37535
involuntary context switches= 41024
runsolver used 1.91771 s user time and 4.68629 s system time
The end
Begin job on node43 on Sat Jan 6 08:02:14 UTC 2007
IDJOB= 196313
IDBENCH= 3342
FILE ID= node43/196313-1168070533
PBS_JOBID= 3475945
Free space on /tmp= 66476 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196313-1168070533/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-196313-1168070533 -o ROOT/results/node43/solver-196313-1168070533 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196313-1168070533/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6ceca04ecab6e68184ad095ed245cbed
RANDOM SEED= 47996371
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.278
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.278
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: 1714784 kB
Buffers: 24716 kB
Cached: 227904 kB
SwapCached: 0 kB
Active: 62600 kB
Inactive: 210788 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1714784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 9436 kB
Writeback: 0 kB
Mapped: 31364 kB
Slab: 53164 kB
Committed_AS: 2812772 kB
PageTables: 1816 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= 66476 MiB
End job on node43 on Sat Jan 6 08:32:15 UTC 2007