0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/211109-1168075462/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.60 nbVariables=3655 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2
0.60 => wckTime=0.286 cpuTime=0.19 mem=13M728
0.60
0.60 predicates being loaded...
0.61
0.61 constraints being loaded...
4.19 nbConstraints=8070 nbMergedConstraints=615 nbSingletonDomainVariables=519 nbConvertedConstraints=5233
4.19 nbConvertConstraintsChecks=557166 nbExtensionStructures=9 nbSharedExtensionStructures=5224
4.19 nbConflictsStructures=57 nbSharedConflictsStructures=8013 nbSharedBinaryRepresentations=21
4.19 nbEvaluationManagers=48 nbSharedEvaluationManagers=2789 maxDegree=166 maxArity=15
4.19 => wckTime=3.87 cpuTime=3.45 mem=26M730
4.29
4.29 solver IterativeSystematicSolver being built...
4.70 => wckTime=4.383 cpuTime=3.79 mem=20M553
4.74
4.74 preprocessing
4.74 nbConstraintChecks=0 nbPropagations=3655 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
4.74 detectedInconsistency=no
4.74 => wckTime=0.035 cpuTime=0.02 mem=20M553
6.84
6.84 search
6.84 run=0 nbConstraintChecks=109010 nbValidityChecks=45204 nbPropagations=6007 nbRevisions=33740
6.84 nbUselessRevisions=31454 nbAssignments=408 nbFailedAssignments=7 nbBacktracks=19 nbVisitedNodes=420
6.84 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
6.84 => wckTime=2.132 cpuTime=2.06 mem=21M561
8.52
8.52 search
8.52 run=1 nbConstraintChecks=145629 nbValidityChecks=93593 nbPropagations=14150 nbRevisions=99578
8.52 nbUselessRevisions=92979 nbAssignments=804 nbFailedAssignments=9 nbBacktracks=48 nbVisitedNodes=820
8.52 nbRestartNogoods=7 mapSize=7 nbInferences=0 nbTooLargeKeys=0
8.52 => wckTime=3.818 cpuTime=3.72 mem=22M570
10.27
10.27 search
10.27 run=2 nbConstraintChecks=183205 nbValidityChecks=142246 nbPropagations=24608 nbRevisions=198345
10.27 nbUselessRevisions=185195 nbAssignments=1219 nbFailedAssignments=11 nbBacktracks=86 nbVisitedNodes=1242
10.27 nbRestartNogoods=8 mapSize=13 nbInferences=0 nbTooLargeKeys=0
10.27 => wckTime=5.561 cpuTime=5.44 mem=22M570
12.05
12.05 search
12.05 run=3 nbConstraintChecks=220679 nbValidityChecks=190904 nbPropagations=37359 nbRevisions=329944
12.05 nbUselessRevisions=308034 nbAssignments=1639 nbFailedAssignments=13 nbBacktracks=123 nbVisitedNodes=1668
12.05 nbRestartNogoods=9 mapSize=18 nbInferences=0 nbTooLargeKeys=0
12.05 => wckTime=7.34 cpuTime=7.19 mem=22M570
13.89
13.89 search
13.89 run=4 nbConstraintChecks=259628 nbValidityChecks=240458 nbPropagations=52681 nbRevisions=496014
13.89 nbUselessRevisions=462837 nbAssignments=2076 nbFailedAssignments=17 nbBacktracks=179 nbVisitedNodes=2115
13.89 nbRestartNogoods=10 mapSize=26 nbInferences=0 nbTooLargeKeys=0
13.89 => wckTime=9.183 cpuTime=9.02 mem=23M578
15.87
15.87 search
15.87 run=5 nbConstraintChecks=358751 nbValidityChecks=294567 nbPropagations=71493 nbRevisions=702411
15.87 nbUselessRevisions=654380 nbAssignments=2515 nbFailedAssignments=34 nbBacktracks=257 nbVisitedNodes=2590
15.87 nbRestartNogoods=12 mapSize=60 nbInferences=2 nbTooLargeKeys=0
15.87 => wckTime=11.167 cpuTime=10.98 mem=23M578
17.67
17.67 search
17.67 run=6 nbConstraintChecks=404158 nbValidityChecks=345065 nbPropagations=94440 nbRevisions=949365
17.67 nbUselessRevisions=882130 nbAssignments=2956 nbFailedAssignments=57 nbBacktracks=374 nbVisitedNodes=3079
17.67 nbRestartNogoods=13 mapSize=106 nbInferences=2 nbTooLargeKeys=0
17.67 => wckTime=12.965 cpuTime=12.76 mem=23M578
19.82
19.82 search
19.82 run=7 nbConstraintChecks=457106 nbValidityChecks=397634 nbPropagations=121750 nbRevisions=1238902
19.82 nbUselessRevisions=1147935 nbAssignments=3461 nbFailedAssignments=91 nbBacktracks=556 nbVisitedNodes=3649
19.82 nbRestartNogoods=15 mapSize=168 nbInferences=2 nbTooLargeKeys=0
19.82 => wckTime=15.11 cpuTime=14.88 mem=24M587
22.16
22.16 search
22.16 run=8 nbConstraintChecks=520210 nbValidityChecks=451892 nbPropagations=153499 nbRevisions=1575575
22.16 nbUselessRevisions=1456183 nbAssignments=4003 nbFailedAssignments=118 nbBacktracks=817 nbVisitedNodes=4253
22.16 nbRestartNogoods=18 mapSize=228 nbInferences=2 nbTooLargeKeys=0
22.16 => wckTime=17.457 cpuTime=17.21 mem=24M587
25.11
25.11 search
25.11 run=9 nbConstraintChecks=633681 nbValidityChecks=514057 nbPropagations=190375 nbRevisions=1962518
25.11 nbUselessRevisions=1809397 nbAssignments=4644 nbFailedAssignments=163 nbBacktracks=1203 nbVisitedNodes=4981
25.11 nbRestartNogoods=20 mapSize=309 nbInferences=2 nbTooLargeKeys=0
25.11 => wckTime=20.407 cpuTime=20.1 mem=25M595
32.56
32.56 search
32.56 run=10 nbConstraintChecks=784768 nbValidityChecks=604658 nbPropagations=232088 nbRevisions=2413521
32.56 nbUselessRevisions=2222174 nbAssignments=5993 nbFailedAssignments=197 nbBacktracks=1784 nbVisitedNodes=6645
32.56 nbRestartNogoods=26 mapSize=613 nbInferences=258 nbTooLargeKeys=0
32.56 => wckTime=27.85 cpuTime=27.47 mem=26M604
39.60
39.60 search
39.60 run=11 nbConstraintChecks=1105514 nbValidityChecks=714534 nbPropagations=287453 nbRevisions=2972499
39.60 nbUselessRevisions=2728475 nbAssignments=7306 nbFailedAssignments=305 nbBacktracks=2654 nbVisitedNodes=8323
39.60 nbRestartNogoods=37 mapSize=943 nbInferences=377 nbTooLargeKeys=0
39.60 => wckTime=34.894 cpuTime=34.45 mem=27M612
50.50
50.50 search
50.50 run=12 nbConstraintChecks=1228942 nbValidityChecks=776332 nbPropagations=351773 nbRevisions=3595085
50.50 nbUselessRevisions=3289223 nbAssignments=9468 nbFailedAssignments=338 nbBacktracks=4145 nbVisitedNodes=10548
50.50 nbRestartNogoods=39 mapSize=991 nbInferences=379 nbTooLargeKeys=0
50.50 => wckTime=45.798 cpuTime=45.25 mem=29M630
66.77
66.77 search
66.77 run=13 nbConstraintChecks=1538426 nbValidityChecks=861782 nbPropagations=422672 nbRevisions=4283217
66.77 nbUselessRevisions=3908658 nbAssignments=12149 nbFailedAssignments=438 nbBacktracks=6107 nbVisitedNodes=13506
66.77 nbRestartNogoods=52 mapSize=1197 nbInferences=388 nbTooLargeKeys=0
66.77 => wckTime=62.062 cpuTime=61.37 mem=30M638
88.85
88.85 search
88.85 run=14 nbConstraintChecks=1952845 nbValidityChecks=967007 nbPropagations=517425 nbRevisions=5104056
88.85 nbUselessRevisions=4635650 nbAssignments=16058 nbFailedAssignments=961 nbBacktracks=9026 nbVisitedNodes=18197
88.85 nbRestartNogoods=59 mapSize=1924 nbInferences=398 nbTooLargeKeys=0
88.85 => wckTime=84.142 cpuTime=83.24 mem=32M655
116.29
116.29 search
116.29 run=15 nbConstraintChecks=2805789 nbValidityChecks=1176213 nbPropagations=664721 nbRevisions=6230156
116.29 nbUselessRevisions=5611099 nbAssignments=21436 nbFailedAssignments=1416 nbBacktracks=13404 nbVisitedNodes=24728
116.29 nbRestartNogoods=66 mapSize=3014 nbInferences=481 nbTooLargeKeys=0
116.29 => wckTime=111.579 cpuTime=110.42 mem=36M689
137.05
137.05 search
137.05 run=16 nbConstraintChecks=3489045 nbValidityChecks=1417679 nbPropagations=929712 nbRevisions=7926755
137.05 nbUselessRevisions=7029507 nbAssignments=29484 nbFailedAssignments=2217 nbBacktracks=19972 nbVisitedNodes=34448
137.05 nbRestartNogoods=78 mapSize=4678 nbInferences=684 nbTooLargeKeys=0
137.05 => wckTime=132.341 cpuTime=130.98 mem=41M732
248.20
248.20 search
248.20 run=17 nbConstraintChecks=4566004 nbValidityChecks=1953390 nbPropagations=1226496 nbRevisions=9994062
248.20 nbUselessRevisions=8796690 nbAssignments=46314 nbFailedAssignments=2402 nbBacktracks=29826 nbVisitedNodes=56874
248.20 nbRestartNogoods=86 mapSize=10258 nbInferences=5918 nbTooLargeKeys=0
248.20 => wckTime=243.495 cpuTime=241.12 mem=48M792
351.51
351.51 search
351.51 run=18 nbConstraintChecks=12200189 nbValidityChecks=4645569 nbPropagations=1712764 nbRevisions=14379712
351.51 nbUselessRevisions=12682148 nbAssignments=63905 nbFailedAssignments=4722 nbBacktracks=44610
351.51 nbVisitedNodes=79195 nbRestartNogoods=100 mapSize=14927 nbInferences=5949 nbTooLargeKeys=0
351.51 => wckTime=346.808 cpuTime=343.48 mem=60M895
465.94
465.94 search
465.94 run=19 nbConstraintChecks=17130628 nbValidityChecks=5671613 nbPropagations=2501832 nbRevisions=20667662
465.94 nbUselessRevisions=18152591 nbAssignments=88992 nbFailedAssignments=6870 nbBacktracks=66787
465.95 nbVisitedNodes=109599 nbRestartNogoods=110 mapSize=20013 nbInferences=6509 nbTooLargeKeys=0
465.95 => wckTime=461.238 cpuTime=456.79 mem=35M402
785.48
785.48 search
785.48 run=20 nbConstraintChecks=18732278 nbValidityChecks=7560354 nbPropagations=3384810 nbRevisions=28306952
785.48 nbUselessRevisions=24909253 nbAssignments=139791 nbFailedAssignments=7281 nbBacktracks=100043
785.48 nbVisitedNodes=177745 nbRestartNogoods=121 mapSize=37278 nbInferences=23028 nbTooLargeKeys=0
785.48 => wckTime=780.776 cpuTime=773.4 mem=57M590
1200.22
1200.22 search
1200.22 run=21 nbConstraintChecks=53652881 nbValidityChecks=12981279 nbPropagations=5061910 nbRevisions=42999967
1200.22 nbUselessRevisions=37908175 nbAssignments=198657 nbFailedAssignments=13835 nbBacktracks=149921
1200.22 nbVisitedNodes=251170 nbRestartNogoods=152 mapSize=51808 nbInferences=25179 nbTooLargeKeys=0
1200.22 => wckTime=1195.51 cpuTime=1184.22 mem=49M701
1457.04
1457.04 search
1457.04 run=22 nbConstraintChecks=62478086 nbValidityChecks=15628961 nbPropagations=7790233 nbRevisions=63439976
1457.04 nbUselessRevisions=55491150 nbAssignments=283464 nbFailedAssignments=21217 nbBacktracks=224751
1457.04 nbVisitedNodes=355692 nbRestartNogoods=166 mapSize=71501 nbInferences=27665 nbTooLargeKeys=0
1457.04 => wckTime=1452.329 cpuTime=1438.68 mem=91M51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-211109-1168075462 -o ROOT/results/node2/solver-211109-1168075462 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211109-1168075462/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.76 1.91 1.89 5/93 4685
/proc/meminfo: memFree=1074480/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=11868 CPUtime=0
/proc/4684/stat : 4684 (java) D 4682 4684 4617 0 -1 0 765 0 1 0 0 0 0 0 17 0 1 0 155942525 12152832 515 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10535716 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/4684/statm: 3002 533 440 14 0 1602 0
[startup+0.104436 s]
/proc/loadavg: 1.76 1.91 1.89 5/93 4685
/proc/meminfo: memFree=1074480/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=914988 CPUtime=0.08
/proc/4684/stat : 4684 (java) D 4682 4684 4617 0 -1 0 2987 0 1 0 7 1 0 0 18 0 8 0 155942525 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512496 s]
/proc/loadavg: 1.76 1.91 1.89 5/93 4685
/proc/meminfo: memFree=1074480/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915328 CPUtime=0.48
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 6446 0 1 0 44 4 0 0 18 0 8 0 155942525 937295872 6185 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073594500 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228832 6185 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33465 s]
/proc/loadavg: 1.76 1.91 1.89 3/100 4692
/proc/meminfo: memFree=1013496/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915648 CPUtime=1.3
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 17696 0 1 0 115 15 0 0 24 0 8 0 155942525 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228912 17434 2178 14 0 215382 0
[pid=4684/tid=4686] ppid=4682 vsize=915648 CPUtime=0.04
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 1086 0 0 0 4 0 0 0 17 0 8 0 155942529 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915648 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915648 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915648 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915648 CPUtime=0.19
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 417 0 0 0 18 1 0 0 16 0 8 0 155942533 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915648 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915648 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937623552 17434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915648
[startup+2.98694 s]
/proc/loadavg: 1.76 1.91 1.89 3/100 4692
/proc/meminfo: memFree=1006392/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915644 CPUtime=2.94
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 19425 0 1 0 252 42 0 0 25 0 8 0 155942525 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073885664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228911 19161 2179 14 0 215381 0
[pid=4684/tid=4686] ppid=4682 vsize=915644 CPUtime=0.1
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 2784 0 0 0 9 1 0 0 17 0 8 0 155942529 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915644 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915644 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915644 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915644 CPUtime=0.23
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 445 0 0 0 22 1 0 0 16 0 8 0 155942533 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915644 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915644 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937619456 19161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915644
[startup+6.27356 s]
/proc/loadavg: 1.78 1.92 1.89 3/100 4692
/proc/meminfo: memFree=993656/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=6.2
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 22980 0 1 0 574 46 0 0 25 0 8 0 155942525 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074230846 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 22695 2535 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.26
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 5836 0 0 0 24 2 0 0 17 0 8 0 155942529 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.37
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 521 0 0 0 35 2 0 0 15 0 8 0 155942533 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 22695 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915852
[startup+12.7668 s]
/proc/loadavg: 1.80 1.92 1.89 3/100 4692
/proc/meminfo: memFree=993592/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=12.63
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 23004 0 1 0 1217 46 0 0 25 0 8 0 155942525 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074230883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 22713 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.26
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 5837 0 0 0 24 2 0 0 16 0 8 0 155942529 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.4
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 537 0 0 0 38 2 0 0 16 0 8 0 155942533 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 22713 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915852
[startup+25.6311 s]
/proc/loadavg: 1.84 1.92 1.90 3/100 4692
/proc/meminfo: memFree=993720/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=25.35
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 23011 0 1 0 2488 47 0 0 25 0 8 0 155942525 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 22716 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.26
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 5837 0 0 0 24 2 0 0 17 0 8 0 155942529 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.41
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 541 0 0 0 38 3 0 0 15 0 8 0 155942533 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 22716 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915852
[startup+51.2628 s]
/proc/loadavg: 1.89 1.92 1.90 3/100 4692
/proc/meminfo: memFree=993720/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=50.75
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 23021 0 1 0 5028 47 0 0 25 0 8 0 155942525 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074230883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 22721 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.26
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 5837 0 0 0 24 2 0 0 16 0 8 0 155942529 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.42
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 546 0 0 0 39 3 0 0 15 0 8 0 155942533 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 22721 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915852
[startup+102.518 s]
/proc/loadavg: 1.95 1.93 1.90 3/100 4692
/proc/meminfo: memFree=993720/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=101.53
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 23023 0 1 0 10105 48 0 0 25 0 8 0 155942525 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074229038 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 22722 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.26
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 5837 0 0 0 24 2 0 0 16 0 8 0 155942529 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.42
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 547 0 0 0 39 3 0 0 16 0 8 0 155942533 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 22722 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915852
[startup+162.528 s]
/proc/loadavg: 2.20 2.02 1.93 3/100 4692
/proc/meminfo: memFree=993784/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=160.98
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 23024 0 1 0 16050 48 0 0 25 0 8 0 155942525 937832448 22723 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073856407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1409.84
Current children cumulated vsize (KiB) 915852
[startup+1482.99 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4750
/proc/meminfo: memFree=943408/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1469.3
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 30161 0 1 0 146867 63 0 0 25 0 8 0 155942525 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161129 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 29858 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.41
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 12972 0 0 0 36 5 0 0 16 0 8 0 155942529 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 29858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.3
Current children cumulated vsize (KiB) 915852
[startup+1543.01 s]
/proc/loadavg: 2.00 2.00 1.94 3/100 4750
/proc/meminfo: memFree=931376/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1528.76
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 33156 0 1 0 152811 65 0 0 25 0 8 0 155942525 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 32852 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.47
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 15966 0 0 0 41 6 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.76
Current children cumulated vsize (KiB) 915852
[startup+1603.01 s]
/proc/loadavg: 2.03 2.01 1.95 5/100 4750
/proc/meminfo: memFree=931376/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1588.21
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 33156 0 1 0 158756 65 0 0 25 0 8 0 155942525 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161002 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 32852 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.47
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 15966 0 0 0 41 6 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.21
Current children cumulated vsize (KiB) 915852
[startup+1663.11 s]
/proc/loadavg: 2.01 2.01 1.95 3/100 4750
/proc/meminfo: memFree=931376/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1647.75
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 33156 0 1 0 164710 65 0 0 25 0 8 0 155942525 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074298728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 32852 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.47
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 15966 0 0 0 41 6 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.75
Current children cumulated vsize (KiB) 915852
[startup+1723.11 s]
/proc/loadavg: 2.00 2.00 1.95 4/100 4750
/proc/meminfo: memFree=931376/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1707.21
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 33156 0 1 0 170655 66 0 0 25 0 8 0 155942525 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074161047 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 32852 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.47
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 15966 0 0 0 41 6 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.21
Current children cumulated vsize (KiB) 915852
[startup+1783.12 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 4750
/proc/meminfo: memFree=931376/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1766.66
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 33156 0 1 0 176600 66 0 0 25 0 8 0 155942525 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074171034 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 32852 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.47
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 15966 0 0 0 41 6 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.66
Current children cumulated vsize (KiB) 915852
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.79 s]
/proc/loadavg: 2.00 2.00 1.95 3/100 4750
/proc/meminfo: memFree=931312/2055920 swapFree=4191880/4192956
[pid=4684] ppid=4682 vsize=915852 CPUtime=1800.02
/proc/4684/stat : 4684 (java) R 4682 4684 4617 0 -1 0 33156 0 1 0 179935 67 0 0 25 0 8 0 155942525 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074183780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4684/statm: 228963 32852 2539 14 0 215433 0
[pid=4684/tid=4686] ppid=4682 vsize=915852 CPUtime=0.47
/proc/4684/task/4686/stat : 4686 (java) S 4682 4684 4617 0 -1 64 15966 0 0 0 41 6 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4687] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4687/stat : 4687 (java) S 4682 4684 4617 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4688] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4688/stat : 4688 (java) S 4682 4684 4617 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155942529 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4689] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4689/stat : 4689 (java) S 4682 4684 4617 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4690] ppid=4682 vsize=915852 CPUtime=0.43
/proc/4684/task/4690/stat : 4690 (java) S 4682 4684 4617 0 -1 64 548 0 0 0 40 3 0 0 16 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4691] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4691/stat : 4691 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4684/tid=4692] ppid=4682 vsize=915852 CPUtime=0
/proc/4684/task/4692/stat : 4692 (java) S 4682 4684 4617 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155942533 937832448 32852 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915852
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.85
CPU time (s): 1800.09
CPU user time (s): 1799.39
CPU system time (s): 0.692894
CPU usage (%): 99.0771
Max. virtual memory (cumulated for all children) (KiB): 915984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.692894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33171
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= 38561
involuntary context switches= 105618
runsolver used 2.49162 s user time and 5.56015 s system time
The end
Begin job on node2 on Sat Jan 6 09:24:24 UTC 2007
IDJOB= 211109
IDBENCH= 4669
FILE ID= node2/211109-1168075462
PBS_JOBID= 3475806
Free space on /tmp= 66322 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/43s-smv.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211109-1168075462/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-211109-1168075462 -o ROOT/results/node2/solver-211109-1168075462 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211109-1168075462/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f109fba1726e5b50bd902881991bb051
RANDOM SEED= 76827138
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.259
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 : 5931.00
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.259
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: 1075024 kB
Buffers: 73756 kB
Cached: 709948 kB
SwapCached: 268 kB
Active: 344936 kB
Inactive: 538512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1075024 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3320 kB
Writeback: 0 kB
Mapped: 128020 kB
Slab: 81780 kB
Committed_AS: 4283580 kB
PageTables: 2516 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= 66323 MiB
End job on node2 on Sat Jan 6 09:54:46 UTC 2007