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/217693-1168079483/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=78 nbDomainTypes=2 minDomainSize=70 maxDomainSize=71
0.42 => wckTime=0.109 cpuTime=0.09 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.93 nbConstraints=2277 nbConvertedConstraints=2211 nbConvertConstraintsChecks=9941 nbExtensionStructures=2
0.93 nbSharedExtensionStructures=2209 nbConflictsStructures=2 nbSharedConflictsStructures=2209
0.93 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=72 nbEvaluationManagers=1
0.93 nbSharedEvaluationManagers=65 maxDegree=66 maxArity=3
0.93 => wckTime=0.62 cpuTime=0.46 mem=15M728
0.98
0.98 solver IterativeSystematicSolver being built...
1.15 => wckTime=0.841 cpuTime=0.6 mem=15M508
4.72
4.72 preprocessing
4.72 nbConstraintChecks=12172652 nbValidityChecks=31830 nbPropagations=90 nbRevisions=1022 nbUselessRevisions=780
4.72 nbRemovedValues=572 detectedInconsistency=no
4.72 => wckTime=3.569 cpuTime=3.51 mem=15M508
9.60
9.60 search
9.60 run=0 nbConstraintChecks=16420161 nbValidityChecks=327414 nbPropagations=2687 nbRevisions=29928
9.60 nbUselessRevisions=21639 nbAssignments=27 nbFailedAssignments=13 nbBacktracks=10 nbVisitedNodes=51
9.60 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
9.60 => wckTime=8.447 cpuTime=8.32 mem=16M500
12.52
12.52 search
12.52 run=1 nbConstraintChecks=26339026 nbValidityChecks=711363 nbPropagations=9130 nbRevisions=97271
12.52 nbUselessRevisions=70455 nbAssignments=74 nbFailedAssignments=39 nbBacktracks=25 nbVisitedNodes=139
12.52 nbRestartNogoods=4 mapSize=25 nbInferences=0 nbTooLargeKeys=0
12.52 => wckTime=11.363 cpuTime=11.2 mem=16M500
14.12
14.12 search
14.12 run=2 nbConstraintChecks=31625034 nbValidityChecks=999617 nbPropagations=20559 nbRevisions=209121
14.12 nbUselessRevisions=151834 nbAssignments=137 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=258
14.12 nbRestartNogoods=15 mapSize=47 nbInferences=0 nbTooLargeKeys=0
14.12 => wckTime=12.963 cpuTime=12.79 mem=16M500
16.77
16.77 search
16.77 run=3 nbConstraintChecks=40311188 nbValidityChecks=1608515 nbPropagations=39702 nbRevisions=400198
16.77 nbUselessRevisions=289994 nbAssignments=247 nbFailedAssignments=142 nbBacktracks=81 nbVisitedNodes=471
16.77 nbRestartNogoods=18 mapSize=81 nbInferences=0 nbTooLargeKeys=0
16.77 => wckTime=15.621 cpuTime=15.42 mem=16M500
18.27
18.27 search
18.27 run=4 nbConstraintChecks=45308224 nbValidityChecks=1837134 nbPropagations=62952 nbRevisions=630740
18.27 nbUselessRevisions=457790 nbAssignments=336 nbFailedAssignments=173 nbBacktracks=133 nbVisitedNodes=608
18.27 nbRestartNogoods=24 mapSize=98 nbInferences=0 nbTooLargeKeys=0
18.27 => wckTime=17.12 cpuTime=16.9 mem=16M500
19.86
19.86 search
19.86 run=5 nbConstraintChecks=50481870 nbValidityChecks=2195297 nbPropagations=94821 nbRevisions=961901
19.87 nbUselessRevisions=701628 nbAssignments=483 nbFailedAssignments=237 nbBacktracks=208 nbVisitedNodes=874
19.87 nbRestartNogoods=33 mapSize=155 nbInferences=0 nbTooLargeKeys=0
19.87 => wckTime=18.712 cpuTime=18.48 mem=16M500
24.28
24.28 search
24.28 run=6 nbConstraintChecks=65949194 nbValidityChecks=2877898 nbPropagations=133251 nbRevisions=1347808
24.28 nbUselessRevisions=982482 nbAssignments=656 nbFailedAssignments=286 nbBacktracks=329 nbVisitedNodes=1132
24.28 nbRestartNogoods=42 mapSize=197 nbInferences=0 nbTooLargeKeys=0
24.28 => wckTime=23.123 cpuTime=22.85 mem=16M500
29.73
29.73 search
29.73 run=7 nbConstraintChecks=84916587 nbValidityChecks=3726842 nbPropagations=180704 nbRevisions=1808860
29.73 nbUselessRevisions=1314011 nbAssignments=908 nbFailedAssignments=357 nbBacktracks=508 nbVisitedNodes=1502
29.73 nbRestartNogoods=51 mapSize=253 nbInferences=0 nbTooLargeKeys=0
29.73 => wckTime=28.58 cpuTime=28.25 mem=16M500
35.50
35.50 search
35.50 run=8 nbConstraintChecks=104744710 nbValidityChecks=4606239 nbPropagations=238609 nbRevisions=2355773
35.50 nbUselessRevisions=1703443 nbAssignments=1252 nbFailedAssignments=441 nbBacktracks=764 nbVisitedNodes=1985
35.50 nbRestartNogoods=63 mapSize=318 nbInferences=0 nbTooLargeKeys=0
35.50 => wckTime=34.351 cpuTime=33.96 mem=17M475
39.61
39.61 search
39.61 run=9 nbConstraintChecks=117920663 nbValidityChecks=5445085 nbPropagations=316081 nbRevisions=3053896
39.61 nbUselessRevisions=2198278 nbAssignments=1807 nbFailedAssignments=602 nbBacktracks=1150 nbVisitedNodes=2801
39.61 nbRestartNogoods=75 mapSize=439 nbInferences=0 nbTooLargeKeys=0
39.61 => wckTime=38.458 cpuTime=38.01 mem=17M475
52.58
52.58 search
52.58 run=10 nbConstraintChecks=160245573 nbValidityChecks=6845395 nbPropagations=425206 nbRevisions=4010127
52.58 nbUselessRevisions=2880549 nbAssignments=2722 nbFailedAssignments=928 nbBacktracks=1737 nbVisitedNodes=4217
52.58 nbRestartNogoods=93 mapSize=631 nbInferences=0 nbTooLargeKeys=0
52.58 => wckTime=51.43 cpuTime=50.85 mem=17M475
64.43
64.43 search
64.43 run=11 nbConstraintChecks=198449223 nbValidityChecks=8987608 nbPropagations=577774 nbRevisions=5319945
64.43 nbUselessRevisions=3802881 nbAssignments=3978 nbFailedAssignments=1312 nbBacktracks=2602 nbVisitedNodes=6059
64.43 nbRestartNogoods=100 mapSize=896 nbInferences=0 nbTooLargeKeys=0
64.43 => wckTime=63.282 cpuTime=62.59 mem=18M450
75.61
75.61 INFO : Stopping hyperNogood (mapSize=1006, nbTooLargekeys=0, mem=18M450)
89.35
89.35 search
89.35 run=12 nbConstraintChecks=279565139 nbValidityChecks=12411008 nbPropagations=804118 nbRevisions=7160176
89.35 nbUselessRevisions=5089822 nbAssignments=5927 nbFailedAssignments=1960 nbBacktracks=3901 nbVisitedNodes=8971
89.35 nbRestartNogoods=126
89.35 => wckTime=88.2 cpuTime=87.29 mem=18M450
113.20
113.20 search
113.20 run=13 nbConstraintChecks=353917115 nbValidityChecks=17989446 nbPropagations=1227728 nbRevisions=11068156
113.20 nbUselessRevisions=7953787 nbAssignments=10087 nbFailedAssignments=4163 nbBacktracks=5848 nbVisitedNodes=16334
113.20 nbRestartNogoods=136
113.20 => wckTime=112.052 cpuTime=110.91 mem=18M450
183.89
183.89 search
183.89 run=14 nbConstraintChecks=584573080 nbValidityChecks=26997798 nbPropagations=1849663 nbRevisions=16360486
183.89 nbUselessRevisions=11763380 nbAssignments=14852 nbFailedAssignments=6000 nbBacktracks=8771 nbVisitedNodes=23932
183.89 nbRestartNogoods=159
183.89 => wckTime=182.736 cpuTime=180.94 mem=18M450
275.71
275.72 search
275.72 run=15 nbConstraintChecks=873453416 nbValidityChecks=43091018 nbPropagations=2929751 nbRevisions=24873703
275.72 nbUselessRevisions=17810451 nbAssignments=23655 nbFailedAssignments=10414 nbBacktracks=13149
275.72 nbVisitedNodes=39435 nbRestartNogoods=167
275.72 => wckTime=274.563 cpuTime=271.93 mem=18M450
421.93
421.93 search
421.93 run=16 nbConstraintChecks=1350394047 nbValidityChecks=69650896 nbPropagations=4687652 nbRevisions=39466261
421.93 nbUselessRevisions=28092577 nbAssignments=37219 nbFailedAssignments=17400 nbBacktracks=19717
421.93 nbVisitedNodes=63624 nbRestartNogoods=183
421.93 => wckTime=420.782 cpuTime=416.8 mem=18M450
632.55
632.55 search
632.55 run=17 nbConstraintChecks=2049416354 nbValidityChecks=111092910 nbPropagations=7473196 nbRevisions=64794735
632.55 nbUselessRevisions=45706668 nbAssignments=57252 nbFailedAssignments=27578 nbBacktracks=29569
632.55 nbVisitedNodes=99015 nbRestartNogoods=199
632.55 => wckTime=631.393 cpuTime=625.47 mem=18M450
928.06
928.06 search
928.06 run=18 nbConstraintChecks=3061483401 nbValidityChecks=173252794 nbPropagations=11664666 nbRevisions=108726327
928.06 nbUselessRevisions=75956906 nbAssignments=85777 nbFailedAssignments=41318 nbBacktracks=44348
928.06 nbVisitedNodes=148881 nbRestartNogoods=206
928.06 => wckTime=926.91 cpuTime=918.28 mem=18M450
1319.19
1319.19 search
1319.19 run=19 nbConstraintChecks=4326604594 nbValidityChecks=270845753 nbPropagations=18499314 nbRevisions=186904011
1319.19 nbUselessRevisions=130797526 nbAssignments=137577 nbFailedAssignments=70945 nbBacktracks=66516
1319.19 nbVisitedNodes=245431 nbRestartNogoods=231
1319.19 => wckTime=1318.035 cpuTime=1305.81 mem=18M450
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-217693-1168079483 -o ROOT/results/node23/solver-217693-1168079483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217693-1168079483/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.01 1.00 1.00 4/93 21944
/proc/meminfo: memFree=1520304/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=18540 CPUtime=0
/proc/21943/stat : 21943 (runsolver) R 21941 21943 21744 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156342840 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/21943/statm: 4635 279 244 17 0 2626 0
[startup+0.109844 s]
/proc/loadavg: 1.01 1.00 1.00 4/93 21944
/proc/meminfo: memFree=1520304/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=914988 CPUtime=0.09
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 3051 0 1 0 8 1 0 0 18 0 8 0 156342840 936947712 2797 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4160643169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228747 2797 1447 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517921 s]
/proc/loadavg: 1.01 1.00 1.00 4/93 21944
/proc/meminfo: memFree=1520304/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915328 CPUtime=0.5
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 6397 0 1 0 47 3 0 0 18 0 8 0 156342840 937295872 6136 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072944238 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228832 6136 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33907 s]
/proc/loadavg: 1.16 1.03 1.01 4/100 21951
/proc/meminfo: memFree=1494328/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1.3
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9239 0 1 0 115 15 0 0 18 0 8 0 156342840 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073971526 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 8977 2528 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 416 0 0 0 4 0 0 0 17 0 8 0 156342844 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.23
/proc/21943/task/21949/stat : 21949 (java) R 21941 21943 21744 0 -1 64 458 0 0 0 22 1 0 0 20 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 8977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915764
[startup+2.98439 s]
/proc/loadavg: 1.16 1.03 1.01 3/100 21951
/proc/meminfo: memFree=1494200/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=2.94
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9245 0 1 0 278 16 0 0 25 0 8 0 156342840 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965209 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 8982 2528 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.24
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 463 0 0 0 23 1 0 0 16 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 8982 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 8982 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) 915764
[startup+6.27303 s]
/proc/loadavg: 1.16 1.03 1.01 3/100 21951
/proc/meminfo: memFree=1494200/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=6.2
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9254 0 1 0 604 16 0 0 25 0 8 0 156342840 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782386 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 8990 2529 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 416 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.26
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 469 0 0 0 25 1 0 0 16 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 8990 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915764
[startup+12.7553 s]
/proc/loadavg: 1.29 1.06 1.02 3/100 21951
/proc/meminfo: memFree=1494136/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=12.62
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9276 0 1 0 1246 16 0 0 25 0 8 0 156342840 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965219 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9008 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 17 0 8 0 156342844 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.28
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 481 0 0 0 27 1 0 0 16 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9008 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915764
[startup+25.6132 s]
/proc/loadavg: 1.40 1.09 1.03 3/100 21951
/proc/meminfo: memFree=1494072/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=25.35
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9283 0 1 0 2519 16 0 0 25 0 8 0 156342840 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782407 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9012 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.29
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 485 0 0 0 28 1 0 0 16 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9012 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915764
[startup+51.2277 s]
/proc/loadavg: 1.60 1.17 1.05 3/100 21951
/proc/meminfo: memFree=1493496/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=50.73
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9454 0 1 0 5056 17 0 0 25 0 8 0 156342840 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965229 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9177 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.32
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 500 0 0 0 31 1 0 0 17 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915764
[startup+102.453 s]
/proc/loadavg: 1.87 1.32 1.11 3/100 21951
/proc/meminfo: memFree=1492408/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=101.49
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9724 0 1 0 10132 17 0 0 25 0 8 0 156342840 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783655 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9443 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 503 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9443 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915764
[startup+162.525 s]
/proc/loadavg: 1.95 1.44 1.16 3/100 21951
/proc/meminfo: memFree=1492408/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=161.01
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9728 0 1 0 16083 18 0 0 25 0 8 0 156342840 937742336 9447 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073967093 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.99
Current children cumulated vsize (KiB) 915764
[startup+1484.18 s]
/proc/loadavg: 2.00 2.00 1.77 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1470.52
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 147024 28 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965111 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.52
Current children cumulated vsize (KiB) 915764
[startup+1544.26 s]
/proc/loadavg: 2.00 2.00 1.78 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1530.04
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 152976 28 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074021951 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1530.04
Current children cumulated vsize (KiB) 915764
[startup+1604.33 s]
/proc/loadavg: 2.00 2.00 1.79 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1589.57
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 158928 29 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970821 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1589.57
Current children cumulated vsize (KiB) 915764
[startup+1664.41 s]
/proc/loadavg: 2.00 2.00 1.80 3/100 21951
/proc/meminfo: memFree=1491896/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1649.09
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 164880 29 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965165 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1649.09
Current children cumulated vsize (KiB) 915764
[startup+1724.48 s]
/proc/loadavg: 2.00 2.00 1.82 3/100 21951
/proc/meminfo: memFree=1491832/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1708.62
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 170832 30 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073970663 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.62
Current children cumulated vsize (KiB) 915764
[startup+1784.57 s]
/proc/loadavg: 2.00 2.00 1.82 3/106 22017
/proc/meminfo: memFree=1490520/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1768.1
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 176780 30 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1768.1
Current children cumulated vsize (KiB) 915764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.67 s]
/proc/loadavg: 1.66 1.91 1.80 2/94 22099
/proc/meminfo: memFree=1522264/2055920 swapFree=4192812/4192956
[pid=21943] ppid=21941 vsize=915764 CPUtime=1800.08
/proc/21943/stat : 21943 (java) R 21941 21943 21744 0 -1 0 9746 0 1 0 179975 33 0 0 25 0 8 0 156342840 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009110 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21943/statm: 228941 9463 2533 14 0 215411 0
[pid=21943/tid=21945] ppid=21941 vsize=915764 CPUtime=0.04
/proc/21943/task/21945/stat : 21945 (java) S 21941 21943 21744 0 -1 64 417 0 0 0 4 0 0 0 16 0 8 0 156342844 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21946] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21946/stat : 21946 (java) S 21941 21943 21744 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21947] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21947/stat : 21947 (java) S 21941 21943 21744 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156342845 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21948] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21948/stat : 21948 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21949] ppid=21941 vsize=915764 CPUtime=0.33
/proc/21943/task/21949/stat : 21949 (java) S 21941 21943 21744 0 -1 64 504 0 0 0 32 1 0 0 16 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21950] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21950/stat : 21950 (java) S 21941 21943 21744 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21943/tid=21951] ppid=21941 vsize=915764 CPUtime=0
/proc/21943/task/21951/stat : 21951 (java) S 21941 21943 21744 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156342848 937742336 9463 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915764
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.73
CPU time (s): 1800.14
CPU user time (s): 1799.8
CPU system time (s): 0.338948
CPU usage (%): 99.0869
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.338948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9764
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= 37928
involuntary context switches= 71067
runsolver used 1.74073 s user time and 6.31104 s system time
The end
Begin job on node23 on Sat Jan 6 10:31:25 UTC 2007
IDJOB= 217693
IDBENCH= 5165
FILE ID= node23/217693-1168079483
PBS_JOBID= 3476092
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/golombRuler/golombRulerArity3/ruler-70-12-a3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217693-1168079483/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-217693-1168079483 -o ROOT/results/node23/solver-217693-1168079483 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/217693-1168079483/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fdb8a82ab84ab99e0d3021e158248c01
RANDOM SEED= 242864633
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.265
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.265
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: 1520784 kB
Buffers: 44348 kB
Cached: 321968 kB
SwapCached: 0 kB
Active: 161144 kB
Inactive: 296868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1520784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4104 kB
Writeback: 0 kB
Mapped: 120740 kB
Slab: 61800 kB
Committed_AS: 3797364 kB
PageTables: 2396 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= 66548 MiB
End job on node23 on Sat Jan 6 11:01:45 UTC 2007