0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/195806-1168069909/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.38 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.38
0.38 relations being loaded...
0.97
0.97 constraints being loaded...
1.22 nbConstraints=75 nbRelationTypes=75 nbExtensionStructures=75 nbSharedExtensionStructures=0
1.22 nbConflictsStructures=75 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
1.22 => wckTime=0.929 cpuTime=0.82 mem=48M727
1.33
1.33 solver IterativeSystematicSolver being built...
1.48 => wckTime=1.187 cpuTime=0.94 mem=34M620
1.48
1.48 preprocessing
1.48 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.48 detectedInconsistency=no
1.48 => wckTime=0.0030 cpuTime=0.0 mem=34M620
1.61
1.61 search
1.61 run=0 nbConstraintChecks=51309 nbValidityChecks=90263 nbPropagations=489 nbRevisions=5484
1.61 nbUselessRevisions=4353 nbAssignments=35 nbFailedAssignments=18 nbBacktracks=11 nbVisitedNodes=64
1.61 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.133 cpuTime=0.11 mem=34M620
1.69
1.69 search
1.69 run=1 nbConstraintChecks=96955 nbValidityChecks=182931 nbPropagations=1535 nbRevisions=17433
1.69 nbUselessRevisions=13819 nbAssignments=83 nbFailedAssignments=44 nbBacktracks=28 nbVisitedNodes=150
1.69 nbRestartNogoods=4 mapSize=26 nbInferences=0 nbTooLargeKeys=0
1.69 => wckTime=0.212 cpuTime=0.18 mem=34M620
1.78
1.78 search
1.78 run=2 nbConstraintChecks=149735 nbValidityChecks=297007 nbPropagations=3131 nbRevisions=35842
1.78 nbUselessRevisions=28355 nbAssignments=146 nbFailedAssignments=79 nbBacktracks=50 nbVisitedNodes=259
1.78 nbRestartNogoods=7 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.301 cpuTime=0.26 mem=34M620
1.94
1.94 search
1.94 run=3 nbConstraintChecks=260369 nbValidityChecks=525460 nbPropagations=5939 nbRevisions=68684
1.94 nbUselessRevisions=54115 nbAssignments=256 nbFailedAssignments=149 nbBacktracks=84 nbVisitedNodes=465
1.94 nbRestartNogoods=12 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.458 cpuTime=0.42 mem=34M620
2.10
2.10 search
2.10 run=4 nbConstraintChecks=375001 nbValidityChecks=742011 nbPropagations=9959 nbRevisions=115603
2.10 nbUselessRevisions=91095 nbAssignments=356 nbFailedAssignments=192 nbBacktracks=135 nbVisitedNodes=639
2.10 nbRestartNogoods=17 mapSize=118 nbInferences=0 nbTooLargeKeys=0
2.10 => wckTime=0.619 cpuTime=0.58 mem=34M620
2.32
2.32 search
2.32 run=5 nbConstraintChecks=529691 nbValidityChecks=1037969 nbPropagations=15756 nbRevisions=182248
2.32 nbUselessRevisions=143422 nbAssignments=511 nbFailedAssignments=267 nbBacktracks=210 nbVisitedNodes=914
2.32 nbRestartNogoods=24 mapSize=182 nbInferences=0 nbTooLargeKeys=0
2.32 => wckTime=0.845 cpuTime=0.79 mem=34M620
2.63
2.63 search
2.63 run=6 nbConstraintChecks=751549 nbValidityChecks=1502772 nbPropagations=24173 nbRevisions=279456
2.63 nbUselessRevisions=219813 nbAssignments=775 nbFailedAssignments=409 nbBacktracks=323 nbVisitedNodes=1383
2.63 nbRestartNogoods=33 mapSize=277 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=1.152 cpuTime=1.1 mem=34M620
3.12
3.12 search
3.12 run=7 nbConstraintChecks=1102196 nbValidityChecks=2192419 nbPropagations=37024 nbRevisions=427007
3.12 nbUselessRevisions=335227 nbAssignments=1145 nbFailedAssignments=604 nbBacktracks=493 nbVisitedNodes=2056
3.12 nbRestartNogoods=42 mapSize=428 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=1.641 cpuTime=1.58 mem=34M620
4.00
4.00 search
4.00 run=8 nbConstraintChecks=1714007 nbValidityChecks=3468366 nbPropagations=57643 nbRevisions=662655
4.00 nbUselessRevisions=519700 nbAssignments=1755 nbFailedAssignments=951 nbBacktracks=752 nbVisitedNodes=3192
4.00 nbRestartNogoods=45 mapSize=671 nbInferences=0 nbTooLargeKeys=0
4.00 => wckTime=2.519 cpuTime=2.44 mem=34M620
5.08
5.08 search
5.08 run=9 nbConstraintChecks=2523937 nbValidityChecks=5053025 nbPropagations=88267 nbRevisions=1010305
5.08 nbUselessRevisions=791161 nbAssignments=2574 nbFailedAssignments=1379 nbBacktracks=1136 nbVisitedNodes=4693
5.08 nbRestartNogoods=52 mapSize=1013 nbInferences=0 nbTooLargeKeys=0
5.08 => wckTime=3.6 cpuTime=3.52 mem=34M620
5.13
5.13 INFO : Stopping hyperNogood (mapSize=1025, nbTooLargekeys=0, mem=35M606)
7.08
7.08 search
7.08 run=10 nbConstraintChecks=3969770 nbValidityChecks=8095170 nbPropagations=137468 nbRevisions=1567392
7.08 nbUselessRevisions=1226340 nbAssignments=3998 nbFailedAssignments=2221 nbBacktracks=1712 nbVisitedNodes=7371
7.08 nbRestartNogoods=59
7.08 => wckTime=5.6 cpuTime=5.5 mem=35M606
10.53
10.53 search
10.53 run=11 nbConstraintChecks=6628198 nbValidityChecks=13445529 nbPropagations=215829 nbRevisions=2500387
10.53 nbUselessRevisions=1956314 nbAssignments=6658 nbFailedAssignments=4009 nbBacktracks=2579 nbVisitedNodes=12422
10.53 nbRestartNogoods=69
10.53 => wckTime=9.049 cpuTime=8.94 mem=35M606
14.76
14.76 search
14.76 run=12 nbConstraintChecks=9836344 nbValidityChecks=20118589 nbPropagations=334298 nbRevisions=3897384
14.76 nbUselessRevisions=3048353 nbAssignments=10084 nbFailedAssignments=6131 nbBacktracks=3876 nbVisitedNodes=18869
14.76 nbRestartNogoods=76
14.76 => wckTime=13.277 cpuTime=13.17 mem=35M606
22.07
22.07 search
22.07 run=13 nbConstraintChecks=15413799 nbValidityChecks=31517011 nbPropagations=521194 nbRevisions=6108930
22.07 nbUselessRevisions=4773339 nbAssignments=15649 nbFailedAssignments=9743 nbBacktracks=5823 nbVisitedNodes=29503
22.07 nbRestartNogoods=92
22.07 => wckTime=20.588 cpuTime=20.47 mem=35M606
31.69
31.69 search
31.69 run=14 nbConstraintChecks=22823026 nbValidityChecks=46883176 nbPropagations=794833 nbRevisions=9316173
31.69 nbUselessRevisions=7274952 nbAssignments=23400 nbFailedAssignments=14568 nbBacktracks=8743 nbVisitedNodes=44059
31.69 nbRestartNogoods=98
31.69 => wckTime=30.211 cpuTime=30.09 mem=35M606
45.19
45.19 search
45.19 run=15 nbConstraintChecks=33350479 nbValidityChecks=67357036 nbPropagations=1181759 nbRevisions=13829939
45.19 nbUselessRevisions=10804861 nbAssignments=32962 nbFailedAssignments=19747 nbBacktracks=13122
45.19 nbVisitedNodes=61486 nbRestartNogoods=112
45.19 => wckTime=43.713 cpuTime=43.58 mem=35M606
66.99
66.99 search
66.99 run=16 nbConstraintChecks=50131693 nbValidityChecks=101541892 nbPropagations=1762722 nbRevisions=20575725
66.99 nbUselessRevisions=16079424 nbAssignments=49790 nbFailedAssignments=30001 nbBacktracks=19692
66.99 nbVisitedNodes=92874 nbRestartNogoods=128
66.99 => wckTime=65.511 cpuTime=65.36 mem=35M606
98.43
98.43 search
98.43 run=17 nbConstraintChecks=74570692 nbValidityChecks=149799707 nbPropagations=2611358 nbRevisions=30407717
98.43 nbUselessRevisions=23787496 nbAssignments=72564 nbFailedAssignments=42918 nbBacktracks=29544
98.43 nbVisitedNodes=134799 nbRestartNogoods=135
98.43 => wckTime=96.953 cpuTime=96.78 mem=35M606
150.45
150.45 search
150.45 run=18 nbConstraintChecks=114581339 nbValidityChecks=231892722 nbPropagations=3919335 nbRevisions=45563988
150.45 nbUselessRevisions=35655769 nbAssignments=113198 nbFailedAssignments=68768 nbBacktracks=44322
150.45 nbVisitedNodes=211226 nbRestartNogoods=143
150.45 => wckTime=148.971 cpuTime=148.75 mem=35M606
219.55
219.55 search
219.55 run=19 nbConstraintChecks=167954008 nbValidityChecks=337907976 nbPropagations=5830251 nbRevisions=67710208
219.55 nbUselessRevisions=53034081 nbAssignments=163160 nbFailedAssignments=96555 nbBacktracks=66492
219.55 nbVisitedNodes=303077 nbRestartNogoods=156
219.55 => wckTime=218.07 cpuTime=217.81 mem=35M606
329.12
329.12 search
329.12 run=20 nbConstraintChecks=252495678 nbValidityChecks=511207384 nbPropagations=8703092 nbRevisions=101063600
329.12 nbUselessRevisions=79216750 nbAssignments=247578 nbFailedAssignments=147716 nbBacktracks=99745
329.12 nbVisitedNodes=460129 nbRestartNogoods=166
329.12 => wckTime=327.643 cpuTime=327.3 mem=35M606
484.84
484.84 search
484.84 run=21 nbConstraintChecks=373314676 nbValidityChecks=748589127 nbPropagations=12905307 nbRevisions=149675720
484.84 nbUselessRevisions=117442993 nbAssignments=357178 nbFailedAssignments=207432 nbBacktracks=149624
484.84 nbVisitedNodes=660461 nbRestartNogoods=180
484.84 => wckTime=483.358 cpuTime=482.92 mem=35M606
737.77
737.77 search
737.77 run=22 nbConstraintChecks=568067420 nbValidityChecks=1144966348 nbPropagations=19277432 nbRevisions=223888113
737.77 nbUselessRevisions=175861469 nbAssignments=548092 nbFailedAssignments=323521 nbBacktracks=224442
737.77 nbVisitedNodes=1015998 nbRestartNogoods=208
737.77 => wckTime=736.287 cpuTime=735.59 mem=35M606
1096.15
1096.15 search
1096.15 run=23 nbConstraintChecks=845149569 nbValidityChecks=1698982526 nbPropagations=28720257 nbRevisions=333467904
1096.15 nbUselessRevisions=262133594 nbAssignments=810156 nbFailedAssignments=473353 nbBacktracks=336669
1096.15 nbVisitedNodes=1498669 nbRestartNogoods=234
1096.15 => wckTime=1094.676 cpuTime=1093.72 mem=35M606
1644.85
1644.85 search
1644.85 run=24 nbConstraintChecks=1264655277 nbValidityChecks=2559681694 nbPropagations=43126800 nbRevisions=501175859
1644.85 nbUselessRevisions=394161238 nbAssignments=1223449 nbFailedAssignments=718300 nbBacktracks=505010
1644.85 nbVisitedNodes=2269914 nbRestartNogoods=251
1644.85 => wckTime=1643.373 cpuTime=1642.03 mem=35M606
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node76/watcher-195806-1168069909 -o ROOT/results/node76/solver-195806-1168069909 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195806-1168069909/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.00 1.01 1.00 4/70 29949
/proc/meminfo: memFree=1797768/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=18544 CPUtime=0
/proc/29948/stat : 29948 (runsolver) R 29946 29948 29478 0 -1 4194368 18 0 0 0 0 0 0 0 20 0 1 0 155387997 18989056 280 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206843737111 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29948/statm: 4636 280 245 17 0 2626 0
[startup+0.102717 s]
/proc/loadavg: 1.00 1.01 1.00 4/70 29949
/proc/meminfo: memFree=1797768/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=914992 CPUtime=0.08
/proc/29948/stat : 29948 (java) S 29946 29948 29478 0 -1 0 2994 0 1 0 7 1 0 0 17 0 8 0 155387997 936951808 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29948/statm: 228748 2742 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914992
[startup+0.51079 s]
/proc/loadavg: 1.00 1.01 1.00 4/70 29949
/proc/meminfo: memFree=1797768/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915332 CPUtime=0.48
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 8380 0 1 0 44 4 0 0 17 0 8 0 155387997 937299968 8121 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073549934 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29948/statm: 228833 8122 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33411 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 29956
/proc/meminfo: memFree=1730704/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1.31
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 22982 0 1 0 121 10 0 0 16 0 8 0 155387997 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072911176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29948/statm: 228855 22721 2170 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6497 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.09
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 322 0 0 0 9 0 0 0 16 0 8 0 155388005 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 22721 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915420
[startup+2.98143 s]
/proc/loadavg: 1.08 1.03 1.00 2/77 29956
/proc/meminfo: memFree=1714512/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=2.96
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23461 0 1 0 284 12 0 0 17 0 8 0 155387997 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615790 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23198 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 17 0 8 0 155388001 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.18
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 374 0 0 0 17 1 0 0 15 0 8 0 155388005 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23198 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915420
[startup+6.26608 s]
/proc/loadavg: 1.08 1.03 1.00 2/77 29956
/proc/meminfo: memFree=1714512/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=6.24
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23479 0 1 0 612 12 0 0 17 0 8 0 155387997 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744787 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29948/statm: 228855 23212 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.21
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 389 0 0 0 20 1 0 0 16 0 8 0 155388005 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23212 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915420
[startup+12.7433 s]
/proc/loadavg: 1.07 1.02 1.00 2/77 29956
/proc/meminfo: memFree=1714520/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=12.7
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23482 0 1 0 1258 12 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744820 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915420
[startup+25.5698 s]
/proc/loadavg: 1.06 1.02 1.00 2/77 29956
/proc/meminfo: memFree=1714584/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=25.52
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23482 0 1 0 2540 12 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615693 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 915420
[startup+51.2439 s]
/proc/loadavg: 1.04 1.02 1.00 2/77 29956
/proc/meminfo: memFree=1714648/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=51.17
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 5105 12 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744799 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 915420
[startup+102.481 s]
/proc/loadavg: 1.06 1.03 1.00 2/77 29956
/proc/meminfo: memFree=1714648/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=102.37
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 10225 12 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.37
Current children cumulated vsize (KiB) 915420
[startup+162.561 s]
/proc/loadavg: 1.06 1.04 1.00 2/77 29956
/proc/meminfo: memFree=1714648/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=162.4
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 16228 12 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072906312 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423
Current children cumulated vsize (KiB) 915420
[startup+1484.19 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 30154
/proc/meminfo: memFree=1714272/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1483.02
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 148278 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073620604 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.02
Current children cumulated vsize (KiB) 915420
[startup+1544.26 s]
/proc/loadavg: 1.00 1.01 1.00 2/77 30154
/proc/meminfo: memFree=1714208/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1543.05
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 154281 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749418 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.05
Current children cumulated vsize (KiB) 915420
[startup+1604.33 s]
/proc/loadavg: 1.04 1.02 1.00 2/77 30154
/proc/meminfo: memFree=1714272/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1603.09
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 160285 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073744842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.09
Current children cumulated vsize (KiB) 915420
[startup+1664.4 s]
/proc/loadavg: 1.01 1.01 1.00 2/77 30156
/proc/meminfo: memFree=1714080/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1663.11
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 166287 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615742 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.11
Current children cumulated vsize (KiB) 915420
[startup+1724.48 s]
/proc/loadavg: 1.00 1.00 1.00 2/77 30156
/proc/meminfo: memFree=1714080/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1723.15
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 172291 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.15
Current children cumulated vsize (KiB) 915420
[startup+1784.54 s]
/proc/loadavg: 1.05 1.02 1.00 2/77 30156
/proc/meminfo: memFree=1714144/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1783.18
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 178294 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750637 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.18
Current children cumulated vsize (KiB) 915420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.39 s]
/proc/loadavg: 1.04 1.01 1.00 2/77 30156
/proc/meminfo: memFree=1714144/2055888 swapFree=4096420/4096564
[pid=29948] ppid=29946 vsize=915420 CPUtime=1800.01
/proc/29948/stat : 29948 (java) R 29946 29948 29478 0 -1 0 23483 0 1 0 179977 24 0 0 25 0 8 0 155387997 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073805355 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29948/statm: 228855 23215 2522 14 0 215324 0
[pid=29948/tid=29950] ppid=29946 vsize=915420 CPUtime=0.15
/proc/29948/task/29950/stat : 29950 (java) S 29946 29948 29478 0 -1 64 6498 0 0 0 13 2 0 0 16 0 8 0 155388001 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29951] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29951/stat : 29951 (java) S 29946 29948 29478 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29952] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29952/stat : 29952 (java) S 29946 29948 29478 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155388002 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29953] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29953/stat : 29953 (java) S 29946 29948 29478 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29954] ppid=29946 vsize=915420 CPUtime=0.22
/proc/29948/task/29954/stat : 29954 (java) S 29946 29948 29478 0 -1 64 392 0 0 0 21 1 0 0 16 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29955] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29955/stat : 29955 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29948/tid=29956] ppid=29946 vsize=915420 CPUtime=0
/proc/29948/task/29956/stat : 29956 (java) S 29946 29948 29478 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155388005 937390080 23215 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.44
CPU time (s): 1800.07
CPU user time (s): 1799.81
CPU system time (s): 0.25896
CPU usage (%): 99.9239
Max. virtual memory (cumulated for all children) (KiB): 915420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.81
system time used= 0.25896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23499
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= 37287
involuntary context switches= 37516
runsolver used 2.25166 s user time and 4.14137 s system time
The end
Begin job on node76 on Sat Jan 6 07:51:49 UTC 2007
IDJOB= 195806
IDBENCH= 3303
FILE ID= node76/195806-1168069909
PBS_JOBID= 3475935
Free space on /tmp= 66639 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195806-1168069909/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node76/watcher-195806-1168069909 -o ROOT/results/node76/solver-195806-1168069909 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/195806-1168069909/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 12f3aa47e2277967d203a09c2b3e03d9
RANDOM SEED= 729861956
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.254
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 : 6006.17
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.254
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 : 5999.42
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055888 kB
MemFree: 1798184 kB
Buffers: 19076 kB
Cached: 166836 kB
SwapCached: 0 kB
Active: 51916 kB
Inactive: 149780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055888 kB
LowFree: 1798184 kB
SwapTotal: 4096564 kB
SwapFree: 4096420 kB
Dirty: 4520 kB
Writeback: 0 kB
Mapped: 26200 kB
Slab: 42336 kB
Committed_AS: 5730768 kB
PageTables: 1424 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264388 kB
VmallocChunk: 536606243 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66639 MiB
End job on node76 on Sat Jan 6 08:21:51 UTC 2007