0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/249403-1168086136/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=100 nbDomainTypes=1 minDomainSize=70 maxDomainSize=70
0.43 => wckTime=0.112 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.46
0.46 constraints being loaded...
0.54 nbConstraints=40 nbSingletonDomainVariables=16 nbDisconnectedVariables=16 nbUnbuiltConflictsStructures=40
0.54 nbSharedBinaryRepresentations=0 nbEvaluationManagers=40 nbSharedEvaluationManagers=0 maxDegree=5 maxArity=6
0.54 => wckTime=0.228 cpuTime=0.17 mem=9M893
0.58
0.58 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.44 cpuTime=0.32 mem=15M492
1.62
1.62 preprocessing
1.62 nbConstraintChecks=1968451 nbValidityChecks=786 nbPropagations=107 nbRevisions=22 nbUselessRevisions=6
1.62 nbRemovedValues=239 detectedInconsistency=no
1.62 => wckTime=0.864 cpuTime=0.85 mem=15M492
6.31
6.31 search
6.31 run=0 nbConstraintChecks=7902371 nbValidityChecks=4079 nbPropagations=237 nbRevisions=211
6.31 nbUselessRevisions=59 nbAssignments=24 nbFailedAssignments=7 nbBacktracks=11 nbVisitedNodes=32
6.31 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
6.31 => wckTime=5.552 cpuTime=5.49 mem=15M492
15.60
15.60 search
15.60 run=1 nbConstraintChecks=24018053 nbValidityChecks=19259 nbPropagations=732 nbRevisions=817
15.60 nbUselessRevisions=217 nbAssignments=66 nbFailedAssignments=28 nbBacktracks=26 nbVisitedNodes=95
15.60 nbRestartNogoods=2 mapSize=16 nbInferences=0 nbTooLargeKeys=0
15.60 => wckTime=14.845 cpuTime=14.74 mem=15M492
24.86
24.86 search
24.86 run=2 nbConstraintChecks=39967322 nbValidityChecks=31334 nbPropagations=1558 nbRevisions=1836
24.86 nbUselessRevisions=456 nbAssignments=114 nbFailedAssignments=47 nbBacktracks=49 nbVisitedNodes=162
24.86 nbRestartNogoods=22 mapSize=30 nbInferences=0 nbTooLargeKeys=0
24.86 => wckTime=24.106 cpuTime=23.96 mem=15M492
39.91
39.91 search
39.91 run=3 nbConstraintChecks=67485751 nbValidityChecks=56451 nbPropagations=2848 nbRevisions=3521
39.91 nbUselessRevisions=865 nbAssignments=188 nbFailedAssignments=81 nbBacktracks=83 nbVisitedNodes=270
39.91 nbRestartNogoods=37 mapSize=49 nbInferences=0 nbTooLargeKeys=0
39.91 => wckTime=39.153 cpuTime=38.96 mem=15M492
62.16
62.16 search
62.16 run=4 nbConstraintChecks=109608562 nbValidityChecks=93499 nbPropagations=4945 nbRevisions=6302
62.16 nbUselessRevisions=1522 nbAssignments=319 nbFailedAssignments=140 nbBacktracks=134 nbVisitedNodes=460
62.16 nbRestartNogoods=65 mapSize=77 nbInferences=0 nbTooLargeKeys=0
62.16 => wckTime=61.4 cpuTime=61.17 mem=15M492
76.35
76.35 search
76.35 run=5 nbConstraintChecks=131487747 nbValidityChecks=120309 nbPropagations=8494 nbRevisions=10690
76.35 nbUselessRevisions=2488 nbAssignments=513 nbFailedAssignments=244 nbBacktracks=209 nbVisitedNodes=758
76.35 nbRestartNogoods=109 mapSize=138 nbInferences=0 nbTooLargeKeys=0
76.35 => wckTime=75.59 cpuTime=75.35 mem=15M492
96.54
96.54 search
96.54 run=6 nbConstraintChecks=163606810 nbValidityChecks=179487 nbPropagations=14090 nbRevisions=17725
96.54 nbUselessRevisions=4126 nbAssignments=778 nbFailedAssignments=375 nbBacktracks=322 nbVisitedNodes=1154
96.54 nbRestartNogoods=112 mapSize=233 nbInferences=0 nbTooLargeKeys=0
96.54 => wckTime=95.784 cpuTime=95.53 mem=15M492
132.38
132.38 search
132.38 run=7 nbConstraintChecks=218536761 nbValidityChecks=240133 nbPropagations=21716 nbRevisions=27474
132.38 nbUselessRevisions=6559 nbAssignments=1103 nbFailedAssignments=516 nbBacktracks=492 nbVisitedNodes=1620
132.38 nbRestartNogoods=125 mapSize=350 nbInferences=0 nbTooLargeKeys=0
132.38 => wckTime=131.621 cpuTime=131.34 mem=16M468
260.92
260.92 search
260.92 run=8 nbConstraintChecks=411995991 nbValidityChecks=447043 nbPropagations=33647 nbRevisions=43816
260.92 nbUselessRevisions=11144 nbAssignments=1890 nbFailedAssignments=1027 nbBacktracks=749 nbVisitedNodes=2919
260.92 nbRestartNogoods=137 mapSize=525 nbInferences=0 nbTooLargeKeys=0
260.92 => wckTime=260.165 cpuTime=259.79 mem=16M468
421.71
421.71 search
421.71 run=9 nbConstraintChecks=647486025 nbValidityChecks=624227 nbPropagations=50670 nbRevisions=66427
421.71 nbUselessRevisions=17522 nbAssignments=2967 nbFailedAssignments=1701 nbBacktracks=1135 nbVisitedNodes=4670
421.71 nbRestartNogoods=145 mapSize=859 nbInferences=0 nbTooLargeKeys=0
421.71 => wckTime=420.958 cpuTime=420.48 mem=16M468
463.50
463.50 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=16M468)
535.41
535.41 search
535.41 run=10 nbConstraintChecks=820054797 nbValidityChecks=857473 nbPropagations=76356 nbRevisions=100047
535.41 nbUselessRevisions=26799 nbAssignments=4133 nbFailedAssignments=2276 nbBacktracks=1711 nbVisitedNodes=6412
535.41 nbRestartNogoods=158
535.41 => wckTime=534.657 cpuTime=534.09 mem=16M468
615.26
615.26 search
615.26 run=11 nbConstraintChecks=935069834 nbValidityChecks=1113091 nbPropagations=115633 nbRevisions=149781
615.26 nbUselessRevisions=39731 nbAssignments=5472 nbFailedAssignments=2735 nbBacktracks=2576 nbVisitedNodes=8210
615.26 nbRestartNogoods=166
615.27 => wckTime=614.509 cpuTime=613.89 mem=16M468
783.91
783.91 search
783.91 run=12 nbConstraintChecks=1185063172 nbValidityChecks=1633184 nbPropagations=175275 nbRevisions=225327
783.91 nbUselessRevisions=59427 nbAssignments=7638 nbFailedAssignments=3591 nbBacktracks=3873 nbVisitedNodes=11232
783.91 nbRestartNogoods=188
783.91 => wckTime=783.153 cpuTime=782.44 mem=16M468
1112.30
1112.30 search
1112.30 run=13 nbConstraintChecks=1676213706 nbValidityChecks=2555810 nbPropagations=267008 nbRevisions=341797
1112.30 nbUselessRevisions=89199 nbAssignments=11379 nbFailedAssignments=5368 nbBacktracks=5819 nbVisitedNodes=16750
1112.30 nbRestartNogoods=208
1112.30 => wckTime=1111.546 cpuTime=1110.66 mem=16M468
1582.63
1582.63 search
1582.63 run=14 nbConstraintChecks=2361764545 nbValidityChecks=3318800 nbPropagations=389065 nbRevisions=495469
1582.63 nbUselessRevisions=128040 nbAssignments=16008 nbFailedAssignments=7057 nbBacktracks=8741 nbVisitedNodes=23122
1582.63 nbRestartNogoods=219
1582.63 => wckTime=1581.877 cpuTime=1580.71 mem=16M468
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-249403-1168086136 -o ROOT/results/node58/solver-249403-1168086136 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/249403-1168086136/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.77 0.72 0.96 5/70 31526
/proc/meminfo: memFree=1643560/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=1784 CPUtime=0
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 157011940 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/31525/statm: 446 140 106 14 0 91 0
[startup+0.10722 s]
/proc/loadavg: 0.77 0.72 0.96 5/70 31526
/proc/meminfo: memFree=1643560/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=914988 CPUtime=0.08
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 3001 0 1 0 7 1 0 0 17 0 8 0 157011940 936947712 2747 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925080 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228747 2747 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515256 s]
/proc/loadavg: 0.77 0.72 0.96 5/70 31526
/proc/meminfo: memFree=1643560/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=0.5
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 6683 0 1 0 45 5 0 0 18 0 8 0 157011940 937431040 6422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 6422 2165 14 0 215335 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915460
[startup+1.33632 s]
/proc/loadavg: 0.77 0.72 0.96 3/87 31543
/proc/meminfo: memFree=1595488/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1.31
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8640 0 1 0 125 6 0 0 25 0 8 0 157011940 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 8378 2528 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 180 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.13
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 338 0 0 0 13 0 0 0 15 0 8 0 157011948 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8378 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8378 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) 915460
[startup+2.97346 s]
/proc/loadavg: 0.77 0.72 0.96 3/87 31543
/proc/meminfo: memFree=1594592/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=2.94
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8740 0 1 0 288 6 0 0 25 0 8 0 157011940 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 8476 2529 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 180 0 0 0 3 0 0 0 17 0 8 0 157011945 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.14
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 345 0 0 0 14 0 0 0 15 0 8 0 157011948 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8476 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.26474 s]
/proc/loadavg: 0.86 0.74 0.96 3/87 31543
/proc/meminfo: memFree=1594464/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=6.21
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8754 0 1 0 615 6 0 0 25 0 8 0 157011940 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073722204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 8488 2530 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 180 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.15
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 350 0 0 0 15 0 0 0 15 0 8 0 157011948 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8488 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915460
[startup+12.7403 s]
/proc/loadavg: 0.95 0.76 0.97 3/87 31543
/proc/meminfo: memFree=1594400/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=12.66
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8770 0 1 0 1260 6 0 0 25 0 8 0 157011940 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073719128 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 8502 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 17 0 8 0 157011945 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.15
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 354 0 0 0 15 0 0 0 15 0 8 0 157011948 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8502 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6074 s]
/proc/loadavg: 1.19 0.82 0.98 3/87 31543
/proc/meminfo: memFree=1594336/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=25.48
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8786 0 1 0 2541 7 0 0 25 0 8 0 157011940 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073723021 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 8514 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.16
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 359 0 0 0 16 0 0 0 16 0 8 0 157011948 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8514 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.2156 s]
/proc/loadavg: 1.53 0.93 1.01 2/72 31669
/proc/meminfo: memFree=1626192/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=51.04
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8806 0 1 0 5096 8 0 0 21 0 8 0 157011940 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073721768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31525/statm: 228865 8530 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.17
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 367 0 0 0 17 0 0 0 16 0 8 0 157011948 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 915460
[startup+102.491 s]
/proc/loadavg: 1.23 0.94 1.01 2/72 31669
/proc/meminfo: memFree=1626280/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=102.28
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8880 0 1 0 10220 8 0 0 25 0 8 0 157011940 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073724903 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8594 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.19
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 157011948 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8594 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915460
[startup+162.499 s]
/proc/loadavg: 1.08 0.95 1.00 2/72 31669
/proc/meminfo: memFree=1626216/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=162.25
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 8924 0 1 0 16217 8 0 0 25 0 8 0 157011940 937431040 8635 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727856 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.65
Current children cumulated vsize (KiB) 915460
[startup+1482.64 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625128/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1481.62
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9106 0 1 0 148152 10 0 0 25 0 8 0 157011940 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727943 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8807 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.62
Current children cumulated vsize (KiB) 915460
[startup+1542.65 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625192/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1541.59
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9106 0 1 0 154148 11 0 0 25 0 8 0 157011940 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8807 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 401 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8807 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.59
Current children cumulated vsize (KiB) 915460
[startup+1602.65 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625128/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1601.56
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9110 0 1 0 160145 11 0 0 25 0 8 0 157011940 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073717739 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8811 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.56
Current children cumulated vsize (KiB) 915460
[startup+1662.66 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625128/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1661.53
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9110 0 1 0 166142 11 0 0 25 0 8 0 157011940 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727863 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8811 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.53
Current children cumulated vsize (KiB) 915460
[startup+1722.66 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625064/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1721.49
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9110 0 1 0 172138 11 0 0 25 0 8 0 157011940 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8811 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 915460
[startup+1782.67 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625064/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1781.47
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9110 0 1 0 178136 11 0 0 25 0 8 0 157011940 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8811 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.26 s]
/proc/loadavg: 1.00 0.97 1.00 2/72 31669
/proc/meminfo: memFree=1625064/2055920 swapFree=4192812/4192956
[pid=31525] ppid=31522 vsize=915460 CPUtime=1800.06
/proc/31525/stat : 31525 (java) R 31522 31525 31054 0 -1 0 9110 0 1 0 179995 11 0 0 25 0 8 0 157011940 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073716392 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/31525/statm: 228865 8811 2533 14 0 215335 0
[pid=31525/tid=31530] ppid=31522 vsize=915460 CPUtime=0.03
/proc/31525/task/31530/stat : 31530 (java) S 31522 31525 31054 0 -1 64 181 0 0 0 3 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31532] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31532/stat : 31532 (java) S 31522 31525 31054 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31533] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31533/stat : 31533 (java) S 31522 31525 31054 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 157011945 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31539] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31539/stat : 31539 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31541] ppid=31522 vsize=915460 CPUtime=0.23
/proc/31525/task/31541/stat : 31541 (java) S 31522 31525 31054 0 -1 64 402 0 0 0 22 1 0 0 16 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31525/tid=31542] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31542/stat : 31542 (java) S 31522 31525 31054 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31525/tid=31543] ppid=31522 vsize=915460 CPUtime=0
/proc/31525/task/31543/stat : 31543 (java) S 31522 31525 31054 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 157011948 937431040 8811 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.29
CPU time (s): 1800.08
CPU user time (s): 1799.96
CPU system time (s): 0.118981
CPU usage (%): 99.9332
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.118981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9129
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= 37609
involuntary context switches= 37605
runsolver used 1.55976 s user time and 4.86426 s system time
The end
Begin job on node58 on Sat Jan 6 12:22:20 UTC 2007
IDJOB= 249403
IDBENCH= 11781
FILE ID= node58/249403-1168086136
PBS_JOBID= 3476570
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-20/primes-20-40-3-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/249403-1168086136/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-249403-1168086136 -o ROOT/results/node58/solver-249403-1168086136 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/249403-1168086136/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 26423e0b0ed9575e8c6327a607d1e954
RANDOM SEED= 684665513
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.223
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.223
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: 1644432 kB
Buffers: 25240 kB
Cached: 300276 kB
SwapCached: 0 kB
Active: 81596 kB
Inactive: 264264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1644432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3396 kB
Writeback: 0 kB
Mapped: 30520 kB
Slab: 51388 kB
Committed_AS: 2279792 kB
PageTables: 1572 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66536 MiB
End job on node58 on Sat Jan 6 12:52:21 UTC 2007