0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=epfc.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/278677-1169289097/unknown.xml
0.35
0.35 domains being loaded...
0.35
0.35 variables being loaded...
0.38 nbVariables=28 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.38 => wckTime=0.093 cpuTime=0.08 mem=6M887
0.39
0.39 relations being loaded...
0.44
0.44 constraints being loaded...
0.51 nbConstraints=189 nbRelationTypes=188 nbExtensionStructures=188 nbSharedExtensionStructures=1
0.51 nbConflictsStructures=188 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=1850 maxDegree=27
0.51 maxArity=2
0.51 => wckTime=0.223 cpuTime=0.16 mem=8M837
0.55
0.55 solver LocalSearchSolver being built...
0.59 => wckTime=0.303 cpuTime=0.2 mem=5M531
0.60
0.60 s SATISFIABLE
0.60 o 42
0.60 c 147
0.60 o 46
0.60 c 143
0.60 o 50
0.60 c 139
0.60 o 51
0.60 c 138
0.60 o 56
0.60 c 133
0.61 o 58
0.61 c 131
0.61 o 61
0.61 c 128
0.61 o 64
0.61 c 125
0.61 o 66
0.61 c 123
0.61 o 69
0.61 c 120
0.61 o 70
0.61 c 119
0.61 o 72
0.61 c 117
0.61 o 73
0.61 c 116
0.61 o 74
0.62 c 115
0.62 o 75
0.62 c 114
0.62 o 76
0.62 c 113
0.62 o 77
0.62 c 112
0.62 o 78
0.62 c 111
0.62 o 80
0.62 c 109
0.62 o 81
0.62 c 108
0.63 o 83
0.63 c 106
0.63 o 84
0.63 c 105
0.63 o 85
0.63 c 104
0.73 o 86
0.73 c 103
1.01 o 87
1.01 c 102
2.41
2.41 search
2.41 run=0 nbConstraintChecks=11649138 nbAssignments=10000
2.41 => wckTime=1.821 cpuTime=1.8 mem=5M531
4.16
4.16 search
4.16 run=1 nbConstraintChecks=23285835 nbAssignments=20000
4.16 => wckTime=3.57 cpuTime=3.54 mem=5M531
5.91
5.91 search
5.91 run=2 nbConstraintChecks=34892447 nbAssignments=30000
5.91 => wckTime=5.313 cpuTime=5.28 mem=5M531
7.66
7.66 search
7.66 run=3 nbConstraintChecks=46496222 nbAssignments=40000
7.66 => wckTime=7.065 cpuTime=7.03 mem=5M531
9.42
9.42 search
9.42 run=4 nbConstraintChecks=58101531 nbAssignments=50000
9.42 => wckTime=8.824 cpuTime=8.79 mem=5M531
11.18
11.18 search
11.18 run=5 nbConstraintChecks=69732077 nbAssignments=60000
11.18 => wckTime=10.585 cpuTime=10.55 mem=5M531
12.94
12.94 search
12.94 run=6 nbConstraintChecks=81321245 nbAssignments=70000
12.94 => wckTime=12.346 cpuTime=12.31 mem=5M531
14.71
14.71 search
14.71 run=7 nbConstraintChecks=93053661 nbAssignments=80000
14.71 => wckTime=14.121 cpuTime=14.09 mem=5M531
16.50
16.50 search
16.50 run=8 nbConstraintChecks=104654616 nbAssignments=90000
16.50 => wckTime=15.905 cpuTime=15.84 mem=5M531
18.26
18.26 search
18.26 run=9 nbConstraintChecks=116363145 nbAssignments=100000
18.26 => wckTime=17.666 cpuTime=17.61 mem=5M531
20.00
20.00 search
20.00 run=10 nbConstraintChecks=127942358 nbAssignments=110000
20.00 => wckTime=19.412 cpuTime=19.35 mem=5M531
21.75
21.75 search
21.75 run=11 nbConstraintChecks=139522656 nbAssignments=120000
21.75 => wckTime=21.155 cpuTime=21.09 mem=5M531
23.50
23.50 search
23.50 run=12 nbConstraintChecks=151150564 nbAssignments=130000
23.50 => wckTime=22.904 cpuTime=22.85 mem=5M531
25.25
25.25 search
25.25 run=13 nbConstraintChecks=162824912 nbAssignments=140000
25.25 => wckTime=24.661 cpuTime=24.61 mem=5M531
27.00
27.00 search
27.00 run=14 nbConstraintChecks=174438933 nbAssignments=150000
27.00 => wckTime=26.41 cpuTime=26.34 mem=5M531
28.76
28.76 search
28.76 run=15 nbConstraintChecks=186047982 nbAssignments=160000
28.76 => wckTime=28.171 cpuTime=28.11 mem=5M531
30.53
30.53 search
30.53 run=16 nbConstraintChecks=197661127 nbAssignments=170000
30.53 => wckTime=29.933 cpuTime=29.87 mem=5M531
31.05
31.05 search
31.05 run=17 nbConstraintChecks=201109522 nbAssignments=172961
31.05 => wckTime=30.456 cpuTime=30.4 mem=5M531
31.05
31.05 global
31.05 nbConstraintChecks=201109522 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.05 solvingWckTime=30.454 solvingCpuTime=30.4 expiredTime=no totalExploration=no nbFoundSolutions=0
31.05 globalCpuTime=30.65
31.05 => wckTime=30.759 cpuTime=30.6 mem=5M531
31.05
31.05 solver IterativeSystematicSolver being built...
31.18 => wckTime=30.888 cpuTime=30.7 mem=16M520
31.22
31.22 preprocessing
31.22 nbConstraintChecks=51711 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.22 detectedInconsistency=no
31.22 => wckTime=0.035 cpuTime=0.02 mem=16M520
31.25
31.25 search
31.25 run=0 nbConstraintChecks=79948 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=41
31.25 nbFailedAssignments=17 nbBacktracks=11 nbVisitedNodes=70 nbRestartNogoods=0
31.25 => wckTime=0.068 cpuTime=0.05 mem=16M520
31.29
31.29 search
31.29 run=1 nbConstraintChecks=191835 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=96
31.29 nbFailedAssignments=43 nbBacktracks=26 nbVisitedNodes=166 nbRestartNogoods=3
31.29 => wckTime=0.11 cpuTime=0.08 mem=16M520
31.33
31.33 search
31.33 run=2 nbConstraintChecks=361834 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=168
31.33 nbFailedAssignments=80 nbBacktracks=48 nbVisitedNodes=297 nbRestartNogoods=7
31.33 => wckTime=0.154 cpuTime=0.12 mem=16M520
31.38
31.38 search
31.38 run=3 nbConstraintChecks=579019 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=268
31.38 nbFailedAssignments=133 nbBacktracks=81 nbVisitedNodes=483 nbRestartNogoods=11
31.38 => wckTime=0.203 cpuTime=0.16 mem=16M520
31.45
31.45 search
31.45 run=4 nbConstraintChecks=888205 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=409
31.45 nbFailedAssignments=212 nbBacktracks=131 nbVisitedNodes=751 nbRestartNogoods=17
31.45 => wckTime=0.271 cpuTime=0.23 mem=16M520
31.57
31.57 search
31.57 run=5 nbConstraintChecks=1406588 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=633
31.57 nbFailedAssignments=345 nbBacktracks=206 nbVisitedNodes=1181 nbRestartNogoods=19
31.57 => wckTime=0.387 cpuTime=0.35 mem=16M520
31.72
31.72 search
31.72 run=6 nbConstraintChecks=2116969 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=945
31.72 nbFailedAssignments=531 nbBacktracks=319 nbVisitedNodes=1790 nbRestartNogoods=26
31.72 => wckTime=0.542 cpuTime=0.5 mem=16M520
31.95
31.95 search
31.95 run=7 nbConstraintChecks=3174416 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1395
31.95 nbFailedAssignments=797 nbBacktracks=490 nbVisitedNodes=2677 nbRestartNogoods=32
31.95 => wckTime=0.772 cpuTime=0.73 mem=16M520
32.29
32.29 search
32.29 run=8 nbConstraintChecks=4696417 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2097
32.29 nbFailedAssignments=1228 nbBacktracks=746 nbVisitedNodes=4065 nbRestartNogoods=38
32.29 => wckTime=1.112 cpuTime=1.05 mem=16M520
32.79
32.79 search
32.79 run=9 nbConstraintChecks=7081537 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3080
32.79 nbFailedAssignments=1816 nbBacktracks=1130 nbVisitedNodes=6018 nbRestartNogoods=47
32.79 => wckTime=1.609 cpuTime=1.54 mem=16M520
33.50
33.50 search
33.50 run=10 nbConstraintChecks=10466099 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4562
33.50 nbFailedAssignments=2707 nbBacktracks=1706 nbVisitedNodes=8955 nbRestartNogoods=58
33.50 => wckTime=2.321 cpuTime=2.25 mem=16M520
34.55
34.55 search
34.55 run=11 nbConstraintChecks=15664746 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6848
34.55 nbFailedAssignments=4116 nbBacktracks=2570 nbVisitedNodes=13477 nbRestartNogoods=68
34.55 => wckTime=3.374 cpuTime=3.3 mem=16M520
36.05
36.05 search
36.05 run=12 nbConstraintChecks=22745316 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=9823
36.05 nbFailedAssignments=5779 nbBacktracks=3867 nbVisitedNodes=19351 nbRestartNogoods=78
36.05 => wckTime=4.865 cpuTime=4.79 mem=16M520
38.43
38.43 search
38.43 run=13 nbConstraintChecks=34392818 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=14698
38.43 nbFailedAssignments=8695 nbBacktracks=5813 nbVisitedNodes=29067 nbRestartNogoods=87
38.43 => wckTime=7.248 cpuTime=7.17 mem=16M520
41.92
41.92 search
41.92 run=14 nbConstraintChecks=51467991 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22093
41.92 nbFailedAssignments=13160 nbBacktracks=8732 nbVisitedNodes=43750 nbRestartNogoods=97
41.92 => wckTime=10.74 cpuTime=10.66 mem=16M520
47.55
47.55 search
47.55 run=15 nbConstraintChecks=78061029 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=33818
47.55 nbFailedAssignments=20496 nbBacktracks=13110 nbVisitedNodes=67081 nbRestartNogoods=110
47.55 => wckTime=16.37 cpuTime=16.29 mem=16M520
55.51
55.51 search
55.51 run=16 nbConstraintChecks=115350929 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=50422
55.51 nbFailedAssignments=30519 nbBacktracks=19678 nbVisitedNodes=100225 nbRestartNogoods=128
55.52 => wckTime=24.334 cpuTime=24.25 mem=16M520
66.21
66.21 search
66.21 run=17 nbConstraintChecks=164092769 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=73538
66.21 nbFailedAssignments=43773 nbBacktracks=29530 nbVisitedNodes=146403 nbRestartNogoods=134
66.21 => wckTime=35.03 cpuTime=34.92 mem=16M520
83.00
83.00 search
83.00 run=18 nbConstraintChecks=237467693 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=109908
83.00 nbFailedAssignments=65353 nbBacktracks=44310 nbVisitedNodes=219001 nbRestartNogoods=141
83.00 => wckTime=51.818 cpuTime=51.7 mem=16M520
108.72
108.72 search
108.72 run=19 nbConstraintChecks=354720005 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163309
108.72 nbFailedAssignments=96575 nbBacktracks=66478 nbVisitedNodes=325627 nbRestartNogoods=149
108.72 => wckTime=77.535 cpuTime=77.38 mem=16M520
146.65
146.65 search
146.65 run=20 nbConstraintChecks=522592402 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=244265
146.65 nbFailedAssignments=144267 nbBacktracks=99731 nbVisitedNodes=487292 nbRestartNogoods=162
146.65 => wckTime=115.474 cpuTime=115.3 mem=16M520
196.63
196.63 search
196.63 run=21 nbConstraintChecks=735399269 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=355313
196.63 nbFailedAssignments=205425 nbBacktracks=149609 nbVisitedNodes=709061 nbRestartNogoods=171
196.63 => wckTime=165.451 cpuTime=165.21 mem=16M520
276.91
276.91 search
276.91 run=22 nbConstraintChecks=1074105844 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=516722
276.91 nbFailedAssignments=292007 nbBacktracks=224428 nbVisitedNodes=1022887 nbRestartNogoods=184
276.91 => wckTime=245.725 cpuTime=245.42 mem=16M520
392.56
392.56 search
392.56 run=23 nbConstraintChecks=1543245247 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=748646
392.56 nbFailedAssignments=411699 nbBacktracks=336655 nbVisitedNodes=1467223 nbRestartNogoods=194
392.56 => wckTime=361.377 cpuTime=360.96 mem=16M520
533.62
533.62 search
533.62 run=24 nbConstraintChecks=2126082592 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1032311
533.62 nbFailedAssignments=557072 nbBacktracks=474948 nbVisitedNodes=2006505 nbRestartNogoods=205
533.62 => wckTime=502.438 cpuTime=501.88 mem=16M520
533.62
533.62 global
533.62 nbConstraintChecks=2126134303 nbRestartNogoods=205 solvingWckTime=502.44 solvingCpuTime=501.88 expiredTime=no
533.62 totalExploration=yes nbFoundSolutions=0 globalCpuTime=532.63
533.62 => wckTime=533.329 cpuTime=532.58 mem=16M520
533.62
533.62 s OPTIMUM FOUND
533.62 v 0 4 2 4 4 4 3 3 2 0 3 0 2 1 1 1 3 3 0 1 3 1 2 1 4 2 1 0
533.62
533.62 totalWckTime=533.406 totalCpuTime=532.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-278677-1169289097 -o ROOT/results/node30/solver-278677-1169289097 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278677-1169289097/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: 1.06 1.53 1.77 5/93 6221
/proc/meminfo: memFree=1526408/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=1788 CPUtime=0
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 368 0 0 0 0 0 0 0 18 0 1 0 277304058 1830912 158 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/6220/statm: 447 159 123 14 0 92 0
[startup+0.104384 s]
/proc/loadavg: 1.06 1.53 1.77 5/93 6221
/proc/meminfo: memFree=1526408/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=914988 CPUtime=0.09
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 3052 0 1 0 7 2 0 0 23 0 8 0 277304058 936947712 2798 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228747 2799 1448 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.512409 s]
/proc/loadavg: 1.06 1.53 1.77 5/93 6221
/proc/meminfo: memFree=1526408/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915332 CPUtime=0.49
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 6590 0 1 0 44 5 0 0 25 0 8 0 277304058 937299968 6329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228833 6329 2152 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33346 s]
/proc/loadavg: 1.06 1.53 1.77 3/100 6228
/proc/meminfo: memFree=1508624/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=1.31
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 7144 0 1 0 111 20 0 0 25 0 8 0 277304058 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 6882 2479 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915464 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937435136 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.13
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 341 0 0 0 12 1 0 0 16 0 8 0 277304065 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915464 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937435136 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 6882 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97056 s]
/proc/loadavg: 1.13 1.54 1.77 3/100 6228
/proc/meminfo: memFree=1508624/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=2.95
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 7147 0 1 0 242 53 0 0 25 0 8 0 277304058 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 6884 2479 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915464 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277304061 937435136 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915464 CPUtime=0.13
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 343 0 0 0 12 1 0 0 16 0 8 0 277304065 937435136 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915460
[startup+6.17477 s]
/proc/loadavg: 1.13 1.54 1.77 3/100 6228
/proc/meminfo: memFree=1508496/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=6.15
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 7147 0 1 0 494 121 0 0 25 0 8 0 277304058 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 6884 2479 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.13
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 343 0 0 0 12 1 0 0 16 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 6884 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.6472 s]
/proc/loadavg: 1.27 1.56 1.78 3/100 6228
/proc/meminfo: memFree=1508432/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=12.62
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 7148 0 1 0 1007 255 0 0 25 0 8 0 277304058 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228866 6885 2479 14 0 215336 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915464 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937435136 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.14
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 344 0 0 0 13 1 0 0 17 0 8 0 277304065 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.521 s]
/proc/loadavg: 1.38 1.57 1.78 3/100 6228
/proc/meminfo: memFree=1508432/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=25.47
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 7148 0 1 0 2025 522 0 0 25 0 8 0 277304058 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 6885 2479 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 162 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915464 CPUtime=0.14
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 344 0 0 0 13 1 0 0 16 0 8 0 277304065 937435136 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 6885 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.1406 s]
/proc/loadavg: 1.59 1.60 1.78 3/100 6228
/proc/meminfo: memFree=1501264/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=51.07
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9054 0 1 0 4470 637 0 0 25 0 8 0 277304058 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073853431 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8788 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8788 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915460
[startup+102.376 s]
/proc/loadavg: 1.83 1.67 1.79 3/100 6228
/proc/meminfo: memFree=1501200/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=102.26
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9061 0 1 0 9588 638 0 0 25 0 8 0 277304058 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073871348 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8795 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 915460
[startup+162.458 s]
/proc/loadavg: 1.94 1.72 1.81 3/100 6228
/proc/meminfo: memFree=1501136/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=162.27
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9067 0 1 0 15589 638 0 0 25 0 8 0 277304058 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839749 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8800 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 399 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8800 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 915460
[startup+222.541 s]
/proc/loadavg: 1.98 1.77 1.82 3/100 6228
/proc/meminfo: memFree=1501008/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=222.31
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9070 0 1 0 21593 638 0 0 25 0 8 0 277304058 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8803 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 915460
[startup+282.617 s]
/proc/loadavg: 1.99 1.81 1.82 3/100 6228
/proc/meminfo: memFree=1501008/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=282.32
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9074 0 1 0 27594 638 0 0 25 0 8 0 277304058 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073820136 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8806 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 915460
[startup+342.7 s]
/proc/loadavg: 2.09 1.87 1.84 3/100 6228
/proc/meminfo: memFree=1500944/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=342.34
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9074 0 1 0 33595 639 0 0 25 0 8 0 277304058 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073819917 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8806 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8806 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 915460
[startup+402.786 s]
/proc/loadavg: 2.03 1.89 1.85 3/100 6228
/proc/meminfo: memFree=1500944/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=402.38
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9076 0 1 0 39599 639 0 0 25 0 8 0 277304058 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073836783 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8808 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 402.38
Current children cumulated vsize (KiB) 915460
[startup+462.88 s]
/proc/loadavg: 2.01 1.91 1.85 3/100 6228
/proc/meminfo: memFree=1500944/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=462.42
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9076 0 1 0 45603 639 0 0 25 0 8 0 277304058 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073823516 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8808 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 462.42
Current children cumulated vsize (KiB) 915460
[startup+522.965 s]
/proc/loadavg: 2.00 1.92 1.86 3/100 6228
/proc/meminfo: memFree=1500880/2055920 swapFree=4167328/4192956
[pid=6220] ppid=6218 vsize=915460 CPUtime=522.43
/proc/6220/stat : 6220 (java) R 6218 6220 5789 0 -1 0 9076 0 1 0 51604 639 0 0 25 0 8 0 277304058 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073839755 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6220/statm: 228865 8808 2532 14 0 215335 0
[pid=6220/tid=6222] ppid=6218 vsize=915460 CPUtime=0.02
/proc/6220/task/6222/stat : 6222 (java) S 6218 6220 5789 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 277304061 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6223] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6223/stat : 6223 (java) S 6218 6220 5789 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 277304062 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6224] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6224/stat : 6224 (java) S 6218 6220 5789 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 277304062 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6225] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6225/stat : 6225 (java) S 6218 6220 5789 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6226] ppid=6218 vsize=915460 CPUtime=0.23
/proc/6220/task/6226/stat : 6226 (java) S 6218 6220 5789 0 -1 64 400 0 0 0 22 1 0 0 16 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6227] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6227/stat : 6227 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6220/tid=6228] ppid=6218 vsize=915460 CPUtime=0
/proc/6220/task/6228/stat : 6228 (java) S 6218 6220 5789 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 277304065 937431040 8808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.43
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 533.682
CPU time (s): 533.103
CPU user time (s): 526.704
CPU system time (s): 6.39903
CPU usage (%): 99.8914
Max. virtual memory (cumulated for all children) (KiB): 915976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 526.704
system time used= 6.39903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9173
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= 11980
involuntary context switches= 25669
runsolver used 0.779881 s user time and 1.59176 s system time
The end
Begin job on node30 on Sat Jan 20 10:31:39 UTC 2007
IDJOB= 278677
IDBENCH= 8646
IDSOLVER= 68
FILE ID= node30/278677-1169289097
PBS_JOBID= 3609672
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/kbtree/kbtree-9-7-3-5/kbtree-9-7-3-5-80/kbtree-9-7-3-5-80-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278677-1169289097/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-278677-1169289097 -o ROOT/results/node30/solver-278677-1169289097 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/278677-1169289097/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 4657c98b520b8a552e84ae2df64f6387
RANDOM SEED= 175766806
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: 1526824 kB
Buffers: 39660 kB
Cached: 344280 kB
SwapCached: 2164 kB
Active: 155132 kB
Inactive: 297392 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1526824 kB
SwapTotal: 4192956 kB
SwapFree: 4167328 kB
Dirty: 1792 kB
Writeback: 0 kB
Mapped: 94140 kB
Slab: 61152 kB
Committed_AS: 5930236 kB
PageTables: 2352 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= 66561 MiB
End job on node30 on Sat Jan 20 10:40:35 UTC 2007