0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/206554-1168073829/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.49
1.49 constraints being loaded...
2.21 nbConstraints=90 nbRelationTypes=93 nbMergedConstraints=3 nbExtensionStructures=90
2.21 nbSharedExtensionStructures=0 nbConflictsStructures=90 nbSharedConflictsStructures=0
2.21 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.21 => wckTime=1.889 cpuTime=1.51 mem=56M118
2.37
2.37 solver IterativeSystematicSolver being built...
2.55 => wckTime=2.227 cpuTime=1.66 mem=64M792
2.55
2.55 preprocessing
2.55 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.56 detectedInconsistency=no
2.56 => wckTime=0.0040 cpuTime=0.0 mem=64M792
2.70
2.70 search
2.70 run=0 nbConstraintChecks=43285 nbValidityChecks=72138 nbPropagations=391 nbRevisions=3894
2.70 nbUselessRevisions=2989 nbAssignments=26 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=44
2.70 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.70 => wckTime=0.145 cpuTime=0.1 mem=64M792
2.79
2.79 search
2.79 run=1 nbConstraintChecks=96573 nbValidityChecks=165837 nbPropagations=1250 nbRevisions=13375
2.79 nbUselessRevisions=10404 nbAssignments=63 nbFailedAssignments=22 nbBacktracks=30 nbVisitedNodes=103
2.79 nbRestartNogoods=1 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.79 => wckTime=0.244 cpuTime=0.2 mem=64M792
2.96
2.96 search
2.96 run=2 nbConstraintChecks=195795 nbValidityChecks=347103 nbPropagations=2835 nbRevisions=32433
2.96 nbUselessRevisions=25576 nbAssignments=120 nbFailedAssignments=49 nbBacktracks=53 nbVisitedNodes=206
2.96 nbRestartNogoods=3 mapSize=45 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.412 cpuTime=0.35 mem=64M792
3.13
3.13 search
3.13 run=3 nbConstraintChecks=302318 nbValidityChecks=545976 nbPropagations=5246 nbRevisions=61661
3.13 nbUselessRevisions=48827 nbAssignments=195 nbFailedAssignments=83 nbBacktracks=88 nbVisitedNodes=335
3.13 nbRestartNogoods=6 mapSize=67 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=0.581 cpuTime=0.52 mem=64M792
3.31
3.31 search
3.31 run=4 nbConstraintChecks=415761 nbValidityChecks=752562 nbPropagations=8728 nbRevisions=103766
3.31 nbUselessRevisions=82332 nbAssignments=286 nbFailedAssignments=117 nbBacktracks=139 nbVisitedNodes=483
3.31 nbRestartNogoods=11 mapSize=104 nbInferences=0 nbTooLargeKeys=0
3.31 => wckTime=0.758 cpuTime=0.69 mem=64M792
3.70
3.70 search
3.70 run=5 nbConstraintChecks=666757 nbValidityChecks=1209561 nbPropagations=14252 nbRevisions=171003
3.70 nbUselessRevisions=135856 nbAssignments=445 nbFailedAssignments=191 nbBacktracks=218 nbVisitedNodes=758
3.70 nbRestartNogoods=15 mapSize=165 nbInferences=0 nbTooLargeKeys=0
3.70 => wckTime=1.154 cpuTime=1.08 mem=64M792
4.40
4.40 search
4.40 run=6 nbConstraintChecks=1124961 nbValidityChecks=2079504 nbPropagations=23878 nbRevisions=291269
4.40 nbUselessRevisions=231496 nbAssignments=756 nbFailedAssignments=381 nbBacktracks=331 nbVisitedNodes=1337
4.40 nbRestartNogoods=26 mapSize=272 nbInferences=0 nbTooLargeKeys=0
4.40 => wckTime=1.85 cpuTime=1.77 mem=64M792
5.10
5.10 search
5.10 run=7 nbConstraintChecks=1590126 nbValidityChecks=2910666 nbPropagations=37612 nbRevisions=462120
5.10 nbUselessRevisions=367134 nbAssignments=1087 nbFailedAssignments=533 nbBacktracks=502 nbVisitedNodes=1911
5.10 nbRestartNogoods=33 mapSize=418 nbInferences=0 nbTooLargeKeys=0
5.10 => wckTime=2.546 cpuTime=2.45 mem=64M792
6.17
6.17 search
6.17 run=8 nbConstraintChecks=2251357 nbValidityChecks=4202264 nbPropagations=58963 nbRevisions=715455
6.17 nbUselessRevisions=566784 nbAssignments=1635 nbFailedAssignments=819 nbBacktracks=759 nbVisitedNodes=2906
6.17 nbRestartNogoods=38 mapSize=647 nbInferences=0 nbTooLargeKeys=0
6.17 => wckTime=3.615 cpuTime=3.5 mem=64M792
8.94
8.94 search
8.94 run=9 nbConstraintChecks=4149752 nbValidityChecks=7721399 nbPropagations=94342 nbRevisions=1146903
8.94 nbUselessRevisions=907849 nbAssignments=2724 nbFailedAssignments=1517 nbBacktracks=1144 nbVisitedNodes=4950
8.94 nbRestartNogoods=42 mapSize=998 nbInferences=0 nbTooLargeKeys=0
8.94 => wckTime=6.391 cpuTime=6.23 mem=65M798
9.02
9.02 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=65M798)
12.96
12.96 search
12.96 run=10 nbConstraintChecks=6787178 nbValidityChecks=12657973 nbPropagations=150620 nbRevisions=1835929
12.96 nbUselessRevisions=1451141 nbAssignments=4109 nbFailedAssignments=2320 nbBacktracks=1721 nbVisitedNodes=7547
12.96 nbRestartNogoods=49
12.96 => wckTime=10.407 cpuTime=10.22 mem=65M798
16.72
16.72 search
16.72 run=11 nbConstraintChecks=9345002 nbValidityChecks=17280038 nbPropagations=227607 nbRevisions=2782540
16.72 nbUselessRevisions=2198683 nbAssignments=5768 nbFailedAssignments=3109 nbBacktracks=2585 nbVisitedNodes=10430
16.72 nbRestartNogoods=54
16.72 => wckTime=14.171 cpuTime=13.97 mem=65M798
21.91
21.91 search
21.91 run=12 nbConstraintChecks=12644316 nbValidityChecks=24014945 nbPropagations=343159 nbRevisions=4134443
21.91 nbUselessRevisions=3256946 nbAssignments=8734 nbFailedAssignments=4773 nbBacktracks=3882 nbVisitedNodes=15826
21.91 nbRestartNogoods=62
21.91 => wckTime=19.358 cpuTime=19.13 mem=65M798
30.32
30.32 search
30.32 run=13 nbConstraintChecks=18548686 nbValidityChecks=34543285 nbPropagations=504373 nbRevisions=6078205
30.32 nbUselessRevisions=4785831 nbAssignments=12486 nbFailedAssignments=6573 nbBacktracks=5829 nbVisitedNodes=22433
30.32 nbRestartNogoods=75
30.32 => wckTime=27.77 cpuTime=27.49 mem=65M798
44.06
44.07 search
44.07 run=14 nbConstraintChecks=27521389 nbValidityChecks=52156598 nbPropagations=752294 nbRevisions=9058934
44.07 nbUselessRevisions=7128814 nbAssignments=18948 nbFailedAssignments=10110 nbBacktracks=8749 nbVisitedNodes=34249
44.07 nbRestartNogoods=87
44.07 => wckTime=41.515 cpuTime=41.16 mem=65M798
61.61
61.61 search
61.61 run=15 nbConstraintChecks=39313824 nbValidityChecks=74097548 nbPropagations=1106846 nbRevisions=13363254
61.61 nbUselessRevisions=10515735 nbAssignments=27497 nbFailedAssignments=14274 nbBacktracks=13129
61.61 nbVisitedNodes=49312 nbRestartNogoods=95
61.61 => wckTime=59.062 cpuTime=58.6 mem=65M798
91.73
91.73 search
91.73 run=16 nbConstraintChecks=58990857 nbValidityChecks=112489003 nbPropagations=1651459 nbRevisions=19898749
91.73 nbUselessRevisions=15658702 nbAssignments=41566 nbFailedAssignments=21770 nbBacktracks=19697
91.73 nbVisitedNodes=74909 nbRestartNogoods=103
91.73 => wckTime=89.179 cpuTime=88.56 mem=65M798
132.80
132.80 search
132.80 run=17 nbConstraintChecks=87127593 nbValidityChecks=163297591 nbPropagations=2429831 nbRevisions=29395706
132.80 nbUselessRevisions=23150717 nbAssignments=60511 nbFailedAssignments=30855 nbBacktracks=29550
132.80 nbVisitedNodes=108087 nbRestartNogoods=113
132.80 => wckTime=130.252 cpuTime=129.4 mem=65M798
210.04
210.04 search
210.04 run=18 nbConstraintChecks=138375871 nbValidityChecks=261421618 nbPropagations=3682539 nbRevisions=44465106
210.04 nbUselessRevisions=34981577 nbAssignments=95861 nbFailedAssignments=51418 nbBacktracks=44328
210.04 nbVisitedNodes=173767 nbRestartNogoods=141
210.04 => wckTime=207.492 cpuTime=206.21 mem=65M798
318.48
318.48 search
318.48 run=19 nbConstraintChecks=213399766 nbValidityChecks=395985864 nbPropagations=5517728 nbRevisions=66965175
318.48 nbUselessRevisions=52720081 nbAssignments=142078 nbFailedAssignments=75459 nbBacktracks=66498
318.48 nbVisitedNodes=256017 nbRestartNogoods=161
318.48 => wckTime=315.93 cpuTime=314.0 mem=65M798
474.17
474.17 search
474.17 run=20 nbConstraintChecks=314628459 nbValidityChecks=597427541 nbPropagations=8360421 nbRevisions=101107991
474.17 nbUselessRevisions=79549113 nbAssignments=217939 nbFailedAssignments=118062 nbBacktracks=99750
474.17 nbVisitedNodes=395084 nbRestartNogoods=181
474.17 => wckTime=471.619 cpuTime=468.81 mem=65M798
688.68
688.68 search
688.68 run=21 nbConstraintChecks=457818948 nbValidityChecks=865550153 nbPropagations=12467688 nbRevisions=150670648
688.68 nbUselessRevisions=118500041 nbAssignments=317705 nbFailedAssignments=167944 nbBacktracks=149628
688.68 nbVisitedNodes=571936 nbRestartNogoods=202
688.68 => wckTime=686.133 cpuTime=682.13 mem=65M798
1073.90
1073.90 search
1073.90 run=22 nbConstraintChecks=715911170 nbValidityChecks=1343284060 nbPropagations=18711679 nbRevisions=226508781
1073.90 nbUselessRevisions=178172856 nbAssignments=478123 nbFailedAssignments=253537 nbBacktracks=224447
1073.90 nbVisitedNodes=860956 nbRestartNogoods=222
1073.90 => wckTime=1071.347 cpuTime=1065.24 mem=65M798
1720.11
1720.11 search
1720.11 run=23 nbConstraintChecks=1145942132 nbValidityChecks=2162155260 nbPropagations=28480511 nbRevisions=344857937
1720.11 nbUselessRevisions=271326522 nbAssignments=752019 nbFailedAssignments=415201 nbBacktracks=336674
1720.11 nbVisitedNodes=1366187 nbRestartNogoods=239
1720.11 => wckTime=1717.56 cpuTime=1707.88 mem=65M798
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-206554-1168073829 -o ROOT/results/node22/solver-206554-1168073829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206554-1168073829/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.85 0.97 1.03 3/83 8084
/proc/meminfo: memFree=1586656/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=1784 CPUtime=0
/proc/8083/stat : 8083 (java) D 8080 8083 7950 0 -1 0 194 0 0 0 0 0 0 0 18 0 1 0 155777465 1826816 160 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 18446744072100037788 0 0 17 0 0 0
/proc/8083/statm: 446 160 125 14 0 91 0
[startup+0.103323 s]
/proc/loadavg: 0.85 0.97 1.03 3/83 8084
/proc/meminfo: memFree=1586656/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=913228 CPUtime=0.08
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 2920 0 1 0 7 1 0 0 24 0 8 0 155777465 935145472 2666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228307 2666 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.511386 s]
/proc/loadavg: 0.85 0.97 1.03 3/83 8084
/proc/meminfo: memFree=1586656/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915328 CPUtime=0.49
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 7469 0 1 0 45 4 0 0 25 0 8 0 155777465 937295872 7208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228832 7209 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33451 s]
/proc/loadavg: 0.85 0.97 1.03 3/100 8101
/proc/meminfo: memFree=1452120/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915328 CPUtime=1.3
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 19100 0 1 0 121 9 0 0 25 0 8 0 155777465 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073445412 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228832 18838 2149 14 0 215302 0
[pid=8083/tid=8088] ppid=8080 vsize=915328 CPUtime=0.04
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 155777469 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915328 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915328 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915328 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915328 CPUtime=0.09
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 309 0 0 0 9 0 0 0 16 0 8 0 155777473 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915328 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915328 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98877 s]
/proc/loadavg: 0.85 0.97 1.03 6/100 8101
/proc/meminfo: memFree=1372184/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=2.96
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32303 0 1 0 279 17 0 0 25 0 8 0 155777465 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32037 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.24
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 379 0 0 0 23 1 0 0 15 0 8 0 155777473 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915440
[startup+6.27427 s]
/proc/loadavg: 0.94 0.98 1.04 3/100 8101
/proc/meminfo: memFree=1348120/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=6.22
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32322 0 1 0 604 18 0 0 25 0 8 0 155777465 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802731 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32053 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.27
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 396 0 0 0 26 1 0 0 15 0 8 0 155777473 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32053 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7663 s]
/proc/loadavg: 1.02 1.00 1.04 4/100 8101
/proc/meminfo: memFree=1348128/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=12.66
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32329 0 1 0 1248 18 0 0 25 0 8 0 155777465 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806565 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32057 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.28
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 402 0 0 0 27 1 0 0 16 0 8 0 155777473 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32057 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915440
[startup+25.6262 s]
/proc/loadavg: 1.24 1.05 1.06 3/100 8101
/proc/meminfo: memFree=1348384/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=25.47
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32330 0 1 0 2528 19 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.28
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915440
[startup+51.2592 s]
/proc/loadavg: 1.50 1.12 1.08 3/100 8101
/proc/meminfo: memFree=1348448/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=50.95
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32330 0 1 0 5076 19 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629950 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.28
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915440
[startup+102.515 s]
/proc/loadavg: 1.78 1.26 1.13 4/100 8101
/proc/meminfo: memFree=1348512/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=101.9
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32330 0 1 0 10171 19 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.28
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 27 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 915440
[startup+162.526 s]
/proc/loadavg: 1.92 1.39 1.18 3/100 8101
/proc/meminfo: memFree=1348512/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=161.59
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32330 0 1 0 16140 19 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802728 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.78
Current children cumulated vsize (KiB) 915440
[startup+1482.75 s]
/proc/loadavg: 2.00 2.00 1.78 5/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1474.47
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 147405 42 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634879 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.47
Current children cumulated vsize (KiB) 915440
[startup+1542.76 s]
/proc/loadavg: 2.00 2.00 1.80 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1534.15
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 153372 43 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807502 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.15
Current children cumulated vsize (KiB) 915440
[startup+1602.77 s]
/proc/loadavg: 2.00 2.00 1.81 3/100 8301
/proc/meminfo: memFree=1347744/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1593.83
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 159340 43 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834053 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.83
Current children cumulated vsize (KiB) 915440
[startup+1662.78 s]
/proc/loadavg: 2.00 2.00 1.82 3/100 8301
/proc/meminfo: memFree=1347744/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1653.51
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 165308 43 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.51
Current children cumulated vsize (KiB) 915440
[startup+1722.78 s]
/proc/loadavg: 2.03 2.01 1.83 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1713.17
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 171274 43 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807505 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.17
Current children cumulated vsize (KiB) 915440
[startup+1782.8 s]
/proc/loadavg: 2.01 2.01 1.84 3/100 8301
/proc/meminfo: memFree=1347680/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1772.88
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 177244 44 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811199 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1772.88
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.17 s]
/proc/loadavg: 2.00 2.00 1.84 2/88 8314
/proc/meminfo: memFree=1474688/2055920 swapFree=4157532/4192956
[pid=8083] ppid=8080 vsize=915440 CPUtime=1800.08
/proc/8083/stat : 8083 (java) R 8080 8083 7950 0 -1 0 32331 0 1 0 179964 44 0 0 25 0 8 0 155777465 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8083/statm: 228860 32058 2521 14 0 215330 0
[pid=8083/tid=8088] ppid=8080 vsize=915440 CPUtime=0.42
/proc/8083/task/8088/stat : 8088 (java) S 8080 8083 7950 0 -1 64 15324 0 0 0 36 6 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8090] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8090/stat : 8090 (java) S 8080 8083 7950 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8091] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8091/stat : 8091 (java) S 8080 8083 7950 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155777469 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8094] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8094/stat : 8094 (java) S 8080 8083 7950 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8095] ppid=8080 vsize=915440 CPUtime=0.29
/proc/8083/task/8095/stat : 8095 (java) S 8080 8083 7950 0 -1 64 403 0 0 0 28 1 0 0 16 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8096] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8096/stat : 8096 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8083/tid=8097] ppid=8080 vsize=915440 CPUtime=0
/proc/8083/task/8097/stat : 8097 (java) S 8080 8083 7950 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155777473 937410560 32058 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.23
CPU time (s): 1800.14
CPU user time (s): 1799.67
CPU system time (s): 0.468928
CPU usage (%): 99.4428
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.468928
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32348
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= 37839
involuntary context switches= 67542
runsolver used 2.75358 s user time and 5.2672 s system time
The end
Begin job on node22 on Sat Jan 6 08:57:10 UTC 2007
IDJOB= 206554
IDBENCH= 4217
FILE ID= node22/206554-1168073829
PBS_JOBID= 3476004
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-32_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206554-1168073829/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-206554-1168073829 -o ROOT/results/node22/solver-206554-1168073829 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206554-1168073829/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 998ebf0c4ba1d435a88a53dc397ba23c
RANDOM SEED= 300513539
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.279
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.279
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: 1587344 kB
Buffers: 37332 kB
Cached: 321388 kB
SwapCached: 13648 kB
Active: 100456 kB
Inactive: 300940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1587344 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 15236 kB
Writeback: 0 kB
Mapped: 57880 kB
Slab: 52140 kB
Committed_AS: 2581784 kB
PageTables: 2116 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66543 MiB
End job on node22 on Sat Jan 6 09:27:21 UTC 2007