0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/238173-1168083396/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.54 nbVariables=1521 nbDomainTypes=1 minDomainSize=39 maxDomainSize=39
0.54 => wckTime=0.243 cpuTime=0.17 mem=10M787
0.54
0.54 predicates being loaded...
0.54
0.54 constraints being loaded...
3.78 nbConstraints=28937 nbConvertedConstraints=28937 nbConvertConstraintsChecks=6084 nbExtensionStructures=4
3.78 nbSharedExtensionStructures=28933 nbConflictsStructures=4 nbSharedConflictsStructures=28933
3.78 nbSharedBinaryRepresentations=233 maxDegree=39 maxArity=2
3.78 => wckTime=3.489 cpuTime=3.0 mem=42M318
3.98
3.98 solver IterativeSystematicSolver being built...
4.25 => wckTime=3.958 cpuTime=3.22 mem=44M726
4.43
4.43 preprocessing
4.43 nbConstraintChecks=0 nbPropagations=1521 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.43 detectedInconsistency=no
4.43 => wckTime=0.165 cpuTime=0.16 mem=44M726
4.78
4.78 search
4.78 run=0 nbConstraintChecks=115116 nbPropagations=5312 nbRevisions=3818 nbUselessRevisions=82 nbAssignments=129
4.78 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=150 nbRestartNogoods=0 mapSize=10 nbInferences=0
4.79 nbTooLargeKeys=0
4.79 => wckTime=0.525 cpuTime=0.49 mem=45M727
4.97
4.97 search
4.97 run=1 nbConstraintChecks=230581 nbPropagations=14459 nbRevisions=11508 nbUselessRevisions=253
4.97 nbAssignments=268 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=317 nbRestartNogoods=4 mapSize=25
4.97 nbInferences=0 nbTooLargeKeys=0
4.97 => wckTime=0.711 cpuTime=0.67 mem=46M729
5.17
5.17 search
5.17 run=2 nbConstraintChecks=346283 nbPropagations=27506 nbRevisions=23143 nbUselessRevisions=517
5.17 nbAssignments=420 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=509 nbRestartNogoods=7 mapSize=47
5.17 nbInferences=0 nbTooLargeKeys=0
5.17 => wckTime=0.907 cpuTime=0.86 mem=47M731
5.37
5.37 search
5.37 run=3 nbConstraintChecks=462326 nbPropagations=44535 nbRevisions=38806 nbUselessRevisions=877
5.37 nbAssignments=591 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=735 nbRestartNogoods=12 mapSize=80
5.37 nbInferences=1 nbTooLargeKeys=0
5.37 => wckTime=1.114 cpuTime=1.07 mem=48M732
5.60
5.60 search
5.60 run=4 nbConstraintChecks=578760 nbPropagations=65680 nbRevisions=58625 nbUselessRevisions=1333
5.60 nbAssignments=792 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=1015 nbRestartNogoods=16 mapSize=131
5.60 nbInferences=6 nbTooLargeKeys=0
5.60 => wckTime=1.345 cpuTime=1.29 mem=49M734
5.88
5.88 search
5.88 run=5 nbConstraintChecks=695927 nbPropagations=91170 nbRevisions=82805 nbUselessRevisions=1885
5.88 nbAssignments=1042 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=1380 nbRestartNogoods=20
5.88 mapSize=206 nbInferences=23 nbTooLargeKeys=0
5.88 => wckTime=1.618 cpuTime=1.56 mem=51M737
6.20
6.20 search
6.20 run=6 nbConstraintChecks=813975 nbPropagations=121309 nbRevisions=111642 nbUselessRevisions=2537
6.20 nbAssignments=1359 nbFailedAssignments=230 nbBacktracks=321 nbVisitedNodes=1865 nbRestartNogoods=22
6.20 mapSize=317 nbInferences=45 nbTooLargeKeys=0
6.20 => wckTime=1.942 cpuTime=1.87 mem=53M741
6.61
6.61 search
6.61 run=7 nbConstraintChecks=933318 nbPropagations=156587 nbRevisions=145589 nbUselessRevisions=3291
6.61 nbAssignments=1784 nbFailedAssignments=335 nbBacktracks=491 nbVisitedNodes=2542 nbRestartNogoods=28
6.61 mapSize=485 nbInferences=87 nbTooLargeKeys=0
6.61 => wckTime=2.354 cpuTime=2.27 mem=56M746
7.15
7.15 search
7.15 run=8 nbConstraintChecks=1054861 nbPropagations=197813 nbRevisions=185377 nbUselessRevisions=4151
7.15 nbAssignments=2382 nbFailedAssignments=486 nbBacktracks=747 nbVisitedNodes=3525 nbRestartNogoods=34
7.15 mapSize=741 nbInferences=170 nbTooLargeKeys=0
7.15 => wckTime=2.887 cpuTime=2.8 mem=60M753
7.88
7.88 search
7.88 run=9 nbConstraintChecks=1179922 nbPropagations=246270 nbRevisions=232144 nbUselessRevisions=5119
7.88 nbAssignments=3249 nbFailedAssignments=704 nbBacktracks=1131 nbVisitedNodes=4984 nbRestartNogoods=41
7.88 mapSize=1125 nbInferences=326 nbTooLargeKeys=0
7.88 => wckTime=3.621 cpuTime=3.52 mem=65M761
8.98
8.98 search
8.98 run=10 nbConstraintChecks=1310125 nbPropagations=303935 nbRevisions=287586 nbUselessRevisions=6194
8.98 nbAssignments=4539 nbFailedAssignments=1014 nbBacktracks=1707 nbVisitedNodes=7191 nbRestartNogoods=46
8.98 mapSize=1700 nbInferences=623 nbTooLargeKeys=0
8.98 => wckTime=4.726 cpuTime=4.58 mem=45M846
10.62
10.62 search
10.62 run=11 nbConstraintChecks=1450476 nbPropagations=374367 nbRevisions=354815 nbUselessRevisions=7498
10.62 nbAssignments=6548 nbFailedAssignments=1431 nbBacktracks=2571 nbVisitedNodes=10654 nbRestartNogoods=52
10.62 mapSize=2564 nbInferences=1243 nbTooLargeKeys=0
10.62 => wckTime=6.363 cpuTime=6.2 mem=60M871
13.34
13.34 search
13.34 run=12 nbConstraintChecks=1611099 nbPropagations=464174 nbRevisions=439100 nbUselessRevisions=9076
13.34 nbAssignments=9804 nbFailedAssignments=1974 nbBacktracks=3868 nbVisitedNodes=16308 nbRestartNogoods=68
13.34 mapSize=3861 nbInferences=2555 nbTooLargeKeys=0
13.34 => wckTime=9.081 cpuTime=8.88 mem=86M915
16.50
16.50 search
16.50 run=13 nbConstraintChecks=1778584 nbPropagations=576469 nbRevisions=543922 nbUselessRevisions=10811
16.50 nbAssignments=13930 nbFailedAssignments=3025 nbBacktracks=5815 nbVisitedNodes=23571 nbRestartNogoods=70
16.50 mapSize=5801 nbInferences=3590 nbTooLargeKeys=0
16.50 => wckTime=12.24 cpuTime=11.96 mem=91M156
21.05
21.05 search
21.05 run=14 nbConstraintChecks=1970232 nbPropagations=720587 nbRevisions=677642 nbUselessRevisions=12704
21.05 nbAssignments=20052 nbFailedAssignments=4617 nbBacktracks=8735 nbVisitedNodes=34401 nbRestartNogoods=75
21.05 mapSize=8711 nbInferences=5114 nbTooLargeKeys=0
21.05 => wckTime=16.788 cpuTime=16.41 mem=112M762
28.07
28.07 search
28.07 run=15 nbConstraintChecks=2312439 nbPropagations=935161 nbRevisions=869566 nbUselessRevisions=15254
28.07 nbAssignments=32510 nbFailedAssignments=6133 nbBacktracks=13114 nbVisitedNodes=56422 nbRestartNogoods=83
28.07 mapSize=13042 nbInferences=11645 nbTooLargeKeys=0
28.07 => wckTime=23.809 cpuTime=23.38 mem=122M849
44.03
44.03 search
44.03 run=16 nbConstraintChecks=2897084 nbPropagations=1259941 nbRevisions=1151788 nbUselessRevisions=18989
44.03 nbAssignments=51762 nbFailedAssignments=8097 nbBacktracks=19682 nbVisitedNodes=90178 nbRestartNogoods=96
44.03 mapSize=19565 nbInferences=22221 nbTooLargeKeys=0
44.03 => wckTime=39.776 cpuTime=39.11 mem=200M673
69.93
69.93 search
69.93 run=17 nbConstraintChecks=3713037 nbPropagations=1762722 nbRevisions=1578800 nbUselessRevisions=25078
69.93 nbAssignments=82588 nbFailedAssignments=10829 nbBacktracks=29534 nbVisitedNodes=144569 nbRestartNogoods=118
69.93 mapSize=29377 nbInferences=40322 nbTooLargeKeys=0
69.93 => wckTime=65.675 cpuTime=64.57 mem=276M290
110.92
110.92 search
110.92 run=18 nbConstraintChecks=4875409 nbPropagations=2544719 nbRevisions=2228803 nbUselessRevisions=34521
110.92 nbAssignments=131054 nbFailedAssignments=14252 nbBacktracks=44313 nbVisitedNodes=230001 nbRestartNogoods=129
110.92 mapSize=44119 nbInferences=70442 nbTooLargeKeys=0
110.92 => wckTime=106.659 cpuTime=104.91 mem=412M69
160.16
160.16 INFO : Stopping hyperNogood (mapSize=60855, nbTooLargekeys=0, mem=601M337)
163.77
163.77 search
163.77 run=19 nbConstraintChecks=6255600 nbPropagations=3699987 nbRevisions=3183888 nbUselessRevisions=48960
163.77 nbAssignments=197417 nbFailedAssignments=21298 nbBacktracks=66481 nbVisitedNodes=347461 nbRestartNogoods=157
163.77 => wckTime=159.515 cpuTime=156.99 mem=601M337
185.91
185.91 search
185.91 run=20 nbConstraintChecks=7022599 nbPropagations=5110882 nbRevisions=4394959 nbUselessRevisions=63740
185.91 nbAssignments=253838 nbFailedAssignments=44342 nbBacktracks=99733 nbVisitedNodes=449970 nbRestartNogoods=180
185.91 => wckTime=181.649 cpuTime=178.96 mem=601M337
218.19
218.19 search
218.19 run=21 nbConstraintChecks=8363764 nbPropagations=6908897 nbRevisions=5994569 nbUselessRevisions=79905
218.19 nbAssignments=338228 nbFailedAssignments=78672 nbBacktracks=149612 nbVisitedNodes=603019 nbRestartNogoods=191
218.19 => wckTime=213.931 cpuTime=210.97 mem=601M337
266.48
266.48 search
266.48 run=22 nbConstraintChecks=10204952 nbPropagations=9283372 nbRevisions=8172866 nbUselessRevisions=98320
266.48 nbAssignments=464912 nbFailedAssignments=130357 nbBacktracks=224430 nbVisitedNodes=833072 nbRestartNogoods=206
266.48 => wckTime=262.221 cpuTime=258.87 mem=601M337
338.65
338.65 search
338.65 run=23 nbConstraintChecks=12591071 nbPropagations=12513580 nbRevisions=11207751 nbUselessRevisions=117631
338.65 nbAssignments=655047 nbFailedAssignments=208086 nbBacktracks=336658 nbVisitedNodes=1178664 nbRestartNogoods=225
338.65 => wckTime=334.394 cpuTime=330.47 mem=601M337
447.08
447.08 search
447.08 run=24 nbConstraintChecks=16041728 nbPropagations=17023162 nbRevisions=15523024 nbUselessRevisions=137997
447.08 nbAssignments=940055 nbFailedAssignments=324573 nbBacktracks=504999 nbVisitedNodes=1696645 nbRestartNogoods=240
447.08 => wckTime=442.82 cpuTime=438.03 mem=601M337
610.98
610.98 search
610.98 run=25 nbConstraintChecks=21083991 nbPropagations=23450328 nbRevisions=21756792 nbUselessRevisions=159287
610.98 nbAssignments=1368140 nbFailedAssignments=499983 nbBacktracks=757511 nbVisitedNodes=2475549
610.98 nbRestartNogoods=263
610.98 => wckTime=606.719 cpuTime=600.6 mem=601M337
847.82
847.82 search
847.82 run=26 nbConstraintChecks=28781483 nbPropagations=32744642 nbRevisions=30864146 nbUselessRevisions=187008
847.82 nbAssignments=2007580 nbFailedAssignments=760435 nbBacktracks=1136278 nbVisitedNodes=3635890
847.82 nbRestartNogoods=280
847.82 => wckTime=843.561 cpuTime=835.5 mem=601M337
1203.17
1203.17 search
1203.17 run=27 nbConstraintChecks=40063225 nbPropagations=46339452 nbRevisions=44277147 nbUselessRevisions=219838
1203.17 nbAssignments=2968224 nbFailedAssignments=1152709 nbBacktracks=1704430 nbVisitedNodes=5381078
1203.17 nbRestartNogoods=310
1203.17 => wckTime=1198.908 cpuTime=1187.94 mem=601M337
1741.13
1741.13 search
1741.13 run=28 nbConstraintChecks=56706827 nbPropagations=66384493 nbRevisions=64148000 nbUselessRevisions=260282
1741.13 nbAssignments=4410633 nbFailedAssignments=1742674 nbBacktracks=2556656 nbVisitedNodes=8003414
1741.13 nbRestartNogoods=332
1741.13 => wckTime=1736.868 cpuTime=1721.32 mem=601M337
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-238173-1168083396 -o ROOT/results/node41/solver-238173-1168083396 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238173-1168083396/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.39 1.12 1.48 4/80 8885
/proc/meminfo: memFree=1509336/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=18540 CPUtime=0
/proc/8884/stat : 8884 (runsolver) R 8882 8884 8805 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156739796 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/8884/statm: 4635 279 244 17 0 2626 0
[startup+0.108005 s]
/proc/loadavg: 0.39 1.12 1.48 4/80 8885
/proc/meminfo: memFree=1509336/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=914988 CPUtime=0.08
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 3070 0 1 0 7 1 0 0 24 0 8 0 156739796 936947712 2816 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154107723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228747 2816 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.51604 s]
/proc/loadavg: 0.39 1.12 1.48 4/80 8885
/proc/meminfo: memFree=1509336/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915328 CPUtime=0.49
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 6996 0 1 0 46 3 0 0 25 0 8 0 156739796 937295872 6735 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228832 6735 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34411 s]
/proc/loadavg: 0.39 1.12 1.48 3/87 8892
/proc/meminfo: memFree=1446304/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915644 CPUtime=1.32
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 18027 0 1 0 121 11 0 0 25 0 8 0 156739796 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073416245 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228911 17765 2160 14 0 215381 0
[pid=8884/tid=8886] ppid=8882 vsize=915644 CPUtime=0.05
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 1487 0 0 0 5 0 0 0 17 0 8 0 156739800 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915644 CPUtime=0.15
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 407 0 0 0 15 0 0 0 16 0 8 0 156739803 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937619456 17765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915644
[startup+2.98726 s]
/proc/loadavg: 0.39 1.12 1.48 3/87 8892
/proc/meminfo: memFree=1436256/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915644 CPUtime=2.94
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 22423 0 1 0 217 77 0 0 25 0 8 0 156739796 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228911 22158 2180 14 0 215381 0
[pid=8884/tid=8886] ppid=8882 vsize=915644 CPUtime=0.26
/proc/8884/task/8886/stat : 8886 (java) R 8882 8884 8805 0 -1 64 5797 0 0 0 25 1 0 0 17 0 8 0 156739800 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968383 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915644 CPUtime=0.19
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 430 0 0 0 19 0 0 0 16 0 8 0 156739803 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915644 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937619456 22158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915644
[startup+6.26654 s]
/proc/loadavg: 0.52 1.14 1.48 3/87 8892
/proc/meminfo: memFree=1403368/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=6.2
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 25544 0 1 0 499 121 0 0 25 0 8 0 156739796 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074171046 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 25252 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=0.46
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 8387 0 0 0 44 2 0 0 17 0 8 0 156739800 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.33
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 518 0 0 0 32 1 0 0 15 0 8 0 156739803 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 25252 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915868
[startup+12.7571 s]
/proc/loadavg: 0.64 1.15 1.48 3/87 8892
/proc/meminfo: memFree=1372008/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=12.62
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 28974 0 1 0 1140 122 0 0 25 0 8 0 156739796 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074180528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 28678 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=0.49
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 11801 0 0 0 46 3 0 0 16 0 8 0 156739800 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 531 0 0 0 34 1 0 0 17 0 8 0 156739803 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 28678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915868
[startup+25.6032 s]
/proc/loadavg: 0.94 1.19 1.49 3/87 8892
/proc/meminfo: memFree=1288616/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=25.36
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 42867 0 1 0 2409 127 0 0 25 0 8 0 156739796 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154788 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 42567 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=0.59
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 25690 0 0 0 51 8 0 0 16 0 8 0 156739800 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 42567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915868
[startup+51.2084 s]
/proc/loadavg: 1.37 1.27 1.51 3/87 8892
/proc/meminfo: memFree=1168616/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=50.77
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 68239 0 1 0 4940 137 0 0 25 0 8 0 156739796 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154778 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 67934 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=0.81
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 51057 0 0 0 63 18 0 0 16 0 8 0 156739800 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 67934 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915868
[startup+102.419 s]
/proc/loadavg: 1.76 1.40 1.54 3/87 8892
/proc/meminfo: memFree=958440/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=101.55
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 109682 0 1 0 10003 152 0 0 25 0 8 0 156739796 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154736 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 109366 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.17
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 92489 0 0 0 84 33 0 0 16 0 8 0 156739800 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 531 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 109366 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915868
[startup+162.476 s]
/proc/loadavg: 1.91 1.50 1.56 3/87 8892
/proc/meminfo: memFree=664168/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=161.12
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155924 0 1 0 15942 170 0 0 25 0 8 0 156739796 937848832 155596 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154784 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.4
Current children cumulated vsize (KiB) 915868
[startup+1483.03 s]
/proc/loadavg: 2.00 1.97 1.86 3/93 9000
/proc/meminfo: memFree=404464/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1470.89
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 146911 178 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074192199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.89
Current children cumulated vsize (KiB) 915868
[startup+1543.08 s]
/proc/loadavg: 2.00 1.97 1.86 3/93 9066
/proc/meminfo: memFree=404400/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1530.31
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 152848 183 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074192154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) R 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.31
Current children cumulated vsize (KiB) 915868
[startup+1603.1 s]
/proc/loadavg: 2.00 1.97 1.87 4/87 9090
/proc/meminfo: memFree=405416/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1589.83
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 158799 184 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074202480 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.83
Current children cumulated vsize (KiB) 915868
[startup+1663.12 s]
/proc/loadavg: 2.00 1.97 1.87 3/87 9090
/proc/meminfo: memFree=405416/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1649.38
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 164754 184 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157613 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.38
Current children cumulated vsize (KiB) 915868
[startup+1723.14 s]
/proc/loadavg: 2.00 1.97 1.88 3/87 9090
/proc/meminfo: memFree=405416/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1708.9
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 170706 184 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074247230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.9
Current children cumulated vsize (KiB) 915868
[startup+1783.18 s]
/proc/loadavg: 2.00 1.97 1.88 2/75 9092
/proc/meminfo: memFree=1016392/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1768.45
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 176660 185 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074247272 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.45
Current children cumulated vsize (KiB) 915868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.82 s]
/proc/loadavg: 1.56 1.86 1.85 2/75 9103
/proc/meminfo: memFree=1018184/2055920 swapFree=4192812/4192956
[pid=8884] ppid=8882 vsize=915868 CPUtime=1800.08
/proc/8884/stat : 8884 (java) R 8882 8884 8805 0 -1 0 155926 0 1 0 179823 185 0 0 25 0 8 0 156739796 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074154784 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8884/statm: 228967 155597 2535 14 0 215437 0
[pid=8884/tid=8886] ppid=8882 vsize=915868 CPUtime=1.6
/proc/8884/task/8886/stat : 8886 (java) S 8882 8884 8805 0 -1 64 138719 0 0 0 109 51 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8887] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8887/stat : 8887 (java) S 8882 8884 8805 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8888] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8888/stat : 8888 (java) S 8882 8884 8805 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156739800 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8889] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8889/stat : 8889 (java) S 8882 8884 8805 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8890] ppid=8882 vsize=915868 CPUtime=0.35
/proc/8884/task/8890/stat : 8890 (java) S 8882 8884 8805 0 -1 64 532 0 0 0 34 1 0 0 16 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8891] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8891/stat : 8891 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8884/tid=8892] ppid=8882 vsize=915868 CPUtime=0
/proc/8884/task/8892/stat : 8892 (java) S 8882 8884 8805 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156739803 937848832 155597 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.96
CPU time (s): 1800.22
CPU user time (s): 1798.28
CPU system time (s): 1.9437
CPU usage (%): 99.1877
Max. virtual memory (cumulated for all children) (KiB): 915968
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 1.9437
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155942
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= 38570
involuntary context switches= 76984
runsolver used 2.10468 s user time and 4.49932 s system time
The end
Begin job on node41 on Sat Jan 6 11:36:42 UTC 2007
IDJOB= 238173
IDBENCH= 6987
FILE ID= node41/238173-1168083396
PBS_JOBID= 3476282
Free space on /tmp= 66525 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_39.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238173-1168083396/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-238173-1168083396 -o ROOT/results/node41/solver-238173-1168083396 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238173-1168083396/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3cbedeec0f8e1047e30dd866c8d212d0
RANDOM SEED= 119140822
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: 1527608 kB
Buffers: 35316 kB
Cached: 294144 kB
SwapCached: 0 kB
Active: 171976 kB
Inactive: 280396 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1527608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7748 kB
Writeback: 0 kB
Mapped: 143088 kB
Slab: 61120 kB
Committed_AS: 3379660 kB
PageTables: 2116 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= 66528 MiB
End job on node41 on Sat Jan 6 12:07:07 UTC 2007