0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238012-1168352771/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.58 nbVariables=1764 nbDomainTypes=1 minDomainSize=42 maxDomainSize=42
0.58 => wckTime=0.267 cpuTime=0.17 mem=11M763
0.58
0.58 predicates being loaded...
0.58
0.58 constraints being loaded...
4.85 nbConstraints=36203 nbConvertedConstraints=36203 nbConvertConstraintsChecks=7056 nbExtensionStructures=4
4.85 nbSharedExtensionStructures=36199 nbConflictsStructures=4 nbSharedConflictsStructures=36199
4.85 nbSharedBinaryRepresentations=251 maxDegree=42 maxArity=2
4.85 => wckTime=4.536 cpuTime=3.91 mem=42M415
5.08
5.08 solver IterativeSystematicSolver being built...
5.38 => wckTime=5.068 cpuTime=4.14 mem=53M267
19.40
19.40 preprocessing
19.40 nbConstraintChecks=1300949 nbPropagations=45712 nbRevisions=47543 nbUselessRevisions=4735 nbSingletonTests=1925
19.40 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
19.40 => wckTime=13.998 cpuTime=13.88 mem=53M267
19.82
19.82 search
19.82 run=0 nbConstraintChecks=147366 nbPropagations=50144 nbRevisions=52037 nbUselessRevisions=4859
19.82 nbAssignments=139 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=160 nbRestartNogoods=0 mapSize=10
19.82 nbInferences=0 nbTooLargeKeys=0
19.82 => wckTime=14.432 cpuTime=14.3 mem=55M312
20.05
20.05 search
20.05 run=1 nbConstraintChecks=294900 nbPropagations=104774 nbRevisions=108555 nbUselessRevisions=9786
20.05 nbAssignments=284 nbFailedAssignments=22 nbBacktracks=25 nbVisitedNodes=329 nbRestartNogoods=4 mapSize=25
20.05 nbInferences=0 nbTooLargeKeys=0
20.05 => wckTime=14.661 cpuTime=14.53 mem=56M335
20.28
20.28 search
20.28 run=2 nbConstraintChecks=439556 nbPropagations=163904 nbRevisions=169616 nbUselessRevisions=14810
20.28 nbAssignments=445 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=530 nbRestartNogoods=7 mapSize=47
20.28 nbInferences=0 nbTooLargeKeys=0
20.28 => wckTime=14.896 cpuTime=14.76 mem=57M358
20.54
20.54 search
20.54 run=3 nbConstraintChecks=584564 nbPropagations=227616 nbRevisions=235302 nbUselessRevisions=19933
20.54 nbAssignments=625 nbFailedAssignments=69 nbBacktracks=80 nbVisitedNodes=765 nbRestartNogoods=12 mapSize=80
20.54 nbInferences=1 nbTooLargeKeys=0
20.54 => wckTime=15.15 cpuTime=15.01 mem=59M403
20.82
20.82 search
20.82 run=4 nbConstraintChecks=729970 nbPropagations=296044 nbRevisions=305742 nbUselessRevisions=25156
20.82 nbAssignments=835 nbFailedAssignments=106 nbBacktracks=131 nbVisitedNodes=1054 nbRestartNogoods=16 mapSize=131
20.82 nbInferences=6 nbTooLargeKeys=0
20.82 => wckTime=15.426 cpuTime=15.28 mem=60M426
21.13
21.13 search
21.13 run=5 nbConstraintChecks=876121 nbPropagations=369417 nbRevisions=381141 nbUselessRevisions=30479
21.13 nbAssignments=1093 nbFailedAssignments=155 nbBacktracks=206 nbVisitedNodes=1427 nbRestartNogoods=20
21.13 mapSize=206 nbInferences=23 nbTooLargeKeys=0
21.13 => wckTime=15.739 cpuTime=15.59 mem=62M472
21.50
21.51 search
21.51 run=6 nbConstraintChecks=1023138 nbPropagations=448055 nbRevisions=461810 nbUselessRevisions=35904
21.51 nbAssignments=1422 nbFailedAssignments=230 nbBacktracks=320 nbVisitedNodes=1928 nbRestartNogoods=22
21.51 mapSize=320 nbInferences=45 nbTooLargeKeys=0
21.51 => wckTime=16.116 cpuTime=15.96 mem=65M540
21.97
21.97 search
21.97 run=7 nbConstraintChecks=1171604 nbPropagations=532459 nbRevisions=548212 nbUselessRevisions=41434
21.97 nbAssignments=1860 nbFailedAssignments=337 nbBacktracks=490 nbVisitedNodes=2622 nbRestartNogoods=28
21.97 mapSize=490 nbInferences=87 nbTooLargeKeys=0
21.97 => wckTime=16.578 cpuTime=16.41 mem=69M631
22.55
22.55 search
22.55 run=8 nbConstraintChecks=1322159 nbPropagations=623411 nbRevisions=641051 nbUselessRevisions=47072
22.55 nbAssignments=2468 nbFailedAssignments=488 nbBacktracks=746 nbVisitedNodes=3615 nbRestartNogoods=36
22.55 mapSize=746 nbInferences=170 nbTooLargeKeys=0
22.55 => wckTime=17.164 cpuTime=17.0 mem=74M745
23.40
23.40 search
23.40 run=9 nbConstraintChecks=1476244 nbPropagations=722194 nbRevisions=741465 nbUselessRevisions=52820
23.40 nbAssignments=3345 nbFailedAssignments=706 nbBacktracks=1130 nbVisitedNodes=5084 nbRestartNogoods=43
23.40 mapSize=1130 nbInferences=326 nbTooLargeKeys=0
23.40 => wckTime=18.007 cpuTime=17.8 mem=51M4
24.56
24.56 search
24.56 run=10 nbConstraintChecks=1635550 nbPropagations=830808 nbRevisions=851169 nbUselessRevisions=58680
24.56 nbAssignments=4649 nbFailedAssignments=1016 nbBacktracks=1707 nbVisitedNodes=7309 nbRestartNogoods=48
24.56 mapSize=1707 nbInferences=627 nbTooLargeKeys=0
24.56 => wckTime=19.171 cpuTime=18.96 mem=64M207
26.37
26.37 search
26.37 run=11 nbConstraintChecks=1804928 nbPropagations=952774 nbRevisions=973227 nbUselessRevisions=64761
26.37 nbAssignments=6666 nbFailedAssignments=1432 nbBacktracks=2571 nbVisitedNodes=10778 nbRestartNogoods=51
26.37 mapSize=2570 nbInferences=1247 nbTooLargeKeys=0
26.37 => wckTime=20.978 cpuTime=20.75 mem=84M519
29.66
29.66 search
29.66 run=12 nbConstraintChecks=2280508 nbPropagations=1103259 nbRevisions=1121468 nbUselessRevisions=71256
29.66 nbAssignments=10165 nbFailedAssignments=1975 nbBacktracks=3868 nbVisitedNodes=16439 nbRestartNogoods=66
29.66 mapSize=3865 nbInferences=2557 nbTooLargeKeys=0
29.66 => wckTime=24.27 cpuTime=23.96 mem=98M623
34.58
34.58 search
34.58 run=13 nbConstraintChecks=2781595 nbPropagations=1291133 nbRevisions=1303005 nbUselessRevisions=78173
34.58 nbAssignments=15417 nbFailedAssignments=2739 nbBacktracks=5814 nbVisitedNodes=25180 nbRestartNogoods=77
34.58 mapSize=5809 nbInferences=4750 nbTooLargeKeys=0
34.58 => wckTime=29.191 cpuTime=28.8 mem=128M561
39.78
39.78 search
39.78 run=14 nbConstraintChecks=3289243 nbPropagations=1519991 nbRevisions=1522602 nbUselessRevisions=85407
39.78 nbAssignments=21780 nbFailedAssignments=4330 nbBacktracks=8733 nbVisitedNodes=36012 nbRestartNogoods=88
39.78 mapSize=8716 nbInferences=6272 nbTooLargeKeys=0
39.78 => wckTime=34.393 cpuTime=33.92 mem=156M393
49.80
49.80 search
49.80 run=15 nbConstraintChecks=3830335 nbPropagations=1814034 nbRevisions=1798298 nbUselessRevisions=92973
49.80 nbAssignments=32902 nbFailedAssignments=6120 nbBacktracks=13111 nbVisitedNodes=55176 nbRestartNogoods=98
49.80 mapSize=13087 nbInferences=10927 nbTooLargeKeys=0
49.80 => wckTime=44.408 cpuTime=43.73 mem=200M930
64.75
64.75 search
64.75 run=16 nbConstraintChecks=4874334 nbPropagations=2230803 nbRevisions=2178349 nbUselessRevisions=101965
64.75 nbAssignments=52080 nbFailedAssignments=8373 nbBacktracks=19679 nbVisitedNodes=88417 nbRestartNogoods=105
64.75 mapSize=19606 nbInferences=20805 nbTooLargeKeys=0
64.75 => wckTime=59.359 cpuTime=58.5 mem=282M3
92.39
92.39 search
92.39 run=17 nbConstraintChecks=6777803 nbPropagations=2853650 nbRevisions=2731533 nbUselessRevisions=112955
92.39 nbAssignments=83144 nbFailedAssignments=11219 nbBacktracks=29532 nbVisitedNodes=141340 nbRestartNogoods=122
92.39 mapSize=29419 nbInferences=37994 nbTooLargeKeys=0
92.39 => wckTime=87.006 cpuTime=85.74 mem=371M32
138.95
138.95 search
138.95 run=18 nbConstraintChecks=8981451 nbPropagations=3786967 nbRevisions=3539058 nbUselessRevisions=127901
138.95 nbAssignments=132474 nbFailedAssignments=14663 nbBacktracks=44310 nbVisitedNodes=226655 nbRestartNogoods=137
138.95 mapSize=44157 nbInferences=68018 nbTooLargeKeys=0
138.95 => wckTime=133.558 cpuTime=131.65 mem=583M729
143.95
143.95 INFO : Stopping hyperNogood (mapSize=46206, nbTooLargekeys=0, mem=602M369)
157.43
157.43 search
157.43 run=19 nbConstraintChecks=10439427 nbPropagations=4927046 nbRevisions=4561705 nbUselessRevisions=150549
157.43 nbAssignments=171653 nbFailedAssignments=28918 nbBacktracks=66478 nbVisitedNodes=295705 nbRestartNogoods=159
157.43 => wckTime=152.037 cpuTime=150.0 mem=602M369
180.07
180.07 search
180.07 run=20 nbConstraintChecks=11431979 nbPropagations=6326792 nbRevisions=5845266 nbUselessRevisions=174410
180.07 nbAssignments=227843 nbFailedAssignments=51699 nbBacktracks=99730 nbVisitedNodes=397456 nbRestartNogoods=169
180.07 => wckTime=174.679 cpuTime=172.53 mem=602M369
213.70
213.70 search
213.70 run=21 nbConstraintChecks=12814567 nbPropagations=8115013 nbRevisions=7518766 nbUselessRevisions=199815
213.70 nbAssignments=312359 nbFailedAssignments=86063 nbBacktracks=149610 nbVisitedNodes=550577 nbRestartNogoods=184
213.70 => wckTime=208.316 cpuTime=206.02 mem=602M369
263.48
263.48 search
263.48 run=22 nbConstraintChecks=15069756 nbPropagations=10488573 nbRevisions=9794429 nbUselessRevisions=241518
263.48 nbAssignments=439087 nbFailedAssignments=137775 nbBacktracks=224428 nbVisitedNodes=780715 nbRestartNogoods=202
263.48 => wckTime=258.092 cpuTime=255.56 mem=602M369
338.27
338.27 search
338.27 run=23 nbConstraintChecks=18001631 nbPropagations=13733276 nbRevisions=12950209 nbUselessRevisions=292104
338.27 nbAssignments=629543 nbFailedAssignments=215529 nbBacktracks=336656 nbVisitedNodes=1126399 nbRestartNogoods=224
338.27 => wckTime=332.886 cpuTime=330.0 mem=602M369
449.44
449.44 search
449.44 run=24 nbConstraintChecks=21738837 nbPropagations=18266062 nbRevisions=17394888 nbUselessRevisions=343799
449.44 nbAssignments=914871 nbFailedAssignments=332029 nbBacktracks=504998 nbVisitedNodes=1644431 nbRestartNogoods=244
449.44 => wckTime=444.056 cpuTime=440.65 mem=602M369
615.00
615.00 search
615.00 run=25 nbConstraintChecks=26875356 nbPropagations=24707632 nbRevisions=23751284 nbUselessRevisions=398426
615.00 nbAssignments=1340626 nbFailedAssignments=505078 nbBacktracks=757509 nbVisitedNodes=2416284
615.00 nbRestartNogoods=260
615.00 => wckTime=609.61 cpuTime=605.42 mem=602M369
864.56
864.56 search
864.56 run=26 nbConstraintChecks=34408668 nbPropagations=34022355 nbRevisions=32982373 nbUselessRevisions=454564
864.56 nbAssignments=1982268 nbFailedAssignments=767760 nbBacktracks=1136276 nbVisitedNodes=3583289
864.56 nbRestartNogoods=278
864.56 => wckTime=859.171 cpuTime=853.8 mem=602M369
1229.22
1229.22 search
1229.22 run=27 nbConstraintChecks=46149426 nbPropagations=47648142 nbRevisions=46535039 nbUselessRevisions=521206
1229.22 nbAssignments=2943024 nbFailedAssignments=1160017 nbBacktracks=1704427 nbVisitedNodes=5328446
1229.22 nbRestartNogoods=293
1229.22 => wckTime=1223.828 cpuTime=1216.74 mem=602M369
1775.20
1775.20 search
1775.20 run=28 nbConstraintChecks=63252723 nbPropagations=67737704 nbRevisions=66555394 nbUselessRevisions=592060
1775.20 nbAssignments=4385861 nbFailedAssignments=1749981 nbBacktracks=2556654 nbVisitedNodes=7950796
1775.20 nbRestartNogoods=309
1775.20 => wckTime=1769.809 cpuTime=1760.15 mem=602M369
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node35/watcher-238012-1168352771 -o ROOT/results/node35/solver-238012-1168352771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238012-1168352771/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.93 0.99 1.09 6/81 23150
/proc/meminfo: memFree=1859528/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=18540 CPUtime=0
/proc/23149/stat : 23149 (runsolver) R 23147 23149 22992 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 183670808 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 266134416679 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/23149/statm: 4635 279 244 17 0 2626 0
[startup+0.109506 s]
/proc/loadavg: 0.93 0.99 1.09 6/81 23150
/proc/meminfo: memFree=1859528/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=914988 CPUtime=0.09
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 3045 0 1 0 7 2 0 0 20 0 8 0 183670808 936947712 2791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154020915 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228747 2791 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517556 s]
/proc/loadavg: 0.93 0.99 1.09 6/81 23150
/proc/meminfo: memFree=1859528/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915328 CPUtime=0.5
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 6761 0 1 0 46 4 0 0 18 0 8 0 183670808 937295872 6500 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228832 6500 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33865 s]
/proc/loadavg: 0.93 0.99 1.09 3/88 23157
/proc/meminfo: memFree=1789200/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915644 CPUtime=1.31
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 18143 0 1 0 121 10 0 0 25 0 8 0 183670808 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073702488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228911 17881 2160 14 0 215381 0
[pid=23149/tid=23151] ppid=23147 vsize=915644 CPUtime=0.05
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 1603 0 0 0 5 0 0 0 17 0 8 0 183670812 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915644 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915644 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915644 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915644 CPUtime=0.15
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 406 0 0 0 15 0 0 0 16 0 8 0 183670816 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915644 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937619456 17881 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915644 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937619456 17881 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) 915644
[startup+2.97685 s]
/proc/loadavg: 1.09 1.02 1.10 4/88 23157
/proc/meminfo: memFree=1769552/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915648 CPUtime=2.95
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 21704 0 1 0 228 67 0 0 25 0 8 0 183670808 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228912 21440 2180 14 0 215382 0
[pid=23149/tid=23151] ppid=23147 vsize=915648 CPUtime=0.22
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 5079 0 0 0 21 1 0 0 16 0 8 0 183670812 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915648 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915648 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915648 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915648 CPUtime=0.19
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 429 0 0 0 19 0 0 0 16 0 8 0 183670816 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915648 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915648 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937623552 21440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915648
[startup+6.27624 s]
/proc/loadavg: 1.09 1.02 1.10 3/88 23157
/proc/meminfo: memFree=1734096/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=6.22
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 27706 0 1 0 459 163 0 0 25 0 8 0 183670808 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074180080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 27378 2544 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=0.63
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 10560 0 0 0 59 4 0 0 17 0 8 0 183670812 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.32
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 507 0 0 0 31 1 0 0 16 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 27378 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) 915868
[startup+12.753 s]
/proc/loadavg: 1.23 1.05 1.11 3/88 23157
/proc/meminfo: memFree=1717520/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=12.66
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 27706 0 1 0 1103 163 0 0 25 0 8 0 183670808 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074180072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 27378 2544 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=0.63
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 10560 0 0 0 59 4 0 0 16 0 8 0 183670812 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.32
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 507 0 0 0 31 1 0 0 16 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 27378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915868
[startup+25.6375 s]
/proc/loadavg: 1.43 1.10 1.13 3/88 23157
/proc/meminfo: memFree=1687312/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=25.49
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 30269 0 1 0 2383 166 0 0 25 0 8 0 183670808 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074230528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 29935 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=0.66
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 13089 0 0 0 61 5 0 0 16 0 8 0 183670812 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.38
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 535 0 0 0 37 1 0 0 16 0 8 0 183670816 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 29935 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 915868
[startup+51.2676 s]
/proc/loadavg: 1.62 1.17 1.15 3/88 23157
/proc/meminfo: memFree=1507728/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=50.99
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 67443 0 1 0 4916 183 0 0 25 0 8 0 183670808 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 67100 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=0.98
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 50251 0 0 0 77 21 0 0 16 0 8 0 183670812 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 538 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 67100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 915868
[startup+102.519 s]
/proc/loadavg: 1.83 1.30 1.19 3/88 23157
/proc/meminfo: memFree=1266384/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=102
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 117360 0 1 0 9996 204 0 0 25 0 8 0 183670808 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074198765 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 117006 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.45
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 100156 0 0 0 103 42 0 0 16 0 8 0 183670812 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 117006 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 915868
[startup+162.616 s]
/proc/loadavg: 2.02 1.44 1.24 3/88 23157
/proc/meminfo: memFree=1079568/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=161.81
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 15960 221 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.26
Current children cumulated vsize (KiB) 915868
[startup+1484.08 s]
/proc/loadavg: 2.04 2.01 1.81 3/88 23157
/proc/meminfo: memFree=849232/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1477.04
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 147482 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.04
Current children cumulated vsize (KiB) 915868
[startup+1544.15 s]
/proc/loadavg: 2.01 2.01 1.82 3/88 23157
/proc/meminfo: memFree=849232/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1536.83
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 153461 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074173009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1536.83
Current children cumulated vsize (KiB) 915868
[startup+1604.21 s]
/proc/loadavg: 2.00 2.00 1.82 3/88 23157
/proc/meminfo: memFree=849168/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1596.61
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 159439 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074150487 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1596.61
Current children cumulated vsize (KiB) 915868
[startup+1664.28 s]
/proc/loadavg: 2.00 2.00 1.83 3/88 23157
/proc/meminfo: memFree=849168/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1656.39
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 165417 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1656.39
Current children cumulated vsize (KiB) 915868
[startup+1724.34 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 23157
/proc/meminfo: memFree=849104/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1716.17
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 171395 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1716.17
Current children cumulated vsize (KiB) 915868
[startup+1784.42 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 23157
/proc/meminfo: memFree=849104/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1775.96
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 177374 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074151230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.96
Current children cumulated vsize (KiB) 915868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.59 s]
/proc/loadavg: 2.00 2.00 1.84 3/88 23157
/proc/meminfo: memFree=849104/2055920 swapFree=4184712/4192956
[pid=23149] ppid=23147 vsize=915868 CPUtime=1800.03
/proc/23149/stat : 23149 (java) R 23147 23149 22992 0 -1 0 154484 0 1 0 179781 222 0 0 25 0 8 0 183670808 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074211451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23149/statm: 228967 154119 2545 14 0 215437 0
[pid=23149/tid=23151] ppid=23147 vsize=915868 CPUtime=1.81
/proc/23149/task/23151/stat : 23151 (java) S 23147 23149 22992 0 -1 64 137269 0 0 0 122 59 0 0 16 0 8 0 183670812 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23152] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23152/stat : 23152 (java) S 23147 23149 22992 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23153] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23153/stat : 23153 (java) S 23147 23149 22992 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183670813 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23154] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23154/stat : 23154 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23155] ppid=23147 vsize=915868 CPUtime=0.39
/proc/23149/task/23155/stat : 23155 (java) S 23147 23149 22992 0 -1 64 539 0 0 0 38 1 0 0 16 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23156] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23156/stat : 23156 (java) S 23147 23149 22992 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23149/tid=23157] ppid=23147 vsize=915868 CPUtime=0
/proc/23149/task/23157/stat : 23157 (java) S 23147 23149 22992 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183670816 937848832 154119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 915868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.71
CPU time (s): 1800.15
CPU user time (s): 1797.83
CPU system time (s): 2.31865
CPU usage (%): 99.5263
Max. virtual memory (cumulated for all children) (KiB): 916004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.83
system time used= 2.31865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154501
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= 38489
involuntary context switches= 81893
runsolver used 1.9557 s user time and 6.06108 s system time
The end
Begin job on node35 on Tue Jan 9 14:26:12 UTC 2007
IDJOB= 238012
IDBENCH= 6977
FILE ID= node35/238012-1168352771
PBS_JOBID= 3503877
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_42.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238012-1168352771/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node35/watcher-238012-1168352771 -o ROOT/results/node35/solver-238012-1168352771 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/238012-1168352771/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6036b9950a5c57b90aa6f46757fe5390
RANDOM SEED= 925133683
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.234
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.234
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: 1861352 kB
Buffers: 15164 kB
Cached: 103332 kB
SwapCached: 1864 kB
Active: 95676 kB
Inactive: 43512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1861352 kB
SwapTotal: 4192956 kB
SwapFree: 4184712 kB
Dirty: 10920 kB
Writeback: 0 kB
Mapped: 35352 kB
Slab: 40748 kB
Committed_AS: 4083128 kB
PageTables: 1876 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= 66553 MiB
End job on node35 on Tue Jan 9 14:56:20 UTC 2007