0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/203671-1168163106/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=27 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.39 => wckTime=0.093 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.51
0.51 constraints being loaded...
0.63 nbConstraints=351 nbRelationTypes=351 nbExtensionStructures=351 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=351 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=996 maxDegree=26
0.63 maxArity=2
0.63 => wckTime=0.334 cpuTime=0.25 mem=15M762
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.527 cpuTime=0.38 mem=15M372
0.87
0.87 preprocessing
0.87 nbConstraintChecks=72184 nbPropagations=809 nbRevisions=8542 nbUselessRevisions=7566 nbSingletonTests=37
0.87 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.87 => wckTime=0.046 cpuTime=0.03 mem=15M372
0.90
0.90 search
0.90 run=0 nbConstraintChecks=46658 nbPropagations=1313 nbRevisions=17715 nbUselessRevisions=15618 nbAssignments=29
0.90 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.073 cpuTime=0.05 mem=15M372
0.91
0.91 search
0.91 run=1 nbConstraintChecks=106636 nbPropagations=3264 nbRevisions=47494 nbUselessRevisions=41790
0.91 nbAssignments=67 nbFailedAssignments=28 nbBacktracks=25 nbVisitedNodes=117 nbRestartNogoods=4 mapSize=25
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.09 cpuTime=0.06 mem=15M372
0.93
0.93 search
0.93 run=2 nbConstraintChecks=191276 nbPropagations=6091 nbRevisions=95432 nbUselessRevisions=83959
0.94 nbAssignments=119 nbFailedAssignments=52 nbBacktracks=48 nbVisitedNodes=209 nbRestartNogoods=6 mapSize=48
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.111 cpuTime=0.08 mem=15M372
0.96
0.96 search
0.96 run=3 nbConstraintChecks=322342 nbPropagations=10248 nbRevisions=171327 nbUselessRevisions=150713
0.96 nbAssignments=194 nbFailedAssignments=87 nbBacktracks=82 nbVisitedNodes=347 nbRestartNogoods=9 mapSize=82
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.14 cpuTime=0.11 mem=15M372
1.00
1.00 search
1.00 run=4 nbConstraintChecks=487993 nbPropagations=16069 nbRevisions=282126 nbUselessRevisions=247921
1.00 nbAssignments=301 nbFailedAssignments=137 nbBacktracks=133 nbVisitedNodes=543 nbRestartNogoods=16 mapSize=132
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.171 cpuTime=0.13 mem=15M372
1.04
1.04 search
1.04 run=5 nbConstraintChecks=724262 nbPropagations=24306 nbRevisions=444846 nbUselessRevisions=390676
1.04 nbAssignments=446 nbFailedAssignments=201 nbBacktracks=210 nbVisitedNodes=812 nbRestartNogoods=22 mapSize=209
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.218 cpuTime=0.18 mem=15M372
1.10
1.10 search
1.10 run=6 nbConstraintChecks=1047963 nbPropagations=36026 nbRevisions=682099 nbUselessRevisions=599041
1.10 nbAssignments=668 nbFailedAssignments=304 nbBacktracks=323 nbVisitedNodes=1223 nbRestartNogoods=24 mapSize=322
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.278 cpuTime=0.23 mem=15M372
1.19
1.19 search
1.19 run=7 nbConstraintChecks=1527736 nbPropagations=52700 nbRevisions=1027069 nbUselessRevisions=902082
1.19 nbAssignments=989 nbFailedAssignments=449 nbBacktracks=493 nbVisitedNodes=1809 nbRestartNogoods=27 mapSize=485
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.368 cpuTime=0.32 mem=15M372
1.33
1.33 search
1.33 run=8 nbConstraintChecks=2303136 nbPropagations=77244 nbRevisions=1545212 nbUselessRevisions=1357198
1.33 nbAssignments=1489 nbFailedAssignments=687 nbBacktracks=750 nbVisitedNodes=2734 nbRestartNogoods=34
1.33 mapSize=736 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.506 cpuTime=0.45 mem=15M372
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1028, nbTooLargekeys=0, mem=15M372)
1.53
1.53 search
1.53 run=9 nbConstraintChecks=3480817 nbPropagations=113419 nbRevisions=2322171 nbUselessRevisions=2039755
1.53 nbAssignments=2239 nbFailedAssignments=1046 nbBacktracks=1135 nbVisitedNodes=4117 nbRestartNogoods=40
1.53 => wckTime=0.701 cpuTime=0.63 mem=15M372
1.83
1.83 search
1.83 run=10 nbConstraintChecks=5117141 nbPropagations=166735 nbRevisions=3476489 nbUselessRevisions=3054779
1.83 nbAssignments=3353 nbFailedAssignments=1577 nbBacktracks=1711 nbVisitedNodes=6169 nbRestartNogoods=44
1.83 => wckTime=1.005 cpuTime=0.92 mem=15M372
2.34
2.34 search
2.34 run=11 nbConstraintChecks=7645125 nbPropagations=245836 nbRevisions=5199583 nbUselessRevisions=4569481
2.34 nbAssignments=5034 nbFailedAssignments=2388 nbBacktracks=2575 nbVisitedNodes=9275 nbRestartNogoods=50
2.34 => wckTime=1.52 cpuTime=1.43 mem=15M372
3.12
3.12 search
3.12 run=12 nbConstraintChecks=11568901 nbPropagations=363834 nbRevisions=7791339 nbUselessRevisions=6846680
3.12 nbAssignments=7503 nbFailedAssignments=3554 nbBacktracks=3873 nbVisitedNodes=13852 nbRestartNogoods=54
3.12 => wckTime=2.301 cpuTime=2.21 mem=15M372
4.28
4.28 search
4.28 run=13 nbConstraintChecks=17266112 nbPropagations=539923 nbRevisions=11678123 nbUselessRevisions=10263673
4.28 nbAssignments=11214 nbFailedAssignments=5313 nbBacktracks=5819 nbVisitedNodes=20735 nbRestartNogoods=64
4.28 => wckTime=3.458 cpuTime=3.36 mem=15M372
6.02
6.02 search
6.02 run=14 nbConstraintChecks=25757360 nbPropagations=802419 nbRevisions=17466727 nbUselessRevisions=15351323
6.02 nbAssignments=16770 nbFailedAssignments=7945 nbBacktracks=8738 nbVisitedNodes=31014 nbRestartNogoods=80
6.02 => wckTime=5.195 cpuTime=5.06 mem=15M372
8.69
8.69 search
8.69 run=15 nbConstraintChecks=39085275 nbPropagations=1197248 nbRevisions=26242574 nbUselessRevisions=23066067
8.69 nbAssignments=25185 nbFailedAssignments=11974 nbBacktracks=13117 nbVisitedNodes=46591 nbRestartNogoods=88
8.69 => wckTime=7.865 cpuTime=7.72 mem=15M372
12.62
12.62 search
12.62 run=16 nbConstraintChecks=58500862 nbPropagations=1786889 nbRevisions=39391625 nbUselessRevisions=34629935
12.62 nbAssignments=37643 nbFailedAssignments=17857 nbBacktracks=19686 nbVisitedNodes=69662 nbRestartNogoods=97
12.62 => wckTime=11.798 cpuTime=11.64 mem=15M372
18.75
18.75 search
18.75 run=17 nbConstraintChecks=89159264 nbPropagations=2677888 nbRevisions=59397556 nbUselessRevisions=52229514
18.75 nbAssignments=56614 nbFailedAssignments=26971 nbBacktracks=29538 nbVisitedNodes=104921 nbRestartNogoods=106
18.75 => wckTime=17.922 cpuTime=17.74 mem=15M372
27.70
27.70 search
27.70 run=18 nbConstraintChecks=134211120 nbPropagations=4013637 nbRevisions=89411379 nbUselessRevisions=78624989
27.70 nbAssignments=84897 nbFailedAssignments=40470 nbBacktracks=44316 nbVisitedNodes=157344 nbRestartNogoods=120
27.70 => wckTime=26.879 cpuTime=26.66 mem=15M372
41.22
41.22 search
41.22 run=19 nbConstraintChecks=201212050 nbPropagations=6018183 nbRevisions=134458845 nbUselessRevisions=118242831
41.22 nbAssignments=127402 nbFailedAssignments=60801 nbBacktracks=66484 nbVisitedNodes=236280 nbRestartNogoods=140
41.22 => wckTime=40.4 cpuTime=40.12 mem=15M372
61.49
61.49 search
61.49 run=20 nbConstraintChecks=301702791 nbPropagations=9025139 nbRevisions=201989710 nbUselessRevisions=177630563
61.49 nbAssignments=191219 nbFailedAssignments=91360 nbBacktracks=99736 nbVisitedNodes=354664 nbRestartNogoods=162
61.49 => wckTime=60.666 cpuTime=60.28 mem=15M372
91.55
91.55 search
91.55 run=21 nbConstraintChecks=449607287 nbPropagations=13516634 nbRevisions=302837023 nbUselessRevisions=266327010
91.55 nbAssignments=286167 nbFailedAssignments=136425 nbBacktracks=149614 nbVisitedNodes=530588 nbRestartNogoods=177
91.55 => wckTime=90.731 cpuTime=90.21 mem=15M372
138.08
138.08 search
138.08 run=22 nbConstraintChecks=682015226 nbPropagations=20284149 nbRevisions=455412832 nbUselessRevisions=400549201
138.08 nbAssignments=429984 nbFailedAssignments=205418 nbBacktracks=224432 nbVisitedNodes=797413 nbRestartNogoods=196
138.08 => wckTime=137.257 cpuTime=136.52 mem=15M372
206.49
206.49 search
206.49 run=23 nbConstraintChecks=1021595387 nbPropagations=30427310 nbRevisions=684243082 nbUselessRevisions=601888638
206.49 nbAssignments=644491 nbFailedAssignments=307691 nbBacktracks=336660 nbVisitedNodes=1195109 nbRestartNogoods=212
206.49 => wckTime=205.664 cpuTime=204.59 mem=15M372
308.72
308.72 search
308.72 run=24 nbConstraintChecks=1526076038 nbPropagations=45600581 nbRevisions=1026725705
308.72 nbUselessRevisions=903296137 nbAssignments=965399 nbFailedAssignments=460253 nbBacktracks=505001
308.72 nbVisitedNodes=1789720 nbRestartNogoods=227
308.72 => wckTime=307.897 cpuTime=306.34 mem=15M372
461.96
461.96 search
461.96 run=25 nbConstraintChecks=2282945502 nbPropagations=68315714 nbRevisions=1539026397
461.96 nbUselessRevisions=1354130309 nbAssignments=1446425 nbFailedAssignments=688761 nbBacktracks=757513
461.96 nbVisitedNodes=2680902 nbRestartNogoods=256
461.96 => wckTime=461.138 cpuTime=458.83 mem=15M372
696.53
696.53 search
696.53 run=26 nbConstraintChecks=3455475341 nbPropagations=102547460 nbRevisions=2312616230
696.53 nbUselessRevisions=2034897282 nbAssignments=2174611 nbFailedAssignments=1038174 nbBacktracks=1136280
696.53 nbVisitedNodes=4033154 nbRestartNogoods=281
696.53 => wckTime=695.708 cpuTime=692.31 mem=15M372
1046.95
1046.96 search
1046.96 run=27 nbConstraintChecks=5192796272 nbPropagations=153889718 nbRevisions=3474466599
1046.96 nbUselessRevisions=3057514925 nbAssignments=3259871 nbFailedAssignments=1555276 nbBacktracks=1704432
1046.96 nbVisitedNodes=6044058 nbRestartNogoods=299
1046.96 => wckTime=1046.132 cpuTime=1040.89 mem=15M372
1584.19
1584.19 search
1584.19 run=28 nbConstraintChecks=7888743219 nbPropagations=231414025 nbRevisions=5234229433
1584.19 nbUselessRevisions=4606520914 nbAssignments=4902958 nbFailedAssignments=2346131 nbBacktracks=2556658
1584.19 nbVisitedNodes=9096296 nbRestartNogoods=322
1584.19 => wckTime=1583.362 cpuTime=1575.55 mem=15M372
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-203671-1168163106 -o ROOT/results/node75/solver-203671-1168163106 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203671-1168163106/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: 2.01 2.03 1.85 3/82 18229
/proc/meminfo: memFree=1773208/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=18540 CPUtime=0
/proc/18228/stat : 18228 (runsolver) R 18226 18228 17946 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 164709945 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231882681639 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/18228/statm: 4635 279 244 17 0 2626 0
[startup+0.106785 s]
/proc/loadavg: 2.01 2.03 1.85 3/82 18229
/proc/meminfo: memFree=1773208/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=914988 CPUtime=0.08
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 3063 0 1 0 7 1 0 0 25 0 8 0 164709945 936947712 2809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153558366 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228747 2809 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514795 s]
/proc/loadavg: 2.01 2.03 1.85 3/82 18229
/proc/meminfo: memFree=1773208/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915328 CPUtime=0.49
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 7387 0 1 0 44 5 0 0 25 0 8 0 164709945 937295872 7126 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456067 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228832 7126 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33828 s]
/proc/loadavg: 2.01 2.03 1.85 3/89 18236
/proc/meminfo: memFree=1747040/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1.31
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9217 0 1 0 124 7 0 0 25 0 8 0 164709945 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8955 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.19
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 381 0 0 0 19 0 0 0 15 0 8 0 164709953 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8955 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97608 s]
/proc/loadavg: 2.01 2.03 1.85 3/89 18236
/proc/meminfo: memFree=1746976/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=2.94
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9228 0 1 0 287 7 0 0 25 0 8 0 164709945 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8965 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 17 0 8 0 164709949 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 391 0 0 0 21 1 0 0 15 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27347 s]
/proc/loadavg: 2.00 2.03 1.85 3/89 18236
/proc/meminfo: memFree=1746976/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=6.2
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9229 0 1 0 612 8 0 0 25 0 8 0 164709945 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798814 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8965 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915456
[startup+12.7432 s]
/proc/loadavg: 2.00 2.03 1.85 3/89 18236
/proc/meminfo: memFree=1746976/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=12.64
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9229 0 1 0 1256 8 0 0 25 0 8 0 164709945 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8965 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8965 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.6058 s]
/proc/loadavg: 2.00 2.03 1.85 3/89 18236
/proc/meminfo: memFree=1746976/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=25.45
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9230 0 1 0 2537 8 0 0 25 0 8 0 164709945 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8966 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 915456
[startup+51.2058 s]
/proc/loadavg: 2.00 2.03 1.85 3/89 18236
/proc/meminfo: memFree=1747040/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=50.91
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9231 0 1 0 5083 8 0 0 25 0 8 0 164709945 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816513 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8966 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 915456
[startup+102.5 s]
/proc/loadavg: 2.07 2.04 1.86 3/89 18236
/proc/meminfo: memFree=1737376/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=101.97
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9231 0 1 0 10189 8 0 0 25 0 8 0 164709945 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8966 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 164709953 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 915456
[startup+162.534 s]
/proc/loadavg: 2.02 2.03 1.87 3/89 18236
/proc/meminfo: memFree=1737376/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=161.73
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9231 0 1 0 16164 9 0 0 25 0 8 0 164709945 937426944 8966 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073793864 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.31
Current children cumulated vsize (KiB) 915456
[startup+1483.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 18434
/proc/meminfo: memFree=1685152/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1476.07
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 147585 22 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.07
Current children cumulated vsize (KiB) 915456
[startup+1543.34 s]
/proc/loadavg: 2.00 2.00 1.93 3/89 18434
/proc/meminfo: memFree=1685088/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1535.81
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 153558 23 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.81
Current children cumulated vsize (KiB) 915456
[startup+1603.37 s]
/proc/loadavg: 2.06 2.01 1.93 3/89 18434
/proc/meminfo: memFree=1685088/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1595.56
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 159533 23 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.56
Current children cumulated vsize (KiB) 915456
[startup+1663.4 s]
/proc/loadavg: 2.02 2.01 1.93 3/89 18434
/proc/meminfo: memFree=1685088/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1655.31
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 165508 23 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.31
Current children cumulated vsize (KiB) 915456
[startup+1723.44 s]
/proc/loadavg: 2.08 2.02 1.94 3/89 18434
/proc/meminfo: memFree=1685088/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1715.06
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 171482 24 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798466 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.06
Current children cumulated vsize (KiB) 915456
[startup+1783.48 s]
/proc/loadavg: 2.03 2.01 1.94 3/89 18434
/proc/meminfo: memFree=1685024/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1774.81
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 177457 24 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804153 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.81
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.87 s]
/proc/loadavg: 2.02 2.01 1.94 3/87 18492
/proc/meminfo: memFree=1778912/2055920 swapFree=4184496/4192956
[pid=18228] ppid=18226 vsize=915456 CPUtime=1800.08
/proc/18228/stat : 18228 (java) R 18226 18228 17946 0 -1 0 9232 0 1 0 179984 24 0 0 25 0 8 0 164709945 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794970 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/18228/statm: 228864 8967 2524 14 0 215334 0
[pid=18228/tid=18230] ppid=18226 vsize=915456 CPUtime=0.03
/proc/18228/task/18230/stat : 18230 (java) S 18226 18228 17946 0 -1 64 364 0 0 0 3 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18231] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18231/stat : 18231 (java) S 18226 18228 17946 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 164709949 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18232] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18232/stat : 18232 (java) S 18226 18228 17946 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 164709950 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18233] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18233/stat : 18233 (java) S 18226 18228 17946 0 -1 64 1 0 0 0 0 0 0 0 24 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18234] ppid=18226 vsize=915456 CPUtime=0.22
/proc/18228/task/18234/stat : 18234 (java) S 18226 18228 17946 0 -1 64 393 0 0 0 21 1 0 0 16 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18235] ppid=18226 vsize=915456 CPUtime=0
/proc/18228/task/18235/stat : 18235 (java) S 18226 18228 17946 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=18228/tid=18236] ppid=18226 vsize=915456 CPUtime=0.02
/proc/18228/task/18236/stat : 18236 (java) R 18226 18228 17946 0 -1 64 0 0 0 0 1 1 0 0 15 0 8 0 164709953 937426944 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.94
CPU time (s): 1800.16
CPU user time (s): 1799.9
CPU system time (s): 0.255961
CPU usage (%): 99.5146
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.9
system time used= 0.255961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9249
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= 37706
involuntary context switches= 86104
runsolver used 1.81372 s user time and 4.95925 s system time
The end
Begin job on node75 on Sun Jan 7 09:45:06 UTC 2007
IDJOB= 203671
IDBENCH= 3975
FILE ID= node75/203671-1168163106
PBS_JOBID= 3478607
Free space on /tmp= 66554 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-27/rand-27-27-351-163-57021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203671-1168163106/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-203671-1168163106 -o ROOT/results/node75/solver-203671-1168163106 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/203671-1168163106/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 283f3efbecc671b0217b329d861a8c2f
RANDOM SEED= 930443194
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1773688 kB
Buffers: 39704 kB
Cached: 95724 kB
SwapCached: 2680 kB
Active: 142576 kB
Inactive: 83744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1773688 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 5848 kB
Writeback: 0 kB
Mapped: 105872 kB
Slab: 40984 kB
Committed_AS: 4198352 kB
PageTables: 2044 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= 66556 MiB
End job on node75 on Sun Jan 7 10:15:15 UTC 2007