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/203249-1168073025/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.55
1.55 constraints being loaded...
2.30 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.30 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.30 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.30 => wckTime=1.985 cpuTime=1.59 mem=56M979
2.45
2.45 solver IterativeSystematicSolver being built...
2.62 => wckTime=2.304 cpuTime=1.73 mem=64M890
2.62
2.62 preprocessing
2.62 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.62 detectedInconsistency=no
2.62 => wckTime=0.0040 cpuTime=0.01 mem=64M890
2.77
2.77 search
2.77 run=0 nbConstraintChecks=47836 nbValidityChecks=86698 nbPropagations=408 nbRevisions=4653
2.77 nbUselessRevisions=3745 nbAssignments=30 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=52
2.77 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=0.153 cpuTime=0.12 mem=65M891
2.91
2.91 search
2.91 run=1 nbConstraintChecks=119793 nbValidityChecks=225840 nbPropagations=1398 nbRevisions=16373
2.91 nbUselessRevisions=13142 nbAssignments=80 nbFailedAssignments=42 nbBacktracks=25 nbVisitedNodes=141
2.91 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.29 cpuTime=0.25 mem=65M891
3.06
3.06 search
3.06 run=2 nbConstraintChecks=201551 nbValidityChecks=376003 nbPropagations=2974 nbRevisions=35633
3.06 nbUselessRevisions=28582 nbAssignments=129 nbFailedAssignments=64 nbBacktracks=47 nbVisitedNodes=221
3.06 nbRestartNogoods=7 mapSize=38 nbInferences=0 nbTooLargeKeys=0
3.06 => wckTime=0.443 cpuTime=0.39 mem=65M891
3.30
3.30 search
3.30 run=3 nbConstraintChecks=339234 nbValidityChecks=634590 nbPropagations=5510 nbRevisions=67826
3.30 nbUselessRevisions=54367 nbAssignments=201 nbFailedAssignments=99 nbBacktracks=80 nbVisitedNodes=348
3.30 nbRestartNogoods=11 mapSize=66 nbInferences=0 nbTooLargeKeys=0
3.30 => wckTime=0.677 cpuTime=0.62 mem=65M891
3.78
3.78 search
3.78 run=4 nbConstraintChecks=628461 nbValidityChecks=1198907 nbPropagations=10197 nbRevisions=131097
3.78 nbUselessRevisions=105238 nbAssignments=380 nbFailedAssignments=221 nbBacktracks=130 nbVisitedNodes=685
3.78 nbRestartNogoods=15 mapSize=110 nbInferences=0 nbTooLargeKeys=0
3.78 => wckTime=1.154 cpuTime=1.09 mem=65M891
4.19
4.19 search
4.19 run=5 nbConstraintChecks=865765 nbValidityChecks=1684085 nbPropagations=17197 nbRevisions=223262
4.19 nbUselessRevisions=179354 nbAssignments=550 nbFailedAssignments=310 nbBacktracks=205 nbVisitedNodes=989
4.19 nbRestartNogoods=24 mapSize=177 nbInferences=0 nbTooLargeKeys=0
4.19 => wckTime=1.566 cpuTime=1.5 mem=65M891
5.17
5.17 search
5.17 run=6 nbConstraintChecks=1478387 nbValidityChecks=2826403 nbPropagations=28289 nbRevisions=370122
5.17 nbUselessRevisions=296779 nbAssignments=858 nbFailedAssignments=499 nbBacktracks=319 nbVisitedNodes=1571
5.17 nbRestartNogoods=29 mapSize=286 nbInferences=0 nbTooLargeKeys=0
5.17 => wckTime=2.547 cpuTime=2.47 mem=65M891
5.96
5.96 search
5.96 run=7 nbConstraintChecks=1941807 nbValidityChecks=3807307 nbPropagations=44077 nbRevisions=578144
5.96 nbUselessRevisions=463997 nbAssignments=1230 nbFailedAssignments=696 nbBacktracks=489 nbVisitedNodes=2252
5.96 nbRestartNogoods=34 mapSize=442 nbInferences=0 nbTooLargeKeys=0
5.96 => wckTime=3.34 cpuTime=3.25 mem=65M891
8.03
8.03 search
8.03 run=8 nbConstraintChecks=3302706 nbValidityChecks=6296983 nbPropagations=69477 nbRevisions=921962
8.03 nbUselessRevisions=740070 nbAssignments=2065 nbFailedAssignments=1269 nbBacktracks=745 nbVisitedNodes=3853
8.03 nbRestartNogoods=40 mapSize=682 nbInferences=0 nbTooLargeKeys=0
8.03 => wckTime=5.406 cpuTime=5.29 mem=65M891
9.97
9.97 search
9.97 run=9 nbConstraintChecks=4474289 nbValidityChecks=8697438 nbPropagations=105828 nbRevisions=1405080
9.97 nbUselessRevisions=1128355 nbAssignments=2874 nbFailedAssignments=1689 nbBacktracks=1129 nbVisitedNodes=5303
9.97 nbRestartNogoods=56 mapSize=1018 nbInferences=0 nbTooLargeKeys=0
9.97 => wckTime=7.352 cpuTime=7.22 mem=65M891
10.08
10.08 INFO : Stopping hyperNogood (mapSize=1033, nbTooLargekeys=0, mem=65M891)
13.05
13.05 search
13.05 run=10 nbConstraintChecks=6330759 nbValidityChecks=12521829 nbPropagations=159306 nbRevisions=2105373
13.05 nbUselessRevisions=1691353 nbAssignments=4117 nbFailedAssignments=2348 nbBacktracks=1705 nbVisitedNodes=7559
13.05 nbRestartNogoods=66
13.05 => wckTime=10.426 cpuTime=10.27 mem=65M891
21.44
21.44 search
21.44 run=11 nbConstraintChecks=11706701 nbValidityChecks=22765332 nbPropagations=249978 nbRevisions=3306496
21.44 nbUselessRevisions=2650007 nbAssignments=6799 nbFailedAssignments=4159 nbBacktracks=2569 nbVisitedNodes=12706
21.44 nbRestartNogoods=72
21.44 => wckTime=18.817 cpuTime=18.62 mem=65M891
34.08
34.08 search
34.08 run=12 nbConstraintChecks=19769165 nbValidityChecks=39468574 nbPropagations=401282 nbRevisions=5394353
34.08 nbUselessRevisions=4332221 nbAssignments=12275 nbFailedAssignments=8332 nbBacktracks=3866 nbVisitedNodes=23406
34.08 nbRestartNogoods=85
34.08 => wckTime=31.463 cpuTime=31.2 mem=65M891
45.72
45.72 search
45.72 run=13 nbConstraintChecks=27450285 nbValidityChecks=54783067 nbPropagations=623318 nbRevisions=8425303
45.72 nbUselessRevisions=6767196 nbAssignments=17540 nbFailedAssignments=11644 nbBacktracks=5813 nbVisitedNodes=33472
45.72 nbRestartNogoods=97
45.72 => wckTime=43.104 cpuTime=42.81 mem=65M891
59.18
59.18 search
59.18 run=14 nbConstraintChecks=35949793 nbValidityChecks=72367804 nbPropagations=927815 nbRevisions=12486491
59.18 nbUselessRevisions=10025887 nbAssignments=23782 nbFailedAssignments=14961 nbBacktracks=8733
59.18 nbVisitedNodes=44804 nbRestartNogoods=113
59.18 => wckTime=56.557 cpuTime=56.23 mem=65M891
94.43
94.43 search
94.43 run=15 nbConstraintChecks=59799640 nbValidityChecks=119322579 nbPropagations=1415818 nbRevisions=19084661
94.43 nbUselessRevisions=15324956 nbAssignments=38084 nbFailedAssignments=24878 nbBacktracks=13111
94.43 nbVisitedNodes=72510 nbRestartNogoods=127
94.43 => wckTime=91.811 cpuTime=91.47 mem=65M891
123.76
123.76 search
123.76 run=16 nbConstraintChecks=78741551 nbValidityChecks=158702270 nbPropagations=2087682 nbRevisions=28022235
123.76 nbUselessRevisions=22505204 nbAssignments=52199 nbFailedAssignments=32416 nbBacktracks=19681
123.76 nbVisitedNodes=98179 nbRestartNogoods=143
123.76 => wckTime=121.141 cpuTime=120.79 mem=65M891
191.12
191.12 search
191.12 run=17 nbConstraintChecks=124265235 nbValidityChecks=245434060 nbPropagations=3090221 nbRevisions=41346072
191.12 nbUselessRevisions=33192031 nbAssignments=76357 nbFailedAssignments=46716 nbBacktracks=29533
191.12 nbVisitedNodes=143067 nbRestartNogoods=158
191.12 => wckTime=188.497 cpuTime=188.13 mem=65M891
273.07
273.07 search
273.07 run=18 nbConstraintChecks=177424695 nbValidityChecks=354046788 nbPropagations=4576005 nbRevisions=60730185
273.07 nbUselessRevisions=48720153 nbAssignments=112244 nbFailedAssignments=67819 nbBacktracks=44314
273.07 nbVisitedNodes=209847 nbRestartNogoods=176
273.07 => wckTime=270.45 cpuTime=270.06 mem=65M891
411.38
411.38 search
411.38 run=19 nbConstraintChecks=268130070 nbValidityChecks=538577967 nbPropagations=6884110 nbRevisions=90482092
411.38 nbUselessRevisions=72491141 nbAssignments=171093 nbFailedAssignments=104494 nbBacktracks=66482
411.38 nbVisitedNodes=321105 nbRestartNogoods=199
411.38 => wckTime=408.764 cpuTime=408.34 mem=65M891
635.70
635.70 search
635.70 run=20 nbConstraintChecks=419135608 nbValidityChecks=832550045 nbPropagations=10337832 nbRevisions=135515623
635.70 nbUselessRevisions=108505946 nbAssignments=256581 nbFailedAssignments=156724 nbBacktracks=99734
635.70 nbVisitedNodes=481201 nbRestartNogoods=229
635.70 => wckTime=633.081 cpuTime=632.59 mem=65M891
930.97
930.97 search
930.97 run=21 nbConstraintChecks=612619565 nbValidityChecks=1224650465 nbPropagations=15445290 nbRevisions=202204474
930.97 nbUselessRevisions=161870676 nbAssignments=384012 nbFailedAssignments=234271 nbBacktracks=149613
930.97 nbVisitedNodes=719482 nbRestartNogoods=252
930.97 => wckTime=928.346 cpuTime=927.76 mem=65M891
1406.57
1406.57 search
1406.57 run=22 nbConstraintChecks=939807883 nbValidityChecks=1873280632 nbPropagations=23290518 nbRevisions=305787069
1406.57 nbUselessRevisions=244753869 nbAssignments=608860 nbFailedAssignments=384295 nbBacktracks=224432
1406.57 nbVisitedNodes=1148645 nbRestartNogoods=285
1406.57 => wckTime=1403.95 cpuTime=1403.24 mem=65M891
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-203249-1168073025 -o ROOT/results/node26/solver-203249-1168073025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203249-1168073025/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: 1.92 1.99 1.83 4/93 19257
/proc/meminfo: memFree=1093256/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=11868 CPUtime=0
/proc/19256/stat : 19256 (java) D 19254 19256 19024 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155696806 12152832 515 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 12591908 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/19256/statm: 2967 515 425 14 0 1602 0
[startup+0.103545 s]
/proc/loadavg: 1.92 1.99 1.83 4/93 19257
/proc/meminfo: memFree=1093256/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=914988 CPUtime=0.08
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 2995 0 1 0 7 1 0 0 19 0 8 0 155696806 936947712 2741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511585 s]
/proc/loadavg: 1.92 1.99 1.83 4/93 19257
/proc/meminfo: memFree=1093256/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915328 CPUtime=0.49
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 7659 0 1 0 45 4 0 0 18 0 8 0 155696806 937295872 7398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228832 7398 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33466 s]
/proc/loadavg: 2.01 2.01 1.84 3/100 19264
/proc/meminfo: memFree=1025872/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915328 CPUtime=1.31
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 19100 0 1 0 122 9 0 0 25 0 8 0 155696806 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228832 18838 2149 14 0 215302 0
[pid=19256/tid=19258] ppid=19254 vsize=915328 CPUtime=0.05
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 2680 0 0 0 5 0 0 0 17 0 8 0 155696810 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915328 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915328 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915328 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915328 CPUtime=0.09
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 309 0 0 0 8 1 0 0 16 0 8 0 155696814 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915328 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915328 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.98882 s]
/proc/loadavg: 2.01 2.01 1.84 3/100 19264
/proc/meminfo: memFree=985104/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=2.96
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32428 0 1 0 280 16 0 0 25 0 8 0 155696806 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228860 32162 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.22
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 375 0 0 0 20 2 0 0 15 0 8 0 155696814 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32162 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915440
[startup+6.27113 s]
/proc/loadavg: 2.01 2.01 1.84 4/100 19264
/proc/meminfo: memFree=973904/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=6.22
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32441 0 1 0 606 16 0 0 25 0 8 0 155696806 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629901 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228860 32173 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 17 0 8 0 155696810 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.24
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 386 0 0 0 22 2 0 0 15 0 8 0 155696814 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32173 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7667 s]
/proc/loadavg: 2.00 2.01 1.84 3/100 19264
/proc/meminfo: memFree=974032/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=12.68
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32458 0 1 0 1252 16 0 0 25 0 8 0 155696806 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228860 32186 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.27
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 402 0 0 0 25 2 0 0 16 0 8 0 155696814 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32186 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915440
[startup+25.6169 s]
/proc/loadavg: 2.00 2.01 1.84 4/100 19264
/proc/meminfo: memFree=974224/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=25.47
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32459 0 1 0 2531 16 0 0 25 0 8 0 155696806 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861142 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19256/statm: 228860 32187 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.27
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 403 0 0 0 25 2 0 0 16 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915440
[startup+51.2323 s]
/proc/loadavg: 2.08 2.02 1.85 2/88 19389
/proc/meminfo: memFree=1231384/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=51.01
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32459 0 1 0 5083 18 0 0 25 0 8 0 155696806 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32187 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.27
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 403 0 0 0 25 2 0 0 16 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915440
[startup+102.52 s]
/proc/loadavg: 1.43 1.85 1.80 2/85 19448
/proc/meminfo: memFree=1237376/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=102.25
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32460 0 1 0 10206 19 0 0 25 0 8 0 155696806 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32187 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 403 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 915440
[startup+162.542 s]
/proc/loadavg: 1.16 1.69 1.75 2/85 19448
/proc/meminfo: memFree=1237440/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=162.25
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32460 0 1 0 16206 19 0 0 25 0 8 0 155696806 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.45
Current children cumulated vsize (KiB) 915440
[startup+1483.12 s]
/proc/loadavg: 1.00 1.00 1.16 2/85 19646
/proc/meminfo: memFree=1237256/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1482.46
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 148208 38 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073948543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.46
Current children cumulated vsize (KiB) 915440
[startup+1543.15 s]
/proc/loadavg: 1.00 1.00 1.14 2/85 19646
/proc/meminfo: memFree=1237384/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1542.46
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 154208 38 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073821002 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.46
Current children cumulated vsize (KiB) 915440
[startup+1603.17 s]
/proc/loadavg: 1.00 1.00 1.13 2/85 19646
/proc/meminfo: memFree=1237384/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1602.46
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 160208 38 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.46
Current children cumulated vsize (KiB) 915440
[startup+1663.19 s]
/proc/loadavg: 1.00 1.00 1.12 2/85 19646
/proc/meminfo: memFree=1237384/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1662.47
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 166209 38 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805166 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) R 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.47
Current children cumulated vsize (KiB) 915440
[startup+1723.21 s]
/proc/loadavg: 1.00 1.00 1.11 2/85 19646
/proc/meminfo: memFree=1237384/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1722.47
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 172209 38 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.47
Current children cumulated vsize (KiB) 915440
[startup+1783.23 s]
/proc/loadavg: 1.00 1.00 1.10 2/85 19646
/proc/meminfo: memFree=1237320/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1782.48
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 178209 39 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073861129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.48
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.09 3/85 19646
/proc/meminfo: memFree=1237320/2055920 swapFree=4192812/4192956
[pid=19256] ppid=19254 vsize=915440 CPUtime=1800.05
/proc/19256/stat : 19256 (java) R 19254 19256 19024 0 -1 0 32461 0 1 0 179966 39 0 0 25 0 8 0 155696806 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820501 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19256/statm: 228860 32188 2521 14 0 215330 0
[pid=19256/tid=19258] ppid=19254 vsize=915440 CPUtime=0.42
/proc/19256/task/19258/stat : 19258 (java) S 19254 19256 19024 0 -1 64 15452 0 0 0 37 5 0 0 16 0 8 0 155696810 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19259] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19259/stat : 19259 (java) S 19254 19256 19024 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19260] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19260/stat : 19260 (java) S 19254 19256 19024 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155696811 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19261] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19261/stat : 19261 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19262] ppid=19254 vsize=915440 CPUtime=0.28
/proc/19256/task/19262/stat : 19262 (java) S 19254 19256 19024 0 -1 64 404 0 0 0 26 2 0 0 16 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19263] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19263/stat : 19263 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19256/tid=19264] ppid=19254 vsize=915440 CPUtime=0
/proc/19256/task/19264/stat : 19264 (java) S 19254 19256 19024 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155696814 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.88
CPU time (s): 1800.13
CPU user time (s): 1799.72
CPU system time (s): 0.411937
CPU usage (%): 99.9583
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.411937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32477
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= 37669
involuntary context switches= 22641
runsolver used 1.61775 s user time and 4.90225 s system time
The end
Begin job on node26 on Sat Jan 6 08:43:45 UTC 2007
IDJOB= 203249
IDBENCH= 3941
FILE ID= node26/203249-1168073025
PBS_JOBID= 3475953
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203249-1168073025/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-203249-1168073025 -o ROOT/results/node26/solver-203249-1168073025 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203249-1168073025/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5ecaec08d08919111e7f4ff1a48bc68
RANDOM SEED= 729741403
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.236
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.236
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: 1093736 kB
Buffers: 41884 kB
Cached: 523876 kB
SwapCached: 0 kB
Active: 378840 kB
Inactive: 507424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1093736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7496 kB
Writeback: 0 kB
Mapped: 349524 kB
Slab: 60244 kB
Committed_AS: 3533252 kB
PageTables: 2808 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= 66532 MiB
End job on node26 on Sat Jan 6 09:13:47 UTC 2007