0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=mac.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/237469-1168083316/unknown.xml
0.34
0.34 domains being loaded...
0.34
0.34 variables being loaded...
0.55 nbVariables=2704 nbDomainTypes=1 minDomainSize=52 maxDomainSize=52
0.55 => wckTime=0.267 cpuTime=0.19 mem=14M698
0.55
0.55 predicates being loaded...
0.55
0.55 constraints being loaded...
4.87
4.87 INFO : Stopping converting binary constraints (cpu=4.01, mem = 56M933)
5.63 nbConstraints=69003 nbConvertedConstraints=29503 nbConvertConstraintsChecks=10816 nbExtensionStructures=4
5.63 nbSharedExtensionStructures=29499 nbConflictsStructures=4 nbSharedConflictsStructures=29499
5.63 nbSharedBinaryRepresentations=311 nbEvaluationManagers=4 nbSharedEvaluationManagers=39496 maxDegree=52
5.63 maxArity=2
5.63 => wckTime=5.345 cpuTime=4.5 mem=96M64
6.04
6.04 solver IterativeSystematicSolver being built...
6.74 => wckTime=6.46 cpuTime=5.01 mem=110M638
8.70
8.70 preprocessing
8.70 nbConstraintChecks=4112870 nbValidityChecks=80400 nbPropagations=2704 nbRevisions=79000
8.70 nbUselessRevisions=79000 nbRemovedValues=0 detectedInconsistency=no
8.70 => wckTime=1.941 cpuTime=1.9 mem=110M638
11.85
11.85 search
11.85 run=0 nbConstraintChecks=4729956 nbValidityChecks=9059839 nbPropagations=10717 nbRevisions=280247
11.85 nbUselessRevisions=272372 nbAssignments=211 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=230
11.85 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
11.85 => wckTime=5.099 cpuTime=5.04 mem=114M728
13.39
13.39 search
13.39 run=1 nbConstraintChecks=5888951 nbValidityChecks=18394085 nbPropagations=29658 nbRevisions=767301
13.39 nbUselessRevisions=743455 nbAssignments=438 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=485
13.39 nbRestartNogoods=3 mapSize=25 nbInferences=0 nbTooLargeKeys=0
13.39 => wckTime=6.633 cpuTime=6.56 mem=118M150
14.87
14.87 search
14.87 run=2 nbConstraintChecks=6839512 nbValidityChecks=27730583 nbPropagations=57028 nbRevisions=1461418
14.87 nbUselessRevisions=1413302 nbAssignments=679 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=764
14.87 nbRestartNogoods=6 mapSize=47 nbInferences=0 nbTooLargeKeys=0
14.87 => wckTime=8.117 cpuTime=8.05 mem=122M776
16.45
16.45 search
16.45 run=3 nbConstraintChecks=7905421 nbValidityChecks=37339734 nbPropagations=93096 nbRevisions=2367761
16.45 nbUselessRevisions=2286819 nbAssignments=941 nbFailedAssignments=68 nbBacktracks=80 nbVisitedNodes=1079
16.45 nbRestartNogoods=10 mapSize=80 nbInferences=1 nbTooLargeKeys=0
16.45 => wckTime=9.697 cpuTime=9.62 mem=126M841
18.17
18.17 search
18.17 run=4 nbConstraintChecks=9089851 nbValidityChecks=47276134 nbPropagations=138187 nbRevisions=3493468
18.17 nbUselessRevisions=3370831 nbAssignments=1236 nbFailedAssignments=104 nbBacktracks=130 nbVisitedNodes=1449
18.17 nbRestartNogoods=15 mapSize=130 nbInferences=4 nbTooLargeKeys=0
18.17 => wckTime=11.418 cpuTime=11.26 mem=93M882
19.96
19.96 search
19.96 run=5 nbConstraintChecks=10342663 nbValidityChecks=57556385 nbPropagations=192750 nbRevisions=4847014
19.96 nbUselessRevisions=4673379 nbAssignments=1582 nbFailedAssignments=154 nbBacktracks=205 nbVisitedNodes=1906
19.96 nbRestartNogoods=19 mapSize=205 nbInferences=15 nbTooLargeKeys=0
19.96 => wckTime=13.205 cpuTime=13.04 mem=98M585
21.88
21.88 search
21.88 run=6 nbConstraintChecks=11496531 nbValidityChecks=68037446 nbPropagations=257307 nbRevisions=6434188
21.88 nbUselessRevisions=6199717 nbAssignments=2002 nbFailedAssignments=232 nbBacktracks=318 nbVisitedNodes=2496
21.88 nbRestartNogoods=25 mapSize=317 nbInferences=29 nbTooLargeKeys=0
21.88 => wckTime=15.125 cpuTime=14.95 mem=105M214
24.03
24.03 search
24.03 run=7 nbConstraintChecks=12753321 nbValidityChecks=78772810 nbPropagations=332548 nbRevisions=8261340
24.03 nbUselessRevisions=7955567 nbAssignments=2535 nbFailedAssignments=341 nbBacktracks=488 nbVisitedNodes=3281
24.03 nbRestartNogoods=33 mapSize=487 nbInferences=63 nbTooLargeKeys=0
24.03 => wckTime=17.282 cpuTime=17.1 mem=113M386
26.62
26.62 search
26.62 run=8 nbConstraintChecks=14201518 nbValidityChecks=90057510 nbPropagations=419581 nbRevisions=10342400
26.62 nbUselessRevisions=9953830 nbAssignments=3248 nbFailedAssignments=497 nbBacktracks=744 nbVisitedNodes=4388
26.62 nbRestartNogoods=36 mapSize=743 nbInferences=145 nbTooLargeKeys=0
26.62 => wckTime=19.87 cpuTime=19.68 mem=124M751
29.57
29.58 search
29.58 run=9 nbConstraintChecks=15392435 nbValidityChecks=101501901 nbPropagations=519924 nbRevisions=12683107
29.58 nbUselessRevisions=12198887 nbAssignments=4239 nbFailedAssignments=714 nbBacktracks=1129 nbVisitedNodes=5971
29.58 nbRestartNogoods=39 mapSize=1128 nbInferences=303 nbTooLargeKeys=0
29.58 => wckTime=22.821 cpuTime=22.62 mem=140M852
33.11
33.11 search
33.11 run=10 nbConstraintChecks=16418732 nbValidityChecks=113094379 nbPropagations=635474 nbRevisions=15289407
33.11 nbUselessRevisions=14694782 nbAssignments=5585 nbFailedAssignments=1072 nbBacktracks=1705 nbVisitedNodes=8215
33.11 nbRestartNogoods=42 mapSize=1704 nbInferences=485 nbTooLargeKeys=0
33.11 => wckTime=26.359 cpuTime=26.08 mem=137M249
38.47
38.47 search
38.47 run=11 nbConstraintChecks=18266986 nbValidityChecks=125189703 nbPropagations=770396 nbRevisions=18184995
38.47 nbUselessRevisions=17461929 nbAssignments=7729 nbFailedAssignments=1488 nbBacktracks=2569 nbVisitedNodes=11811
38.47 nbRestartNogoods=51 mapSize=2567 nbInferences=1105 nbTooLargeKeys=0
38.47 => wckTime=31.715 cpuTime=31.36 mem=154M254
45.71
45.71 search
45.71 run=12 nbConstraintChecks=19591747 nbValidityChecks=137798717 nbPropagations=930606 nbRevisions=21395780
45.71 nbUselessRevisions=20521396 nbAssignments=10987 nbFailedAssignments=2076 nbBacktracks=3866 nbVisitedNodes=17370
45.71 nbRestartNogoods=66 mapSize=3864 nbInferences=2230 nbTooLargeKeys=0
45.71 => wckTime=38.958 cpuTime=38.54 mem=188M168
57.11
57.11 search
57.11 run=13 nbConstraintChecks=21172101 nbValidityChecks=150951888 nbPropagations=1127545 nbRevisions=24970229
57.11 nbUselessRevisions=23912278 nbAssignments=16265 nbFailedAssignments=2881 nbBacktracks=5812 nbVisitedNodes=26537
57.11 nbRestartNogoods=79 mapSize=5809 nbInferences=4509 nbTooLargeKeys=0
57.11 => wckTime=50.361 cpuTime=49.8 mem=233M701
73.37
73.37 search
73.37 run=14 nbConstraintChecks=22923621 nbValidityChecks=164729542 nbPropagations=1375259 nbRevisions=28963819
73.37 nbUselessRevisions=27679050 nbAssignments=24188 nbFailedAssignments=3957 nbBacktracks=8731 nbVisitedNodes=40279
73.37 nbRestartNogoods=90 mapSize=8727 nbInferences=8176 nbTooLargeKeys=0
73.37 => wckTime=66.614 cpuTime=65.85 mem=301M578
99.88
99.88 search
99.88 run=15 nbConstraintChecks=24524811 nbValidityChecks=178903573 nbPropagations=1705750 nbRevisions=33430769
99.88 nbUselessRevisions=31849594 nbAssignments=37266 nbFailedAssignments=5571 nbBacktracks=13110
99.88 nbVisitedNodes=63415 nbRestartNogoods=100 mapSize=13106 nbInferences=15006 nbTooLargeKeys=0
99.88 => wckTime=93.128 cpuTime=92.04 mem=414M341
138.33
138.33 search
138.33 run=16 nbConstraintChecks=26453807 nbValidityChecks=194291856 nbPropagations=2150311 nbRevisions=38557573
138.33 nbUselessRevisions=36585376 nbAssignments=56484 nbFailedAssignments=7855 nbBacktracks=19678
138.33 nbVisitedNodes=97299 nbRestartNogoods=105 mapSize=19673 nbInferences=25104 nbTooLargeKeys=0
138.33 => wckTime=131.581 cpuTime=130.02 mem=546M603
147.51
147.51 INFO : Stopping hyperNogood (mapSize=21294, nbTooLargekeys=0, mem=601M17)
159.26
159.26 search
159.26 run=17 nbConstraintChecks=28170627 nbValidityChecks=209443334 nbPropagations=2689459 nbRevisions=44218596
159.26 nbUselessRevisions=41763865 nbAssignments=74601 nbFailedAssignments=14111 nbBacktracks=29531
159.26 nbVisitedNodes=129652 nbRestartNogoods=116
159.26 => wckTime=152.507 cpuTime=150.82 mem=601M17
181.86
181.86 search
181.86 run=18 nbConstraintChecks=29796640 nbValidityChecks=225078064 nbPropagations=3352955 nbRevisions=50478924
181.86 nbUselessRevisions=47417447 nbAssignments=99864 nbFailedAssignments=24299 nbBacktracks=44310
181.86 nbVisitedNodes=175291 nbRestartNogoods=125
181.86 => wckTime=175.11 cpuTime=173.33 mem=601M17
214.92
214.92 search
214.92 run=19 nbConstraintChecks=31082969 nbValidityChecks=241247071 nbPropagations=4196745 nbRevisions=57479204
214.92 nbUselessRevisions=53630848 nbAssignments=137621 nbFailedAssignments=39592 nbBacktracks=66478
214.92 nbVisitedNodes=243634 nbRestartNogoods=138
214.92 => wckTime=208.163 cpuTime=206.26 mem=601M17
263.41
263.41 search
263.41 run=20 nbConstraintChecks=33184600 nbValidityChecks=258335907 nbPropagations=5304680 nbRevisions=65433466
263.41 nbUselessRevisions=60534271 nbAssignments=194056 nbFailedAssignments=62470 nbBacktracks=99730
263.41 nbVisitedNodes=345825 nbRestartNogoods=151
263.41 => wckTime=256.662 cpuTime=254.57 mem=601M17
335.53
335.53 search
335.53 run=21 nbConstraintChecks=35450279 nbValidityChecks=275692133 nbPropagations=6803225 nbRevisions=74500742
335.53 nbUselessRevisions=68160299 nbAssignments=278754 nbFailedAssignments=96983 nbBacktracks=149610
335.53 nbVisitedNodes=499549 nbRestartNogoods=171
335.53 => wckTime=328.777 cpuTime=326.4 mem=601M17
442.71
442.71 search
442.71 run=22 nbConstraintChecks=39148111 nbValidityChecks=295676521 nbPropagations=8882298 nbRevisions=85310144
442.71 nbUselessRevisions=76948104 nbAssignments=405932 nbFailedAssignments=149022 nbBacktracks=224428
442.71 nbVisitedNodes=730805 nbRestartNogoods=183
442.71 => wckTime=435.954 cpuTime=433.17 mem=601M17
600.02
600.02 search
600.02 run=23 nbConstraintChecks=43578780 nbValidityChecks=317589010 nbPropagations=11824434 nbRevisions=98553246
600.02 nbUselessRevisions=87306809 nbAssignments=596326 nbFailedAssignments=226864 nbBacktracks=336655
600.02 nbVisitedNodes=1076883 nbRestartNogoods=192
600.03 => wckTime=593.273 cpuTime=589.88 mem=601M17
830.34
830.35 search
830.35 run=24 nbConstraintChecks=49737407 nbValidityChecks=342943161 nbPropagations=16054101 nbRevisions=115289711
830.35 nbUselessRevisions=99871547 nbAssignments=881686 nbFailedAssignments=343538 nbBacktracks=504996
830.35 nbVisitedNodes=1595591 nbRestartNogoods=209
830.35 => wckTime=823.593 cpuTime=819.32 mem=602M8
1179.36
1179.36 search
1179.36 run=25 nbConstraintChecks=57845700 nbValidityChecks=371414076 nbPropagations=22209155 nbRevisions=136743725
1179.36 nbUselessRevisions=115228534 nbAssignments=1309969 nbFailedAssignments=518973 nbBacktracks=757507
1179.36 nbVisitedNodes=2374744 nbRestartNogoods=227
1179.36 => wckTime=1172.605 cpuTime=1166.99 mem=602M8
1686.60
1686.60 search
1686.60 run=26 nbConstraintChecks=69894162 nbValidityChecks=408384454 nbPropagations=31240611 nbRevisions=165635354
1686.60 nbUselessRevisions=135143179 nbAssignments=1950822 nbFailedAssignments=780706 nbBacktracks=1136275
1686.60 nbVisitedNodes=3539063 nbRestartNogoods=245
1686.60 => wckTime=1679.851 cpuTime=1672.06 mem=602M8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node75/watcher-237469-1168083316 -o ROOT/results/node75/solver-237469-1168083316 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237469-1168083316/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.28 1.22 1.53 4/68 24887
/proc/meminfo: memFree=1678208/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=1784 CPUtime=0
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 329 0 0 0 0 0 0 0 21 0 1 0 156733306 1826816 124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/24886/statm: 446 134 100 14 0 91 0
[startup+0.103513 s]
/proc/loadavg: 0.28 1.22 1.53 4/68 24887
/proc/meminfo: memFree=1678208/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=914988 CPUtime=0.09
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 3088 0 1 0 8 1 0 0 16 0 8 0 156733306 936947712 2834 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155173729 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228747 2834 1457 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511561 s]
/proc/loadavg: 0.28 1.22 1.53 4/68 24887
/proc/meminfo: memFree=1678208/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915328 CPUtime=0.5
/proc/24886/stat : 24886 (java) S 24884 24886 24468 0 -1 0 7161 0 1 0 46 4 0 0 16 0 8 0 156733306 937295872 6900 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228832 6900 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33366 s]
/proc/loadavg: 0.28 1.22 1.53 2/75 24894
/proc/meminfo: memFree=1613000/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915644 CPUtime=1.32
/proc/24886/stat : 24886 (java) S 24884 24886 24468 0 -1 0 19853 0 1 0 121 11 0 0 16 0 8 0 156733306 937619456 19591 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228911 19597 2160 14 0 215381 0
[pid=24886/tid=24888] ppid=24884 vsize=915644 CPUtime=0.07
/proc/24886/task/24888/stat : 24888 (java) R 24884 24886 24468 0 -1 64 3322 0 0 0 6 1 0 0 16 0 8 0 156733309 937619456 19600 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153968444 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937619456 19604 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937619456 19607 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937619456 19611 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915644 CPUtime=0.14
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 407 0 0 0 14 0 0 0 16 0 8 0 156733313 937619456 19616 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937619456 19620 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937619456 19624 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915644
[startup+2.98585 s]
/proc/loadavg: 0.28 1.22 1.53 2/75 24895
/proc/meminfo: memFree=1594696/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915644 CPUtime=2.97
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 24381 0 1 0 272 25 0 0 17 0 8 0 156733306 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073765694 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228911 24115 2180 14 0 215381 0
[pid=24886/tid=24888] ppid=24884 vsize=915644 CPUtime=0.34
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 7754 0 0 0 31 3 0 0 16 0 8 0 156733309 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915644 CPUtime=0.17
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 429 0 0 0 17 0 0 0 16 0 8 0 156733313 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937619456 24115 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915644
[startup+6.27024 s]
/proc/loadavg: 0.34 1.22 1.53 2/75 24895
/proc/meminfo: memFree=1568008/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915644 CPUtime=6.25
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 35060 0 1 0 495 130 0 0 17 0 8 0 156733306 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154017073 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228911 34656 2498 14 0 215381 0
[pid=24886/tid=24888] ppid=24884 vsize=915644 CPUtime=1.09
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 18047 0 0 0 103 6 0 0 16 0 8 0 156733309 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156733310 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733310 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915644 CPUtime=0.23
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 456 0 0 0 22 1 0 0 16 0 8 0 156733313 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915644 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937619456 34656 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915644
[startup+12.758 s]
/proc/loadavg: 0.55 1.25 1.54 2/75 24930
/proc/meminfo: memFree=1534216/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=12.72
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 38888 0 1 0 1139 133 0 0 18 0 8 0 156733306 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24886/statm: 228968 38475 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=1.19
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 21685 0 0 0 111 8 0 0 16 0 8 0 156733309 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156733310 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156733310 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.33
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 549 0 0 0 32 1 0 0 16 0 8 0 156733313 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 38475 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915872
[startup+25.5845 s]
/proc/loadavg: 0.65 1.23 1.53 2/75 24930
/proc/meminfo: memFree=1523464/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=25.53
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 41596 0 1 0 2419 134 0 0 18 0 8 0 156733306 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157440 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24886/statm: 228968 41177 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=1.25
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 24374 0 0 0 116 9 0 0 16 0 8 0 156733309 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.35
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 564 0 0 0 34 1 0 0 16 0 8 0 156733313 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 41177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915872
[startup+51.2816 s]
/proc/loadavg: 0.85 1.23 1.52 3/87 24975
/proc/meminfo: memFree=1332072/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=51.14
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 66458 0 1 0 4969 145 0 0 25 0 8 0 156733306 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074222112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 66030 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=1.47
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 49221 0 0 0 130 17 0 0 16 0 8 0 156733309 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 66030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.14
Current children cumulated vsize (KiB) 915872
[startup+102.518 s]
/proc/loadavg: 1.50 1.35 1.54 3/87 24975
/proc/meminfo: memFree=951784/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=102.15
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 112779 0 1 0 10052 163 0 0 25 0 8 0 156733306 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074216118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 112342 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=1.85
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 95533 0 0 0 150 35 0 0 16 0 8 0 156733309 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 112342 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 915872
[startup+162.589 s]
/proc/loadavg: 1.81 1.46 1.57 3/87 24975
/proc/meminfo: memFree=560744/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=161.98
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155731 0 1 0 16019 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074214224 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418.25
Current children cumulated vsize (KiB) 915872
[startup+1483.77 s]
/proc/loadavg: 2.02 1.99 1.87 3/87 24975
/proc/meminfo: memFree=446696/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1478.08
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 147629 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206779 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1478.08
Current children cumulated vsize (KiB) 915872
[startup+1543.84 s]
/proc/loadavg: 2.00 1.99 1.87 3/93 25059
/proc/meminfo: memFree=445352/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1537.82
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 153603 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1537.82
Current children cumulated vsize (KiB) 915872
[startup+1603.91 s]
/proc/loadavg: 2.00 1.99 1.88 3/93 25145
/proc/meminfo: memFree=445168/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1597.56
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 159577 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1597.56
Current children cumulated vsize (KiB) 915872
[startup+1663.97 s]
/proc/loadavg: 2.00 1.99 1.88 3/87 25173
/proc/meminfo: memFree=446184/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1657.36
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 165557 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074204000 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1657.36
Current children cumulated vsize (KiB) 915872
[startup+1724.03 s]
/proc/loadavg: 2.00 1.99 1.89 3/87 25173
/proc/meminfo: memFree=446120/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1717.18
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 171539 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1717.18
Current children cumulated vsize (KiB) 915872
[startup+1784.08 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 25173
/proc/meminfo: memFree=446056/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1777.01
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 177522 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232071 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1777.01
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.21 s]
/proc/loadavg: 2.00 1.99 1.90 3/87 25173
/proc/meminfo: memFree=446056/2055920 swapFree=4184496/4192956
[pid=24886] ppid=24884 vsize=915872 CPUtime=1800.05
/proc/24886/stat : 24886 (java) R 24884 24886 24468 0 -1 0 155732 0 1 0 179826 179 0 0 25 0 8 0 156733306 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074232026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24886/statm: 228968 155284 2538 14 0 215438 0
[pid=24886/tid=24888] ppid=24884 vsize=915872 CPUtime=2.2
/proc/24886/task/24888/stat : 24888 (java) S 24884 24886 24468 0 -1 64 138475 0 0 0 170 50 0 0 16 0 8 0 156733309 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24889] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24889/stat : 24889 (java) S 24884 24886 24468 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24890] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24890/stat : 24890 (java) S 24884 24886 24468 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156733310 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24891] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24891/stat : 24891 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24892] ppid=24884 vsize=915872 CPUtime=0.37
/proc/24886/task/24892/stat : 24892 (java) S 24884 24886 24468 0 -1 64 571 0 0 0 36 1 0 0 16 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24886/tid=24893] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24893/stat : 24893 (java) S 24884 24886 24468 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24886/tid=24894] ppid=24884 vsize=915872 CPUtime=0
/proc/24886/task/24894/stat : 24894 (java) S 24884 24886 24468 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156733313 937852928 155284 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1807.32
CPU time (s): 1800.16
CPU user time (s): 1798.28
CPU system time (s): 1.88571
CPU usage (%): 99.604
Max. virtual memory (cumulated for all children) (KiB): 916148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.28
system time used= 1.88571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155748
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= 38018
involuntary context switches= 25845
runsolver used 1.62175 s user time and 4.92325 s system time
The end
Begin job on node75 on Sat Jan 6 11:35:26 UTC 2007
IDJOB= 237469
IDBENCH= 6943
FILE ID= node75/237469-1168083316
PBS_JOBID= 3476234
Free space on /tmp= 66540 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_52.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237469-1168083316/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node75/watcher-237469-1168083316 -o ROOT/results/node75/solver-237469-1168083316 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237469-1168083316/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bfebe5df1905949972c2e283719f815b
RANDOM SEED= 671599502
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.218
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1678496 kB
Buffers: 8204 kB
Cached: 303556 kB
SwapCached: 2468 kB
Active: 101976 kB
Inactive: 225048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1678496 kB
SwapTotal: 4192956 kB
SwapFree: 4184496 kB
Dirty: 10052 kB
Writeback: 0 kB
Mapped: 21356 kB
Slab: 36076 kB
Committed_AS: 3146104 kB
PageTables: 1636 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= 66536 MiB
End job on node75 on Sat Jan 6 12:05:47 UTC 2007