0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/276002-1169230503/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.1 cpuTime=0.08 mem=6M910
0.42
0.42 relations being loaded...
0.68
0.68 constraints being loaded...
0.84 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.84 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=11 maxArity=3
0.84 => wckTime=0.521 cpuTime=0.46 mem=41M409
0.92
0.92 solver LocalSearchSolver being built...
0.96 => wckTime=0.642 cpuTime=0.5 mem=12M10
0.96
0.97 s SATISFIABLE
0.97 o 29
0.97 c 28
0.97 o 33
0.97 c 24
0.97 o 36
0.97 c 21
0.97 o 39
0.97 c 18
0.98 o 41
0.98 c 16
0.98 o 42
0.98 c 15
0.98 o 44
0.98 c 13
0.99 o 45
0.99 c 12
1.01 o 46
1.01 c 11
1.01 o 47
1.01 c 10
1.02 o 48
1.02 c 9
1.02 o 49
1.02 c 8
1.04 o 50
1.04 c 7
1.04 o 51
1.04 c 6
1.05 o 52
1.05 c 5
1.15 o 53
1.15 c 4
1.91 o 54
1.91 c 3
4.58 o 55
4.58 c 2
9.13
9.13 search
9.13 run=0 nbConstraintChecks=10063931 nbAssignments=10000
9.13 => wckTime=8.171 cpuTime=8.08 mem=12M10
17.00
17.00 search
17.00 run=1 nbConstraintChecks=19818769 nbAssignments=20000
17.00 => wckTime=16.039 cpuTime=15.85 mem=12M10
24.95
24.95 search
24.95 run=2 nbConstraintChecks=29720332 nbAssignments=30000
24.95 => wckTime=23.993 cpuTime=23.73 mem=12M10
32.81
32.81 search
32.81 run=3 nbConstraintChecks=39448576 nbAssignments=40000
32.81 => wckTime=31.852 cpuTime=31.52 mem=12M10
34.88
34.88 search
34.88 run=4 nbConstraintChecks=41990518 nbAssignments=42518
34.88 => wckTime=33.926 cpuTime=33.58 mem=12M10
34.88
34.88 global
34.88 nbConstraintChecks=41990518 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
34.88 solvingWckTime=33.924 solvingCpuTime=33.57 expiredTime=no totalExploration=no nbFoundSolutions=0
34.88 globalCpuTime=34.13
34.88 => wckTime=34.569 cpuTime=34.08 mem=12M10
34.89
34.89 solver IterativeSystematicSolver being built...
35.02 => wckTime=34.701 cpuTime=34.18 mem=22M860
35.02
35.02 preprocessing
35.02 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
35.02 detectedInconsistency=no
35.02 => wckTime=0.0050 cpuTime=0.0 mem=22M860
35.17
35.17 search
35.17 run=0 nbConstraintChecks=47784 nbValidityChecks=251358 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.17 nbAssignments=82 nbFailedAssignments=66 nbBacktracks=10 nbVisitedNodes=159 nbRestartNogoods=0
35.17 => wckTime=0.146 cpuTime=0.11 mem=23M912
35.33
35.33 search
35.33 run=1 nbConstraintChecks=140468 nbValidityChecks=693039 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.33 nbAssignments=216 nbFailedAssignments=180 nbBacktracks=25 nbVisitedNodes=421 nbRestartNogoods=18
35.33 => wckTime=0.315 cpuTime=0.26 mem=23M912
35.40
35.40 search
35.40 run=2 nbConstraintChecks=181386 nbValidityChecks=860048 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.40 nbAssignments=281 nbFailedAssignments=220 nbBacktracks=47 nbVisitedNodes=539 nbRestartNogoods=20
35.40 => wckTime=0.385 cpuTime=0.32 mem=23M912
35.52
35.52 search
35.52 run=3 nbConstraintChecks=248912 nbValidityChecks=1159319 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.52 nbAssignments=398 nbFailedAssignments=300 nbBacktracks=80 nbVisitedNodes=765 nbRestartNogoods=28
35.52 => wckTime=0.501 cpuTime=0.44 mem=23M912
35.79
35.79 search
35.79 run=4 nbConstraintChecks=419893 nbValidityChecks=1950209 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
35.79 nbAssignments=681 nbFailedAssignments=526 nbBacktracks=130 nbVisitedNodes=1321 nbRestartNogoods=41
35.79 => wckTime=0.773 cpuTime=0.71 mem=23M912
36.48
36.48 search
36.48 run=5 nbConstraintChecks=833341 nbValidityChecks=4369550 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
36.48 nbAssignments=1439 nbFailedAssignments=1202 nbBacktracks=205 nbVisitedNodes=2825 nbRestartNogoods=83
36.48 => wckTime=1.466 cpuTime=1.39 mem=23M912
37.21
37.21 search
37.21 run=6 nbConstraintChecks=1295844 nbValidityChecks=6531705 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
37.21 nbAssignments=2298 nbFailedAssignments=1941 nbBacktracks=319 nbVisitedNodes=4534 nbRestartNogoods=97
37.21 => wckTime=2.193 cpuTime=2.1 mem=23M912
38.40
38.40 search
38.40 run=7 nbConstraintChecks=2081079 nbValidityChecks=10492393 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
38.40 nbAssignments=3649 nbFailedAssignments=3117 nbBacktracks=489 nbVisitedNodes=7227 nbRestartNogoods=121
38.40 => wckTime=3.378 cpuTime=3.27 mem=23M912
39.79
39.79 search
39.79 run=8 nbConstraintChecks=3002905 nbValidityChecks=15056300 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
39.80 nbAssignments=5125 nbFailedAssignments=4330 nbBacktracks=745 nbVisitedNodes=10151 nbRestartNogoods=136
39.80 => wckTime=4.777 cpuTime=4.66 mem=23M912
41.63
41.63 search
41.63 run=9 nbConstraintChecks=4213274 nbValidityChecks=20749563 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.63 nbAssignments=7002 nbFailedAssignments=5819 nbBacktracks=1129 nbVisitedNodes=13829 nbRestartNogoods=152
41.63 => wckTime=6.615 cpuTime=6.48 mem=23M912
45.49
45.49 search
45.49 run=10 nbConstraintChecks=6894943 nbValidityChecks=33276209 nbPropagations=0 nbRevisions=0
45.49 nbUselessRevisions=0 nbAssignments=10660 nbFailedAssignments=8896 nbBacktracks=1705 nbVisitedNodes=21056
45.49 nbRestartNogoods=166
45.49 => wckTime=10.47 cpuTime=10.3 mem=23M912
48.54
48.54 search
48.54 run=11 nbConstraintChecks=8910913 nbValidityChecks=42245436 nbPropagations=0 nbRevisions=0
48.54 nbUselessRevisions=0 nbAssignments=13752 nbFailedAssignments=11120 nbBacktracks=2569 nbVisitedNodes=26958
48.54 nbRestartNogoods=188
48.54 => wckTime=13.517 cpuTime=13.32 mem=23M912
52.85
52.85 search
52.85 run=12 nbConstraintChecks=11859961 nbValidityChecks=54095237 nbPropagations=0 nbRevisions=0
52.85 nbUselessRevisions=0 nbAssignments=17597 nbFailedAssignments=13661 nbBacktracks=3866 nbVisitedNodes=34168
52.85 nbRestartNogoods=200
52.85 => wckTime=17.832 cpuTime=17.6 mem=23M912
59.00
59.00 search
59.00 run=13 nbConstraintChecks=16154553 nbValidityChecks=70870614 nbPropagations=0 nbRevisions=0
59.00 nbUselessRevisions=0 nbAssignments=22925 nbFailedAssignments=17038 nbBacktracks=5812 nbVisitedNodes=44034
59.00 nbRestartNogoods=229
59.00 => wckTime=23.98 cpuTime=23.67 mem=23M912
66.39
66.39 search
66.39 run=14 nbConstraintChecks=21238790 nbValidityChecks=90388073 nbPropagations=0 nbRevisions=0
66.39 nbUselessRevisions=0 nbAssignments=29683 nbFailedAssignments=20871 nbBacktracks=8731 nbVisitedNodes=56143
66.39 nbRestartNogoods=253
66.39 => wckTime=31.376 cpuTime=31.0 mem=23M912
79.47
79.47 search
79.47 run=15 nbConstraintChecks=30479531 nbValidityChecks=124129460 nbPropagations=0 nbRevisions=0
79.47 nbUselessRevisions=0 nbAssignments=40438 nbFailedAssignments=27244 nbBacktracks=13109 nbVisitedNodes=75807
79.47 nbRestartNogoods=277
79.47 => wckTime=44.451 cpuTime=43.95 mem=23M912
84.59 o 56
84.59 c 1
93.57
93.57 search
93.57 run=16 nbConstraintChecks=40111460 nbValidityChecks=161034815 nbPropagations=0 nbRevisions=0
93.57 nbUselessRevisions=0 nbAssignments=54014 nbFailedAssignments=34244 nbBacktracks=19680 nbVisitedNodes=98910
93.57 nbRestartNogoods=289
93.57 => wckTime=58.551 cpuTime=57.94 mem=23M912
115.17
115.17 search
115.17 run=17 nbConstraintChecks=54933427 nbValidityChecks=213600168 nbPropagations=0 nbRevisions=0
115.17 nbUselessRevisions=0 nbAssignments=74121 nbFailedAssignments=44494 nbBacktracks=29533 nbVisitedNodes=132827
115.17 nbRestartNogoods=300
115.17 => wckTime=80.151 cpuTime=79.33 mem=23M912
146.42
146.42 search
146.42 run=18 nbConstraintChecks=75837756 nbValidityChecks=292609280 nbPropagations=0 nbRevisions=0
146.42 nbUselessRevisions=0 nbAssignments=105287 nbFailedAssignments=60876 nbBacktracks=44311 nbVisitedNodes=186617
146.42 nbRestartNogoods=320
146.42 => wckTime=111.399 cpuTime=110.29 mem=23M912
191.92
191.92 search
191.92 run=19 nbConstraintChecks=106307862 nbValidityChecks=408608995 nbPropagations=0 nbRevisions=0
191.92 nbUselessRevisions=0 nbAssignments=150053 nbFailedAssignments=83470 nbBacktracks=66481 nbVisitedNodes=262592
191.92 nbRestartNogoods=351
191.92 => wckTime=156.905 cpuTime=155.38 mem=23M912
258.41
258.41 search
258.41 run=20 nbConstraintChecks=151397224 nbValidityChecks=574025963 nbPropagations=0 nbRevisions=0
258.41 nbUselessRevisions=0 nbAssignments=215666 nbFailedAssignments=115828 nbBacktracks=99733 nbVisitedNodes=372747
258.41 nbRestartNogoods=367
258.41 => wckTime=223.396 cpuTime=221.28 mem=23M912
362.85
362.85 search
362.85 run=21 nbConstraintChecks=221891039 nbValidityChecks=836403430 nbPropagations=0 nbRevisions=0
362.85 nbUselessRevisions=0 nbAssignments=314540 nbFailedAssignments=164820 nbBacktracks=149611 nbVisitedNodes=540228
362.85 nbRestartNogoods=392
362.85 => wckTime=327.833 cpuTime=324.83 mem=23M912
430.08
430.08 search
430.08 run=22 nbConstraintChecks=267831134 nbValidityChecks=1002726122 nbPropagations=0 nbRevisions=0
430.08 nbUselessRevisions=0 nbAssignments=379619 nbFailedAssignments=196008 nbBacktracks=183503 nbVisitedNodes=648177
430.08 nbRestartNogoods=403
430.08 => wckTime=395.059 cpuTime=391.43 mem=23M912
430.08
430.08 global
430.08 nbConstraintChecks=267831134 nbValidityChecks=1002726122 nbRestartNogoods=403 solvingWckTime=395.06
430.08 solvingCpuTime=391.43 expiredTime=no totalExploration=yes nbFoundSolutions=1 globalCpuTime=425.66
430.08 => wckTime=429.763 cpuTime=425.61 mem=23M912
430.08
430.08 s OPTIMUM FOUND
430.08 v 6 0 11 9 13 0 7 11 5 10 2 1 17 1 0 4 3 17 1 1
430.08
430.08 totalWckTime=429.843 totalCpuTime=425.67
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-276002-1169230503 -o ROOT/results/node24/solver-276002-1169230503 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276002-1169230503/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 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.80 0.95 0.98 5/82 19156
/proc/meminfo: memFree=1394512/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=18540 CPUtime=0
/proc/19154/stat : 19154 (runsolver) R 19150 19154 19075 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 271445611 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/19154/statm: 4635 279 244 17 0 2626 0
[startup+0.104361 s]
/proc/loadavg: 0.80 0.95 0.98 5/82 19156
/proc/meminfo: memFree=1394512/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=914988 CPUtime=0.07
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 2955 0 1 0 6 1 0 0 23 0 8 0 271445611 936947712 2701 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155519447 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228747 2701 1414 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.512399 s]
/proc/loadavg: 0.80 0.95 0.98 5/82 19156
/proc/meminfo: memFree=1394512/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915332 CPUtime=0.47
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 7418 0 1 0 43 4 0 0 18 0 8 0 271445611 937299968 7157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19154/statm: 228833 7158 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915332
[startup+1.33349 s]
/proc/loadavg: 0.80 0.95 0.98 5/92 19197
/proc/meminfo: memFree=1327432/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=1.29
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16675 0 1 0 120 9 0 0 24 0 8 0 271445611 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3067985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19154/statm: 228861 16413 2475 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1749 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.11
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 321 0 0 0 11 0 0 0 15 0 8 0 271445619 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915444
[startup+2.98467 s]
/proc/loadavg: 0.90 0.97 0.99 3/95 19221
/proc/meminfo: memFree=1330472/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=2.93
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16683 0 1 0 275 18 0 0 25 0 8 0 271445611 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610637 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16420 2477 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1749 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.11
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 328 0 0 0 11 0 0 0 15 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915444
[startup+6.28303 s]
/proc/loadavg: 0.90 0.97 0.99 3/95 19221
/proc/meminfo: memFree=1329640/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=6.19
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16683 0 1 0 584 35 0 0 25 0 8 0 271445611 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16420 2477 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1749 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.11
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 328 0 0 0 11 0 0 0 15 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16420 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915444
[startup+12.7657 s]
/proc/loadavg: 1.07 1.00 1.00 3/95 19221
/proc/meminfo: memFree=1329712/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=12.61
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16685 0 1 0 1195 66 0 0 25 0 8 0 271445611 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615555 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16422 2477 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1749 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.11
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915444
[startup+25.6141 s]
/proc/loadavg: 1.21 1.03 1.01 3/94 19222
/proc/meminfo: memFree=1327352/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=25.33
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16685 0 1 0 2404 129 0 0 25 0 8 0 271445611 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615548 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16422 2477 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1749 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.12
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 330 0 0 0 12 0 0 0 16 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16422 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915444
[startup+51.2339 s]
/proc/loadavg: 1.48 1.11 1.03 3/94 19222
/proc/meminfo: memFree=1327032/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=50.73
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16851 0 1 0 4895 178 0 0 25 0 8 0 271445611 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778644 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16582 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16582 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915444
[startup+102.47 s]
/proc/loadavg: 1.85 1.27 1.09 3/94 19222
/proc/meminfo: memFree=1327032/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=101.48
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16855 0 1 0 9970 178 0 0 25 0 8 0 271445611 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809984 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16584 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915444
[startup+162.554 s]
/proc/loadavg: 2.09 1.45 1.16 3/94 19222
/proc/meminfo: memFree=1327032/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=161.02
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16856 0 1 0 15924 178 0 0 25 0 8 0 271445611 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073779457 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16584 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.02
Current children cumulated vsize (KiB) 915444
[startup+222.64 s]
/proc/loadavg: 2.03 1.54 1.21 3/94 19222
/proc/meminfo: memFree=1327032/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=220.58
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16856 0 1 0 21880 178 0 0 25 0 8 0 271445611 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073650356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16584 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.58
Current children cumulated vsize (KiB) 915444
[startup+282.725 s]
/proc/loadavg: 2.01 1.62 1.26 3/94 19222
/proc/meminfo: memFree=1327032/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=280.11
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16856 0 1 0 27833 178 0 0 25 0 8 0 271445611 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073615566 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16584 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 280.11
Current children cumulated vsize (KiB) 915444
[startup+342.811 s]
/proc/loadavg: 2.08 1.71 1.31 3/96 19323
/proc/meminfo: memFree=1309024/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=339.67
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16856 0 1 0 33786 181 0 0 25 0 8 0 271445611 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073610686 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16584 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (KiB) 915444
[startup+402.906 s]
/proc/loadavg: 2.03 1.76 1.35 3/94 19410
/proc/meminfo: memFree=1326064/2055920 swapFree=4180096/4192956
[pid=19154] ppid=19150 vsize=915444 CPUtime=399.26
/proc/19154/stat : 19154 (java) R 19150 19154 19075 0 -1 0 16856 0 1 0 39744 182 0 0 25 0 8 0 271445611 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073852925 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19154/statm: 228861 16584 2530 14 0 215331 0
[pid=19154/tid=19161] ppid=19150 vsize=915444 CPUtime=0.06
/proc/19154/task/19161/stat : 19161 (java) S 19150 19154 19075 0 -1 64 1750 0 0 0 6 0 0 0 16 0 8 0 271445615 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19165] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19165/stat : 19165 (java) S 19150 19154 19075 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19166] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19166/stat : 19166 (java) S 19150 19154 19075 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 271445616 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19154/tid=19180] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19180/stat : 19180 (java) S 19150 19154 19075 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19181] ppid=19150 vsize=915444 CPUtime=0.23
/proc/19154/task/19181/stat : 19181 (java) S 19150 19154 19075 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19182] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19182/stat : 19182 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19154/tid=19183] ppid=19150 vsize=915444 CPUtime=0
/proc/19154/task/19183/stat : 19183 (java) S 19150 19154 19075 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 271445619 937414656 16584 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 399.26
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 430.142
CPU time (s): 426.199
CPU user time (s): 424.365
CPU system time (s): 1.83472
CPU usage (%): 99.0833
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 424.364
system time used= 1.83472
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16870
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= 9860
involuntary context switches= 23150
runsolver used 0.489925 s user time and 1.42278 s system time
The end
Begin job on node24 on Fri Jan 19 18:15:03 UTC 2007
IDJOB= 276002
IDBENCH= 5204
IDSOLVER= 69
FILE ID= node24/276002-1169230503
PBS_JOBID= 3589277
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-23_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276002-1169230503/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-276002-1169230503 -o ROOT/results/node24/solver-276002-1169230503 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/276002-1169230503/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3c0a223225c8489ef84874d36f1a988b
RANDOM SEED= 597404177
TIME LIMIT= 2400 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.234
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.234
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: 1395128 kB
Buffers: 43288 kB
Cached: 503104 kB
SwapCached: 600 kB
Active: 151072 kB
Inactive: 440548 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1395128 kB
SwapTotal: 4192956 kB
SwapFree: 4180096 kB
Dirty: 3112 kB
Writeback: 0 kB
Mapped: 62232 kB
Slab: 54156 kB
Committed_AS: 5180280 kB
PageTables: 2196 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= 66556 MiB
End job on node24 on Fri Jan 19 18:22:14 UTC 2007